|type family NFunction n a b :: *||Source|
|A NFunction n a b is a function which takes n arguments of
type a and returns a b.
For example: NFunction (S (S (S Z))) a b ~ (a -> a -> a -> b)
|f $* xs applies the n-arity function f to each of the arguments in
the n-sized list xs.
Composition of NFunctions.
Note that the n and a arguments are used by the type
checker to select the right ComposeN instance. They are
usally given as (witnessNat :: n) and (undefined :: a).
|Produced by Haddock version 2.4.2|