Type Members

1.  trait InvariantFunctor[F[_]] extends AnyRef

   Defines way to transform give type constructor F

2.  trait InvariantFunctorSyntax extends AnyRef
3.  trait Semigroupal[F[_]] extends AnyRef
4.  trait SemigroupalSyntax extends AnyRef
5.  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
6.  trait Tupler1 extends AnyRef
7.  trait Tupler2 extends Tupler1
8.  trait Tupler3 extends Tupler2
9.  trait Tupler4 extends Tupler3