mirror of https://github.com/Respect/Validation.git synced 2026-03-14 22:35:45 +01:00

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.9 KiB

Raw Permalink Blame History

NoneOf

NoneOf(Validator $validator1, Validator $validator2)
NoneOf(Validator $validator1, Validator $validator2, Validator ...$validators)

Validates if NONE of the given validators validate:

v::noneOf(v::intVal(), v::floatVal())->assert('foo');
// Validation passes successfully

In the sample above, 'foo' isn't a integer nor a float, so noneOf returns true.

Templates

`NoneOf::TEMPLATE_SOME`

Used when some validators have passed.

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

`NoneOf::TEMPLATE_ALL`

Used when all validators have passed.

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	Templates changed
3.0.0	Require at least two validators to be defined
0.3.9	Created

1.9 KiB Raw Permalink Blame History