typelevel

Type Members

1. trait BinaryPolyFunc extends AnyRef

   

   Allows the definition of binary poly-functions (e.g.

   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!

2. trait FnComponents[-FN, TUPLE, RESULT] extends AnyRef

   

3. trait LowPriorityParamsAsArgs0 extends AnyRef

   

4. trait LowPriorityParamsAsArgs1 extends LowPriorityParamsAsArgs0

   

5. trait LowPriorityParamsToTuple extends AnyRef

   

6. trait LowPriorityTupleConcat0 extends AnyRef

   

7. trait LowPriorityTupleConcat1 extends LowPriorityTupleConcat0

   

8. trait LowPriorityTupleConcat2 extends LowPriorityTupleConcat1

   

9. trait LowPriorityTupleConcat3 extends LowPriorityTupleConcat2

   

10. trait ParamConcat[T, U] extends AnyRef

    

    Concatenates two parameter lists into one.

    Concatenates two parameter lists into one. Each parameter list can be either a single type, or a tuple.

11. trait ParamsAsArgs[I] extends AnyRef

    

    View parameters (single type or a tuple) as arguments of a function of the appropriate arity.

12. trait ParamsToTuple[I] extends AnyRef

    

13. trait ReplaceFirstInFn[I, FN_IK[_], J, FN_JK[_]] extends AnyRef

    

    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, ...)

14. trait ReplaceFirstInTuple[I, J, IK, JK] extends AnyRef

    

    Tuples with the first element replaced: IK = (I, A, B, C, ...) JK = (J, A, B, B, ...)

15. abstract class TupleAppendOneInstances extends AnyRef

    

16. abstract class TupleFoldInstances extends AnyRef