Servant.API.Internal.Test.ComprehensiveAPI

This is a module containing an API with all API combinators. It is used for testing only (in particular, checking that instances exist for the core servant classes for each combinator), and should not be imported.

Documentation

type GET = Get '[JSON] NoContent

type ComprehensiveAPI = ComprehensiveAPIWithoutRaw :<|> Raw

comprehensiveAPI :: Proxy ComprehensiveAPI

type ComprehensiveAPIWithoutRaw = GET :<|> (Get '[JSON] Int :<|> ((Capture' '[Description "example description"] "foo" Int :> GET) :<|> ((Header "foo" Int :> GET) :<|> ((Header' '[Required, Lenient] "bar" Int :> GET) :<|> ((HttpVersion :> GET) :<|> ((IsSecure :> GET) :<|> ((QueryParam "foo" Int :> GET) :<|> ((QueryParam' '[Required, Lenient] "bar" Int :> GET) :<|> ((QueryParams "foo" Int :> GET) :<|> ((QueryFlag "foo" :> GET) :<|> ((RemoteHost :> GET) :<|> ((ReqBody '[JSON] Int :> GET) :<|> ((ReqBody' '[Lenient] '[JSON] Int :> GET) :<|> (Get '[JSON] (Headers '[Header "foo" Int] NoContent) :<|> (("foo" :> GET) :<|> ((Vault :> GET) :<|> (Verb POST 204 '[JSON] NoContent :<|> (Verb POST 204 '[JSON] Int :<|> (WithNamedContext "foo" '[] GET :<|> ((CaptureAll "foo" Int :> GET) :<|> ((Summary "foo" :> GET) :<|> ((Description "foo" :> GET) :<|> EmptyAPI))))))))))))))))))))))

comprehensiveAPIWithoutRaw :: Proxy ComprehensiveAPIWithoutRaw