Allows the definition of binary poly-functions (e.g.
Concatenates two parameter lists into one.
Concatenates two parameter lists into one. Each parameter list can be either a single type, or a tuple.
View parameters (single type or a tuple) as arguments of a function of the appropriate arity.
Replace the first parameter of a function from I to J.
Replace the first parameter of a function from I to J. FN_IK[R] = (IK as args) => R FN_JK[R] = (JK as args) => R IK = (I, A, B, C, ...) JK = (J, A, B, B, ...)
Tuples with the first element replaced: IK = (I, A, B, C, ...) JK = (J, A, B, B, ...)
Allows the definition of binary poly-functions (e.g. for folding over tuples).
Note: the poly-function implementation seen here is merely a stripped down version of what Miles Sabin made available with his awesome shapeless library. All credit goes to him!