validation

Type Members

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

   

2. class ContravariantSyntax[M[_]] extends AnyRef

   

3. class ContravariantSyntaxObs[M[_], A] extends AnyRef

   

4. trait DateRules extends AnyRef

   

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

5. trait DateWrites extends AnyRef

   

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

7. trait DefaultWrites extends DateWrites

   

8. final case class FailProjection[+E, +A](v: Validated[Seq[E], A]) extends Product with Serializable

   

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

   

   Annotations

   @implicitNotFound( ... )

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

    

11. trait Formatting[IR, IW] extends AnyRef

    

12. trait From[I] extends AnyRef

    

13. class FunctorSyntax[M[_]] extends AnyRef

    

14. class FunctorSyntaxObs[M[_], A] extends AnyRef

    

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

16. trait GenericWrites[O] extends AnyRef

    

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

    

18. type Invalid[+E] = cats.data.Validated.Invalid[E]

    

19. class InvariantSyntax[M[_]] extends AnyRef

    

20. class InvariantSyntaxObs[M[_], A] extends AnyRef

    

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

    

22. type Mapping[E, I, O] = (I) ⇒ Validated[Seq[E], O]

    

    Annotations

    @implicitNotFound( ... )

23. trait NumericTypes2StringWrites extends AnyRef

    

24. trait ParsingRules extends AnyRef

    

25. class Path extends AnyRef

    

26. sealed trait PathNode extends AnyRef

    

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

    

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

    

29. trait RuleLike[I, O] extends AnyRef

    

30. trait SyntaxCombine[M[_]] extends AnyRef

    

31. trait To[I] extends AnyRef

    

32. type VA[O] = cats.data.Validated[Seq[(Path, Seq[ValidationError])], O]

    

33. trait VABackCompat[E, A] extends AnyRef

    

34. type Valid[+A] = cats.data.Validated.Valid[A]

    

35. type Validated[+E, +A] = cats.data.Validated[E, A]

    

36. case class ValidationError(messages: Seq[String], args: Any*) extends Product with Serializable

    

    A validation error.

    A validation error.

    args

    the error message arguments

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

    

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

    

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

    

40. case class ~[A, B](_1: A, _2: B) extends Product with Serializable