DefaultAccumulateValidationModule

class Object
trait Matchable
class Any

Type members

Inherited classlikes

implicit class BooleanFieldOps(f: Field[Boolean])
implicit class FieldOps[P](f: Field[P])
implicit class NumericFieldOps[P](f: Field[P])(implicit n: Numeric[P])
case class Policy[P]
object Policy
implicit class StringFieldOps(f: Field[String])

Inherited types

type ModuleVR[+E] = VR[E]
Inherited from:
InternalValidationModule

Value members

Inherited methods

def parent[P](using f: Field[P]): Field[P]
Inherited from:
ValidationModule

Concrete fields

Extensions

Inherited extensions

extension [P](f: Field[P])
def each(using it: IsIterable[P])(validation: Field[A] => VR[E]): Accumulate[ValidationError]
Inherited from:
ValidationModule
def forall(using it: IsIterable[P])(validation: (Field[A], Int) => VR[E]): Accumulate[ValidationError]
Inherited from:
ValidationModule
def max(using it: IsIterable[P])(max: Int): Accumulate[ValidationError]
Inherited from:
ValidationModule
def min(using it: IsIterable[P])(min: Int): Accumulate[ValidationError]
Inherited from:
ValidationModule
def nonEmpty(using it: IsIterable[P]): Accumulate[ValidationError]
Inherited from:
ValidationModule
extension [P](f: Field[P])
def check(cond: P => Boolean, error: FieldPath => VR[E]): Accumulate[ValidationError]
Inherited from:
ValidationModule
def ensure(cond: Boolean, error: FieldPath => VR[E]): Accumulate[ValidationError]
Inherited from:
ValidationModule
inline def sub[S](inline selector: P => S): Field[S]
Inherited from:
ValidationModule
extension (field: Field.type)
inline def from[V](inline value: V): Field[V]
Inherited from:
ValidationModule
extension [P](policy: Policy[P])
inline def subRule[S](inline selector: P => S)(rules: Field[P] => Field[S] => Accumulate[ValidationError]*): Policy[P]
Inherited from:
ValidationModule
inline def subRule2[S1, S2](inline selector1: P => S1, inline selector2: P => S2)(rules: Field[P] => (Field[S1], Field[S2]) => Accumulate[ValidationError]*): Policy[P]
Inherited from:
ValidationModule

Implicits

Inherited implicits

final implicit def BooleanFieldOps(f: Field[Boolean]): BooleanFieldOps
Inherited from:
InternalValidationModule
final implicit def FieldOps[P](f: Field[P]): FieldOps[P]
Inherited from:
InternalValidationModule
final implicit def NumericFieldOps[P](f: Field[P])(implicit n: Numeric[P]): NumericFieldOps[P]
Inherited from:
InternalValidationModule
final implicit def StringFieldOps(f: Field[String]): StringFieldOps
Inherited from:
InternalValidationModule
Inherited from:
InternalValidationModule