## 5.2.2.2 * Support GHC-9.0 and GHC-9.2 ## 5.2.2.1 * Fix build issue regarding `Setup.hs`. See #120. ## 5.2.2 * More Mendler-style recursion-schemes: `mpara`, `mzygo`, `mana`, `mapo`, and `mfutu`. * `makeBaseFunctor` no longer generates warnings when combined with DerivingStrategies. ## 5.2.1 [2020.10.04] * Allow building with `template-haskell-2.17.0.0` (GHC 9.0). ## 5.2 * Add instances for `Tree` (from `containers`) * Add some haddocks and basic examples * Generalize the type of `makeBaseFunctor(With)`, such that it can take also `Dec`. This way you may supply context for `Recursive` and `Corecursive` instances. * Depend on `data-fix` package for fixed point types. ## 5.1.3 [2019.04.26] * Support `th-abstraction-0.3.0.0` or later. ## 5.1.2 * Make the `Generic`-based instances to also support data constructors with zero arguments (and datatypes with zero constructors). ## 5.1.1.1 * Invalid release ## 5.1.1 * Add `cotransverse` * Add `Generic` based default implementation to `embed` and `project`. `Recursive` and `Corecursive` can be `DeriveAnyClass`-derived now, if you write the base functor by hand. ## 5.1 * Export gfutu * `distGHisto`, `ghisto`, and `gchrono` now use `Cofree (Base t)` * `distGFutu`, `gfutu`, and `gchrono` now use `Free (Base t)` * Add `hoist`, `hoistMu` and `hoistNu` * Add `transverse` and `cataA` ## 5.0.3 [2018.07.01] * Make the Template Haskell machinery look through type synonyms. * Avoid incurring some dependencies when using recent GHCs. ## 5.0.2 * Support GHC-8.2.1 * Fix Template Haskell derivation with non-default type renamer. * Add `Recursive` and `Corecursive Natural` instances, with `Base Natural = Maybe`. ## 5.0.1 * Add `Data.Functor.Foldable.TH` module, which provides derivation of base functors via Template Haskell. ## 5 * Renamed `Foldable` to `Recursive` and `Unfoldable` to `Corecursive`. With `Foldable` in `Prelude` in GHC 7.10+, having a needlessly conflicting name seemed silly. * Add support for GHC-8.0.1 * Use `Eq1`, `Ord1`, `Show1`, `Read1` to derive `Fix`, `Nu` and `Mu` `Eq`, `Ord` `Show` and `Read` instances * Remove `Prim` data family. `ListF` as a new name for `Prim [a]`, with plenty of instances, e.g. `Traversable`. * Export `unfix` * Add chronomorphisms: `chrono` and `gchrono`. * Add `distGApoT` ## 4.1.2 * Support for `free` 4.12.1 ## 4.1.1 * Support for GHC 7.10 * Fixed `para`. ## 4.1 * Support for GHC 7.7+'s generalized `Typeable`. * Faster `gapo` and `para` by exploiting sharing. ## 4.0 * Compatibility with `comonad` and `free` version 4.0 ## 3.0 * Compatibility with `transformers` 0.3 * Resolved deprecation warnings caused by changes to `Data.Typeable`