0.8.0.0

• Add GenericProduct, for deriving via GenericProduct B when B is not the type A you want the derived instance for. Note this used to be Generically's behavior for Monoid before 0.7.0.0.

• Add generic implementations for Ix. Thanks to Topsii.

• Add conIdNamed, to get a ConId by its type-level name

• Add instance Show (ConId a)

• Improve type errors for deriving Semigroup and Monoid via Generically. Thanks to yairchu.

0.7.0.0

• Change Monoid instance for Generically, to be compatible with users' non-generic instances of Semigroup. Thanks to yairchu.
• Add gcoerce, gcoerceBinop.

0.6.0.1

• Fix derivation of Show1 for (:.:)

0.6.0.0

• Add Surgery newtype for DerivingVia
• Derecordify, Typeage, RenameFields, RenameConstrs, OnFields are no longer type families, but defunctionalized symbols to be applied using GSurgery.

0.5.0.0

• Specialize onData to Data
• Add some instances for U1 and V1 in Microsurgery
• Add OnFields and DOnFields surgeries ("higher-kindification")

0.4.0.0

• Created Microsurgery module. Initial set of surgeries:

  • Derecordify
  • Typeage
  • RenameFields, RenameConstrs
  • Some doc about using generic-lens for surgeries

0.3.0.0

• Add generic implementations of enumFrom, enumFromThen, enumFromTo, enumFromThenTo. They are actually required to be explicit for correct Enum instances. Thanks to Topsii.
• Parameterize GEnum by a type-level option, and add FiniteEnum option to allow Enum to be derived for composite types. Thanks to Topsii.

0.2.0.0

• Remove Generic.Data.Types.Map
• Add Generic.Data.Data.Types.toData and fromData
• Remove Defun module (subsumed by first-class-families package)

0.1.1.0

• Add gconIndex
• Interface for constructor tags
• Type-level Meta accessors
• Add basic Newtype functions

0.1.0.0

Released generic-data