Changelog for recursion-schemes-5.2
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
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
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