dependent-hashmap 0.1.0.0 → 0.1.0.1

raw patch · 3 files changed

+8/−14 lines, 3 filesdep ~unordered-containersPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: unordered-containers

API changes (from Hackage documentation)

Files

• dependent-hashmap.cabal +4/−4
• src/Data/Dependent/HashMap.hs +2/−1
• tests/Main.hs +2/−9

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: b43156688dbdbc31a90bbe37fde9b636e95f5aa58bdeb57498b22a11ec0a6df6+-- hash: b1b80454bb1a4bd3fb3e2976fb1f71a32f82a469a194644d39d6413ad4fdeac7  name:           dependent-hashmap-version:        0.1.0.0+version:        0.1.0.1 synopsis:       Dependent hash maps description:    Provides @DHashMap@, a type for hash maps where the keys can specify the type of value that is associated with them. category:       Data@@ -35,7 +35,7 @@     , constraints-extras >=0.3     , dependent-sum >=0.6     , hashable >=1.3-    , unordered-containers >=0.2+    , unordered-containers >=0.2.9   default-language: Haskell2010  test-suite test-dependent-hashmap@@ -55,5 +55,5 @@     , hashable >=1.3     , hedgehog     , mtl-    , unordered-containers >=0.2+    , unordered-containers >=0.2.9   default-language: Haskell2010

@@ -96,7 +96,7 @@ import Data.Constraint.Extras import Data.Dependent.Sum import qualified Data.Foldable as Foldable-import Data.GADT.Compare+import Data.GADT.Compare (GCompare, GEq, geq) import Data.GADT.Show import Data.Hashable import qualified Data.HashMap.Lazy as HashMap@@ -104,6 +104,7 @@ import Data.Semigroup #endif import Data.Some+import Data.Type.Equality import GHC.Exts (IsList(Item)) import qualified GHC.Exts import Text.Read

@@ -10,9 +10,7 @@ import Control.Monad import Control.Monad.Identity import Data.Maybe-import Data.Constraint-import Data.Constraint.Compose-import Data.Constraint.Extras+import Data.Constraint.Extras.TH import Data.GADT.Compare import Data.GADT.Show import Data.Hashable@@ -58,12 +56,7 @@       )       s -instance (c (f Int), c (f String)) => ArgDict (ComposeC c f) Key where-  type ConstraintsFor Key (ComposeC c f) = ()-  argDict key =-    case key of-      IntKey {} -> Dict-      StringKey {} -> Dict+deriveArgDict ''Key  instance GEq Key where   geq (IntKey i1) (IntKey i2)