IdrisDoc: Data.Fun

Data.Fun

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

Build an n-ary function type from a Vect of Types and a result type