IdrisDoc
: Data.Fun
Index
Data.Fun
target
:
Fun
ts
r
->
Type
chain
:
Fun
[
r
]
r'
->
Fun
ts
r
->
Fun
ts
r'
Fun
:
Vect
n
Type
->
Type
->
Type
Build an n-ary function type from a Vect of Types and a result type