2.1 (2022-12-27)

• Fix comprable for PartialOrd (a,b) instance
• Remove Stacked, use Either instead for ordinal sum. There is no type for disjoint union / parallel composition. Open an issue if you need one. Terminology is from https://en.wikipedia.org/wiki/Partially_ordered_set#Sums_of_partially_ordered_sets

2.0.3 (2021-10-30)

• Add instances for Solo

2.0.2 (2020-02-18)

• Add Algebra.Lattice.Stacked #99

2.0.1 (2019-07-22)

• Add (PartialOrd a, PartialOrd b) => PartialOrd (Either a b) instance

2 (2019-04-17)

• Reduce to three classes (from six): Lattice, BoundedMeetSemiLattice, BoundedJoinSemiLattice. The latter two names are kept to help migration.
• Remove Algebra.Enumerable module. Use universe package.
• Drop GHC-7.4.3 support (broken ConstraintKinds)
• Move Algebra.Lattice.Free to Algebra.Lattice.Free.Final
• Add concrete syntax Algebra.Lattice.Free and Algebra.Heyting.Free using LJT-proof search for Eq and PartialOrd
• Change PartialOrd [a] to be leq = isSubsequenceOf

1.7.1.1 (2019-07-05)

• Allow newer dependencies, update cabal file

1.7.1 (2018-01-29)

• Correct Safe Haskell annotations. See https://github.com/ekmett/semigroupoids/issues/69
• Bump lower bounds

1.7 (2017-10-01)

• HashMap instances changed
• PartialOrd Meet and Join
• PartialOrd () and Void
• BoundedLattice (HashSet a)
• PartialOrd [a] (leq = isInfixOf)

1.6.0 (2017-06-26)

• Correct PartialOrd Map and IntMap instances
• Add Lattice instance for containers types.
• Change meets1 and joins1 to use Foldable1
• Add comparable to PartialOrd
• Add Algebra.Lattice.Free module
• Add Divisibility lattice.
• Fix Lexicographic.

1.5.0 (2015-12-18)

• Move PartialOrd (k -> v) instance into own module
• Const and Identity instances
• added fromBool
• Add Lexicographic, Ordered and Op newtypes

1.4.1 (2015-10-26)

• MINIMAL pragma in with GHC 7.8
• Add DEPREACTED pragma for meet and join, use infix version \/ and /\

1.4 (2015-09-19)

• Infix operators
• meets and joins generalised to work on any Foldable
• Deprecate Algebra.Enumerable, use universe package
• Add Applicative and Monad typeclasses to Dropped, Lifted and Levitated
• Add Semigroup instance to Join and Meet
• Add instances for (), Proxy, Tagged and Void

1.3 (2015-05-18)

• relaxed constraint for BoundedLattice (Levitated a)
• added instances to Dropped, Levitated and Lifted:
  • from base
  • NFData
  • Hashable
• added HashSet and HashMap lattice instances