respect-validation/docs/validators/AllOf.md
Henrique Moody b701fac656
Create ShortCircuit validator and ShortCircuitable interface
This commit introduces a mechanism for validators to return early once
the validation outcome is determined, rather than evaluating all child
validators.

The ShortCircuit validator evaluates validators sequentially and stops
at the first failure, similar to how PHP's && operator works. This is
useful when later validators depend on earlier ones passing, or when
you want only the first error message.

The ShortCircuitCapable interface allows composite validators (AllOf,
AnyOf, OneOf, NoneOf, Each, All) to implement their own short-circuit
logic.

Why "ShortCircuit" instead of "FailFast":

The name "FailFast" was initially considered but proved misleading.
While AllOf stops on failure (fail fast), AnyOf stops on success
(succeed fast), and OneOf stops on the second success. The common
behavior is not about failing quickly, but about returning as soon as
the outcome is determined—which is exactly what short-circuit
evaluation means. This terminology is familiar to developers from
boolean operators (&& and ||), making the behavior immediately
understandable.

Co-authored-by: Alexandre Gomes Gaigalas <alganet@gmail.com>
Assisted-by: Claude Code (Opus 4.5)
2026-02-05 17:32:42 +01:00

1.7 KiB

AllOf

  • AllOf(Validator $validator1, Validator $validator2)
  • AllOf(Validator $validator1, Validator $validator2, Validator ...$validators)

Will validate if all inner validators validates.

v::allOf(v::intVal(), v::positive())->assert(15);
// Validation passes successfully

Templates

AllOf::TEMPLATE_SOME

Used when some validators must be failed.

Mode Template
default {{subject}} must pass the rules
inverted {{subject}} must pass the rules

AllOf::TEMPLATE_ALL

Used when all validators have failed.

Mode Template
default {{subject}} must pass all the rules
inverted {{subject}} must pass all the rules

Template placeholders

Placeholder Description
subject The validated input or the custom validator name (if specified).

Categorization

  • Composite
  • Nesting

Changelog

Version Description
3.0.0 Require at least two validators to be passed
0.3.9 Created

See Also