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