Idris2Doc : Data.Fun

Data.Fun

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

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

  Totality: total