Data.Function.NAry

Documentation

type family NAry (n :: Nat) (t :: Type) (r :: Type) :: Type where ...

N-ary function from n arguments of type t to value of type r.

Equations

NAry 0 t r = r

NAry n t r = t -> NAry (n - 1) t r

class ApplyNAry (n :: Nat) (t :: Type) (r :: Type) where

Apply list of params to N-ary function.

Minimal complete definition

applyNAry

Methods

applyNAry :: NAry n t r -> [t] -> r

Instances

(ApplyNAry ((-) n 1) t r, (~) Type (NAry n t r) (t -> NAry ((-) n 1) t r), KnownNat n) => ApplyNAry n t r

Methods

applyNAry :: NAry n t r -> [t] -> r

ApplyNAry 0 t r

Methods

applyNAry :: NAry 0 t r -> [t] -> r