@@ -15,3 +15,28 @@ type API = "getunit" :> Get '[JSON] ()
15 :<|> "double" :> ReqBody '[JSON] Double
15 :<|> "double" :> ReqBody '[JSON] Double
16 :> Post '[JSON] Double
16 :> Post '[JSON] Double
19+type GET = Get '[JSON] ()
21+-- Imported the comprehensive API example for testing.
22+-- https://github.com/haskell-servant/servant/blob/master/servant/src/Servant/API/Internal/Test/ComprehensiveAPI.hs
23+type ComprehensiveAPI =
26+ Capture "foo" Int :> GET :<|>
27+ Header "foo" Int :> GET :<|>
28+ HttpVersion :> GET :<|>
30+ QueryParam "foo" Int :> GET :<|>
31+ QueryParams "foo" Int :> GET :<|>
32+ QueryFlag "foo" :> GET :<|>
34+ RemoteHost :> GET :<|>
35+ ReqBody '[JSON] Int :> GET :<|>
36+ Get '[JSON] (Headers '[Header "foo" Int] ()) :<|>
39+ Verb 'POST 204 '[JSON] () :<|>
40+ Verb 'POST 204 '[JSON] Int
41+-- This one isn't in scope
42+-- :<|> WithNamedContext "foo" '[] GET