exinst-aeson 0.1.0.1 → 0.1.0.2
raw patch · 3 files changed
+12/−7 lines, 3 filesdep ~aesondep ~basedep ~constraintsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: aeson, base, constraints, singletons
API changes (from Hackage documentation)
- 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)
+ Exinst.Instances.Aeson: instance forall k1 (f1 :: k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Aeson.Types.FromJSON.FromJSON f1) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Singletons.Some1 f1)
+ Exinst.Instances.Aeson: instance forall k1 (f1 :: k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Aeson.Types.ToJSON.ToJSON f1) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Singletons.Some1 f1)
+ Exinst.Instances.Aeson: instance forall k2 k1 (f2 :: k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Aeson.Types.FromJSON.FromJSON f2) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Singletons.Some2 f2)
+ Exinst.Instances.Aeson: instance forall k2 k1 (f2 :: k2 -> k1 -> GHC.Types.*). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Aeson.Types.ToJSON.ToJSON f2) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Singletons.Some2 f2)
+ Exinst.Instances.Aeson: 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.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Aeson.Types.FromJSON.FromJSON f3) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Singletons.Some3 f3)
+ Exinst.Instances.Aeson: 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.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Aeson.Types.ToJSON.ToJSON f3) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Singletons.Some3 f3)
+ Exinst.Instances.Aeson: 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.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Aeson.Types.FromJSON.FromJSON f4) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Singletons.Some4 f4)
+ Exinst.Instances.Aeson: 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.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Aeson.Types.ToJSON.ToJSON f4) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Singletons.Some4 f4)
Files
- CHANGELOG.md +5/−0
- LICENSE.txt +1/−1
- exinst-aeson.cabal +6/−6
CHANGELOG.md view
@@ -1,3 +1,8 @@+# Version 0.1.0.2++* Relax upper bound on `aeson`, `base`, `singletons`, `constraints`.++ # Version 0.1.0.1 * Relax upper bound on `singletons` dependency.
LICENSE.txt view
@@ -1,4 +1,4 @@-Copyright (c) 2015, Renzo Carbonara+Copyright (c) 2015-2016, Renzo Carbonara All rights reserved.
exinst-aeson.cabal view
@@ -1,8 +1,8 @@ name: exinst-aeson-version: 0.1.0.1+version: 0.1.0.2 author: Renzo Carbonara maintainer: renzoλcarbonara.com.ar-copyright: Renzo Carbonara 2015+copyright: Renzo Carbonara 2015-2016 license: BSD3 license-file: LICENSE.txt extra-source-files: README.md CHANGELOG.md@@ -19,10 +19,10 @@ exposed-modules: Exinst.Instances.Aeson build-depends:- aeson >=0.8 && <0.11- , base >=4.7 && <4.9- , constraints >=0.4 && <0.5+ aeson >=0.8 && <1.1+ , base >=4.7 && <5.0+ , constraints >=0.4 && <0.9 , exinst >=0.1 && <0.2- , singletons >=1.1 && <2.1+ , singletons >=1.1 && <2.2 ghcjs-options: -Wall -O3 ghc-options: -Wall -O2