All Versions
11
Latest Version
Avg Release Cycle
77 days
Latest Release
-

Changelog History
Page 1

  • v0.8.1.0

    • ➕ Add Old type family mapping newtypes to their underlying type.
  • v0.8.0.0

    February 16, 2020
    • ➕ 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.

  • v0.7.0.0

    May 04, 2019
    • 🔄 Changed Monoid instance for Generically, to be compatible with users' non-generic instances of Semigroup. Thanks to yairchu.
    • ➕ Add gcoerce, gcoerceBinop.
  • v0.6.0.1

    April 25, 2019
    • 🛠 Fix derivation of Show1 for (:.:)
  • v0.6.0.0

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

    January 04, 2019
    • Specialize onData to Data
    • ➕ Add some instances for U1 and V1 in Microsurgery
    • ➕ Add OnFields and DOnFields surgeries ("higher-kindification")
  • v0.4.0.0

    December 30, 2018
    • Created Microsurgery module. Initial set of surgeries:

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

    October 08, 2018
    • ➕ 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.
  • v0.2.0.0

    September 13, 2018
    • ✂ Remove Generic.Data.Types.Map
    • ➕ Add Generic.Data.Data.Types.toData and fromData
    • ✂ Remove Defun module (subsumed by first-class-families package)
  • v0.1.1.0

    May 27, 2018
    • ➕ Add gconIndex
    • Interface for constructor tags
    • Type-level Meta accessors
    • ➕ Add basic Newtype functions