Check whether sub is a sub API of api.
Equations
IsSubAPI sub api = AllIsElem (EndpointsList sub) api
Moduleservant-openapi3-2.0.1.6Haskell2010
Servant.OpenApi.TypeLevel
Useful type families for servant APIs.
- 1 type
- Packageservant-openapi3-2.0.1.6
- Exports3
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceTypeLevel.hs
Build a list of endpoints from an API.
Equations
EndpointsList (a :<|> b) = AppendList (EndpointsList a) (EndpointsList b)EndpointsList (e :> a) = MapSub e (EndpointsList a)EndpointsList (NamedRoutes api) = EndpointsList (ToServantApi api)EndpointsList a = '[a]
Extract a list of unique "body" types for a specific content-type from a servant API.