servant-swagger-1.2: Generate a Swagger/OpenAPI/OAS 2.0 specification for your servant API.
LicenseBSD3
MaintainerNickolay Kudasov <nickolay@getshoptv.com>
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

Servant.Swagger.TypeLevel

Description

Useful type families for servant APIs.

Synopsis

Documentation

type family IsSubAPI sub api :: Constraint where ... Source #

Check whether sub is a sub API of api.

Equations

IsSubAPI sub api = AllIsElem (EndpointsList sub) api 

type family EndpointsList api where ... Source #

Build a list of endpoints from an API.

type BodyTypes c api = Nub (BodyTypes' c api) Source #

Extract a list of unique "body" types for a specific content-type from a servant API.