Idris2Doc : Data.Fun

Data.Fun

Fun : Vectn Type -> Type -> Type
Build an n-ary function type from a Vect of Types and a result type
Totality: total
No documentation for Data.Fun.Nary
chain : Fun [r] r' -> Funtsr -> Funtsr'
Totality: total
target : Funtsr -> Type
Returns the co-domain of a n-ary function.
Totality: total