The latest version of lattices is 2.2.1-2.
lib:lattices
Modules
- Algebra.Heyting
- Algebra.Heyting.Free
- Algebra.Heyting.Free.Expr
- Algebra.Lattice
- Algebra.Lattice.Divisibility
- Algebra.Lattice.Dropped
- Algebra.Lattice.Free
- Algebra.Lattice.Free.Final
- 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
- Algebra.PartialOrd.Instances
Dependencies
- QuickCheck lib:QuickCheck >=2.12.6.1 && <2.14
- base lib:base >=4.6 && <4.13
- base-compat lib:base-compat >=0.10.5 && <0.11
- containers lib:containers >=0.5.0.0 && <0.7
- deepseq lib:deepseq >=1.3.0.0 && <1.5
- ghc-prim lib:ghc-prim >=0
- hashable lib:hashable >=1.2.7.0 && <1.4
- integer-logarithms lib:integer-logarithms >=1.0.3 && <1.1
- semigroupoids lib:semigroupoids >=5.3.2 && <5.4
- semigroups lib:semigroups >=0.18.5 && <0.20
- tagged lib:tagged >=0.8.6 && <0.9
- transformers lib:transformers >=0.3.0.0 && <0.6
- universe-base lib:universe-base >=1.1 && <1.2
- universe-reverse-instances lib:universe-reverse-instances >=1.1 && <1.2
- unordered-containers lib:unordered-containers >=0.2.8.0 && <0.3
- void lib:void >=0.7.2 && <0.8
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- data-interval lib:data-interval
- edit-lenses lib:edit-lenses
- formura lib:formura
- lattices test:test
- lfst lib:lfst
- lvish lib:lvish
- lvish test:test-lvish
- semibounded-lattices lib:semibounded-lattices
- sign lib:sign
- sign test:TestSign
- toysolver lib:toysolver