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[_].
- Annotations
- @implicitNotFound()
- Alphabetic
- By Inheritance
- ValidationModule
- ValidatedSyntax
- FieldSyntax
- PolicySyntax
- ModuleIterableSyntax
- ModuleMapSyntax
- ModuleStringSyntax
- ModuleOptionSyntax
- ModuleOrderingSyntax
- ModuleRuleSyntax
- ModuleBooleanSyntax
- ModuleGenericSyntax
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type MPolicy[P] = ValidationPolicy[P, F, V, E]
jap.fields.ValidationPolicy alias.
jap.fields.ValidationPolicy alias. Infers F, V, E
- type MPolicyBuilder[P] = ValidationPolicyBuilder[P, F, V, E]
jap.fields.ValidationPolicyBuilder alias.
jap.fields.ValidationPolicyBuilder alias. Infers F, V, E
- final type MRule = Rule[F, V, E]
jap.fields.Rule alias.
jap.fields.Rule alias. F, V, E infered from jap.fields.ValidationModule Very useful for type inference when building custom validations
- type Policy[P] = ValidationPolicy[P, F, V, E]
jap.fields.ValidationPolicy alias.
jap.fields.ValidationPolicy alias. Infers F, V, E
- type PolicyBuilder[P] = ValidationPolicyBuilder[P, F, V, E]
jap.fields.ValidationPolicyBuilder alias.
jap.fields.ValidationPolicyBuilder alias. Infers F, V, E
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit val F: Effect[F]
- val MPolicy: Policy.type
- implicit val V: Validated[V]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def someOrValid(rule: => Option[Rule[F, V, E]]): Rule[F, V, E]
Unpacks
rulefromOptionifNonereturns validUnpacks
rulefromOptionifNonereturns valid- Definition Classes
- ModuleOptionSyntax
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- implicit final def toBooleanFieldOps(field: Field[Boolean]): BooleanFieldOps[F, V, E]
- Definition Classes
- ModuleBooleanSyntax
- implicit def toFieldFromOps(field: Field.type): FieldFromOps
- Definition Classes
- FieldSyntax
- implicit final def toFieldOps[P](field: Field[P]): FieldOps[P, F, V, E]
- Definition Classes
- ModuleGenericSyntax
- implicit def toFieldSubOps[P](field: Field[P]): FieldSubOps[P]
- Definition Classes
- FieldSyntax
- implicit final def toIterableFieldOps[I[_] <: Iterable[_], P](field: Field[I[P]]): IterableFieldOps[I, P, F, V, E]
- Definition Classes
- ModuleIterableSyntax
- implicit final def toMapFieldOps[K, P](field: Field[Map[K, P]]): MapFieldOps[K, P, F, V, E]
- Definition Classes
- ModuleMapSyntax
- implicit final def toOptionFieldOps[P](field: Field[Option[P]]): OptionFieldOps[P, F, V, E]
- Definition Classes
- ModuleOptionSyntax
- implicit final def toOrderingFieldOps[P](field: Field[P]): OrderingFieldOps[P, F, V, E]
- Definition Classes
- ModuleOrderingSyntax
- implicit def toPolicyOps[P, F[_], V[_], E](builder: ValidationPolicyBuilder[P, F, V, E]): PolicyOps[P, F, V, E]
- Definition Classes
- PolicySyntax
- implicit final def toRuleSequenceOps(rules: Iterable[Rule[F, V, E]]): RuleSequenceOps[F, V, E]
- Definition Classes
- ModuleRuleSyntax
- implicit final def toRuleValidationOps(rule: Rule[F, V, E]): RuleValidationOps[F, V, E]
- Definition Classes
- ModuleRuleSyntax
- def toString(): String
- Definition Classes
- AnyRef → Any
- implicit final def toStringFieldOps(field: Field[String]): StringFieldOps[F, V, E]
- Definition Classes
- ModuleStringSyntax
- implicit final def toValidatedIdOps[E](error: E): ValidatedIdOps[E]
- Definition Classes
- ValidatedSyntax
- implicit final def toValidatedOps[V[_], E](vr: V[E]): ValidatedOps[V, E]
- Definition Classes
- ValidatedSyntax
- implicit final def toValidatedSeqOps[V[_], E](iterable: Iterable[V[E]]): ValidatedSeqOps[V, E]
- Definition Classes
- ValidatedSyntax
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- object MRule
Convenient accessors makes type inference better
- object Policy