endpoints

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 Semigroupal[F[_]] extends AnyRef

   

7. trait SemigroupalSyntax extends AnyRef

   

8. 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

9. trait Tupler1 extends AnyRef

   

10. trait Tupler2 extends Tupler1

    

11. trait Tupler3 extends Tupler2

    

12. trait Tupler4 extends Tupler3

    

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

    

    A valid value of type A

14. 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