- Use quantified constraints superclasses for
Eq
,Ord
,NFData
andHashable Fix
instances, when available.
- Drop support for GHCs prior 8.6.5
- Add
(un)wrapFix/Mu/Nu
- Support
transformers-0.6
- Update bounds for GHC-9.0
- Rename
cata
,ana
andhylo
intofoldFix
,unfoldFix
and `refold. Old names are now deprecated, and will be eventually removed. Similarly, rename monadic variants. - Add
hoistFix
andhoistFix'
function. - Add
Hashable
andNFData
instance. Latter is available only withdeepseq >=1.4.3.0
, which providesNFData1
type-class - Change
Eq
,Ord
,Show
andRead
instances to useEq1
,Ord1
,Show1
andRead1
instances of a base functor. - Add least and greatest fixed point types,
Mu
andNu
. - Drop requirement for
Applicative m
in monadic combinators,Monad m
is enough. - Remove
~>
alias forrefold
(hylo
). - Extend the GHC support window. There is nothing magical in this package.
- Mark
Data.Fix
as Trustworthy (Safe Haskell) - Make
refold
(andrefoldM
) more efficient. This results in different effect ordering forrefoldM
.