lattices
Fine-grained library for constructing and manipulating lattices
http://github.com/phadej/lattices/
LTS Haskell 21.14: | 2.1 |
Stackage Nightly 2023-10-02: | 2.2 |
Latest on Hackage: | 2.2 |
Maintained by Oleg Grenrus
This version can be pinned in stack with:
lattices-2.2@sha256:907958675fde627b291d118f56242aa7bb0417e7e7d782600a440ef8a8627edf,3705
Module documentation for 2.2
- 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 12 packages(full list with versions):
Used by 2 packages in nightly-2023-10-02(full list with versions):