lattices
Fine-grained library for constructing and manipulating lattices
http://github.com/phadej/lattices/
Version on this page: | 2.0.1@rev:1 |
LTS Haskell 22.14: | 2.2@rev:1 |
Stackage Nightly 2024-03-29: | 2.2@rev:1 |
Latest on Hackage: | 2.2@rev:1 |
Maintained by Oleg Grenrus
This version can be pinned in stack with:
lattices-2.0.1@sha256:d88c9820dedcf7603679568ac310e5d2c3609c151c029ed5591b6c775fc0ddfd,3501
Module documentation for 2.0.1
- 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
Depends on 13 packages(full list with versions):
Used by 1 package in nightly-2020-01-07(full list with versions):