Validation

works.iterative.forms.Validation
See theValidation companion enum
object Validation

Attributes

Companion
enum
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Validation.type

Members list

Type members

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def check(validation: Validation, value: String, label: => String, registry: ValidationRuleRegistry = ...): Option[UserMessage]

The pure format check of one declared validation against a field's raw value. Emptiness is the Required concern and passes here; Rule validations resolve through the registry, and unbound ids pass — they validate at other edges.

The pure format check of one declared validation against a field's raw value. Emptiness is the Required concern and passes here; Rule validations resolve through the registry, and unbound ids pass — they validate at other edges.

Attributes

def rule[F[_] : Covariant](id: IdPath, validations: List[Validation], registry: ValidationRuleRegistry = ...)(implicit evidence$1: IdentityBoth[F], evidence$2: Covariant[F], MessageCatalogue): ValidationRule[F, String, String]

The declared validations of one field as a composable rule, accumulating every failing check at the field's path. Emptiness stays the composing interpreter's concern — a blank value reaches this rule only when the field is optional and filled.

The declared validations of one field as a composable rule, accumulating every failing check at the field's path. Emptiness stays the composing interpreter's concern — a blank value reaches this rule only when the field is optional and filled.

Attributes