Type Members

1.  trait Codec[E, D] extends Decoder[E, D] with Encoder[D, E]

   A way to encode and decode values

   A way to encode and decode values

   E

   Type of encoded values

   D

   Type of decoded values

2.  trait Decoder[-From, +To] extends AnyRef

   A way to decode a From value into a To value.

3.  trait Encoder[-From, +To] extends AnyRef

   A way to encode a From value into a To value

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

   A list of validation errors

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

   Defines ways to transform a given type constructor F

6.  trait InvariantFunctorSyntax extends AnyRef

   Provides extensions methods for values of type InvariantFunctor

7.  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]).

8.  trait PartialInvariantFunctorSyntax extends InvariantFunctorSyntax

   Provides extension methods for values of type PartialInvariantFunctor

9.  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
10.  trait Tupler1 extends AnyRef
11.  trait Tupler2 extends Tupler1
12.  trait Tupler3 extends Tupler2
13.  trait Tupler4 extends Tupler3 with TuplerAppend
14.  trait Tupler5 extends Tupler4
15.  trait TuplerAppend extends Tupler2

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

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

    A valid value of type A

17.  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