Free

Type Members

type FreeC[S[_], A] = Free[[x]Coyoneda[S, x], A]

A free monad over the free functor generated by S
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.
case class Return[S[_], A](a: A) extends Free[S, A] with Product with Serializable

Return from the computation with the given value.
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.
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.
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.
type Trampoline[A] = Free[Function0, A]

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

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
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
def clone(): AnyRef

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

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
implicit def freeEqual[F[_], A](implicit A: Equal[A], N: ~>[Equal, [α]Equal[F[α]]], F: Functor[F]): Equal[Free[F, A]]

Definition Classes
FreeInstances
implicit def freeFoldable[F[_]](implicit arg0: Foldable[F], arg1: Functor[F]): Foldable[[α]Free[F, α]]

Definition Classes
FreeInstances3
implicit def freeFoldable1[F[_]](implicit arg0: Foldable1[F], arg1: Functor[F]): Foldable1[[α]Free[F, α]]

Definition Classes
FreeInstances2
implicit def freeMonad[S[_]](implicit arg0: Functor[S]): Monad[[x]Free[S, x]]

Definition Classes
FreeInstances
implicit def freeTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[α]Free[F, α]]

Definition Classes
FreeInstances1
implicit def freeTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[α]Free[F, α]]

Definition Classes
FreeInstances0
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
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.

Definition Classes
FreeFunctions
def liftFU[MA](value: ⇒ MA)(implicit MA: Unapply[Functor, MA]): Free[M, A]

A version of liftF that infers the nested type constructor.
A version of liftF that infers the nested type constructor.

Definition Classes
FreeFunctions
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def pause: Trampoline[Unit]

A trampoline step that doesn't do anything.
A trampoline step that doesn't do anything.

Definition Classes
FreeFunctions
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
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
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
implicit def sinkMonad[S]: Monad[[x]Free[[x](⇒ S) ⇒ x, x]]

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

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

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
implicit val trampolineInstance: Monad[Trampoline] with Comonad[Trampoline]

Definition Classes
TrampolineInstances
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

object Free extends FreeInstances with FreeFunctions

Type Members

type FreeC[S[_], A] = Free[[x]Coyoneda[S, x], A]

case class Gosub[S[_], A, B](a: () ⇒ Free[S, A], f: (A) ⇒ Free[S, B]) extends Free[S, B] with Product with Serializable

case class Return[S[_], A](a: A) extends Free[S, A] with Product with Serializable

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

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

case class Suspend[S[_], A](a: S[Free[S, A]]) extends Free[S, A] with Product with Serializable

type Trampoline[A] = Free[Function0, A]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def await[A]: Sink[A, A]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

implicit def freeEqual[F[_], A](implicit A: Equal[A], N: ~>[Equal, [α]Equal[F[α]]], F: Functor[F]): Equal[Free[F, A]]

implicit def freeFoldable[F[_]](implicit arg0: Foldable[F], arg1: Functor[F]): Foldable[[α]Free[F, α]]

implicit def freeFoldable1[F[_]](implicit arg0: Foldable1[F], arg1: Functor[F]): Foldable1[[α]Free[F, α]]

implicit def freeMonad[S[_]](implicit arg0: Functor[S]): Monad[[x]Free[S, x]]

implicit def freeTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[α]Free[F, α]]

implicit def freeTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[α]Free[F, α]]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

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

def liftFU[MA](value: ⇒ MA)(implicit MA: Unapply[Functor, MA]): Free[M, A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def pause: Trampoline[Unit]

def produce[A](a: A): Source[A, Unit]

def reset[A](r: Trampoline[A]): Trampoline[A]

def return_[S[_], A](value: ⇒ A)(implicit S: Applicative[S]): Free[S, A]

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

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

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

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

def toString(): String

implicit val trampolineInstance: Monad[Trampoline] with Comonad[Trampoline]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from FreeFunctions

Inherited from FreeInstances

Inherited from SourceInstances

Inherited from SinkInstances

Inherited from TrampolineInstances

Inherited from FreeInstances0

Inherited from FreeInstances1

Inherited from FreeInstances2

Inherited from FreeInstances3

Inherited from AnyRef

Inherited from Any

Ungrouped