dependent-sum-aeson-orphans 0.3.0.0 → 0.3.1.0
raw patch · 2 files changed
+6/−5 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Dependent.Sum.Orphans: instance (Data.Aeson.Types.FromJSON.FromJSON (Data.Some.Newtype.Some f), Data.Constraint.Extras.Has' Data.Aeson.Types.FromJSON.FromJSON f g) => Data.Aeson.Types.FromJSON.FromJSON (Data.Dependent.Sum.DSum f g)
- Data.Dependent.Sum.Orphans: instance (Data.Aeson.Types.FromJSON.FromJSON (Data.Some.Newtype.Some f), Data.GADT.Internal.GCompare f, Data.Constraint.Extras.Has' Data.Aeson.Types.FromJSON.FromJSON f g) => Data.Aeson.Types.FromJSON.FromJSON (Data.Dependent.Map.Internal.DMap f g)
- Data.Dependent.Sum.Orphans: instance (Data.Constraint.Forall.ForallF Data.Aeson.Types.ToJSON.ToJSON f, Data.Constraint.Extras.Has' Data.Aeson.Types.ToJSON.ToJSON f g) => Data.Aeson.Types.ToJSON.ToJSON (Data.Dependent.Map.Internal.DMap f g)
- Data.Dependent.Sum.Orphans: instance (Data.Constraint.Forall.ForallF Data.Aeson.Types.ToJSON.ToJSON f, Data.Constraint.Extras.Has' Data.Aeson.Types.ToJSON.ToJSON f g) => Data.Aeson.Types.ToJSON.ToJSON (Data.Dependent.Sum.DSum f g)
- Data.Dependent.Sum.Orphans: instance Data.Constraint.Forall.ForallF Data.Aeson.Types.ToJSON.ToJSON r => Data.Aeson.Types.ToJSON.ToJSON (Data.Some.Newtype.Some r)
+ Data.Dependent.Sum.Orphans: instance forall k (f :: k -> *) (g :: k -> *). (Data.Aeson.Types.FromJSON.FromJSON (Data.Some.Newtype.Some f), Data.Constraint.Extras.Has' Data.Aeson.Types.FromJSON.FromJSON f g) => Data.Aeson.Types.FromJSON.FromJSON (Data.Dependent.Sum.DSum f g)
+ Data.Dependent.Sum.Orphans: instance forall k (f :: k -> *) (g :: k -> *). (Data.Aeson.Types.FromJSON.FromJSON (Data.Some.Newtype.Some f), Data.GADT.Internal.GCompare f, Data.Constraint.Extras.Has' Data.Aeson.Types.FromJSON.FromJSON f g) => Data.Aeson.Types.FromJSON.FromJSON (Data.Dependent.Map.Internal.DMap f g)
+ Data.Dependent.Sum.Orphans: instance forall k (f :: k -> *) (g :: k -> *). (Data.Constraint.Forall.ForallF Data.Aeson.Types.ToJSON.ToJSON f, Data.Constraint.Extras.Has' Data.Aeson.Types.ToJSON.ToJSON f g) => Data.Aeson.Types.ToJSON.ToJSON (Data.Dependent.Map.Internal.DMap f g)
+ Data.Dependent.Sum.Orphans: instance forall k (f :: k -> *) (g :: k -> *). (Data.Constraint.Forall.ForallF Data.Aeson.Types.ToJSON.ToJSON f, Data.Constraint.Extras.Has' Data.Aeson.Types.ToJSON.ToJSON f g) => Data.Aeson.Types.ToJSON.ToJSON (Data.Dependent.Sum.DSum f g)
+ Data.Dependent.Sum.Orphans: instance forall k (r :: k -> *). Data.Constraint.Forall.ForallF Data.Aeson.Types.ToJSON.ToJSON r => Data.Aeson.Types.ToJSON.ToJSON (Data.Some.Newtype.Some r)
Files
dependent-sum-aeson-orphans.cabal view
@@ -1,5 +1,5 @@ name: dependent-sum-aeson-orphans-version: 0.3.0.0+version: 0.3.1.0 license: BSD3 license-file: LICENSE author: Obsidian Systems@@ -10,14 +10,14 @@ description: JSON instances for DSum, DMap, and Some. synopsis: JSON instances for DSum, DMap, and Some category: json-tested-with: GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4+tested-with: GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.2 library exposed-modules: Data.Dependent.Sum.Orphans build-depends:- aeson >=1.2 && <1.5- , base >=4.9 && <4.14- , constraints >=0.10.1 && <0.13+ aeson >=1.2 && <1.6+ , base >=4.9 && <4.15+ , constraints >=0.10.1 && <0.14 , constraints-extras >=0.3.0 && <0.4 , dependent-map >=0.3 && <0.5 , dependent-sum >=0.7 && <0.8
src/Data/Dependent/Sum/Orphans.hs view
@@ -3,6 +3,7 @@ {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE TypeApplications #-}+{-# LANGUAGE PolyKinds #-} -- Necessary to allow DSums where the key and value range over types other than * {-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -fno-warn-orphans #-}