@hackage / lattices

Fine-grained library for constructing and manipulating lattices

Latest2.2.1.1

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.10.2
  2. 9.8.4
  3. 9.6.7
  4. 9.4.8
  5. 9.2.8
  6. 9.0.2
  7. 8.10.4
  8. 8.8.3
  9. 8.6.5

Readme

In mathematics, a lattice is a partially ordered set in which every two elements x and y have a unique supremum (also called a least upper bound, join, or x \/ y) and a unique infimum (also called a greatest lower bound, meet, or x /\ y).

This package provide type-classes for different lattice types, as well as a class for the partial order.