Servant.API.TypeLevel
type family Endpoints api where ...
type family IsElem' a s :: Constraint
type family IsElem endpoint api :: Constraint where ...
type family IsSubAPI sub api :: Constraint where ...
type family AllIsElem xs api :: Constraint where ...
type family IsIn (endpoint :: *) (api :: *) :: Constraint where ...
type family IsStrictSubAPI sub api :: Constraint where ...
type family AllIsIn xs api :: Constraint where ...
type family MapSub e xs where ...
type family AppendList xs ys where ...
type family IsSubList a b :: Constraint where ...
type Elem e es
type family ElemGo e es orig :: Constraint where ...
type family Or (a :: Constraint) (b :: Constraint) :: Constraint where ...
type family And (a :: Constraint) (b :: Constraint) :: Constraint where ...