Type Members

1.  trait AccumulateLike[VR[_]] extends ValidationResult[VR]
2.  abstract class AccumulateVM[F[_], E] extends ValidationModule[F, Accumulate, E]
3.  trait CanFail[E] extends CanFailMessage[E] with CanFailCompare[E] with CanFailInvalid[E] with CanFailEmpty[E] with CanFailNonEmpty[E] with CanFailMinSize[E] with CanFailMaxSize[E] with CanFailOneOf[E]

   Aggregates all possible CanFail* typeclasses shorthand if you need all of them.

   Aggregates all possible CanFail* typeclasses shorthand if you need all of them. If are free to implemented only those you will use. Best practise will be to but implicit instance of this into companion object of your error.

4.  trait CanFailCompare[E] extends AnyRef

   Annotations

   @implicitNotFound( ... )

5.  trait CanFailEmpty[E] extends AnyRef

   Annotations

   @implicitNotFound( ... )

6.  trait CanFailInvalid[E] extends AnyRef

   Annotations

   @implicitNotFound( ... )

7.  trait CanFailMaxSize[E] extends AnyRef

   Annotations

   @implicitNotFound( ... )

8.  trait CanFailMessage[E] extends AnyRef

   Annotations

   @implicitNotFound( ... )

9.  trait CanFailMinSize[E] extends AnyRef

   Annotations

   @implicitNotFound( ... )

10.  trait CanFailNonEmpty[E] extends AnyRef

    Annotations

    @implicitNotFound( ... )

11.  trait CanFailOneOf[E] extends AnyRef

    Annotations

    @implicitNotFound( ... )

12.  sealed trait CompareOperation extends AnyRef
13.  trait FailFastLike[VR[_]] extends ValidationResult[VR]
14.  abstract class FailFastVM[F[_], E] extends ValidationModule[F, FailFast, E]
15.  final case class Field[+P](path: FieldPath, value: P) extends Product with Serializable
16.  trait FieldCompare[P, C] extends AnyRef

    Annotations

    @implicitNotFound( "Cannot compare ${P} with ${C}" )

17.  case class FieldError[E](path: FieldPath, error: E) extends Product with Serializable
18.  final case class FieldPath(value: List[String]) extends AnyVal with Product with Serializable
19.  trait ValidationEffect[F[_]] extends AnyRef
20.  sealed trait ValidationError extends AnyRef
21.  abstract class ValidationModule[F[_], VR[_], E] extends GenericSyntax[F, VR, E] with FailSyntax[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

    Annotations

    @implicitNotFound( ... )

22.  trait ValidationPolicy[P, F[_], VR[_], E] extends AnyRef
23.  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
24.  trait ValidationResult[VR[_]] extends AnyRef