Module predicates::ord
source · Expand description
Definition of Predicate
s for comparisons over Ord
and Eq
types.
Structs§
- Predicate that returns
true
ifvariable
matches the pre-definedEq
value, otherwise returnsfalse
. - Predicate that returns
true
ifvariable
matches the pre-definedOrd
value, otherwise returnsfalse
.
Functions§
- Creates a new predicate that will return
true
when the givenvariable
is equal to a pre-defined value. - Creates a new predicate that will return
true
when the givenvariable
is greater than or equal to a pre-defined value. - Creates a new predicate that will return
true
when the givenvariable
is greater than a pre-defined value. - Creates a new predicate that will return
true
when the givenvariable
is less than or equal to a pre-defined value. - Creates a new predicate that will return
true
when the givenvariable
is less than a pre-defined value. - Creates a new predicate that will return
true
when the givenvariable
is not equal to a pre-defined value.