Returns the result of isValid in a List.
Returns the result of isValid in a List. Can be overridden to
accumulate the results of sub-predicates.
Returns the result of show in a List.
Returns the result of show in a List. Can be overridden to
accumulate the string representations of sub-predicates.
Denotes whether this Predicate is constant (which is false by default).
Checks if t does not satisfy the predicate P.
Returns None if t satisfies the predicate P, or an error message
contained in Some otherwise.
Type class for validating values of type
Taccording to a type-level predicateP. The semantics ofPare defined by the instance(s) of this type class forP.