c

jap.fields

ValidationModule

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

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

Annotations
@implicitNotFound( ... )
Linear Supertypes
ValidationResultSyntax, FieldSyntax, PolicySyntax[F, VR, E], MapSyntax[F, VR, E], IterableSyntax[F, VR, E], StringSyntax[F, VR, E], OptionSyntax[F, VR, E], NumericSyntax[F, VR, E], EffectValidationResultSyntax[F, VR, E], BooleanSyntax[F, VR, E], FailSyntax[F, VR, E], GenericSyntax[F, VR, E], AnyRef, Any
Known Subclasses
AccumulateVM, DefaultAccumulateVM, DefaultFailFastVM, FailFastVM
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ValidationModule
  2. ValidationResultSyntax
  3. FieldSyntax
  4. PolicySyntax
  5. MapSyntax
  6. IterableSyntax
  7. StringSyntax
  8. OptionSyntax
  9. NumericSyntax
  10. EffectValidationResultSyntax
  11. BooleanSyntax
  12. FailSyntax
  13. GenericSyntax
  14. AnyRef
  15. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ValidationModule()(implicit F: ValidationEffect[F], VR: ValidationResult[VR])

Type Members

  1. type Policy[P] = ValidationPolicy[P, F, VR, E]
  2. type PolicyBuilder[P] = ValidationPolicyBuilder[P, F, VR, E]

    Shorthands for Policy

  3. implicit final class PolicyOps[P, F[_], VR[_], E] extends AnyRef
    Definition Classes
    PolicySyntax

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit val F: ValidationEffect[F]
  5. implicit def Module: ValidationModule[F, VR, E]

    Syntax classes requires implicit ValidationModule in scope

  6. implicit val VR: ValidationResult[VR]
  7. def and(list: List[F[VR[E]]]): F[VR[E]]

    Combine all validations using AND

  8. def and(a: F[VR[E]], b: F[VR[E]]): F[VR[E]]

    Combines a and b using AND.

    Combines a and b using AND. Short-circuits if ValidationResult Strategy supports it.

  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def assert[P](field: Field[P], cond: (P) ⇒ Boolean, error: (Field[P]) ⇒ E): F[VR[E]]

    For given field checks that cond is true or fail with provided error

    For given field checks that cond is true or fail with provided error

    Annotations
    @inline()
  11. def assertF[P](field: Field[P], cond: (P) ⇒ F[Boolean], error: (Field[P]) ⇒ E): F[VR[E]]

    For given field checks that cond effect result is true or fail with provided error

    For given field checks that cond effect result is true or fail with provided error

    Annotations
    @inline()
  12. def assertTrue[P](field: Field[P], cond: ⇒ Boolean, error: (Field[P]) ⇒ E): F[VR[E]]

    For given field checks that cond is true or fail with provided error

    For given field checks that cond is true or fail with provided error

    Annotations
    @inline()
  13. def check[P](field: Field[P], f: (Field[P]) ⇒ VR[E]): F[VR[E]]

    For given field checks provided f validation

    For given field checks provided f validation

    Annotations
    @inline()
  14. def checkF[P](field: Field[P], f: (Field[P]) ⇒ F[VR[E]]): F[VR[E]]

    For given field checks provided effectful f validation

    For given field checks provided effectful f validation

    Annotations
    @inline()
  15. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  16. def combineAll(list: List[F[VR[E]]]): F[VR[E]]

    Alias for and

  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  19. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. def fold(list: List[F[VR[E]]], combine: (F[VR[E]], F[VR[E]]) ⇒ F[VR[E]]): F[VR[E]]

    Combines all validations using provided combine function.

    Combines all validations using provided combine function. This has minor optimistions that checks size to handle simple cases.

    Annotations
    @inline()
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. def or(list: List[F[VR[E]]]): F[VR[E]]

    Combine all validations using OR

  28. def or(a: F[VR[E]], b: F[VR[E]]): F[VR[E]]

    Combines a and b using OR.

    Combines a and b using OR. Short-circuits if a is valid

  29. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  30. implicit final def toBooleanFieldOps(field: Field[Boolean]): BooleanFieldOps[F, VR, E]
    Definition Classes
    BooleanSyntax
  31. implicit final def toEffectValidationResultOps(a: F[VR[E]]): EffectValidationResultOps[F, VR, E]
    Definition Classes
    EffectValidationResultSyntax
  32. implicit final def toEffectValidationResultSequenceOps(iterable: Iterable[F[VR[E]]]): EffectValidationResultSequenceOps[F, VR, E]
    Definition Classes
    EffectValidationResultSyntax
  33. implicit final def toFailFieldOps[P](field: Field[P]): FailFieldOps[P, F, VR, E]
    Definition Classes
    FailSyntax
  34. implicit def toFieldFromOps(field: Field.type): FieldFromOps
    Definition Classes
    FieldSyntax
  35. implicit final def toFieldOps[P](field: Field[P]): FieldOps[P, F, VR, E]
    Definition Classes
    GenericSyntax
  36. implicit def toFieldSubOps[P](field: Field[P]): FieldSubOps[P]
    Definition Classes
    FieldSyntax
  37. implicit final def toIterableFieldOps[I[_] <: Iterable[_], P](field: Field[I[P]]): IterableFieldOps[I, P, F, VR, E]
    Definition Classes
    IterableSyntax
  38. implicit final def toMapFieldOps[K, V](field: Field[Map[K, V]]): MapFieldOps[K, V, F, VR, E]
    Definition Classes
    MapSyntax
  39. implicit final def toNumericFieldOps[P](field: Field[P]): NumericFieldOps[P, F, VR, E]
    Definition Classes
    NumericSyntax
  40. implicit final def toOptionFieldOps[P](field: Field[Option[P]]): OptionFieldOps[P, F, VR, E]
    Definition Classes
    OptionSyntax
  41. def toString(): String
    Definition Classes
    AnyRef → Any
  42. implicit final def toStringFieldOps(field: Field[String]): StringFieldOps[F, VR, E]
    Definition Classes
    StringSyntax
  43. implicit final def toValidationResultIdOps[E](error: E): ValidationResultIdOps[E]
    Definition Classes
    ValidationResultSyntax
  44. implicit final def toValidationResultOps[VR[_], E](vr: VR[E])(implicit arg0: ValidationResult[VR]): ValidationResultOps[VR, E]
    Definition Classes
    ValidationResultSyntax
  45. val valid: VR[E]

    Valid VR[E] instance

  46. val validF: F[VR[E]]

    Valid F[VR[E]] instance

  47. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  50. object Policy

Inherited from ValidationResultSyntax

Inherited from FieldSyntax

Inherited from PolicySyntax[F, VR, E]

Inherited from MapSyntax[F, VR, E]

Inherited from IterableSyntax[F, VR, E]

Inherited from StringSyntax[F, VR, E]

Inherited from OptionSyntax[F, VR, E]

Inherited from NumericSyntax[F, VR, E]

Inherited from EffectValidationResultSyntax[F, VR, E]

Inherited from BooleanSyntax[F, VR, E]

Inherited from FailSyntax[F, VR, E]

Inherited from GenericSyntax[F, VR, E]

Inherited from AnyRef

Inherited from Any

Ungrouped