WithValue

abstract class WithValue[F[_], E, A](value: A)(F: Applicative[F]) extends Cont[F, E, A]
class Cont[F, E, A]
class BaseCont[F, E, A]
class Step[F, E, A]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

final def run: F[A]

Inherited methods

final def as[B](b: B): Step[F, E, B]
Inherited from
BaseCont
final def bind[B](f: A => F[Step[F, E, B]])(M: Monad[F]): F[Step[F, E, B]]
Inherited from
Cont
final def contramap[E2](f: E2 => E): Step[F, E2, A]
Inherited from
Cont
final def feed(chunk: Seq[E]): F[Step[F, E, A]]
Inherited from
BaseCont
def feedEl(e: E): F[Step[F, E, A]]

Feed a single element to this Step.

Feed a single element to this Step.

Must be consistent with feed and feedNonEmpty.

Inherited from
Step
final def fold[Z](ifCont: NonEmptyList[E] => F[Step[F, E, A]] => Z, ifDone: (A, List[E]) => Z): Z
Inherited from
BaseCont
final def isDone: Boolean
Inherited from
BaseCont
final def map[B](f: A => B): Step[F, E, B]
Inherited from
Cont
final def mapI[G[_]](f: FunctionK[F, G])(`evidence$10`: Applicative[G]): Step[G, E, A]
Inherited from
BaseCont
final def zip[B](other: Step[F, E, B]): Step[F, E, (A, B)]
Inherited from
BaseCont