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 BinaryTupleOp extends AnyRef
3.  trait FnComponents[-FN, TUPLE, RESULT] extends AnyRef
4.  trait LowPriorityParamsAsArgs0 extends AnyRef
5.  trait LowPriorityParamsAsArgs1 extends LowPriorityParamsAsArgs0
6.  trait LowPriorityParamsToTuple extends AnyRef
7.  trait LowPriorityTupleArity extends AnyRef
8.  trait LowPriorityTupleConcat0 extends AnyRef
9.  trait LowPriorityTupleConcat1 extends LowPriorityTupleConcat0
10.  trait LowPriorityTupleConcat2 extends LowPriorityTupleConcat1
11.  trait LowPriorityTupleConcat3 extends LowPriorityTupleConcat2
12.  trait LowPriorityTupleConcat4 extends LowPriorityTupleConcat3
13.  trait LowPriorityTupleSubtract0 extends AnyRef
14.  trait LowPriorityTupleSubtract1 extends LowPriorityTupleSubtract0
15.  trait MatchType[T] extends AnyRef
16.  trait ParamConcat[T, U] extends BinaryTupleOp

    Concatenates two parameter lists into one.

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

    The arity of a type if 0 if it's Unit/Nothing, as these types act as a neutral element in the tuple-concatenation operation that takes place when combining inputs/outputs.

    The arity of a type is 1 if it's a "singular" type (as viewed at compile-time; at run-time, the value might in fact be a tuple).

    Otherwise, the arity of a tuple.

17.  trait ParamSubtract[TU, T] extends BinaryTupleOp

    Implicits values of this type are defined when T is a prefix of the tuple TU.

    Implicits values of this type are defined when T is a prefix of the tuple TU. Then, Out (= U) is the type of the rest of the tuple.

    See also ParamConcat for information on arity.

18.  trait ParamsAsArgs[I] extends AnyRef

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

19.  trait ParamsToTuple[I] extends AnyRef
20.  abstract class TupleAppendOneInstances extends AnyRef
21.  trait TupleArity[T] extends AnyRef

    The arity of type T (if its a tuple), as viewed at compile-time (at run-time, a value that is determined to be a "singular" type, might in fact be a tuple).

22.  abstract class TupleFoldInstances extends AnyRef
23.  trait TupleHeadAndTail[TUPLE, HEAD, TAIL] extends AnyRef

    Implicits values of this type are defined for tuples of arity 2+, and split the tuple into the head type and tail type.

    Implicits values of this type are defined for tuples of arity 2+, and split the tuple into the head type and tail type.

    TUPLE

    The tuple type.

    HEAD

    The type of the tuple head.

    TAIL

    The type of the tuple with the head removed.