Servant.Swagger.Internal.TypeLevel.API

type family EndpointsList api where ...

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

type family AllIsElem xs api :: Constraint where ...

type family MapSub e xs where ...

type family AppendList xs ys where ...

type family Or (a :: Constraint) (b :: Constraint) :: Constraint where ...

type family IsIn sub api :: Constraint where ...

type family Elem x xs where ...

type family Nub xs where ...

type family Remove x xs where ...

type BodyTypes c api

type AddBodyType c cs a as

type family BodyTypes' c api :: [*] where ...