IdrisDoc: 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

chain : Fun [r] r' -> Fun ts r -> Fun ts r'
target : Fun ts r -> Type