package
validation
Type Members
-
-
-
-
trait
DateRules extends AnyRef
-
trait
DateWrites extends AnyRef
-
-
-
final
case class
FailProjection[+E, +A](v: Validated[Seq[E], A]) extends Product with Serializable
-
trait
Format[IR, +IW, O] extends RuleLike[IR, O] with WriteLike[O, IW]
-
case class
Formatter[IR, IW](path: Path = Path(Nil)) extends Product with Serializable
-
trait
Formatting[IR, IW] extends AnyRef
-
trait
From[I] extends AnyRef
-
class
FunctorSyntax[M[_]] extends AnyRef
-
-
-
-
case class
IdxPathNode(idx: Int) extends PathNode with Product with Serializable
-
type
Invalid[+E] = cats.data.Validated.Invalid[E]
-
-
-
case class
KeyPathNode(key: String) extends PathNode with Product with Serializable
-
type
Mapping[E, I, O] = (I) ⇒ Validated[Seq[E], O]
-
-
-
class
Path extends AnyRef
-
sealed
trait
PathNode extends AnyRef
-
case class
Reader[I](path: Path = Path(Nil)) extends Product with Serializable
-
trait
Rule[I, O] extends RuleLike[I, O]
-
trait
RuleLike[I, O] extends AnyRef
-
trait
SyntaxCombine[M[_]] extends AnyRef
-
trait
To[I] extends AnyRef
-
type
VA[O] = cats.data.Validated[Seq[(Path, Seq[ValidationError])], O]
-
trait
VABackCompat[E, A] extends AnyRef
-
type
Valid[+A] = cats.data.Validated.Valid[A]
-
type
Validated[+E, +A] = cats.data.Validated[E, A]
-
case class
ValidationError(messages: Seq[String], args: Any*) extends Product with Serializable
-
-
trait
WriteLike[I, +O] extends AnyRef
-
case class
Writer[I](path: Path = Path(Nil)) extends Product with Serializable
-
case class
~[A, B](_1: A, _2: B) extends Product with Serializable
Value Members
-
-
-
-
-
-
val
Invalid: cats.data.Validated.Invalid.type
-
-
object
Path extends Path with Product with Serializable
-
-
-
-
object
To
-
val
Valid: cats.data.Validated.Valid.type
-
val
Validated: cats.data.Validated.type
-
-
-
-
-
object
\:
-
implicit
def
seqAlgebra[A]: Monoid[Seq[A]]
-
implicit
def
validatedBackcompat[E, A](va: Validated[Seq[E], A]): VABackCompat[E, A]
Inherited from AnyRef
Inherited from Any
Contains the validation API used by
Form
.For example, to define a custom constraint: