exinst-hashable 0.1.0.2 → 0.2
raw patch · 3 files changed
+29/−24 lines, 3 filesdep ~basedep ~exinstdep ~singletonsPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, exinst, singletons
API changes (from Hackage documentation)
- Exinst.Instances.Hashable: instance forall k1 (f1 :: k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Hashable.Class.Hashable f1) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some1 f1)
- Exinst.Instances.Hashable: instance forall k2 k1 (f2 :: k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Hashable.Class.Hashable f2) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some2 f2)
- Exinst.Instances.Hashable: instance forall k3 k2 k1 (f3 :: k3 -> k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Hashable.Class.Hashable f3) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some3 f3)
- Exinst.Instances.Hashable: instance forall k4 k3 k2 k1 (f4 :: k4 -> k3 -> k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Hashable.Class.Hashable f4) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some4 f4)
+ Exinst.Instances.Hashable: instance forall k1 (f1 :: k1 -> GHC.Types.*). (Data.Singletons.SingKind k1, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict1 Data.Hashable.Class.Hashable f1) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some1 f1)
+ Exinst.Instances.Hashable: instance forall k2 k1 (f2 :: k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k2), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict2 Data.Hashable.Class.Hashable f2) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some2 f2)
+ Exinst.Instances.Hashable: instance forall k3 k2 k1 (f3 :: k3 -> k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k3), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k2), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict3 Data.Hashable.Class.Hashable f3) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some3 f3)
+ Exinst.Instances.Hashable: instance forall k4 k3 k2 k1 (f4 :: k4 -> k3 -> k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind k4, Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k4), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k3), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k2), Data.Hashable.Class.Hashable (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict4 Data.Hashable.Class.Hashable f4) => Data.Hashable.Class.Hashable (Exinst.Singletons.Some4 f4)
Files
- CHANGELOG.md +5/−0
- exinst-hashable.cabal +4/−4
- src/lib/Exinst/Instances/Hashable.hs +20/−20
CHANGELOG.md view
@@ -1,3 +1,8 @@+# Version 0.2++* Depend on `singletons-2.2`, which means `KProxy` is gone.++ # Version 0.1.0.2 * Relax upper bound on `base`, `singletons`, `constraints`.
exinst-hashable.cabal view
@@ -1,5 +1,5 @@ name: exinst-hashable-version: 0.1.0.2+version: 0.2 author: Renzo Carbonara maintainer: renzoλcarbonara.com.ar copyright: Renzo Carbonara 2015-2016@@ -19,10 +19,10 @@ exposed-modules: Exinst.Instances.Hashable build-depends:- base >=4.7 && <5.0+ base >=4.9 && <5.0 , hashable >=1.2 && <1.3 , constraints >=0.4 && <0.9- , exinst >=0.1 && <0.2- , singletons >=1.1 && <2.2+ , exinst >=0.2 && <0.3+ , singletons >=2.2 && <2.3 ghcjs-options: -Wall -O3 ghc-options: -Wall -O2
src/lib/Exinst/Instances/Hashable.hs view
@@ -28,8 +28,8 @@ -------------------------------------------------------------------------------- instance forall (f1 :: k1 -> *)- . ( SingKind ('KProxy :: KProxy k1)- , Hashable (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k1+ , Hashable (DemoteRep k1) , Dict1 Hashable f1 ) => Hashable (Some1 f1) where@@ -41,10 +41,10 @@ `hashWithSalt` x instance forall (f2 :: k2 -> k1 -> *)- . ( SingKind ('KProxy :: KProxy k2)- , SingKind ('KProxy :: KProxy k1)- , Hashable (DemoteRep ('KProxy :: KProxy k2))- , Hashable (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k2+ , SingKind k1+ , Hashable (DemoteRep k2)+ , Hashable (DemoteRep k1) , Dict2 Hashable f2 ) => Hashable (Some2 f2) where@@ -57,12 +57,12 @@ `hashWithSalt` x instance forall (f3 :: k3 -> k2 -> k1 -> *)- . ( SingKind ('KProxy :: KProxy k3)- , SingKind ('KProxy :: KProxy k2)- , SingKind ('KProxy :: KProxy k1)- , Hashable (DemoteRep ('KProxy :: KProxy k3))- , Hashable (DemoteRep ('KProxy :: KProxy k2))- , Hashable (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k3+ , SingKind k2+ , SingKind k1+ , Hashable (DemoteRep k3)+ , Hashable (DemoteRep k2)+ , Hashable (DemoteRep k1) , Dict3 Hashable f3 ) => Hashable (Some3 f3) where@@ -76,14 +76,14 @@ `hashWithSalt` x instance forall (f4 :: k4 -> k3 -> k2 -> k1 -> *)- . ( SingKind ('KProxy :: KProxy k4)- , SingKind ('KProxy :: KProxy k3)- , SingKind ('KProxy :: KProxy k2)- , SingKind ('KProxy :: KProxy k1)- , Hashable (DemoteRep ('KProxy :: KProxy k4))- , Hashable (DemoteRep ('KProxy :: KProxy k3))- , Hashable (DemoteRep ('KProxy :: KProxy k2))- , Hashable (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k4+ , SingKind k3+ , SingKind k2+ , SingKind k1+ , Hashable (DemoteRep k4)+ , Hashable (DemoteRep k3)+ , Hashable (DemoteRep k2)+ , Hashable (DemoteRep k1) , Dict4 Hashable f4 ) => Hashable (Some4 f4) where