IdrisDoc: Data.Rel

Data.Rel

Rel : Vect n Type -> Type

Build an n-ary relation type from a Vect of Types

liftRel : (ts : Vect n Type) -> (p : Rel ts) -> (Type -> Type) -> Type