Servant.API.TypeLevel

type family Endpoints api where ...

## Lax inclusion

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

## Strict inclusion

type family IsIn (endpoint :: *) (api :: *) :: Constraint where ...

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

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

# Helpers

## Lists

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

## Logic

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

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

# Custom type errors