scalaz

Free

object Free extends FreeFunctions with FreeInstances

Source
Free.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Free
  2. FreeInstances
  3. SourceInstances
  4. SinkInstances
  5. TrampolineInstances
  6. FreeFunctions
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class Gosub[S[+_], A, +B](a: () ⇒ Free[S, A], f: (A) ⇒ Free[S, B])(implicit evidence$3: Functor[S]) extends Free[S, B] with Product with Serializable

    Call a subroutine and continue with the given function.

  2. case class Return[S[+_], +A](a: A)(implicit evidence$1: Functor[S]) extends Free[S, A] with Product with Serializable

    Return from the computation with the given value.

  3. type Sink[A, +B] = Free[[+x](⇒ A) ⇒ x, B]

    A computation that accepts values of type A, eventually resulting in a value of type B.

    A computation that accepts values of type A, eventually resulting in a value of type B. Note the similarity to an scalaz.iteratee.Iteratee.

  4. type Source[A, +B] = Free[[+x](A, x), B]

    A computation that produces values of type A, eventually resulting in a value of type B.

  5. case class Suspend[S[+_], +A](a: S[Free[S, A]])(implicit evidence$2: Functor[S]) extends Free[S, A] with Product with Serializable

    Suspend the computation with the given suspension.

  6. type Trampoline[+A] = Free[Function0, A]

    A computation that can be stepped through, suspended, and paused

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def await[A]: Sink[A, A]

    A sink that waits for a single value and returns it.

    A sink that waits for a single value and returns it.

    Definition Classes
    FreeFunctions
  8. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. implicit def freeMonad[S[+_]](implicit arg0: Functor[S]): Monad[[x]Free[S, x]]

    Definition Classes
    FreeInstances
  13. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  14. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  19. def pause: Trampoline[Unit]

    A trampoline step that doesn't do anything.

    A trampoline step that doesn't do anything.

    Definition Classes
    FreeFunctions
  20. def produce[A](a: A): Source[A, Unit]

    A source that produces the given value.

    A source that produces the given value.

    Definition Classes
    FreeFunctions
  21. def reset[A](r: Trampoline[A]): Trampoline[A]

    Collapse a trampoline to a single step.

    Collapse a trampoline to a single step.

    Definition Classes
    FreeFunctions
  22. def return_[S[+_], A](value: ⇒ A)(implicit S: Applicative[S]): Free[S, A]

    Suspend the given computation in a single step.

    Suspend the given computation in a single step.

    Definition Classes
    FreeFunctions
  23. implicit def sinkMonad[S]: Monad[[x]Free[[+x](⇒ S) ⇒ x, x]]

    Definition Classes
    SinkInstances
  24. implicit def sourceMonad[S]: Monad[[x]Free[[+x](S, x), x]]

    Definition Classes
    SourceInstances
  25. def suspend[S[+_], A](value: ⇒ Free[S, A])(implicit S: Applicative[S]): Free[S, A]

    Definition Classes
    FreeFunctions
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  27. def toString(): String

    Definition Classes
    AnyRef → Any
  28. implicit val trampolineMonad: Monad[Trampoline]

    Definition Classes
    TrampolineInstances
  29. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from FreeInstances

Inherited from SourceInstances

Inherited from SinkInstances

Inherited from TrampolineInstances

Inherited from FreeFunctions

Inherited from AnyRef

Inherited from Any

Ungrouped