FromJSON and ToJSON instances for Sum, Product, Any, All

src/Data/Aeson/Types/FromJSON.hs

@@ -2342,6 +2342,16 @@ deriving via (a :: Type) instance FromJSON a => FromJSON (Semigroup.Last a)
 deriving via Identity instance FromJSON1 Semigroup.WrappedMonoid
 deriving via (a :: Type) instance FromJSON a => FromJSON (Semigroup.WrappedMonoid a)
 
+deriving via Identity instance FromJSON1 Semigroup.Sum
+deriving via (a :: Type) instance FromJSON a => FromJSON (Semigroup.Sum a)
+
+deriving via Identity instance FromJSON1 Semigroup.Product
+deriving via (a :: Type) instance FromJSON a => FromJSON (Semigroup.Product a)
+
+deriving via Bool instance FromJSON Semigroup.All
+
+deriving via Bool instance FromJSON Semigroup.Any
+
 #if !MIN_VERSION_base(4,16,0)
 deriving via Maybe instance FromJSON1 Semigroup.Option
 deriving via Maybe a instance FromJSON a => FromJSON (Semigroup.Option a)

src/Data/Aeson/Types/ToJSON.hs

@@ -367,7 +367,7 @@ instance (key ~ Key, value ~ Value) => KeyValue Value (key, value) where
 instance value ~ Value => KeyValue Value (KM.KeyMap value) where
  (.=) = explicitToField toJSON
  {-# INLINE (.=) #-}
- 
+
  explicitToField f name value = KM.singleton name (f value)
  {-# INLINE explicitToField #-}
 
@@ -2104,6 +2104,16 @@ deriving via (a :: Type) instance ToJSON a => ToJSON (Semigroup.Last a)
 deriving via Identity instance ToJSON1 Semigroup.WrappedMonoid
 deriving via (a :: Type) instance ToJSON a => ToJSON (Semigroup.WrappedMonoid a)
 
+deriving via Identity instance ToJSON1 Semigroup.Sum
+deriving via (a :: Type) instance ToJSON a => ToJSON (Semigroup.Sum a)
+
+deriving via Identity instance ToJSON1 Semigroup.Product
+deriving via (a :: Type) instance ToJSON a => ToJSON (Semigroup.Product a)
+
+deriving via Bool instance ToJSON Semigroup.All
+
+deriving via Bool instance ToJSON Semigroup.Any
+
 #if !MIN_VERSION_base(4,16,0)
 deriving via Maybe instance ToJSON1 Semigroup.Option
 deriving via Maybe a instance ToJSON a => ToJSON (Semigroup.Option a)