Closed egnha closed 5 years ago
Predicate functions form a boolean algebra—is there a meaningful way to extend this to check formulae? The tricky part would be transferring the boolean structure to error messages in a manner that doesn't degrade them, linguistically.
Package frozen at 1.0.0.
Define a generic operator
isnt
which negates check formulae and (localized) check makers. Should take into account that the predicate may be expressed as a lambda function.