EasyRecursion
object EasyRecursion
Beginner-friendly. No Greek.
class Object
trait Matchable
class Any
Value members
Concrete methods
def monadicFold[M[_], F[_], A](alg: (M, F) => A)(f: Fix[F])(implicit evidence$4: Monad[M], evidence$5: Traverse[F]): M[A]
def monadicUnfold[M[_], F[_], A](coalg: (M, F) => A)(a: A)(implicit evidence$6: Monad[M], evidence$7: Traverse[F]): M[Fix[F]]
def monadicUnfoldIntoFold[M[_], F[_], A, B](coalg: (M, F) => A, alg: (M, F) => B)(a: A)(implicit evidence$8: Monad[M], evidence$9: Traverse[F]): M[B]
def unfoldIntoFold[F[_], A, B](coalg: F => A, alg: F => B)(a: A)(implicit evidence$3: Functor[F]): B