Type Members

1.  case class Invalid(errors: Seq[String]) extends Validated[Nothing] with Product with Serializable

   A list of validation errors

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

   Defines ways to transform a given type constructor F

3.  trait InvariantFunctorSyntax extends AnyRef
4.  trait PartialInvariantFunctor[F[_]] extends InvariantFunctor[F]

   Given a type constructor F, a partial function A => Validated[B] and a total function B => A, turns an F[A] into an F[B].

   Given a type constructor F, a partial function A => Validated[B] and a total function B => A, turns an F[A] into an F[B].

   A partial invariant functor is an invariant functor whose covariant transformation function is total (ie, A => Valid[B]).

5.  trait PartialInvariantFunctorSyntax extends InvariantFunctorSyntax
6.  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, (B, C, D, E) -> (A, B, C, D, E)
   • (A, B), (C, D, E) -> (A, B, C, D, E)
   • (A, B, C), D -> (A, B, C, D)
   • (A, B, C, D), E -> (A, B, C, D, E)
   • (A, B, C, D, E), F -> (A, B, C, D, E, F)
   • A, Unit -> A
   • Unit, A -> A
7.  trait Tupler1 extends AnyRef
8.  trait Tupler2 extends Tupler1
9.  trait Tupler3 extends Tupler2
10.  trait Tupler4 extends Tupler3 with TuplerAppend
11.  trait TuplerAppend extends Tupler2

    Generated trait that provides Tupler instances for appending to tuples from 3 to 21 elements

12.  case class Valid[A](value: A) extends Validated[A] with Product with Serializable

    A valid value of type A

13.  sealed trait Validated[+A] extends AnyRef

    A validated value of type A can either be Valid or Invalid

    A validated value of type A can either be Valid or Invalid

    A

    Type of the validated value