arrow-streams / arrow.streams.internal / FreeCMonad

FreeCMonad

@extension interface FreeCMonad<F> : Monad<FreeCPartialOf<F>>

Functions

flatMap open fun <A, B> FreeCOf<F, A>.flatMap(f: (A) -> FreeCOf<F, B>): FreeCOf<F, B>
just open fun <A> just(a: A): FreeCOf<F, A>
tailRecM open fun <A, B> tailRecM(a: A, f: (A) -> FreeCOf<F, Either<A, B>>): FreeCOf<F, B>