exinst-bytes 0.1.0.2 → 0.2
raw patch · 3 files changed
+30/−25 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.Bytes: instance forall k1 (f1 :: k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Bytes.Serial.Serial f1) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some1 f1)
- Exinst.Instances.Bytes: instance forall k2 k1 (f2 :: k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Bytes.Serial.Serial f2) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some2 f2)
- Exinst.Instances.Bytes: 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.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Bytes.Serial.Serial f3) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some3 f3)
- Exinst.Instances.Bytes: 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.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Bytes.Serial.Serial f4) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some4 f4)
+ Exinst.Instances.Bytes: instance forall k1 (f1 :: k1 -> GHC.Types.*). (Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict1 Data.Bytes.Serial.Serial f1) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some1 f1)
+ Exinst.Instances.Bytes: instance forall k2 k1 (f2 :: k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k2), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict2 Data.Bytes.Serial.Serial f2) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some2 f2)
+ Exinst.Instances.Bytes: instance forall k3 k2 k1 (f3 :: k3 -> k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k3), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k2), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict3 Data.Bytes.Serial.Serial f3) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some3 f3)
+ Exinst.Instances.Bytes: 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.Bytes.Serial.Serial (Data.Singletons.DemoteRep k4), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k3), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k2), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep k1), Exinst.Singletons.Dict4 Data.Bytes.Serial.Serial f4) => Data.Bytes.Serial.Serial (Exinst.Singletons.Some4 f4)
Files
- CHANGELOG.md +5/−0
- exinst-bytes.cabal +4/−4
- src/lib/Exinst/Instances/Bytes.hs +21/−21
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-bytes.cabal view
@@ -1,5 +1,5 @@ name: exinst-bytes-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.Bytes build-depends:- base >=4.7 && <5.0+ base >=4.9 && <5.0 , bytes >=0.15 && <0.16 , 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/Bytes.hs view
@@ -22,8 +22,8 @@ -------------------------------------------------------------------------------- instance forall (f1 :: k1 -> *)- . ( SingKind ('KProxy :: KProxy k1)- , By.Serial (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k1+ , By.Serial (DemoteRep k1) , Dict1 By.Serial f1 ) => By.Serial (Some1 f1) where@@ -41,10 +41,10 @@ return (some1 x) instance forall (f2 :: k2 -> k1 -> *)- . ( SingKind ('KProxy :: KProxy k2)- , SingKind ('KProxy :: KProxy k1)- , By.Serial (DemoteRep ('KProxy :: KProxy k2))- , By.Serial (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k2+ , SingKind k1+ , By.Serial (DemoteRep k2)+ , By.Serial (DemoteRep k1) , Dict2 By.Serial f2 ) => By.Serial (Some2 f2) where@@ -63,12 +63,12 @@ return (some2 x) instance forall (f3 :: k3 -> k2 -> k1 -> *)- . ( SingKind ('KProxy :: KProxy k3)- , SingKind ('KProxy :: KProxy k2)- , SingKind ('KProxy :: KProxy k1)- , By.Serial (DemoteRep ('KProxy :: KProxy k3))- , By.Serial (DemoteRep ('KProxy :: KProxy k2))- , By.Serial (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k3+ , SingKind k2+ , SingKind k1+ , By.Serial (DemoteRep k3)+ , By.Serial (DemoteRep k2)+ , By.Serial (DemoteRep k1) , Dict3 By.Serial f3 ) => By.Serial (Some3 f3) where@@ -88,16 +88,16 @@ return (some3 x) instance forall (f4 :: k4 -> k3 -> k2 -> k1 -> *)- . ( SingKind ('KProxy :: KProxy k4)- , SingKind ('KProxy :: KProxy k3)- , SingKind ('KProxy :: KProxy k2)- , SingKind ('KProxy :: KProxy k1)- , By.Serial (DemoteRep ('KProxy :: KProxy k4))- , By.Serial (DemoteRep ('KProxy :: KProxy k3))- , By.Serial (DemoteRep ('KProxy :: KProxy k2))- , By.Serial (DemoteRep ('KProxy :: KProxy k1))+ . ( SingKind k4+ , SingKind k3+ , SingKind k2+ , SingKind k1+ , By.Serial (DemoteRep k4)+ , By.Serial (DemoteRep k3)+ , By.Serial (DemoteRep k2)+ , By.Serial (DemoteRep k1) , Dict4 By.Serial f4- ) => By.Serial (Some4 f4) + ) => By.Serial (Some4 f4) where {-# INLINABLE serialize #-} serialize = \some4x -> withSome4Sing some4x $ \sa4 sa3 sa2 sa1 (x :: f4 a4 a3 a2 a1) ->