Class Trampoline.Codense<A>

java.lang.Object

fj.control.Trampoline<A>

fj.control.Trampoline.Codense<A>

Enclosing class:

Trampoline<A>

private static final class Trampoline.Codense<A>
extends Trampoline<A>

Field Summary

Fields

Modifier and Type	Field	Description
private final F<Object, Trampoline<A>>	cont
private final Trampoline.Normal<Object>	sub

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Codense(Trampoline.Normal<Object> t, F<Object, Trampoline<A>> k)

Method Summary

Modifier and Type	Method	Description
<B> Trampoline<B>	bind(F<A, Trampoline<B>> f)	Binds the given continuation to the result of this trampoline.
<R> R	fold(F<Trampoline.Normal<A>, R> n, F<Trampoline.Codense<A>, R> gs)
Either<P1<Trampoline<A>>, A>	resume()	Runs a single step of this computation.

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

sub

private final Trampoline.Normal<Object> sub

cont

private final F<Object, Trampoline<A>> cont

Constructor Details

Codense

private Codense(Trampoline.Normal<Object> t,
 F<Object, Trampoline<A>> k)

Method Details

fold

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

Specified by:

fold in class Trampoline<A>

bind

public <B> Trampoline<B> bind(F<A, Trampoline<B>> f)

Description copied from class: Trampoline

Binds the given continuation to the result of this trampoline.

Specified by:

bind in class Trampoline<A>

Parameters:

f - A function that constructs a trampoline from the result of this trampoline.

Returns:

A new trampoline that runs this trampoline, then continues with the given function.

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.