scalaz

Free

object Free extends FreeFunctions with FreeInstances

Source
Free.scala
Linear Supertypes
FreeInstances, SourceInstances, SinkInstances, TrampolineInstances, FreeFunctions, AnyRef, Any
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. def joinF[S[+_], A](value: Free[[+α]Free[S, α], A])(implicit S: Functor[S]): Free[S, A]

    Monadic join for the higher-order monad Free

  17. def liftF[S[+_], A](value: ⇒ S[A])(implicit S: Functor[S]): Free[S, A]

    Suspends a value within a functor in a single step.

    Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.

  18. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  19. final def notify(): Unit

    Definition Classes
    AnyRef

  20. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  21. def pause: Trampoline[Unit]

    A trampoline step that doesn't do anything.

    A trampoline step that doesn't do anything.

    Definition Classes
    FreeFunctions

  22. def point[S[+_], A](value: ⇒ A)(implicit arg0: Functor[S]): Free[S, A]

    Return the given value in the free monad.

  23. 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

  24. def pure[S[+_], A](value: ⇒ A)(implicit arg0: Functor[S]): Free[S, A]

    Alias for point

  25. 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

  26. 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

  27. implicit def sinkMonad[S]: Monad[[x]Free[[+x](⇒ S) ⇒ x, x]]

    Definition Classes
    SinkInstances

  28. implicit def sourceMonad[S]: Monad[[x]Free[[+x](S, x), x]]

    Definition Classes
    SourceInstances

  29. def suspend[S[+_], A](value: ⇒ Free[S, A])(implicit S: Applicative[S]): Free[S, A]

    Definition Classes
    FreeFunctions

  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  31. def toString(): String

    Definition Classes
    AnyRef → Any

  32. implicit val trampolineMonad: Monad[Trampoline]

    Definition Classes
    TrampolineInstances

  33. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  34. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  35. 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