Module ord

Source
Expand description

Definition of Predicates for comparisons over Ord and Eq types.

Structs§

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.

Functions§

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.