Module ord

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.