packages feed

commutative-semigroups 0.0.1.0 → 0.0.2.0

raw patch · 3 files changed

+16/−2 lines, 3 filesdep +containersdep ~basePVP ok

version bump matches the API change (PVP)

Dependencies added: containers

Dependency ranges changed: base

API changes (from Hackage documentation)

+ Data.Semigroup.Commutative: instance Data.Semigroup.Commutative.Commutative Data.IntSet.Internal.IntSet
+ Data.Semigroup.Commutative: instance GHC.Classes.Ord a => Data.Semigroup.Commutative.Commutative (Data.Set.Internal.Set a)

Files

ChangeLog.md view
@@ -1,5 +1,10 @@ # Revision history for commutative-semigroups +## 0.0.2.0 -- 2022-03-26++- Add `instance Ord a => Commutative (Set a)`+- Add `instance Commutative IntSet`+ ## 0.0.1.0 -- 2021-01-28  - Add instance for `Maybe`.
commutative-semigroups.cabal view
@@ -1,6 +1,6 @@ cabal-version:       2.4 name:                commutative-semigroups-version:             0.0.1.0+version:             0.0.2.0 synopsis:            Commutative semigroups description:   A commutative semigroup is a semigroup where the order of arguments to mappend does not matter.@@ -23,6 +23,7 @@ library   exposed-modules:     Data.Semigroup.Commutative   -- other-modules:-  build-depends:       base >= 4.6 && < 5+  build-depends:       base >= 4.6 && < 4.17,+                       containers >= 0.4 && < 0.7   hs-source-dirs:      src   default-language:    Haskell2010
src/Data/Semigroup/Commutative.hs view
@@ -5,9 +5,11 @@  module Data.Semigroup.Commutative where +import Data.IntSet (IntSet) import Data.Monoid import Data.Ord import Data.List (unfoldr)+import Data.Set #if MIN_VERSION_base(4,7,0) import Data.Proxy #endif@@ -58,6 +60,12 @@ instance (Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d)  instance (Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e)++-- | @since 0.0.2.0+instance Ord a => Commutative (Set a)++-- | @since 0.0.2.0+instance Commutative IntSet  #if MIN_VERSION_base(4,11,0) instance Commutative a => Commutative (Down a)