# Revision history for deep-transformations

## 0.4 -- 2025-10-26

### **BREAKING**

Major type changes:

* Moved the `attribution` method from the `AG.Attribution` class to the new `AG.At` class
* Changed the kind of the second parameter of the `AG.Atts` type family from `Type` to `(Type -> Type) -> (Type ->
  Type) -> Type`
* As a consequence, removed the two deep&shallow type parameters of the `AG.Attribution` and `AG.At` classes
* Adopted the same naming scheme in `AG.Dimorphic` and `AG.Monomorphic`
* Dropped functions `applyDefault`, and `applyDefaultWithAttributes` from `Transformation.AG`

Major reorganization of the data types around the `Keep` semantics:

* Dropped `PreservingSemantics` from `AG`, `Monomorphic`, and `Dimorphic` modules
* Dropped `AG.knitKeeping`, making `AG.Keep` an attribution wrapper instead
* Dropped `Keep` from `Mono`/`Dimorphic` modules
* Replaced `AG.AllAtts` with the `AG.Kept` data type
* Introduced the `AG.Kept` attribute synthesized by the `AG.Keep` transformation wrapper

Breaking instance changes:

* Strengthened the `Foldable` constraint on the `attribution` method to `Traversable`
* Made the default `Bequether` & `Synthesizer` instances specific to `Auto`
* Dropped the fixed instance `Full.Functor (Transformation.Rank2.Map p q)`

### Additions

* the `AG.Knit` transformation
* `Transformation.Coercion` and `Full.coerce`
* the wrapper `Dimorphic.T` separate from `Dimorphic.Auto`
* the `Origin` associated type
* `mapInherited` and `mapSynthesized`
* `Semigroup` and `Monoid` instances for `Inherited` and `Synthesized`
* `Deep.Const2`
* `instance Attribution (Keep t)`

### Other improvements

* Added `test/RepMinKeep ` and `test/RepMinKeepAG`
* Bumped the lower bound of the `rank2classes` dependency to require the new `Rank2.coerce` method
* Bumped the upper bound of the `generic-lens` dependency
* Expanded documentation
* Fixed the Transformation doctests for docspec
* Turned `doctests` from a testsuite into a named library, dropped `cabal-doctest`
* Updated GitHub CI action

## 0.3 -- 2025-01-01

* **BREAKING**: Changed the definitions of `Deep.Product` and `Deep.Sum`
* Added `Shallow` class instances for all data types declared in the `Rank2` module
* Added `Shallow` class instances for `Proxy`, `Const`, `Product`, and `Sum`
* Bumped the upper bound of the template-haskell dependency to compile with GHC 9.12.1
* Fixed the PolyKinds-related test errors
* Added `Deep.Only` and `Deep.Flip` data types to mirror `Rank2.Only` and `Rank2.Flip`

## 0.2.3 -- 2024-05-18

* Bumped the upper bound of the template-haskell dependency
* Generalized the TH generation code
* Fixed the loopy superclass constraints in instance declarations

## 0.2.2 -- 2023-06-25

* Updated for GHC 9.8.1 and TH 2.22
* Updated TH code to use `DuplicateRecordFields` and `OverloadedRecordDot` when enabled
* Fixed warnings in tests

## 0.2.1.2 -- 2023-06-25

* Bumped the upper bound of the `template-haskell` dependency

## 0.2.1.1 -- 2023-04-02

* Bumped the upper bound of the `rank2classes` dependency

## 0.2.1 -- 2023-01-07

* Added AG.Dimorphic
* Added combinators `Transformation.Mapped`, `Folded`, and `Traversed`
* Compiling with GHC 9.4

## 0.2 -- 2022-03-27

* Changes necessary to compile with GHC 9.2.2
* Excluded GHC 8.2.2 from `deep-transformations` and GitHub CI
* Increased the `deep-transformations`' bottom bound of base dependency
* Relaxed the bounds of the `generic-lens` dependency
* Fixed `deep-transformations` compilation with GHC 9.0.1
* Added an explicit implementation `mappend = (<>)`
* Used haskell-ci to generate GitHub CI
* Incremented upper dependency bounds
* Added `AG.Generics.Keep`
* Added `knitKeeping` and `applyDefaultWithAttributes` to `AG`
* Dropped `fullMapDefault`
* Switch the README's attribute grammar functor to map upwards
* Removed unused code
* Added `infixl 4` declarations for all `<$>` methods
* Added the `AG.Monomorphic` module
* Fixed `Transformation.Shallow.TH` for repeated type parameters
* Added `Transformation.Deep.Sum`

## 0.1 -- 2020-11-11

First version