The Eq<T> and Ord<T>
interfaces provide contracts for implementing equivalence relations and
total orders, respectively. See their respective documentation for
implementation patterns.
The Eq:namespace and Ord:namespace companion
namespaces provide the unique symbols required to implement their
associated interfaces.
Functionality for ordering and comparison.
Remarks
This module provides utilities for implementing equivalance relations and total orders, as well as ordering and comparing values.
Importing from this module
It is recommended to import items from this module individually:
Implementing equivalence relations and total orders
Eq<T>
andOrd<T>
interfaces provide contracts for implementing equivalence relations and total orders, respectively. See their respective documentation for implementation patterns.Eq:namespace
andOrd:namespace
companion namespaces provide the unique symbols required to implement their associated interfaces.