2 (2019-04-17)

• Reduce to three classes (from six): Lattice, BoundedMeetSemiLattice BoundeJoinSemiLattice. 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