p

jto

validation

package validation

Contains the validation API used by Form.

For example, to define a custom constraint:

val negative = Constraint[Int] {
  case i if i < 0 => Valid
  case _ => Invalid("Must be a negative number.")
}
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. validation
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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

Value Members

  1. val Invalid: cats.data.Validated.Invalid.type
  2. val Valid: cats.data.Validated.Valid.type
  3. val Validated: cats.data.Validated.type
  4. implicit def seqAlgebra[A]: Monoid[Seq[A]]
  5. implicit def validatedBackcompat[E, A](va: Validated[Seq[E], A]): VABackCompat[E, A]
  6. object Failure
  7. object Format

    Default formatters.

  8. object Formatting
  9. object From
  10. object GenericRules extends GenericRules
  11. object MappingMacros
  12. object Path extends Path with Product with Serializable
  13. object Read
  14. object Rule
  15. object RuleLike
  16. object Success

    Backcompat with 1.x.

    Backcompat with 1.x. All the methods are deprecated

  17. object To
  18. object Validation
  19. object ValidationError extends Serializable
  20. object Write
  21. object WriteLike
  22. object \:

Inherited from AnyRef

Inherited from Any

Ungrouped