Class Trampoline.Pure<A>

java.lang.Object

fj.control.Trampoline<A>

fj.control.Trampoline.Normal<A>

fj.control.Trampoline.Pure<A>

Enclosing class:

Trampoline<A>

private static final class Trampoline.Pure<A>
extends Trampoline.Normal<A>

Field Summary

Fields

Modifier and Type	Field	Description
private final A	value

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Pure(A a)

Method Summary

Modifier and Type	Method	Description
<R> R	fold(F<Trampoline.Normal<A>, R> n, F<Trampoline.Codense<A>, R> gs)
<R> R	foldNormal(F<A,R> pure, F<P1<Trampoline<A>>, R> k)
Either<P1<Trampoline<A>>, A>	resume()	Runs a single step of this computation.

Methods inherited from class Trampoline.Normal

bind

Methods inherited from class Trampoline

apply, bind, bind_, liftM2, map, map_, pure, pure, resume_, run, suspend, suspend, suspend_, zipWith

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

value

private final A value

Constructor Details

Pure

private Pure(A a)

Method Details

foldNormal

public <R> R foldNormal(F<A,R> pure,
 F<P1<Trampoline<A>>, R> k)

Specified by:

foldNormal in class Trampoline.Normal<A>

fold

public <R> R fold(F<Trampoline.Normal<A>, R> n,
 F<Trampoline.Codense<A>, R> gs)

Specified by:

fold in class Trampoline<A>

resume

public Either<P1<Trampoline<A>>, A> resume()

Description copied from class: Trampoline

Runs a single step of this computation.

Specified by:

resume in class Trampoline<A>

Returns:

The next step of this compuation.