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.
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 of this type class forP
.