servant-openapi3-2.0.0: Generate a Swagger/OpenAPI/OAS 3.0 specification for your servant API.

LicenseBSD3
MaintainerNickolay Kudasov <nickolay@getshoptv.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Servant.OpenApi.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.