Type Members

1.  abstract class AccumulateVM[F[_], E] extends ValidationModule[F, Accumulate, E]

   Accumulating jap.fields.ValidationModule

2.  trait DefaultAccumulateVM extends AccumulateVM[Sync, ValidationError] with CanFailWithValidationError

   Default ValidationModule where:

   Default ValidationModule where:

   • Effect is jap.fields.typeclass.Effect.Sync
   • Validated is Accumulate
   • Error is ValidationError
3.  trait DefaultFailFastVM extends FailFastVM[Sync, ValidationError] with CanFailWithValidationError

   Default ValidationModule where:

   Default ValidationModule where:

   • Effect is jap.fields.typeclass.Effect.Sync
   • Validated is FailFast
   • Error is ValidationError
4.  abstract class FailFastVM[F[_], E] extends ValidationModule[F, FailFast, E]

   FailFast jap.fields.ValidationModule

5.  final case class Field[+P](path: FieldPath, value: P) extends Product with Serializable

   jap.fields.Field is heart of the library and contains jap.fields.FieldPath and its value

6.  class FieldMacro extends AnyRef
7.  final case class FieldPath(parts: List[String]) extends AnyVal with Product with Serializable

   jap.fields.FieldPath contains path parts of the Field.

8.  abstract type Rule[F[_], V[_], E] <: Type[F[_], V[_], E]

   Rule is tagged type alias for F[V[E]] If used this way we do not add any allocations while having separate syntax for Rule.

   Rule is tagged type alias for F[V[E]] If used this way we do not add any allocations while having separate syntax for Rule. Also we get ability to convert back and forth.

9.  abstract class ValidationModule[F[_], V[_], E] extends ModuleGenericSyntax[F, V, E] with ModuleBooleanSyntax[F, V, E] with ModuleRuleSyntax[F, V, E] with ModuleOrderingSyntax[F, V, E] with ModuleOptionSyntax[F, V, E] with ModuleStringSyntax[F, V, E] with ModuleMapSyntax[F, V, E] with ModuleIterableSyntax[F, V, E] with PolicySyntax with FieldSyntax with ValidatedSyntax

   God object that provides all validation syntax for choosen Effect - F[_], Validated - V[_] and Error - E Requires user to provide implicit instances of Effect and Validated typeclasses for choosen F[_] and V[_].

   God object that provides all validation syntax for choosen Effect - F[_], Validated - V[_] and Error - E Requires user to provide implicit instances of Effect and Validated typeclasses for choosen F[_] and V[_].

   Annotations

   @implicitNotFound()

10.  trait ValidationPolicy[P, F[_], V[_], E] extends AnyRef

    Typeclass that defines how to validate given field

11.  case class ValidationPolicyBuilder[P, F[_], V[_], E](rules: List[(Field[P]) => Rule[F, V, E]] = Nil)(implicit evidence$3: Effect[F], evidence$4: Validated[V]) extends Product with Serializable

    Builder class for jap.fields.ValidationPolicy.

    Builder class for jap.fields.ValidationPolicy. jap.fields.ValidationModule implicit should be in scope