BSD-3-Clause licensed by Anton Kholomiov, Edward Kmett, Oleg Grenrus
Maintained by <[email protected]>
This version can be pinned in stack with:data-fix-0.3.4@sha256:49114884d59f74ab62a3fc9ab1fd8888ed81b234e30b5d798be4aec4ddba0113,1372

Module documentation for 0.3.4

Fixpoint types and recursion schemes. If you define your AST as fixpoint type, you get fold and unfold operations for free.

Thanks for contribution to: Matej Kollar, Herbert Valerio Riedel

Changes

0.3.4

  • Use quantified constraints superclasses for Eq, Ord, NFData and Hashable Fix instances, when available.

0.3.3

  • Drop support for GHCs prior 8.6.5

0.3.2

  • Add (un)wrapFix/Mu/Nu
  • Support transformers-0.6

0.3.1

  • Update bounds for GHC-9.0

0.3.0

  • Rename cata, ana and hylo into foldFix, unfoldFix and `refold. Old names are now deprecated, and will be eventually removed. Similarly, rename monadic variants.
  • Add hoistFix and hoistFix' function.
  • Add Hashable and NFData instance. Latter is available only with deepseq >=1.4.3.0, which provides NFData1 type-class
  • Change Eq, Ord, Show and Read instances to use Eq1, Ord1, Show1 and Read1 instances of a base functor.
  • Add least and greatest fixed point types, Mu and Nu.
  • Drop requirement for Applicative m in monadic combinators, Monad m is enough.
  • Remove ~> alias for refold (hylo).
  • Extend the GHC support window. There is nothing magical in this package.
  • Mark Data.Fix as Trustworthy (Safe Haskell)
  • Make refold (and refoldM) more efficient. This results in different effect ordering for refoldM.