EasyRecursion
object EasyRecursion
Beginner-friendly. No Greek.
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])(`evidence$4`: Monad[M], `evidence$5`: Traverse[F]): M[A]
def monadicUnfold[M[_], F[_], A](coalg: (M, F) => A)(a: A)(`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)(`evidence$8`: Monad[M], `evidence$9`: Traverse[F]): M[B]