IdrisDoc: Data.Rel

Data.Rel

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

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