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.