The Ord class is used for totally ordered datatypes.
Instances of Ord can be derived for any user-defined datatype whose constituent types are in Ord. The declared order of the constructors in the data declaration determines the ordering in derived Ord instances. The Ordering datatype allows a single comparison to determine the precise ordering of two objects.
Minimal complete definition: either compare or <=. Using compare can be more efficient for complex types.
ISO 8601 Ordinal Date format
Ordered xs: guarantees that xs is ordered.
Ordinal arithmetic implementation up to epsilon_0. Currently based on interated multiset representation, planning to add CNF based implenetation.
The Prelude.fromEnum method restricted to the type Data.Char.Char.
A little extension to Ord
L-Estimators for robust statistics
A library defining the notion of Poset.
Generates an ordered list of a given length.
support for partial orders and other stuffs
Show more results