quantification 0.7.0 → 0.7.0.1

raw patch · 2 files changed

+10/−9 lines, 2 filesdep ~aesondep ~text

Dependency ranges changed: aeson, text

Files

quantification.cabal +4/−4
src/Data/Exists.hs +6/−5

quantification.cabal view

@@ -1,6 +1,6 @@ cabal-version: 2.4 name: quantification-version: 0.7.0+version: 0.7.0.1 synopsis: Rage against the quantification description: Data types and typeclasses to deal with universally and existentially quantified types homepage: https://github.com/andrewthad/quantification#readme@@ -22,10 +22,10 @@     , base >= 4.11.1 && < 5     , binary >= 0.8 && < 0.11     , hashable >= 1.4 && < 1.5-    , aeson >= 2.1 && < 2.2-    , text >= 1.0 && < 2.1+    , aeson >= 2.2 && < 2.3+    , text >= 1.0 && < 2.2     , path-pieces >= 0.2 && < 0.3-    , vector >= 0.11 && < 0.13+    , vector >= 0.11 && < 0.14     , containers >= 0.5 && < 0.7     , unordered-containers >= 0.2 && < 0.3   default-language: Haskell2010

src/Data/Exists.hs view

@@ -123,7 +123,8 @@ import Data.Aeson (ToJSON(..),FromJSON(..)) import Data.Aeson (ToJSONKey(..),FromJSONKey(..)) import Data.Aeson (ToJSONKeyFunction(..),FromJSONKeyFunction(..))-import Data.Aeson.Internal ((<?>),JSONPathElement(Key,Index))+import Data.Aeson ((<?>))+import Data.Aeson.Types (JSONPathElement(Key,Index)) import Data.Binary (Get,Put,Binary) import Data.Binary.Lifted (Binary1(..)) import Data.Coerce (coerce)@@ -619,13 +620,13 @@   appendForall (Compose x) (Compose y) = Compose (liftAppend appendForall x y)  instance (Aeson.ToJSON1 f, ToJSONForall g) => ToJSONForall (Compose f g) where-  toJSONForall (Compose x) = Aeson.liftToJSON toJSONForall (Aeson.toJSON . map toJSONForall) x+  toJSONForall (Compose x) = Aeson.liftToJSON (\_ -> False) toJSONForall (Aeson.toJSON . map toJSONForall) x  instance (Aeson.ToJSON1 f, ToJSONForeach g) => ToJSONForeach (Compose f g) where-  toJSONForeach s (Compose x) = Aeson.liftToJSON (toJSONForeach s) (Aeson.toJSON . map (toJSONForeach s)) x+  toJSONForeach s (Compose x) = Aeson.liftToJSON (\_ -> False) (toJSONForeach s) (Aeson.toJSON . map (toJSONForeach s)) x  instance (Aeson.FromJSON1 f, FromJSONForeach g) => FromJSONForeach (Compose f g) where-  parseJSONForeach s = fmap Compose . Aeson.liftParseJSON+  parseJSONForeach s = fmap Compose . Aeson.liftParseJSON Nothing     (parseJSONForeach s)     (Aeson.withArray "Compose" (fmap V.toList . V.mapM (parseJSONForeach s))) @@ -832,7 +833,7 @@   parseJSONSing :: Aeson.Value -> Aeson.Parser (Exists (Sing :: k -> Type))  instance (Aeson.FromJSON1 f, FromJSONForall g) => FromJSONForall (Compose f g) where-  parseJSONForall s = fmap Compose . Aeson.liftParseJSON+  parseJSONForall s = fmap Compose . Aeson.liftParseJSON Nothing       (parseJSONForall s)           (Aeson.withArray "Compose" (fmap V.toList . V.mapM (parseJSONForall s)))