endpoints

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