Traits which describe basic concepts from order theory:
- [
LeastElement] and [GreatestElement] for unique extremal values. - [
Lattice] and [BoundedLattice], built up from [LowerSemilattice], [UpperSemilattice] and [BoundedLowerSemilattice], [BoundedUpperSemilattice] respectively. - [
TrySuccessor], [SuccessorExceptForGreatest] and [Successor] for orders with unique successors for some, almost all, or all values respectively. - [
TryPredecessor], [PredecessorExceptForLeast] and [Predecessor] for orders with unique predecessors for some, almost all, or all values respectively.
Nothing too fancy going on in this crate, just providing a couple traits which are really handy to be able to use as trait bounds every once in a while.