generic-deriving 1.14.6 → 1.14.7
raw patch · 2 files changed
+10/−7 lines, 2 filesdep −ghc-primdep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: ghc-prim
Dependency ranges changed: template-haskell
API changes (from Hackage documentation)
+ Generics.Deriving.Copoint: ($dmgcopoint) :: (GCopoint d, Generic1 d, GCopoint' (Rep1 d)) => d a -> a
+ Generics.Deriving.Enum: ($dmgenum) :: (GEnum a, Generic a, Enum' (Rep a)) => [a]
+ Generics.Deriving.Enum: ($dminRange) :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> a -> Bool
+ Generics.Deriving.Enum: ($dmindex) :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> a -> Int
+ Generics.Deriving.Enum: ($dmrange) :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> [a]
+ Generics.Deriving.Eq: ($dmgeq) :: (GEq a, Generic a, GEq' (Rep a)) => a -> a -> Bool
+ Generics.Deriving.Foldable: ($dmgfoldMap) :: (GFoldable t, Generic1 t, GFoldable' (Rep1 t), Monoid m) => (a -> m) -> t a -> m
+ Generics.Deriving.Functor: ($dmgmap) :: (GFunctor f, Generic1 f, GFunctor' (Rep1 f)) => (a -> b) -> f a -> f b
+ Generics.Deriving.Monoid: ($dmgmappend) :: (GMonoid a, Generic a, GMonoid' (Rep a)) => a -> a -> a
+ Generics.Deriving.Monoid: ($dmgmempty) :: (GMonoid a, Generic a, GMonoid' (Rep a)) => a
+ Generics.Deriving.Monoid: (<>) :: Semigroup a => a -> a -> a
+ Generics.Deriving.Monoid: All :: Bool -> All
+ Generics.Deriving.Monoid: Alt :: f a -> Alt (f :: k -> Type) (a :: k)
+ Generics.Deriving.Monoid: Any :: Bool -> Any
+ Generics.Deriving.Monoid: Ap :: f a -> Ap (f :: k -> Type) (a :: k)
+ Generics.Deriving.Monoid: Dual :: a -> Dual a
+ Generics.Deriving.Monoid: Endo :: (a -> a) -> Endo a
+ Generics.Deriving.Monoid: First :: Maybe a -> First a
+ Generics.Deriving.Monoid: Last :: Maybe a -> Last a
+ Generics.Deriving.Monoid: Product :: a -> Product a
+ Generics.Deriving.Monoid: Sum :: a -> Sum a
+ Generics.Deriving.Monoid: [appEndo] :: Endo a -> a -> a
+ Generics.Deriving.Monoid: [getAll] :: All -> Bool
+ Generics.Deriving.Monoid: [getAlt] :: Alt (f :: k -> Type) (a :: k) -> f a
+ Generics.Deriving.Monoid: [getAny] :: Any -> Bool
+ Generics.Deriving.Monoid: [getAp] :: Ap (f :: k -> Type) (a :: k) -> f a
+ Generics.Deriving.Monoid: [getDual] :: Dual a -> a
+ Generics.Deriving.Monoid: [getFirst] :: First a -> Maybe a
+ Generics.Deriving.Monoid: [getLast] :: Last a -> Maybe a
+ Generics.Deriving.Monoid: [getProduct] :: Product a -> a
+ Generics.Deriving.Monoid: [getSum] :: Sum a -> a
+ Generics.Deriving.Monoid: class Semigroup a => Monoid a
+ Generics.Deriving.Monoid: infixr 6 <>
+ Generics.Deriving.Monoid: mappend :: Monoid a => a -> a -> a
+ Generics.Deriving.Monoid: mconcat :: Monoid a => [a] -> a
+ Generics.Deriving.Monoid: mempty :: Monoid a => a
+ Generics.Deriving.Monoid: newtype All
+ Generics.Deriving.Monoid: newtype Alt (f :: k -> Type) (a :: k)
+ Generics.Deriving.Monoid: newtype Any
+ Generics.Deriving.Monoid: newtype Ap (f :: k -> Type) (a :: k)
+ Generics.Deriving.Monoid: newtype Dual a
+ Generics.Deriving.Monoid: newtype Endo a
+ Generics.Deriving.Monoid: newtype First a
+ Generics.Deriving.Monoid: newtype Last a
+ Generics.Deriving.Monoid: newtype Product a
+ Generics.Deriving.Monoid: newtype Sum a
+ Generics.Deriving.Semigroup: ($dmgsappend) :: (GSemigroup a, Generic a, GSemigroup' (Rep a)) => a -> a -> a
+ Generics.Deriving.Show: ($dmgshowsPrec) :: (GShow a, Generic a, GShow' (Rep a)) => Int -> a -> ShowS
+ Generics.Deriving.Traversable: ($dmgtraverse) :: (GTraversable t, Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b)
+ Generics.Deriving.Uniplate: ($dmchildren) :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => a -> [a]
+ Generics.Deriving.Uniplate: ($dmcontext) :: (Uniplate a, Generic a, Context' (Rep a) a) => a -> [a] -> a
+ Generics.Deriving.Uniplate: ($dmdescend) :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
+ Generics.Deriving.Uniplate: ($dmdescendM) :: (Uniplate a, Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
+ Generics.Deriving.Uniplate: ($dmtransform) :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
+ Generics.Deriving.Uniplate: ($dmtransformM) :: (Uniplate a, Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
- Generics.Deriving.ConNames: class ConNames f
+ Generics.Deriving.ConNames: class ConNames (f :: k -> Type)
- Generics.Deriving.ConNames: gconNameOf :: ConNames f => f a -> String
+ Generics.Deriving.ConNames: gconNameOf :: forall (a :: k). ConNames f => f a -> String
- Generics.Deriving.ConNames: gconNames :: ConNames f => f a -> [String]
+ Generics.Deriving.ConNames: gconNames :: forall (a :: k). ConNames f => f a -> [String]
- Generics.Deriving.Copoint: class GCopoint d
+ Generics.Deriving.Copoint: class GCopoint (d :: Type -> Type)
- Generics.Deriving.Copoint: class GCopoint' t
+ Generics.Deriving.Copoint: class GCopoint' (t :: Type -> Type)
- Generics.Deriving.Copoint: gcopoint :: (GCopoint d, Generic1 d, GCopoint' (Rep1 d)) => d a -> a
+ Generics.Deriving.Copoint: gcopoint :: GCopoint d => d a -> a
- Generics.Deriving.Default: Default1 :: f a -> Default1 f a
+ Generics.Deriving.Default: Default1 :: f a -> Default1 (f :: Type -> Type) a
- Generics.Deriving.Default: [unDefault1] :: Default1 f a -> f a
+ Generics.Deriving.Default: [unDefault1] :: Default1 (f :: Type -> Type) a -> f a
- Generics.Deriving.Default: newtype Default1 f a
+ Generics.Deriving.Default: newtype Default1 (f :: Type -> Type) a
- Generics.Deriving.Enum: class Enum' f
+ Generics.Deriving.Enum: class Enum' (f :: k -> Type)
- Generics.Deriving.Enum: class (Ord a) => GIx a
+ Generics.Deriving.Enum: class Ord a => GIx a
- Generics.Deriving.Enum: enum' :: Enum' f => [f a]
+ Generics.Deriving.Enum: enum' :: forall (a :: k). Enum' f => [f a]
- Generics.Deriving.Enum: genum :: (GEnum a, Generic a, Enum' (Rep a)) => [a]
+ Generics.Deriving.Enum: genum :: GEnum a => [a]
- Generics.Deriving.Enum: inRange :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> a -> Bool
+ Generics.Deriving.Enum: inRange :: GIx a => (a, a) -> a -> Bool
- Generics.Deriving.Enum: index :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> a -> Int
+ Generics.Deriving.Enum: index :: GIx a => (a, a) -> a -> Int
- Generics.Deriving.Enum: range :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> [a]
+ Generics.Deriving.Enum: range :: GIx a => (a, a) -> [a]
- Generics.Deriving.Eq: class GEq' f
+ Generics.Deriving.Eq: class GEq' (f :: k -> Type)
- Generics.Deriving.Eq: geq :: (GEq a, Generic a, GEq' (Rep a)) => a -> a -> Bool
+ Generics.Deriving.Eq: geq :: GEq a => a -> a -> Bool
- Generics.Deriving.Eq: geq' :: GEq' f => f a -> f a -> Bool
+ Generics.Deriving.Eq: geq' :: forall (a :: k). GEq' f => f a -> f a -> Bool
- Generics.Deriving.Foldable: class GFoldable t
+ Generics.Deriving.Foldable: class GFoldable (t :: Type -> Type)
- Generics.Deriving.Foldable: class GFoldable' t
+ Generics.Deriving.Foldable: class GFoldable' (t :: Type -> Type)
- Generics.Deriving.Foldable: gfoldMap :: (GFoldable t, Generic1 t, GFoldable' (Rep1 t), Monoid m) => (a -> m) -> t a -> m
+ Generics.Deriving.Foldable: gfoldMap :: (GFoldable t, Monoid m) => (a -> m) -> t a -> m
- Generics.Deriving.Functor: class GFunctor f
+ Generics.Deriving.Functor: class GFunctor (f :: Type -> Type)
- Generics.Deriving.Functor: class GFunctor' f
+ Generics.Deriving.Functor: class GFunctor' (f :: Type -> Type)
- Generics.Deriving.Functor: gmap :: (GFunctor f, Generic1 f, GFunctor' (Rep1 f)) => (a -> b) -> f a -> f b
+ Generics.Deriving.Functor: gmap :: GFunctor f => (a -> b) -> f a -> f b
- Generics.Deriving.Monoid: class GSemigroup' f => GMonoid' f
+ Generics.Deriving.Monoid: class GSemigroup' f => GMonoid' (f :: k -> Type)
- Generics.Deriving.Monoid: class Monoid' f
+ Generics.Deriving.Monoid: class Monoid' (f :: k -> Type)
- Generics.Deriving.Monoid: gmappend :: (GMonoid a, Generic a, GMonoid' (Rep a)) => a -> a -> a
+ Generics.Deriving.Monoid: gmappend :: GMonoid a => a -> a -> a
- Generics.Deriving.Monoid: gmappend' :: GMonoid' f => f x -> f x -> f x
+ Generics.Deriving.Monoid: gmappend' :: forall (x :: k). GMonoid' f => f x -> f x -> f x
- Generics.Deriving.Monoid: gmempty :: (GMonoid a, Generic a, GMonoid' (Rep a)) => a
+ Generics.Deriving.Monoid: gmempty :: GMonoid a => a
- Generics.Deriving.Monoid: gmempty' :: GMonoid' f => f x
+ Generics.Deriving.Monoid: gmempty' :: forall (x :: k). GMonoid' f => f x
- Generics.Deriving.Monoid: mappend' :: Monoid' f => f x -> f x -> f x
+ Generics.Deriving.Monoid: mappend' :: forall (x :: k). Monoid' f => f x -> f x -> f x
- Generics.Deriving.Monoid: mempty' :: Monoid' f => f x
+ Generics.Deriving.Monoid: mempty' :: forall (x :: k). Monoid' f => f x
- Generics.Deriving.Semigroup: class GSemigroup' f
+ Generics.Deriving.Semigroup: class GSemigroup' (f :: k -> Type)
- Generics.Deriving.Semigroup: gsappend :: (GSemigroup a, Generic a, GSemigroup' (Rep a)) => a -> a -> a
+ Generics.Deriving.Semigroup: gsappend :: GSemigroup a => a -> a -> a
- Generics.Deriving.Semigroup: gsappend' :: GSemigroup' f => f x -> f x -> f x
+ Generics.Deriving.Semigroup: gsappend' :: forall (x :: k). GSemigroup' f => f x -> f x -> f x
- Generics.Deriving.Show: class GShow' f
+ Generics.Deriving.Show: class GShow' (f :: Type -> Type)
- Generics.Deriving.Show: gshowsPrec :: (GShow a, Generic a, GShow' (Rep a)) => Int -> a -> ShowS
+ Generics.Deriving.Show: gshowsPrec :: GShow a => Int -> a -> ShowS
- Generics.Deriving.Traversable: class (GFunctor t, GFoldable t) => GTraversable t
+ Generics.Deriving.Traversable: class (GFunctor t, GFoldable t) => GTraversable (t :: Type -> Type)
- Generics.Deriving.Traversable: class GTraversable' t
+ Generics.Deriving.Traversable: class GTraversable' (t :: Type -> Type)
- Generics.Deriving.Traversable: gtraverse :: (GTraversable t, Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b)
+ Generics.Deriving.Traversable: gtraverse :: (GTraversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
- Generics.Deriving.Uniplate: children :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => a -> [a]
+ Generics.Deriving.Uniplate: children :: Uniplate a => a -> [a]
- Generics.Deriving.Uniplate: children' :: Uniplate' f b => f a -> [b]
+ Generics.Deriving.Uniplate: children' :: forall (a :: k). Uniplate' f b => f a -> [b]
- Generics.Deriving.Uniplate: class Context' f b
+ Generics.Deriving.Uniplate: class Context' (f :: k -> Type) b
- Generics.Deriving.Uniplate: class Uniplate' f b
+ Generics.Deriving.Uniplate: class Uniplate' (f :: k -> Type) b
- Generics.Deriving.Uniplate: context :: (Uniplate a, Generic a, Context' (Rep a) a) => a -> [a] -> a
+ Generics.Deriving.Uniplate: context :: Uniplate a => a -> [a] -> a
- Generics.Deriving.Uniplate: context' :: Context' f b => f a -> [b] -> f a
+ Generics.Deriving.Uniplate: context' :: forall (a :: k). Context' f b => f a -> [b] -> f a
- Generics.Deriving.Uniplate: descend :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
+ Generics.Deriving.Uniplate: descend :: Uniplate a => (a -> a) -> a -> a
- Generics.Deriving.Uniplate: descend' :: Uniplate' f b => (b -> b) -> f a -> f a
+ Generics.Deriving.Uniplate: descend' :: forall (a :: k). Uniplate' f b => (b -> b) -> f a -> f a
- Generics.Deriving.Uniplate: descendM :: (Uniplate a, Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
+ Generics.Deriving.Uniplate: descendM :: (Uniplate a, Monad m) => (a -> m a) -> a -> m a
- Generics.Deriving.Uniplate: descendM' :: (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)
+ Generics.Deriving.Uniplate: descendM' :: forall m (a :: k). (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)
- Generics.Deriving.Uniplate: transform :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
+ Generics.Deriving.Uniplate: transform :: Uniplate a => (a -> a) -> a -> a
- Generics.Deriving.Uniplate: transform' :: Uniplate' f b => (b -> b) -> f a -> f a
+ Generics.Deriving.Uniplate: transform' :: forall (a :: k). Uniplate' f b => (b -> b) -> f a -> f a
- Generics.Deriving.Uniplate: transformM :: (Uniplate a, Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
+ Generics.Deriving.Uniplate: transformM :: (Uniplate a, Monad m) => (a -> m a) -> a -> m a
- Generics.Deriving.Uniplate: transformM' :: (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)
+ Generics.Deriving.Uniplate: transformM' :: forall m (a :: k). (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)
Files
- CHANGELOG.md +4/−0
- generic-deriving.cabal +6/−7
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 1.14.7 [2026.01.03]+* Allow building with GHC 9.14.+* Remove unused `ghc-prim` dependency.+ # 1.14.6 [2024.12.05] * Drop support for GHC 7.10 and earlier.
generic-deriving.cabal view
@@ -1,5 +1,5 @@ name: generic-deriving-version: 1.14.6+version: 1.14.7 synopsis: Generic programming library for generalised deriving. description: @@ -81,8 +81,9 @@ , GHC == 9.4.8 , GHC == 9.6.6 , GHC == 9.8.4- , GHC == 9.10.1- , GHC == 9.12.1+ , GHC == 9.10.3+ , GHC == 9.12.2+ , GHC == 9.14.1 extra-source-files: CHANGELOG.md , README.md@@ -118,9 +119,8 @@ Paths_generic_deriving build-depends: base >= 4.9 && < 5- , containers >= 0.1 && < 0.8- , ghc-prim < 1- , template-haskell >= 2.11 && < 2.24+ , containers >= 0.1 && < 0.9+ , template-haskell >= 2.11 && < 2.25 -- TODO: Eventually, we should bump the lower version -- bounds to >=0.6 so that we can remove some CPP in -- Generics.Deriving.TH.Internal.@@ -142,7 +142,6 @@ build-depends: base , generic-deriving , hspec >= 2 && < 3- , template-haskell build-tool-depends: hspec-discover:hspec-discover hs-source-dirs: tests default-language: Haskell2010