lattices 2.2 → 2.2.1
raw patch · 22 files changed
+16/−89 lines, 22 filesdep −base-compatdep −voiddep ~QuickCheckdep ~basedep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: base-compat, void
Dependency ranges changed: QuickCheck, base, containers, hashable, semigroups, tasty, tasty-quickcheck
API changes (from Hackage documentation)
- Algebra.Lattice: instance Algebra.Lattice.Lattice Data.Void.Void
- Algebra.PartialOrd: instance Algebra.PartialOrd.PartialOrd Data.Void.Void
+ Algebra.Lattice: instance Algebra.Lattice.Lattice GHC.Base.Void
+ Algebra.PartialOrd: instance Algebra.PartialOrd.PartialOrd GHC.Base.Void
- Algebra.Heyting: infixr 5 ==>
+ Algebra.Heyting: infixr 5 <=>
Files
- CHANGELOG.md +4/−0
- lattices.cabal +11/−27
- src/Algebra/Heyting.hs +0/−3
- src/Algebra/Heyting/Free.hs +0/−3
- src/Algebra/Heyting/Free/Expr.hs +0/−3
- src/Algebra/Lattice.hs +0/−3
- src/Algebra/Lattice/Divisibility.hs +0/−3
- src/Algebra/Lattice/Dropped.hs +0/−3
- src/Algebra/Lattice/Free.hs +0/−3
- src/Algebra/Lattice/Free/Final.hs +0/−3
- src/Algebra/Lattice/Levitated.hs +0/−3
- src/Algebra/Lattice/Lexicographic.hs +0/−3
- src/Algebra/Lattice/Lifted.hs +0/−3
- src/Algebra/Lattice/M2.hs +0/−3
- src/Algebra/Lattice/M3.hs +0/−3
- src/Algebra/Lattice/N5.hs +0/−3
- src/Algebra/Lattice/Op.hs +0/−3
- src/Algebra/Lattice/Ordered.hs +0/−3
- src/Algebra/Lattice/Wide.hs +0/−3
- src/Algebra/Lattice/ZeroHalfOne.hs +0/−3
- src/Algebra/PartialOrd.hs +1/−1
- test/Tests.hs +0/−7
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 2.2.1 (2024-05-16)++- Support GHC-8.6.5..GHC-9.10.1+ # 2.2 (2022-03-15) - Drop `semigroupoids` dependency in favour of `foldable1-classes-compat`.
lattices.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: lattices-version: 2.2+version: 2.2.1 category: Math license: BSD3 license-file: LICENSE@@ -22,19 +22,14 @@ wide.png tested-with:- GHC ==7.6.3- || ==7.8.4- || ==7.10.3- || ==8.0.2- || ==8.2.2- || ==8.4.4- || ==8.6.5+ GHC ==8.6.5 || ==8.8.3 || ==8.10.4 || ==9.0.2- || ==9.2.5- || ==9.4.4- || ==9.6.1+ || ==9.2.8+ || ==9.4.7+ || ==9.6.3+ || ==9.8.1 synopsis: Fine-grained library for constructing and manipulating lattices@@ -83,13 +78,12 @@ Algebra.PartialOrd.Instances build-depends:- base >=4.6 && <4.19- , base-compat >=0.13 && <0.14- , containers >=0.5.0.0 && <0.7- , deepseq >=1.3.0.0 && <1.5+ base >=4.12 && <4.21+ , containers >=0.5.0.0 && <0.8+ , deepseq >=1.3.0.0 && <1.6 , hashable >=1.2.7.0 && <1.5 , integer-logarithms >=1.0.3 && <1.1- , QuickCheck >=2.12.6.1 && <2.15+ , QuickCheck >=2.12.6.1 && <2.16 , tagged >=0.8.6 && <0.9 , transformers >=0.3.0.0 && <0.7 , universe-base >=1.1 && <1.2@@ -105,15 +99,6 @@ else build-depends: OneTuple >=0.4 && <0.5 - if !impl(ghc >=8.0)- build-depends: semigroups >=0.18.5 && <0.21-- if !impl(ghc >=7.10)- build-depends: void >=0.7.2 && <0.8-- if impl(ghc >=7.4 && <7.5)- build-depends: ghc-prim- test-suite test type: exitcode-stdio-1.0 main-is: Tests.hs@@ -122,12 +107,11 @@ default-language: Haskell2010 build-depends: base- , base-compat , containers , lattices , QuickCheck , quickcheck-instances >=0.3.19 && <0.4- , tasty >=1.2.1 && <1.5+ , tasty >=1.2.1 && <1.6 , tasty-quickcheck >=0.10 && <0.11 , transformers , universe-base
src/Algebra/Heyting.hs view
@@ -12,9 +12,6 @@ ---------------------------------------------------------------------------- module Algebra.Heyting where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Control.Applicative (Const (..)) import Data.Functor.Identity (Identity (..))
src/Algebra/Heyting/Free.hs view
@@ -14,9 +14,6 @@ toExpr, ) where -import Prelude ()-import Prelude.Compat- import Algebra.Heyting import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Heyting/Free/Expr.hs view
@@ -10,9 +10,6 @@ proofSearch, ) where -import Prelude ()-import Prelude.Compat- import Control.Monad (ap) import Control.Monad.Trans.State (State, evalState, get, put) import Data.Data (Data, Typeable)
src/Algebra/Lattice.hs view
@@ -40,9 +40,6 @@ gfp, gfpFrom, unsafeGfp, ) where -import Prelude ()-import Prelude.Compat- import qualified Algebra.PartialOrd as PO import Control.Applicative (Const (..))
src/Algebra/Lattice/Divisibility.hs view
@@ -20,9 +20,6 @@ Divisibility(..) ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Dropped.hs view
@@ -22,9 +22,6 @@ , foldDropped ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Free.hs view
@@ -14,9 +14,6 @@ toExpr, ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Free/Final.hs view
@@ -24,9 +24,6 @@ retractFBoundedLattice, ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Data.Universe.Class (Finite (..), Universe (..))
src/Algebra/Lattice/Levitated.hs view
@@ -22,9 +22,6 @@ , foldLevitated ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Lexicographic.hs view
@@ -20,9 +20,6 @@ Lexicographic(..) ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Lifted.hs view
@@ -22,9 +22,6 @@ , foldLifted ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/M2.hs view
@@ -16,9 +16,6 @@ fromSetBool, ) where -import Prelude ()-import Prelude.Compat- import Control.DeepSeq (NFData (..)) import Data.Data (Data, Typeable) import Data.Hashable (Hashable (..))
src/Algebra/Lattice/M3.hs view
@@ -14,9 +14,6 @@ M3 (..), ) where -import Prelude ()-import Prelude.Compat- import Control.DeepSeq (NFData (..)) import Data.Data (Data, Typeable) import Data.Hashable (Hashable (..))
src/Algebra/Lattice/N5.hs view
@@ -14,9 +14,6 @@ N5 (..), ) where -import Prelude ()-import Prelude.Compat- import Control.DeepSeq (NFData (..)) import Data.Data (Data, Typeable) import Data.Hashable (Hashable (..))
src/Algebra/Lattice/Op.hs view
@@ -19,9 +19,6 @@ Op(..) ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Ordered.hs view
@@ -20,9 +20,6 @@ Ordered(..) ) where -import Prelude ()-import Prelude.Compat- import Algebra.Heyting import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/Wide.hs view
@@ -19,9 +19,6 @@ Wide(..) ) where -import Prelude ()-import Prelude.Compat- import Algebra.Lattice import Algebra.PartialOrd
src/Algebra/Lattice/ZeroHalfOne.hs view
@@ -14,9 +14,6 @@ ZeroHalfOne (..), ) where -import Prelude ()-import Prelude.Compat- import Control.DeepSeq (NFData (..)) import Data.Data (Data, Typeable) import Data.Hashable (Hashable (..))
src/Algebra/PartialOrd.hs view
@@ -24,7 +24,7 @@ import qualified Data.HashSet as HS import qualified Data.IntMap as IM import qualified Data.IntSet as IS-import qualified Data.List.Compat as L+import qualified Data.List as L import qualified Data.Map as Map import Data.Monoid (All (..), Any (..)) import qualified Data.Set as Set
test/Tests.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE CPP #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE FlexibleContexts #-}@@ -7,9 +6,6 @@ {-# LANGUAGE ScopedTypeVariables #-} module Main (main) where -import Prelude ()-import Prelude.Compat- import Control.Monad (ap, guard) import Data.Int (Int8) import Data.List (genericLength, nub)@@ -147,9 +143,6 @@ ------------------------------------------------------------------------------- monadLaws :: forall (m :: * -> *). ( Monad m-#if !MIN_VERSION_base(4, 8, 0)- , Applicative m-#endif , Arbitrary (m Int) , Eq (m Int) , Show (m Int)