semibounded-lattices 0.1.0.1 → 0.1.1.0
raw patch · 2 files changed
+3/−3 lines, 2 filesdep ~latticesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: lattices
API changes (from Hackage documentation)
- Algebra.SemiBoundedLattice: instance GHC.Classes.Ord a => Algebra.SemiBoundedLattice.LowerBoundedDistributiveLattice (Data.Set.Base.Set a)
- Algebra.SemiBoundedLattice: instance GHC.Classes.Ord a => Algebra.SemiBoundedLattice.LowerBoundedLattice (Data.Set.Base.Set a)
- Algebra.SemiBoundedLattice: instance GHC.Classes.Ord a => Algebra.SemiBoundedLattice.SemiCoHeytingAlgebra (Data.Set.Base.Set a)
+ Algebra.SemiBoundedLattice: instance GHC.Classes.Ord a => Algebra.SemiBoundedLattice.LowerBoundedDistributiveLattice (Data.Set.Internal.Set a)
+ Algebra.SemiBoundedLattice: instance GHC.Classes.Ord a => Algebra.SemiBoundedLattice.LowerBoundedLattice (Data.Set.Internal.Set a)
+ Algebra.SemiBoundedLattice: instance GHC.Classes.Ord a => Algebra.SemiBoundedLattice.SemiCoHeytingAlgebra (Data.Set.Internal.Set a)
+ Algebra.SemiBoundedLattice: negation :: HeytingAlgebra a => a -> a
+ Algebra.SemiBoundedLattice: supplement :: CoHeytingAlgebra a => a -> a
- Algebra.SemiBoundedLattice: class BiHeytingAlgebra a => BooleanAlgebra a where complement = supplement
+ Algebra.SemiBoundedLattice: class BiHeytingAlgebra a => BooleanAlgebra a
- Algebra.SemiBoundedLattice: class (BoundedLattice a, SemiCoHeytingAlgebra a) => CoHeytingAlgebra a where supplement a = top \\\ a
+ Algebra.SemiBoundedLattice: class (BoundedLattice a, SemiCoHeytingAlgebra a) => CoHeytingAlgebra a
- Algebra.SemiBoundedLattice: class (BoundedLattice a, SemiHeytingAlgebra a) => HeytingAlgebra a where negation a = a --> bottom
+ Algebra.SemiBoundedLattice: class (BoundedLattice a, SemiHeytingAlgebra a) => HeytingAlgebra a
- Algebra.SemiBoundedLattice: class LowerBoundedDistributiveLattice a => SemiCoHeytingAlgebra a where (\\\) = subtraction subtraction = (\\\)
+ Algebra.SemiBoundedLattice: class LowerBoundedDistributiveLattice a => SemiCoHeytingAlgebra a
- Algebra.SemiBoundedLattice: class UpperBoundedDistributiveLattice a => SemiHeytingAlgebra a where (-->) = implication implication = (-->)
+ Algebra.SemiBoundedLattice: class UpperBoundedDistributiveLattice a => SemiHeytingAlgebra a
Files
semibounded-lattices.cabal view
@@ -1,5 +1,5 @@ name: semibounded-lattices-version: 0.1.0.1+version: 0.1.1.0 synopsis: A Haskell implementation of semibounded lattices description: Please see README.md homepage: https://github.com/xu-hao/semibounded-lattices#readme@@ -17,7 +17,7 @@ hs-source-dirs: src exposed-modules: Algebra.SemiBoundedLattice build-depends: base >= 4 && < 5,- lattices >= 1.4,+ lattices >= 1.4 && < 2, containers >= 0.1 default-language: Haskell2010
src/Algebra/SemiBoundedLattice.hs view
@@ -13,7 +13,7 @@ module Algebra.SemiBoundedLattice ( Complemented (..), (/\\), (//\), DistributiveLattice, LowerBoundedLattice, UpperBoundedLattice, LowerBoundedDistributiveLattice, UpperBoundedDistributiveLattice, BooleanAlgebra (..),- HeytingAlgebra, CoHeytingAlgebra, SemiHeytingAlgebra (..), SemiCoHeytingAlgebra (..), BiHeytingAlgebra) where+ HeytingAlgebra (..), CoHeytingAlgebra (..), SemiHeytingAlgebra (..), SemiCoHeytingAlgebra (..), BiHeytingAlgebra) where -- import Data.List (union, intersect, (\\)) import Data.Set (union, intersection, (\\), Set)