IdrisDoc
: Data.Rel
Index
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