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 AddBodyType c cs a as

type Insert x xs

type family Merge xs ys

type family BodyTypes c api :: [*]