Package fj.control

Class Trampoline.Suspend<A>

java.lang.Object

fj.control.Trampoline<A>

fj.control.Trampoline.Normal<A>

fj.control.Trampoline.Suspend<A>

Enclosing class:

Trampoline<A>

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

Field Summary

Fields

Modifier and Type	Field	Description
private P1<Trampoline<A>>	suspension

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Suspend(P1<Trampoline<A>> s)

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 fj.control.Trampoline.Normal

bind

Methods inherited from class fj.control.Trampoline

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

Methods inherited from class java.lang.Object

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

Field Detail

suspension

private final P1<Trampoline<A>> suspension

Constructor Detail

Suspend

private Suspend(P1<Trampoline<A>> s)

Method Detail

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.