exinst-aeson 0.7.1 → 0.9
raw patch · 4 files changed
+14/−5 lines, 4 filesdep +exinst-basedep ~exinstPVP ok
version bump matches the API change (PVP)
Dependencies added: exinst-base
Dependency ranges changed: exinst
API changes (from Hackage documentation)
- Exinst.Aeson: instance forall k1 (f :: k1 -> *). (Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict1 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some1 f)
- Exinst.Aeson: instance forall k1 (f :: k1 -> *). (Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict1 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some1 f)
- Exinst.Aeson: instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k2), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict2 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some2 f)
- Exinst.Aeson: instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k2), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict2 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some2 f)
- Exinst.Aeson: instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k3, Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k3), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k2), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict3 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some3 f)
- Exinst.Aeson: instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k3, Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k3), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k2), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict3 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some3 f)
- Exinst.Aeson: instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k4, Data.Singletons.Internal.SingKind k3, Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k4), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k3), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k2), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict4 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some4 f)
- Exinst.Aeson: instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k4, Data.Singletons.Internal.SingKind k3, Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k4), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k3), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k2), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict4 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some4 f)
+ Exinst.Aeson: instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict1 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some1 f)
+ Exinst.Aeson: instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict1 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some1 f)
+ Exinst.Aeson: instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k2), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict2 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some2 f)
+ Exinst.Aeson: instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k2), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict2 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some2 f)
+ Exinst.Aeson: instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k3), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k2), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict3 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some3 f)
+ Exinst.Aeson: instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k3), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k2), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict3 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some3 f)
+ Exinst.Aeson: instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k4, Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k4), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k3), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k2), Data.Aeson.Types.FromJSON.FromJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict4 Data.Aeson.Types.FromJSON.FromJSON f) => Data.Aeson.Types.FromJSON.FromJSON (Exinst.Internal.Some4 f)
+ Exinst.Aeson: instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k4, Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k4), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k3), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k2), Data.Aeson.Types.ToJSON.ToJSON (Data.Singletons.Demote k1), Exinst.Internal.Dict4 Data.Aeson.Types.ToJSON.ToJSON f) => Data.Aeson.Types.ToJSON.ToJSON (Exinst.Internal.Some4 f)
Files
- CHANGELOG.md +7/−0
- exinst-aeson.cabal +5/−5
- lib/Exinst/Aeson.hs +1/−0
- tests/Main.hs +1/−0
CHANGELOG.md view
@@ -1,3 +1,10 @@+# Version 0.9++* Builds with GHC 9.4.++* Depends on `exinst>=0.9` and `exinst-base>=0.9`++ # Version 0.7.1 * Builds with GHC 8.10.
exinst-aeson.cabal view
@@ -1,5 +1,5 @@ name: exinst-aeson-version: 0.7.1+version: 0.9 author: Renzo Carbonara maintainer: renλren!zone copyright: Renzo Carbonara 2015@@ -8,12 +8,11 @@ extra-source-files: README.md CHANGELOG.md category: Data build-type: Simple-cabal-version: >=1.18-synopsis: Dependent pairs and their instances.+cabal-version: 1.18+synopsis: @exinst@ support for @aeson@ package. homepage: https://github.com/k0001/exinst bug-reports: https://github.com/k0001/exinst/issues - library hs-source-dirs: lib default-language: Haskell2010@@ -22,7 +21,7 @@ aeson , base >=4.9 && <5.0 , constraints- , exinst >= 0.7+ , exinst >= 0.9 , singletons ghcjs-options: -Wall -O3 ghc-options: -Wall -O2@@ -38,6 +37,7 @@ , bytestring , exinst , exinst-aeson+ , exinst-base , QuickCheck , tasty , tasty-quickcheck
lib/Exinst/Aeson.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeInType #-}
tests/Main.hs view
@@ -21,6 +21,7 @@ import Exinst import Exinst.Aeson ()+import Exinst.Base () --------------------------------------------------------------------------------