Data.Function.Variadic.Utils

Documentation

composeN :: (Function f args b EmptyConstraint, Function g args a EmptyConstraint) => (a -> b) -> g -> f

Function composition for an arbitrary number of arguments.

>>> (show `composeN` \a b c -> (a + b + c :: Int)) 1 2 3
"6"

constN :: Function f args a EmptyConstraint => a -> f

Constant function for an arbitrary number of arguments.

let const2 = constN :: x -> a -> b -> x

>>> zipWith3 (constN 1) [1..10] [1..5] ["a", "b", "c"] :: [Int]
[1,1,1]

mappendN :: forall r f args. (Function f args r ((~) r), Monoid r) => f

Append multiple monoid values. It is similar to mconcat but takes the values as arguments rather than list elements.

>>> mappendN [1, 2] [3] [4, 5] :: [Int]
[1,2,3,4,5]