packages feed

monoid-map 0.2.0.0 → 0.2.0.1

raw patch · 3 files changed

+14/−6 lines, 3 filesdep ~commutative-semigroupsdep ~witherablenew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: commutative-semigroups, witherable

API changes (from Hackage documentation)

- Data.MonoidMap: instance (GHC.Base.Monoid a, Data.Monoid.DecidablyEmpty.DecidablyEmpty a, GHC.Classes.Ord k) => GHC.Base.Semigroup (Data.MonoidMap.MonoidMap k a)
- Data.MonoidMap: instance (GHC.Classes.Ord k, Data.Monoid.DecidablyEmpty.DecidablyEmpty a) => GHC.Base.Monoid (Data.MonoidMap.MonoidMap k a)
- Data.MonoidMap: instance (GHC.Show.Show k, GHC.Show.Show v) => GHC.Show.Show (Data.MonoidMap.MonoidMap k v)
- Data.MonoidMap: instance (TypeError ...) => GHC.Base.Functor (Data.MonoidMap.MonoidMap k)
- Data.MonoidMap: instance Data.Foldable.Foldable (Data.MonoidMap.MonoidMap k)
+ Data.MonoidMap: instance (GHC.Classes.Ord k, Data.Monoid.DecidablyEmpty.DecidablyEmpty a) => GHC.Internal.Base.Monoid (Data.MonoidMap.MonoidMap k a)
+ Data.MonoidMap: instance (GHC.Internal.Base.Monoid a, Data.Monoid.DecidablyEmpty.DecidablyEmpty a, GHC.Classes.Ord k) => GHC.Internal.Base.Semigroup (Data.MonoidMap.MonoidMap k a)
+ Data.MonoidMap: instance (GHC.Internal.Show.Show k, GHC.Internal.Show.Show v) => GHC.Internal.Show.Show (Data.MonoidMap.MonoidMap k v)
+ Data.MonoidMap: instance (TypeError ...) => GHC.Internal.Base.Functor (Data.MonoidMap.MonoidMap k)
+ Data.MonoidMap: instance GHC.Internal.Data.Foldable.Foldable (Data.MonoidMap.MonoidMap k)

Files

CHANGELOG.md view
@@ -1,5 +1,14 @@ # Revision history for monoid-map +## v0.2.0.1++* Loosen version bounds+* Support GHC 9.10++## v0.2.0.0-r1++* Loosen reflex version bound+ ## v0.2.0.0  * Add support for DecidablyEmpty
monoid-map.cabal view
@@ -1,6 +1,6 @@ cabal-version:      2.4 name:               monoid-map-version:            0.2.0.0+version:            0.2.0.1 synopsis:           A monoidal map with the right group instance description:   Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct@@ -30,10 +30,10 @@    build-depends:     , base                 >=4   && <5-    , commutative-semigroups >= 0.1 && < 0.2+    , commutative-semigroups >= 0.1 && < 0.3     , monoidal-containers  ^>=0.6-    , reflex               ^>=0.8-    , witherable           >=0.3 && <0.5+    , reflex               >=0.8 && < 1+    , witherable           >=0.4 && <0.6     , patch                >=0.0.8.0 && < 0.1    hs-source-dirs:   src
src/Data/MonoidMap.hs view
@@ -14,14 +14,13 @@ {-# LANGUAGE DataKinds #-} module Data.MonoidMap where -import Data.Witherable import Data.Semigroup.Commutative import Data.Map.Monoidal (MonoidalMap) import qualified Data.Map.Monoidal as Map-import Data.Semigroup (Semigroup, (<>)) import Reflex (Query, QueryResult, crop, Group(..)) import Data.Monoid.DecidablyEmpty import GHC.TypeLits+import Witherable  -- | Newtype wrapper around Data.Map.Monoidal.MonoidalMap newtype MonoidMap k v = MonoidMap { unMonoidMap :: MonoidalMap k v }