Idris2Doc : Data.Fun

Data.Fun

Fun : VectnType -> Type -> Type
  Build an n-ary function type from a Vect of Types and a result type

Totality: total
chain : Fun [r] r' -> Funtsr -> Funtsr'
Totality: total
target : Funtsr -> Type
  Returns the co-domain of a n-ary function.

Totality: total