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
T
according to a type-level predicateP
. The semantics ofP
are defined by the instance(s) of this type class forP
.