Instances for Any and All

Author: AliceRixte

src/Data/Aeson/Types/FromJSON.hs

@@ -2362,6 +2362,20 @@ instance (FromJSON a) => FromJSON (Monoid.Product a) where
 
     omittedField = omittedField1
 
+instance FromJSON Monoid.All where
+    parseJSON = coerce . (parseJSON :: Value -> Parser Bool)
+
+    parseJSONList = coerce . (parseJSONList :: Value -> Parser [Bool])
+
+    omittedField = coerce (omittedField :: Maybe Bool)
+
+instance FromJSON Monoid.Any where
+    parseJSON v = coerce (parseJSON v :: Parser Bool)
+
+    parseJSONList v = coerce (parseJSONList v :: Parser [Bool])
+
+    omittedField = coerce (omittedField :: Maybe Bool)
+
 
 instance FromJSON1 Monoid.First where
     liftParseJSON o = coerce (liftParseJSON @Maybe o)

src/Data/Aeson/Types/ToJSON.hs

@@ -2120,6 +2120,16 @@ instance ToJSON a => ToJSON (Monoid.Product a) where
     toEncoding = toEncoding1
     omitField = omitField1
 
+instance ToJSON Monoid.All where
+    toJSON = toJSON . Monoid.getAll
+    toEncoding = toEncoding . Monoid.getAll
+    omitField = omitField . Monoid.getAll
+
+instance ToJSON Monoid.Any where
+    toJSON = toJSON . Monoid.getAny
+    toEncoding = toEncoding . Monoid.getAny
+    omitField = omitField . Monoid.getAny
+
 instance ToJSON1 Monoid.First where
     liftToJSON o t to' = liftToJSON o t to' . Monoid.getFirst
     liftToEncoding o t to' = liftToEncoding o t to' . Monoid.getFirst

tests/PropertyRoundTrip.hs

@@ -89,6 +89,8 @@ roundTripTests =
     , testProperty "Monoid.First" $ roundTripEq @(Monoid.First Int)
     , testProperty "Monoid.Sum" $ roundTripEq @(Monoid.Sum Int)
     , testProperty "Monoid.Product" $ roundTripEq @(Monoid.Product Int)
+    , testProperty "Monoid.All" $ roundTripEq @Monoid.All
+    , testProperty "Monoid.Any" $ roundTripEq @Monoid.Any
     , testProperty "Strict Pair" $ roundTripEq @(S.Pair Int Char)
     , testProperty "Strict Either" $ roundTripEq @(S.Either Int Char)
     , testProperty "Strict These" $ roundTripEq @(S.These Int Char)