Build a hylomorphism by recursively unfolding with coalgebra
and
refolding with algebra
.
Build a hylomorphism by recursively unfolding with coalgebra
and
refolding with algebra
.
hylo A ---------------> B | ^ co- | | algebra | | algebra | | v | F[A] ------------> F[B] map hylo
Convenience to build a hylomorphism for the composed functor F[G[_]]
.
Convenience to build a hylomorphism for the composed functor F[G[_]]
.
This is strictly for convenience and just delegates
to hylo
with the types set properly.
Build a monadic hylomorphism
Build a monadic hylomorphism
hyloM A ---------------> M[B] | ^ co- | | algebraM | | flatMap f | | v | M[F[A]] ---------> M[F[M[B]]] map hyloM with f: F[M[B]] -----> M[F[B]] ----------> M[B] sequence flatMap algebraM
Convenience to build a monadic hylomorphism for the composed functor F[G[_]]
.
Fundamental recursion schemes implemented in terms of functions and nothing else.