recursion
2.2.5.0
- Add
mpara, mzygo, mana, mapo, mfutu for compatibility with
recursion-schemes
2.2.4.4
2.2.4.3
2.2.4.2
- Drop support for Eta
- Works with GHC 9.0
2.2.4.1
- Add more doctests
- Fix documentation typo
2.2.4.0
- Move
transverse, cotransverse, and hoist to new module
Control.Recursion.GHC
recursion now builds with eta
- Add doctests
2.2.3.0
- Add
hypo
- Add generic implementations of
project and embed, following
recursion-schemes
2.2.2.0
- Add
cotransverse for parity with recursion-schemes >= 5.1.1
2.2.1.0
- Add
transverse for parity with recursion-schemes >= 5.1
2.2.0.1
2.2.0.0
- Fix documentation
- Remove
Lens and Trans which are now spurious
2.1.0.0
- Add
scolioM, scolioM', paraM, microM, mutuM, mutuM', elgotM, and
coelgotM
- Rename
dicata to scolio
2.0.0.0
- Add
zygoM', the second monadic zygomorphism
- Remove
scolio, dendro, and chema
1.2.2.0
1.2.1.1
1.2.1.0
- Add
chema, scolio, and dendro
1.2.0.1
1.2.0.0
- Remove
chema
- Add rewrite rules for
cata/ana.
1.1.0.0
- Add
NonEmptyF and relevant instances
- Add
chema for mutual recursion
- Drop support for GHC 7.10.3
1.0.0.0
- Rewrite completely in the style of
recursion-schemes, making type inference
better.
0.1.1.0
- Add
dicata
- Add
Mu
- Add
Nu
- Move
cata and ana to typeclasses so that they can be shortcut
0.1.0.1
- Expose
ListF & constructors
0.1.0.0