scalaz

Free

object Free extends FreeFunctions with FreeInstances

Source
Free.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Free
  2. FreeInstances
  3. FreeFunctions
  4. AnyRef
  5. Any
Visibility
  1. Public
  2. All

Type Members

  1. case class Gosub [S[+_], A, +B] (a: Free[S, A], f: (A) ⇒ Free[S, B]) 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) 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]]) 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. def != (arg0: AnyRef): Boolean

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

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

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

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

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

    Attributes
    final
    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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  9. def eq (arg0: AnyRef): Boolean

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

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

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

    Attributes
    implicit
    Definition Classes
    FreeInstances
  13. def getClass (): java.lang.Class[_]

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

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

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

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

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

    Attributes
    final
    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: Pointed[S]): Free[S, A]

    Suspend the given computation in a single step.

    Suspend the given computation in a single step.

    Definition Classes
    FreeFunctions
  23. def suspend [S[+_], A] (value: ⇒ Free[S, A])(implicit S: Pointed[S]): Free[S, A]

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

    Attributes
    final
    Definition Classes
    AnyRef
  25. def toString (): String

    Definition Classes
    AnyRef → Any
  26. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from FreeInstances

Inherited from FreeFunctions

Inherited from AnyRef

Inherited from Any