jap-validation/jap.validation.examples/StringValidationModule

StringValidationModule

object StringValidationModule extends ValidationModule[Id, String]
trait ValidationModule[Id, String]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

case class Policy[P]
Inherited from:
ValidationModule
object Policy
Inherited from:
ValidationModule

Inherited types

type ValidationResult = ValidatedNel[E, Unit]
Inherited from:
ValidationModule

Value members

Concrete fields

val fail: ValidationError => String

Inherited fields

Extensions

Inherited extensions

extension [P](f: Field[P])
def !==(f2: Field[P]): ValidationEffect
Inherited from:
ValidationModule
def !==(value: P): ValidationEffect
Inherited from:
ValidationModule
def ===(f2: Field[P]): ValidationEffect
Inherited from:
ValidationModule
def ===(value: P): ValidationEffect
Inherited from:
ValidationModule
def assert(cond: Boolean, error: ValidationResult): ValidationEffect
Inherited from:
ValidationModule
def assertF(cond: F[Boolean], error: ValidationResult): ValidationEffect
Inherited from:
ValidationModule
def check(cond: P => Boolean, error: FieldPath => ValidationResult): ValidationEffect
Inherited from:
ValidationModule
def checkF(cond: P => F[Boolean], error: FieldPath => ValidationResult): ValidationEffect
Inherited from:
ValidationModule
def in(seq: Seq[P]): ValidationEffect
Inherited from:
ValidationModule
def isValid(using policy: Policy[P]): ValidationEffect
Inherited from:
ValidationModule
extension (f: Field[String])
def isEnum(e: Enumeration): ValidationEffect
Inherited from:
ValidationModule
def isJEnum[T <: Enum[T]](values: Array[T]): ValidationEffect
Inherited from:
ValidationModule
def matches(r: Regex): ValidationEffect
Inherited from:
ValidationModule
extension [P](f: Field[P])
def forallWithIndex(using it: IsIterable[P])(validation: (Field[A], Int) => ValidationEffect): ValidationEffect
Inherited from:
ValidationModule
def max(using it: IsIterable[P])(max: Int): ValidationEffect
Inherited from:
ValidationModule
def min(using it: IsIterable[P])(min: Int): ValidationEffect
Inherited from:
ValidationModule
def nonEmpty(using it: IsIterable[P]): ValidationEffect
Inherited from:
ValidationModule
extension [P](f: Field[P])(using it: IsIterable[P])
def forall[T](validation: Field[A] => ValidationEffect): ValidationEffect
Inherited from:
ValidationModule
extension [P](f: Field[P])
def <(using n: Numeric[P])(p: P): ValidationEffect
Inherited from:
ValidationModule
def <=(using n: Numeric[P])(p: P): ValidationEffect
Inherited from:
ValidationModule
def >(using n: Numeric[P])(p: P): ValidationEffect
Inherited from:
ValidationModule
def >=(using n: Numeric[P])(p: P): ValidationEffect
Inherited from:
ValidationModule

Implicits

Inherited implicits

implicit def toValidationResult(error: String): ValidationResult
Inherited from:
ValidationModule