exinst-aeson 0.1 → 0.1.0.1
raw patch · 2 files changed
+10/−3 lines, 2 filesdep ~aesondep ~singletonsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: aeson, singletons
API changes (from Hackage documentation)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, FromJSON (DemoteRep 'KProxy), Dict1 FromJSON f1) => FromJSON (Some1 f1)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, SingKind 'KProxy, FromJSON (DemoteRep 'KProxy), FromJSON (DemoteRep 'KProxy), Dict2 FromJSON f2) => FromJSON (Some2 f2)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, FromJSON (DemoteRep 'KProxy), FromJSON (DemoteRep 'KProxy), FromJSON (DemoteRep 'KProxy), Dict3 FromJSON f3) => FromJSON (Some3 f3)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, FromJSON (DemoteRep 'KProxy), FromJSON (DemoteRep 'KProxy), FromJSON (DemoteRep 'KProxy), FromJSON (DemoteRep 'KProxy), Dict4 FromJSON f4) => FromJSON (Some4 f4)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, ToJSON (DemoteRep 'KProxy), ToJSON (DemoteRep 'KProxy), ToJSON (DemoteRep 'KProxy), ToJSON (DemoteRep 'KProxy), Dict4 ToJSON f4) => ToJSON (Some4 f4)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, ToJSON (DemoteRep 'KProxy), ToJSON (DemoteRep 'KProxy), ToJSON (DemoteRep 'KProxy), Dict3 ToJSON f3) => ToJSON (Some3 f3)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, SingKind 'KProxy, ToJSON (DemoteRep 'KProxy), ToJSON (DemoteRep 'KProxy), Dict2 ToJSON f2) => ToJSON (Some2 f2)
- Exinst.Instances.Aeson: instance (SingKind 'KProxy, ToJSON (DemoteRep 'KProxy), Dict1 ToJSON f1) => ToJSON (Some1 f1)
+ Exinst.Instances.Aeson: instance forall (k1 :: BOX) (f1 :: k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Aeson.Types.Class.FromJSON f1) => Data.Aeson.Types.Class.FromJSON (Exinst.Singletons.Internal.Some1 f1)
+ Exinst.Instances.Aeson: instance forall (k1 :: BOX) (f1 :: k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Aeson.Types.Class.ToJSON f1) => Data.Aeson.Types.Class.ToJSON (Exinst.Singletons.Internal.Some1 f1)
+ Exinst.Instances.Aeson: instance forall (k2 :: BOX) (k1 :: BOX) (f2 :: k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Aeson.Types.Class.FromJSON f2) => Data.Aeson.Types.Class.FromJSON (Exinst.Singletons.Internal.Some2 f2)
+ Exinst.Instances.Aeson: instance forall (k2 :: BOX) (k1 :: BOX) (f2 :: k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Aeson.Types.Class.ToJSON f2) => Data.Aeson.Types.Class.ToJSON (Exinst.Singletons.Internal.Some2 f2)
+ Exinst.Instances.Aeson: instance forall (k3 :: BOX) (k2 :: BOX) (k1 :: BOX) (f3 :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Aeson.Types.Class.FromJSON f3) => Data.Aeson.Types.Class.FromJSON (Exinst.Singletons.Internal.Some3 f3)
+ Exinst.Instances.Aeson: instance forall (k3 :: BOX) (k2 :: BOX) (k1 :: BOX) (f3 :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Aeson.Types.Class.ToJSON f3) => Data.Aeson.Types.Class.ToJSON (Exinst.Singletons.Internal.Some3 f3)
+ Exinst.Instances.Aeson: instance forall (k4 :: BOX) (k3 :: BOX) (k2 :: BOX) (k1 :: BOX) (f4 :: k4 -> k3 -> k2 -> k1 -> *). (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.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Aeson.Types.Class.FromJSON f4) => Data.Aeson.Types.Class.FromJSON (Exinst.Singletons.Internal.Some4 f4)
+ Exinst.Instances.Aeson: instance forall (k4 :: BOX) (k3 :: BOX) (k2 :: BOX) (k1 :: BOX) (f4 :: k4 -> k3 -> k2 -> k1 -> *). (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.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.Class.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Aeson.Types.Class.ToJSON f4) => Data.Aeson.Types.Class.ToJSON (Exinst.Singletons.Internal.Some4 f4)
Files
- CHANGELOG.md +7/−0
- exinst-aeson.cabal +3/−3
CHANGELOG.md view
@@ -1,3 +1,10 @@+# Version 0.1.0.1++* Relax upper bound on `singletons` dependency.++* Relax upper bound on `aeson` dependency.++ # Version 0.1 * Initial release.
exinst-aeson.cabal view
@@ -1,5 +1,5 @@ name: exinst-aeson-version: 0.1+version: 0.1.0.1 author: Renzo Carbonara maintainer: renzoλcarbonara.com.ar copyright: Renzo Carbonara 2015@@ -19,10 +19,10 @@ exposed-modules: Exinst.Instances.Aeson build-depends:- aeson >=0.8 && <0.10+ aeson >=0.8 && <0.11 , base >=4.7 && <4.9 , constraints >=0.4 && <0.5 , exinst >=0.1 && <0.2- , singletons >=1.1 && <1.2+ , singletons >=1.1 && <2.1 ghcjs-options: -Wall -O3 ghc-options: -Wall -O2