Packages

abstract class WithValue[F[_], E, A] extends Cont[F, E, A]

Source
Step.scala
Linear Supertypes
Cont[F, E, A], BaseCont[F, E, A], Step[F, E, A], Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WithValue
  2. Cont
  3. BaseCont
  4. Step
  5. Serializable
  6. Serializable
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WithValue(value: A)(implicit F: Applicative[F])

Abstract Value Members

  1. abstract 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.

    Definition Classes
    Step
  2. abstract def feedNonEmpty(chunk: Seq[E]): F[Step[F, E, A]]

    Feed a chunk that is known to be non-empty to this Step.

    Feed a chunk that is known to be non-empty to this Step.

    Note that this method is unsafe! If you do not know that the chunk contains at least one element, you must call feed instead.

    Attributes
    protected
    Definition Classes
    Step

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def as[B](b: B): Step[F, E, B]

    Replace the value of this Step.

    Replace the value of this Step.

    Definition Classes
    BaseCont → Step
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. final def bind[B](f: (A) ⇒ F[Step[F, E, B]])(implicit M: Monad[F]): F[Step[F, E, B]]

    Map a function returning a Step in a monadic context over the value of this Step and flatten the result.

    Map a function returning a Step in a monadic context over the value of this Step and flatten the result.

    Definition Classes
    ContStep
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. final def contramap[E2](f: (E2) ⇒ E): Step[F, E2, A]

    Map a function over the inputs of this Step.

    Map a function over the inputs of this Step.

    Definition Classes
    ContStep
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. final def feed(chunk: Seq[E]): F[Step[F, E, A]]

    Feed a chunk (possibly empty) to this Step.

    Feed a chunk (possibly empty) to this Step.

    Definition Classes
    BaseCont → Step
  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def fold[Z](ifCont: ((NonEmptyList[E]) ⇒ F[Step[F, E, A]]) ⇒ Z, ifDone: (A, List[E]) ⇒ Z): Z

    Reduce this Step to a value using the given functions.

    Reduce this Step to a value using the given functions.

    Definition Classes
    BaseCont → Step
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isDone: Boolean
    Definition Classes
    BaseCont → Step
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def map[B](f: (A) ⇒ B): Step[F, E, B]

    Map a function over the value of this Step.

    Map a function over the value of this Step.

    Definition Classes
    ContStep
  19. final def mapI[G[_]](f: FunctionK[F, G])(implicit arg0: Applicative[G]): Step[G, E, A]

    Transform the context of this Step.

    Transform the context of this Step.

    Definition Classes
    BaseCont → Step
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def run: F[A]

    Run this Step so that it produces a value in an effectful context.

    Run this Step so that it produces a value in an effectful context.

    Definition Classes
    WithValueStep
  24. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  29. final def zip[B](other: Step[F, E, B]): Step[F, E, (A, B)]

    Zip this Step with another.

    Zip this Step with another.

    Definition Classes
    BaseCont → Step

Inherited from Cont[F, E, A]

Inherited from BaseCont[F, E, A]

Inherited from Step[F, E, A]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped