lattices: Fine-grained library for constructing and manipulating lattices

[ bsd3, library, math ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

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
Change log CHANGELOG.md
Dependencies base (>=4.6 && <4.19), base-compat (>=0.13 && <0.14), containers (>=0.5.0.0 && <0.7), deepseq (>=1.3.0.0 && <1.5), foldable1-classes-compat (>=0.1 && <0.2), ghc-prim, hashable (>=1.2.7.0 && <1.5), integer-logarithms (>=1.0.3 && <1.1), OneTuple (>=0.4 && <0.5), QuickCheck (>=2.12.6.1 && <2.15), semigroups (>=0.18.5 && <0.21), 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), 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>
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 2023-03-15T16:27:58Z
Distributions Arch:2.1, LTSHaskell:2.0.3, NixOS:2.0.3, Stackage:2.1
Reverse Dependencies 26 direct, 38 indirect [details]
Downloads 22314 total (223 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 2023-03-15 [all 1 reports]