Idris2Doc : Data.Telescope.SimpleFun

Data.Telescope.SimpleFun

N-ary simple (non-dependent) functions using telescopes

Compare with `base/Data.Fun` and `contrib/Data.Fun.Extra` and with:
Guillaume Allais. 2019. Generic level polymorphic n-ary functions. TyDe 2019.
SimpleFun : Environmentgamma -> (0 _ : Segmentngamma) -> Type -> Type
  An n-ary function whose codomain does not depend on its
arguments. The arguments may have dependencies.

curry : (Environmentenvdelta -> cod) -> SimpleFunenvdeltacod
target : SimpleFunenvdeltacod -> Type
uncurry : SimpleFunenvdeltacod -> Environmentenvdelta -> cod