- Support GHC-9.6 and GHC-9.8
- Support
th-abstraction-0.6.0.0
or later.
- Support
th-abstraction-0.5.0.0
or later.
- Support GHC-9.4
- Workaround for https://gitlab.haskell.org/ghc/ghc/-/issues/18320, which was preventing code calling makeBaseFunctor from being profiled.
- Support GHC-9.0 and GHC-9.2
- Fix build issue regarding
Setup.hs
. See #120.
- More Mendler-style recursion-schemes:
mpara
,mzygo
,mana
,mapo
, andmfutu
. makeBaseFunctor
no longer generates warnings when combined with DerivingStrategies.
- Allow building with
template-haskell-2.17.0.0
(GHC 9.0).
- Add instances for
Tree
(fromcontainers
) - Add some haddocks and basic examples
- Generalize the type of
makeBaseFunctor(With)
, such that it can take alsoDec
. This way you may supply context forRecursive
andCorecursive
instances. - Depend on
data-fix
package for fixed point types.
- Support
th-abstraction-0.3.0.0
or later.
- Make the
Generic
-based instances to also support data constructors with zero arguments (and datatypes with zero constructors).
- Invalid release
- Add
cotransverse
- Add
Generic
based default implementation toembed
andproject
.Recursive
andCorecursive
can beDeriveAnyClass
-derived now, if you write the base functor by hand.
- Export gfutu
distGHisto
,ghisto
, andgchrono
now useCofree (Base t)
distGFutu
,gfutu
, andgchrono
now useFree (Base t)
- Add
hoist
,hoistMu
andhoistNu
- Add
transverse
andcataA
- Make the Template Haskell machinery look through type synonyms.
- Avoid incurring some dependencies when using recent GHCs.
- Support GHC-8.2.1
- Fix Template Haskell derivation with non-default type renamer.
- Add
Recursive
andCorecursive Natural
instances, withBase Natural = Maybe
.
- Add
Data.Functor.Foldable.TH
module, which provides derivation of base functors via Template Haskell.
- Renamed
Foldable
toRecursive
andUnfoldable
toCorecursive
. WithFoldable
inPrelude
in GHC 7.10+, having a needlessly conflicting name seemed silly. - Add support for GHC-8.0.1
- Use
Eq1
,Ord1
,Show1
,Read1
to deriveFix
,Nu
andMu
Eq
,Ord
Show
andRead
instances - Remove
Prim
data family.ListF
as a new name forPrim [a]
, with plenty of instances, e.g.Traversable
. - Export
unfix
- Add chronomorphisms:
chrono
andgchrono
. - Add
distGApoT
- Support for
free
4.12.1
- Support for GHC 7.10
- Fixed
para
.
- Support for GHC 7.7+'s generalized
Typeable
. - Faster
gapo
andpara
by exploiting sharing.
- Compatibility with
comonad
andfree
version 4.0
- Compatibility with
transformers
0.3 - Resolved deprecation warnings caused by changes to
Data.Typeable