Type Members

1.  trait AccumulateLike[VR[_]] extends ValidationResult[VR]
2.  abstract class AccumulateValidationModule[F[_], E] extends ValidationModule[F, Accumulate, E]
3.  trait FailFastLike[VR[_]] extends ValidationResult[VR]
4.  abstract class FailFastValidationModule[F[_], E] extends ValidationModule[F, FailFast, E]
5.  final case class Field[+P](path: FieldPath, value: P) extends Product with Serializable
6.  case class FieldError[E](path: FieldPath, error: E) extends Product with Serializable
7.  final case class FieldPath(value: List[String]) extends AnyVal with Product with Serializable
8.  final case class ValidationContext[E, A](path: FieldPath, value: A)(implicit VEM: ValidationErrorMapper[E]) extends Product with Serializable
9.  trait ValidationEffect[F[_]] extends AnyRef
10.  sealed trait ValidationError extends AnyRef
11.  trait ValidationErrorMapper[E] extends AnyRef
12.  abstract class ValidationModule[F[_], VR[_], E] extends BaseSyntax[F, VR, E] with BooleanSyntax[F, VR, E] with EffectValidationResultSyntax[F, VR, E] with NumericSyntax[F, VR, E] with OptionSyntax[F, VR, E] with StringSyntax[F, VR, E] with IterableSyntax[F, VR, E] with MapSyntax[F, VR, E] with PolicySyntax[F, VR, E] with FieldSyntax with ValidationResultSyntax
13.  trait ValidationPolicy[P, F[_], VR[_], E] extends AnyRef
14.  case class ValidationPolicyBuilder[P, F[_], VR[_], E](rules: List[(Field[P]) => F[VR[E]]] = Nil)(implicit M: ValidationModule[F, VR, E]) extends Product with Serializable
15.  trait ValidationResult[VR[_]] extends AnyRef