Constrains a value with a custom predicate that words its own violation.
Adapts an arbitrary check into a validator, folding the verdict and its message into one predicate: it returns true
when the value passes, or the Trace describing the violation when it fails. Prefixing the message with a
facet of its own, in braces, names the violation the way a built-in constraint names its own.
Constrains a value with a custom predicate that words its own violation.
Adapts an arbitrary check into a validator, folding the verdict and its message into one predicate: it returns
truewhen the value passes, or the Trace describing the violation when it fails. Prefixing the message with a facet of its own, in braces, names the violation the way a built-in constraint names its own.