Description
Amateur addenda to recursion-schemes.
Description
This package provides some exotic recursion schemes as well monadic versions of some morphisms.
README.md
recursion-schemes-ext
This adds several functions to recursion-schemes, including a cataM
.
Monadic Functions
This package provides cataM
, anaM
, and hyloM
. That means you can have (co)algebras that return a monadic value.