@@ -47,6 +47,8 @@ instance (KnownSymbol capture, Captured a, HasServer sublayout)
48 _ -> return Nothing
48 _ -> return Nothing
50type TestApi = "hello" :> Capture "name" Text :> Get Greet
52type TestApi = "hello" :> Capture "name" Text :> Get Greet
52testApi :: Proxy TestApi
54testApi :: Proxy TestApi
@@ -59,8 +61,8 @@ instance ToJSON Greet
60server :: Server TestApi
62server :: Server TestApi
62− (Proxy :: Proxy "hello")
64+ Proxy -- :: Proxy "hello"
63− :> (Proxy :: Proxy (Capture "name" Text))
65+ :> Proxy -- :: Proxy (Capture "name" Text)
64 :> (return . func)
66 :> (return . func)
66 where func name = Greet ("Hello, " <> name)
68 where func name = Greet ("Hello, " <> name)