The latest version of lattices is 2.2.1-2.
lib:lattices
Modules
- Algebra.Enumerable
- Algebra.Lattice
- Algebra.Lattice.Divisibility
- Algebra.Lattice.Dropped
- Algebra.Lattice.Free
- Algebra.Lattice.Levitated
- Algebra.Lattice.Lexicographic
- Algebra.Lattice.Lifted
- Algebra.Lattice.Op
- Algebra.Lattice.Ordered
- Algebra.PartialOrd
- Algebra.PartialOrd.Instances
Dependencies
- base lib:base >=4.5 && <4.13
- base-compat lib:base-compat >=0.9.3 && <0.11
- containers lib:containers >=0.4.2.1 && <0.7
- deepseq lib:deepseq >=1.3.0.0 && <1.5
- ghc-prim lib:ghc-prim >=0
- hashable lib:hashable >=1.2.6.1 && <1.3
- semigroupoids lib:semigroupoids >=5.2.2 && <5.4
- semigroups lib:semigroups >=0.18.3 && <0.19
- tagged lib:tagged >=0.8.5 && <0.9
- transformers lib:transformers >=0.3 && <0.6
- universe-base lib:universe-base >=1.0 && <1.1
- universe-reverse-instances lib:universe-reverse-instances >=1.0 && <1.1
- unordered-containers lib:unordered-containers >=0.2.6.0 && <0.3
- void lib:void >=0.7 && <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