Recursion schemes

[pakoito]

Magic. MAGIC. MAAAAGIIIIC.

[codecov-io]

Codecov Report

❗ No coverage uploaded for pull request base (master@9c81e7a). Click here to learn what that means.
The diff coverage is 44.89%.

@@            Coverage Diff            @@
##             master     #237   +/-   ##
=========================================
  Coverage          ?   44.95%           
  Complexity        ?      318           
=========================================
  Files             ?      148           
  Lines             ?     3733           
  Branches          ?      402           
=========================================
  Hits              ?     1678           
  Misses            ?     1934           
  Partials          ?      121

Impacted Files	Coverage Δ	Complexity Δ
...ion/src/main/kotlin/kategory/recursion/data/Fix.kt	0% <0%> (ø)	0 <0> (?)
...otlin/kategory/recursion/instances/FixInstances.kt	0% <0%> (ø)	0 <0> (?)
...test/src/main/kotlin/kategory/laws/TraverseLaws.kt	8.57% <0%> (ø)	1 <0> (?)
...kotlin/kategory/recursion/typeclass/Corecursive.kt	0% <0%> (ø)	0 <0> (?)
...on/src/main/kotlin/kategory/recursion/recursion.kt	0% <0%> (ø)	0 <0> (?)
...n/kotlin/kategory/recursion/typeclass/Recursive.kt	0% <0%> (ø)	0 <0> (?)
...gory-core/src/main/kotlin/kategory/data/EitherT.kt	48.88% <100%> (ø)	6 <1> (?)
...gory-core/src/main/kotlin/kategory/data/OptionT.kt	40.38% <100%> (ø)	7 <0> (?)
...e/src/main/kotlin/kategory/typeclasses/Composed.kt	69.87% <57.57%> (ø)	0 <0> (?)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9c81e7a...16001dd. Read the comment docs.

[raulraja]

Should ComposedFunctorFilter be renamed to NestedFunctorFilter? Same for others that were previously under the Composed* names.

[raulraja]

This is m,ind blowing, never imagined we'd be able to encode recursion schemes in Kotlin. I think it would be helpful to include examples and for all these new features they should come with some documentation as well.