Custom predefined invariants #92

New issue

Open

opened 2026-10-24 09:20:45 +02:00 by c.fahner · 0 comments

c.fahner commented

2026-10-24 09:20:45 +02:00

Owner

Currently schema invariants are required to be an instance of Constraint\Invariant. The final modifier could be dropped from this class to allow for custom implementations that directly provide the public Predicate $condition property.

The library could immediately provide some common cases in the Constraint\Invariant\* namespace:

Number in range
Numeric comparison between field and literal or other field

Currently schema invariants are required to be an instance of `Constraint\Invariant`. The `final` modifier could be dropped from this class to allow for custom implementations that directly provide the `public Predicate $condition` property. The library could immediately provide some common cases in the `Constraint\Invariant\*` namespace: * Number in range * Numeric comparison between field and literal or other field

c.fahner added the

Kind/Enhancement

label

2026-10-24 09:20:45 +02:00