- Support GHC-8.6.5..GHC-9.10.1
- Drop
semigroupoids
dependency in favour offoldable1-classes-compat
. Be careful with whichFoldable1
class you end up using.
- Fix
comprable
forPartialOrd (a,b)
instance - Remove
Stacked
, useEither
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
- Add instances for
Solo
- Add
Algebra.Lattice.Stacked
#99
- Add
(PartialOrd a, PartialOrd b) => PartialOrd (Either a b)
instance
- Reduce to three classes (from six):
Lattice
,BoundedMeetSemiLattice
,BoundedJoinSemiLattice
. The latter two names are kept to help migration. - Remove
Algebra.Enumerable
module. Useuniverse
package. - Drop GHC-7.4.3 support (broken
ConstraintKinds
) - Move
Algebra.Lattice.Free
toAlgebra.Lattice.Free.Final
- Add concrete syntax
Algebra.Lattice.Free
andAlgebra.Heyting.Free
using LJT-proof search forEq
andPartialOrd
- Change
PartialOrd [a]
to beleq = isSubsequenceOf
- Allow newer dependencies, update cabal file
- Correct Safe Haskell annotations. See ekmett/semigroupoids#69
- Bump lower bounds
HashMap
instances changedPartialOrd Meet
andJoin
PartialOrd ()
andVoid
BoundedLattice (HashSet a)
PartialOrd [a]
(leq = isInfixOf
)
- Correct PartialOrd Map and IntMap instances
- Add Lattice instance for
containers
types. - Change
meets1
andjoins1
to useFoldable1
- Add
comparable
toPartialOrd
- Add
Algebra.Lattice.Free
module - Add
Divisibility
lattice. - Fix
Lexicographic
.
- Move
PartialOrd (k -> v)
instance into own module Const
andIdentity
instances- added
fromBool
- Add
Lexicographic
,Ordered
andOp
newtypes
MINIMAL
pragma in with GHC 7.8- Add
DEPREACTED
pragma formeet
andjoin
, use infix version\/
and/\
- Infix operators
meets
andjoins
generalised to work on anyFoldable
- Deprecate
Algebra.Enumerable
, use universe package - Add
Applicative
andMonad
typeclasses toDropped
,Lifted
andLevitated
- Add
Semigroup
instance toJoin
andMeet
- Add instances for
()
,Proxy
,Tagged
andVoid
- relaxed constraint for
BoundedLattice (Levitated a)
- added instances to
Dropped
,Levitated
andLifted
:- from base
NFData
Hashable
- added
HashSet
andHashMap
lattice instances