@hackage / partialord

Data structure supporting partial orders

Latest0.1.1

About

Metadata

  • Last updated , by jcranch
  • License BSD-3-Clause

  • Maintained by: j.d.cranch@sheffield.ac.uk

  • Lottery factor: 1

Links

Installation

Readme

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.