Definition of Predicate
s for comparisons over Ord
and Eq
types.
EqPredicate | Predicate that returns true if variable matches the pre-defined Eq
value, otherwise returns false .
|
OrdPredicate | Predicate that returns true if variable matches the pre-defined Ord
value, otherwise returns false .
|
eq | Creates a new predicate that will return true when the given variable is
equal to a pre-defined value.
|
ge | Creates a new predicate that will return true when the given variable is
greater than or equal to a pre-defined value.
|
gt | Creates a new predicate that will return true when the given variable is
greater than a pre-defined value.
|
le | Creates a new predicate that will return true when the given variable is
less than or equal to a pre-defined value.
|
lt | Creates a new predicate that will return true when the given variable is
less than a pre-defined value.
|
ne | Creates a new predicate that will return true when the given variable is
not equal to a pre-defined value.
|