defaultable-map 1.0.1 → 1.0.2

raw patch · 3 files changed

+10/−4 lines, 3 filesdep ~containersdep ~semigroupoidsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: containers, semigroupoids

API changes (from Hackage documentation)

Files

CHANGELOG.md +6/−0
defaultable-map.cabal +1/−1
src/Defaultable/Map.hs +3/−3

CHANGELOG.md view

@@ -1,3 +1,9 @@+1.0.2++* BUG: Fix `Applicative` instance for `Defaultable`+  * The original instance violated the composition/associativity law for+    `Applicative`s+ 1.0.1  * BUG FIX: `Defaultable.Map.Generalized.insert` now correctly overrides any

defaultable-map.cabal view

@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               defaultable-map-version:            1.0.1+version:            1.0.2 synopsis:           Applicative maps description:   This package provides a `Defaultable` type constructor that

src/Defaultable/Map.hs view

@@ -208,8 +208,8 @@ • kf :: (a -> b) -> c • kx :: a -> c -  `fmap` kf mf `<>` `fmap` kx mx `<>` (mf `<.>` mx)-= `fmap` kx mx `<>` `fmap` kf mf `<>` (mf `<.>` mx)+  (mf `<.>` mx) `<>` `fmap` kf mf `<>` `fmap` kx mx+= (mf `<.>` mx) `<>` `fmap` kx mx `<>` `fmap` kf mf @      … where `map` is the first type parameter that implements `Apply` and@@ -268,7 +268,7 @@     Defaultable fMap fDefault <*> Defaultable xMap xDefault =         Defaultable fxMap fxDefault       where-        fxMap = fFallback <> xFallback <> (fMap <.> xMap)+        fxMap = (fMap <.> xMap) <> fFallback <> xFallback           where             fFallback =                 case fDefault of