Module predicates::ord
source · Expand description
Definition of Predicates for comparisons over Ord and Eq types.
Structs
- Predicate that returns
trueifvariablematches the pre-definedEqvalue, otherwise returnsfalse. - Predicate that returns
trueifvariablematches the pre-definedOrdvalue, otherwise returnsfalse.
Functions
- Creates a new predicate that will return
truewhen the givenvariableis equal to a pre-defined value. - Creates a new predicate that will return
truewhen the givenvariableis greater than or equal to a pre-defined value. - Creates a new predicate that will return
truewhen the givenvariableis greater than a pre-defined value. - Creates a new predicate that will return
truewhen the givenvariableis less than or equal to a pre-defined value. - Creates a new predicate that will return
truewhen the givenvariableis less than a pre-defined value. - Creates a new predicate that will return
truewhen the givenvariableis not equal to a pre-defined value.