# 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.

Versions [RSS] [faq] | 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 |
---|---|

Change log | CHANGELOG.md |

Dependencies | base (>=4.6 && <4.16), base-compat (>=0.10.5 && <0.13), containers (>=0.5.0.0 && <0.7), deepseq (>=1.3.0.0 && <1.5), ghc-prim, hashable (>=1.2.7.0 && <1.4), integer-logarithms (>=1.0.3 && <1.1), QuickCheck (>=2.12.6.1 && <2.15), semigroupoids (>=5.3.2 && <5.4), semigroups (>=0.18.5 && <0.20), tagged (>=0.8.6 && <0.9), transformers (>=0.3.0.0 && <0.6), universe-base (==1.1.*), universe-reverse-instances (==1.1.*), unordered-containers (>=0.2.8.0 && <0.3), void (>=0.7.2 && <0.8) [details] |

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> |

Revised | Revision 4 made by phadej at 2021-08-30T21:27:19Z |

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 2020-02-18T10:38:18Z |

Distributions | Arch:2.0.2, LTSHaskell:2.0.2, NixOS:2.0.2, Stackage:2.0.2 |

Downloads | 17457 total (346 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 2020-02-18 [all 1 reports] |

## 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.Stacked
- Algebra.Lattice.Unicode
- Algebra.Lattice.Wide
- Algebra.Lattice.ZeroHalfOne

- Algebra.PartialOrd

## Downloads

- lattices-2.0.2.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'.