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( ... )