partialord

A data structure supporting partial orders, and some helpful associated routines.

Other packages

An alternative package is already available, namely partial-order. Differences include:

• PartialOrd has a comparison valued in Maybe Ordering; we use a fresh type with four constructors.
• Where types have several natural partial orderings, we provide newtypes rather than choosing one.
• We pay slightly more attention to algorithmic complexity.