generic-deriving

Generic programming library for generalised deriving.

https://github.com/dreixel/generic-deriving

Version on this page:	1.10.5
LTS Haskell 20.23:	1.14.4
Stackage Nightly 2023-05-28:	1.14.4
Latest on Hackage:	1.14.4

See all snapshots generic-deriving appears in

BSD-3-Clause licensed by José Pedro Magalhães

Maintained by generics@haskell.org

This version can be pinned in stack with:generic-deriving-1.10.5@sha256:ed1b35e04efdabe730ae4f76b8f167d979eecbe0e6b4008e0cc33b16df0a400e,2958

Module documentation for 1.10.5

Generics
- Generics.Deriving

Depends on 4 packages(full list with versions):

base, containers, ghc-prim, template-haskell

Used by 10 packages in lts-6.35(full list with versions):

generic-aeson, generic-xmlpickler, json-schema, lift-generics, process-extras, proxied, stack, tasty-ant-xml, tasty-html, text-show

`generic-deriving`: Generic programming library for generalised deriving

This package provides functionality for generalising the deriving mechanism in Haskell to arbitrary classes. It was first described in the paper:

A generic deriving mechanism for Haskell. Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. Haskell’10.

The current implementation integrates with the new GHC Generics. See http://www.haskell.org/haskellwiki/GHC.Generics for more information. Template Haskell code is provided for supporting older GHCs.

Changes

1.10.5

Apply an optimization to generated to(1)/from(1) instances that factors out common occurrences of M1. See http://git.haskell.org/ghc.git/commit/9649fc0ae45e006c2ed54cc5ea2414158949fadb
Export internal typeclass names
Fix Haddock issues with GHC 7.8

1.10.4.1

Fix Haddock parsing issue on GHC 8.0

1.10.4

Backported MonadPlus and MonadZip instances for U1, and made the Functor, Foldable, Traversable, Alternative, and Monad instances for U1 lazier to correspond with base-4.9

1.10.3

Backported Enum, Bounded, Ix, Functor, Applicative, Monad, MonadFix, MonadPlus, MonadZip, Foldable, Traversable, and Data instances (introduced in base-4.9) for datatypes in the Generics.Deriving.Base module

1.10.2

Fix TH regression on GHC 7.0

1.10.1

Added Generics.Deriving.Semigroup
Added GMonoid instance for Data.Monoid.Alt
Fixed a bug in the GEnum instances for unsigned Integral types
Added Safe/Trustworthy pragmas
Made instances polykinded where possible

1.10.0

On GHC 8.0 and up, Generics.Deriving.TH uses the new type literal-based machinery
Rewrote the Template Haskell code to be robust. Among other things, this fixes a bug with deriving Generic1 instances on GHC 7.8, and makes it easier to derive Generic1 instances for datatypes that utilize GHC 8.0’s -XTypeInType extension.
Added deriveAll0 and makeRep0 for symmetry with deriveAll1 and makeRep1
AddedmakeRep0FromType and makeRep1FromType to make it easier to pass in the type instance (instead of having to pass each individual type variable, which can be error-prone)
Added functions with the suffix -WithKindSigs to allow generating type synonyms with explicit kind signatures in the presence of kind-polymorphic type variables. This is necessary for some datatypes that use -XTypeInType to have derived Generic(1) instances, but is not turned on by default since the TH kind inference is not perfect and would cause otherwise valid code to be rejected. Use only if you know what you are doing.
Fixed bug where a datatype with a single, nullary constructor would generate incorrect Generic instances
More sensible GEnum instances for fixed-size integral types
Added GCopoint, GEnum, GEq, GFoldable, GFunctor, GMonoid, GShow, and GTraversable instances for datatypes introduced in GHC 8.0
Backported Generic(1) instances added in GHC 8.0. Specifically, Generic instances for Complex (base-4.4 and later) ExitCode, and Version; and Generic1 instances for Complex (base-4.4 and later) and Proxy (base-4.7 and later). Added GEnum, GEq, GFoldable, GFunctor, GIx, GShow, and GTraversable instances for these datatypes where appropriate.

1.9.0

Allow deriving of Generic1 using Template Haskell
Allow deriving of Generic(1) for data families
Allow deriving of Generic(1) for constructor-less plain datatypes (but not data families, due to technical restrictions)
Support for unboxed representation types on GHC 7.11+
More GCopoint, GEnum, GEq, GFoldable, GFunctor, GIx, GMonoid, GShow, and GTraversable instances
The field accessors for the (:+:) type in Generics.Deriving.Base have been removed to be consistent with GHC.Generics
Ensure that TH generates definitions for isNewtype and packageName, if a recent-enough version of GHC is used
Ensure that TH-generated names are unique for a given data type’s module and package (similar in spirit to Trac #10487)
Allow building on stage-1 compilers