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.
[Skip to Readme]
| Versions | 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 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.5 && <4.12), base-compat (>=0.9.3 && <0.11), containers (>=0.4.2.1 && <0.6), deepseq (>=1.3.0.0 && <1.5), ghc-prim, hashable (>=1.2.6.1 && <1.3), semigroupoids (>=5.2.2 && <5.3), semigroups (>=0.18.3 && <0.19), tagged (>=0.8.5 && <0.9), transformers (>=0.3 && <0.6), universe-base (==1.0.*), universe-reverse-instances (==1.0.*), unordered-containers (>=0.2.6.0 && <0.3), void (==0.7.*) [details] |
| License | BSD-3-Clause |
| Copyright | (C) 2010-2015 Maximilian Bolingbroke |
| Author | Maximilian Bolingbroke <batterseapower@hotmail.com> |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Revised | Revision 2 made by phadej at Thu Apr 5 20:20:35 UTC 2018 |
| Category | Math |
| Home page | http://github.com/phadej/lattices/ |
| Bug tracker | http://github.com/phadej/lattices/issues |
| Source repo | head: git clone git://github.com/phadej/lattices.git |
| Uploaded | by phadej at Mon Jan 29 19:48:10 UTC 2018 |
| Distributions | LTSHaskell:1.7.1, NixOS:1.7.1, Stackage:1.7.1, openSUSE:1.7.1 |
| Downloads | 7231 total (58 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2018-01-29 [all 1 reports] Hackage Matrix CI |
Modules
[Index]
Downloads
- lattices-1.7.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Readme for lattices-1.7.1
[back to package description]lattices
Fine-grained library for constructing and manipulating lattices