mapping

Type Members

1. type Constraint[T] = (T) ⇒ Validation[ValidationError, T]

   

2. trait DateRules extends AnyRef

   

   This trait provides default Rule implementations, from String to various date types and format

3. trait DateWrites extends AnyRef

   

4. trait DefaultRules[I] extends GenericRules with DateRules

   

   DefaultRules provides basic rules implementations for inputs of type I Extends this trait if your implementing a new set of Rules for I.

5. trait DefaultWrites extends DateWrites

   

6. final case class FailProjection[+E, +A](v: Validation[E, A]) extends Product with Serializable

   

7. class Failure[+E, +A] extends Validation[E, A]

   

8. trait Format[IR, IW, O] extends RuleLike[IR, O] with WriteLike[O, IW]

   

   Annotations

   @implicitNotFound( ... )

9. case class Formatter[IR, IW](path: Path = Path(Nil)) extends Product with Serializable

   

10. trait Formatting[IR, IW] extends AnyRef

    

11. trait From[I] extends AnyRef

    

12. trait GenericRules extends AnyRef

    

    GenericRules provides basic constraints, utility methods on Rules, and completely generic Rules.

    GenericRules provides basic constraints, utility methods on Rules, and completely generic Rules. Extends this trait if your implementing a new set of Rules.

13. trait GenericWrites[O] extends AnyRef

    

14. case class IdxPathNode(idx: Int) extends PathNode with Product with Serializable

    

15. case class KeyPathNode(key: String) extends PathNode with Product with Serializable

    

16. type Mapping[E, I, O] = (I) ⇒ Validation[E, O]

    

    Annotations

    @implicitNotFound( ... )

17. trait NumericTypes2StringWrites extends AnyRef

    

18. trait ParsingRules extends AnyRef

    

19. class Path extends AnyRef

    

20. sealed trait PathNode extends AnyRef

    

21. case class Reader[I](path: Path = Path(Nil)) extends Product with Serializable

    

22. trait Rule[I, O] extends RuleLike[I, O]

    

    A Rule is

23. trait RuleLike[I, O] extends AnyRef

    

24. class Success[+E, +A] extends Validation[E, A]

    

25. final case class SuccessProjection[+E, +A](v: Validation[E, A]) extends Product with Serializable

    

26. trait To[I] extends AnyRef

    

27. type VA[O] = Validation[(Path, Seq[ValidationError]), O]

    

28. sealed trait Validation[+E, +A] extends AnyRef

    

    Validation[E, A] is the result of a validation, where E is the type of each error, and A is the type of the result if the validation is successful The only two possible implementations are Success[E, A](value: A), or Failure[E, A](errors: Seq[E])

29. type ValidationError = validation.ValidationError

    

30. trait Write[I, +O] extends WriteLike[I, O]

    

31. trait WriteLike[I, +O] extends AnyRef

    

32. case class Writer[I](path: Path = Path(Nil)) extends Product with Serializable