Expand description
Definition of Predicate
s for comparisons over Ord
and Eq
types.
Structs§
- EqPredicate
- Predicate that returns
true
ifvariable
matches the pre-definedEq
value, otherwise returnsfalse
. - OrdPredicate
- Predicate that returns
true
ifvariable
matches the pre-definedOrd
value, otherwise returnsfalse
.
Functions§
- eq
- Creates a new predicate that will return
true
when the givenvariable
is equal to a pre-defined value. - ge
- Creates a new predicate that will return
true
when the givenvariable
is greater than or equal to a pre-defined value. - gt
- Creates a new predicate that will return
true
when the givenvariable
is greater than a pre-defined value. - le
- Creates a new predicate that will return
true
when the givenvariable
is less than or equal to a pre-defined value. - lt
- Creates a new predicate that will return
true
when the givenvariable
is less than a pre-defined value. - ne
- Creates a new predicate that will return
true
when the givenvariable
is not equal to a pre-defined value.