Servant.Swagger.Internal.TypeLevel.API

type family EndpointsList api

type family IsSubAPI sub api :: Constraint

type family AllIsElem xs api :: Constraint

type family MapSub e xs

type family AppendList xs ys

type family Or a b :: Constraint

type family IsIn sub api :: Constraint

type family Elem x xs

type family Nub xs

type family Remove x xs

type BodyTypes c api

type AddBodyType c cs a as

type family BodyTypes' c api :: [*]