Type Members

1.  trait Tupler [A, B] extends AnyRef

   Defines a strategy for tupling A and B values, according to types A and B.

   Defines a strategy for tupling A and B values, according to types A and B.

   The actual implementation avoids nested tuples and eliminates Unit, so that instead of ending with, e.g., the following type:

   ((Unit, Int), (((Unit, Unit), String)))

   We just get:

   (Int, String)

   The following rules are implemented (by increasing priority):

   • A, B -> (A, B)
   • A, (B, C) -> (A, B, C)
   • (A, B), C -> (A, B, C)
   • (A, B), (C, D) -> (A, B, C, D)
   • A, Unit -> A
   • Unit, A -> A
2.  trait Tupler1 extends AnyRef
3.  trait Tupler2 extends Tupler1
4.  trait Tupler3 extends Tupler2
5.  trait Tupler4 extends Tupler3