generic-data 1.0.0.0 → 1.0.0.1

raw patch · 4 files changed

+22/−22 lines, 4 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• generic-data.cabal +2/−2
• src/Generic/Data.hs +14/−20
• src/Generic/Data/Internal/Generically.hs +2/−0

@@ -1,3 +1,7 @@+# 1.0.0.1++- Compatibility with *base* 4.18 (GHC 9.6)+ # 1.0.0.0  - `Generically` and `Generically1` are in *base* 4.17 (GHC 9.4.1)!

@@ -1,5 +1,5 @@ name:                generic-data-version:             1.0.0.0+version:             1.0.0.1 synopsis:            Deriving instances with GHC.Generics and related utilities description:   Generic implementations of standard type classes.@@ -46,7 +46,7 @@     contravariant,     ghc-boot-th,     show-combinators,-    base >= 4.9 && < 5+    base >= 4.9 && < 4.19   hs-source-dirs:      orphans   exposed-modules:     Generic.Data.Orphans

@@ -1,18 +1,12 @@ -- | Generic combinators to derive type class instances. ----- = Overview------ /base/ classes that GHC can not derive instances for, as of version 8.2:------ - 'Data.Semigroup.Semigroup', 'Monoid', 'Applicative',---   'Control.Applicative.Alternative', 'Data.Functor.Classes.Eq1',---   'Data.Functor.Classes.Ord1', 'Data.Functor.Classes.Show1'.+-- == Orphans ----- On /base/ < 4.12 (i.e., GHC < 8.6), import "Generic.Data.Orphans" to obtain--- instances needed internally to derive those.+-- The 'Data.Generic.Orphans' module should be imported to derive the following+-- classes using this library: ----- GHC can derive instances for other classes here, although there may be--- types supported by one method but not the other or vice versa.+-- - 'Eq1' and 'Ord1'+-- - 'Semigroup' and 'Monoid' on GHC 8.4 or older (base <= 4.11) -- -- == __Minor discrepancies__ --@@ -78,7 +72,7 @@     -- | Default implementations for classes indexed by types     -- (kind @Type@). -    -- ** 'Data.Semigroup.Semigroup'+    -- ** 'Semigroup'   , gmappend      -- ** 'Monoid'@@ -105,7 +99,7 @@      -- ** 'Enum'   , GEnum()-    -- *** StandardEnum option+    -- *** 'StandardEnum' option     -- | Can also be derived by GHC as part of the standard.   , StandardEnum()   , gtoEnum@@ -114,7 +108,7 @@   , genumFromThen   , genumFromTo   , genumFromThenTo-    -- *** FiniteEnum option+    -- *** 'FiniteEnum' option   , FiniteEnum()   , gtoFiniteEnum   , gfromFiniteEnum@@ -129,7 +123,7 @@   , gmaxBound   , GBounded() -    -- ** 'Data.Ix.Ix'+    -- ** 'Ix'     -- | Can also be derived by GHC as part of the standard.   , grange   , gindex@@ -164,21 +158,21 @@   , gap   , gliftA2 -    -- ** 'Control.Applicative.Alternative'+    -- ** 'Alternative'   , gempty   , galt -    -- ** 'Data.Functor.Classes.Eq1'+    -- ** 'Eq1'   , gliftEq -    -- ** 'Data.Functor.Classes.Ord1'+    -- ** 'Ord1'   , gliftCompare -    -- ** 'Data.Functor.Classes.Read1'+    -- ** 'Read1'   , gliftReadPrec   , GRead1 -    -- ** 'Data.Functor.Classes.Show1'+    -- ** 'Show1'   , gliftShowsPrec   , GShow1 

@@ -247,11 +247,13 @@   to1 = Generically1 . to1   from1 (Generically1 x) = from1 x +#if !MIN_VERSION_base(4,18,0) instance (Generic1 f, Eq1 (Rep1 f), Eq a) => Eq (Generically1 f a) where   (==) = eq1  instance (Generic1 f, Ord1 (Rep1 f), Ord a) => Ord (Generically1 f a) where   compare = compare1+#endif  instance (Generic1 f, GRead1 (Rep1 f)) => Read1 (Generically1 f) where #if MIN_VERSION_base(4,10,0)