lattices: Fine-grained library for constructing and manipulating lattices
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.
Modules
[Index] [Quick Jump]
- Algebra
- Algebra.Heyting
- Algebra.Lattice
- Algebra.Lattice.Divisibility
- Algebra.Lattice.Dropped
- Algebra.Lattice.Free
- Algebra.Lattice.Levitated
- Algebra.Lattice.Lexicographic
- Algebra.Lattice.Lifted
- Algebra.Lattice.M2
- Algebra.Lattice.M3
- Algebra.Lattice.N5
- Algebra.Lattice.Op
- Algebra.Lattice.Ordered
- Algebra.Lattice.Unicode
- Algebra.Lattice.Wide
- Algebra.Lattice.ZeroHalfOne
- Algebra.PartialOrd
Downloads
- lattices-2.2.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 1.0, 1.1, 1.2, 1.2.1, 1.2.1.1, 1.3, 1.4, 1.4.1, 1.5.0, 1.6.0, 1.7, 1.7.1, 1.7.1.1, 2, 2.0.1, 2.0.2, 2.0.3, 2.1, 2.2, 2.2.1, 2.2.1.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.12 && <4.23), containers (>=0.5.0.0 && <0.9), deepseq (>=1.3.0.0 && <1.6), foldable1-classes-compat (>=0.1 && <0.2), ghc-prim, hashable (>=1.2.7.0 && <1.6), integer-logarithms (>=1.0.3 && <1.1), OneTuple (>=0.4 && <0.5), QuickCheck (>=2.12.6.1 && <2.19), tagged (>=0.8.6 && <0.9), transformers (>=0.3.0.0 && <0.7), universe-base (>=1.1 && <1.2), universe-reverse-instances (>=1.1 && <1.2), unordered-containers (>=0.2.8.0 && <0.3) [details] |
| Tested with | ghc ==8.6.5 || ==8.8.3 || ==8.10.4 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4 || ==9.10.2 || ==9.12.4 || ==9.14.1 |
| License | BSD-3-Clause |
| Copyright | (C) 2010-2015 Maximilian Bolingbroke, 2016-2019 Oleg Grenrus |
| Author | Maximilian Bolingbroke <batterseapower@hotmail.com>, Oleg Grenrus <oleg.grenrus@iki.fi> |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Uploaded | by phadej at 2026-04-16T00:15:23Z |
| Category | Math |
| Home page | http://github.com/phadej/lattices/ |
| Bug tracker | http://github.com/phadej/lattices/issues |
| Source repo | head: git clone https://github.com/phadej/lattices.git |
| Reverse Dependencies | 30 direct, 43 indirect [details] |
| Downloads | 25963 total (73 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2026-04-16 [all 1 reports] |