Uses of Interface
edu.rice.cs.plt.recur.Continuation

Packages that use Continuation

edu.rice.cs.plt.recur

Classes enabling safe handling of infinite or extremely deep recursion.

Uses of Continuation in edu.rice.cs.plt.recur

Classes in edu.rice.cs.plt.recur that implement Continuation

class	ArgContinuation<T,R> A continuation for results that depend on a single recursive invocation, followed by some additional computation.
class	BinaryArgContinuation<T1,T2,R> A continuation for results that depend on a two recursive invocations, followed by some additional computation.
class	ComposedContinuation<T,R> A continuation defined in terms of two other continuations, where the second is parameterized by the result of the first.
class	PendingContinuation<T> A continuation representing computation left to be done (in contrast to ValueContinuation, which represents a completed computation).
class	ValueContinuation<T> A continuation that is resolved at creation time.

Methods in edu.rice.cs.plt.recur that return Continuation

protected abstract Continuation<? extends R>	ArgContinuation.apply(T arg) Given the result of evaluating arg(), produce a continuation for the ultimate result.
protected abstract Continuation<? extends R>	BinaryArgContinuation.apply(T1 arg1, T2 arg2) Given the results of evaluating arg1() and arg2(), produce a continuation for the ultimate result.
protected abstract Continuation<? extends T>	ArgContinuation.arg() Produce a continuation computing the result of a recursive invocation.
protected abstract Continuation<? extends T1>	BinaryArgContinuation.arg1() Produce a continuation computing the first result of a recursive invocation.
protected abstract Continuation<? extends T2>	BinaryArgContinuation.arg2() Produce a continuation computing the second result of a recursive invocation.
<S> Continuation<S>	ComposedContinuation.compose(Lambda<? super R,? extends Continuation<? extends S>> c) Create a new ComposedContinuation with the same first, but with a rest that will compose c onto the result of this object's rest function.
<R> Continuation<R>	ValueContinuation.compose(Lambda<? super T,? extends Continuation<? extends R>> c) Create a ComposedContinuation in terms of this object and c.
<R> Continuation<R>	PendingContinuation.compose(Lambda<? super T,? extends Continuation<? extends R>> c) Create a ComposedContinuation in terms of this object and the provided function.
<R> Continuation<? extends R>	Continuation.compose(Lambda<? super T,? extends Continuation<? extends R>> c) Produce a continuation that will invoke c with this object's result.
static Continuation<Boolean>	ContinuationTest.safeIsEven(int x) Continuation-based version of isEven.
static Continuation<Long>	ContinuationTest.safeSum(int n) Continuation-based version of sum.
Continuation<R>	BinaryArgContinuation.step() Create a ComposedContinuation in terms of the result of arg1() and a lambda that computes arg2() and ultimately invokes apply() with the results.
Continuation<R>	ArgContinuation.step() Create a ComposedContinuation in terms of the result of arg() and a lambda wrapper of apply().
Continuation<T>	ValueContinuation.step() Throw an IllegalStateException, because this continuation is already resolved.
abstract Continuation<? extends T>	PendingContinuation.step() Defines the next step of the continuation.
Continuation<? extends R>	ComposedContinuation.step() If first is resolved, apply rest to compute the second.
Continuation<? extends T>	Continuation.step() Produce a continuation representing the next step of computation.

Method parameters in edu.rice.cs.plt.recur with type arguments of type Continuation

<S> Continuation<S>	ComposedContinuation.compose(Lambda<? super R,? extends Continuation<? extends S>> c) Create a new ComposedContinuation with the same first, but with a rest that will compose c onto the result of this object's rest function.
<R> Continuation<R>	ValueContinuation.compose(Lambda<? super T,? extends Continuation<? extends R>> c) Create a ComposedContinuation in terms of this object and c.
<R> Continuation<R>	PendingContinuation.compose(Lambda<? super T,? extends Continuation<? extends R>> c) Create a ComposedContinuation in terms of this object and the provided function.
<R> Continuation<? extends R>	Continuation.compose(Lambda<? super T,? extends Continuation<? extends R>> c) Produce a continuation that will invoke c with this object's result.

Constructors in edu.rice.cs.plt.recur with parameters of type Continuation

ComposedContinuation(Continuation<? extends T> first, Lambda<? super T,? extends Continuation<? extends R>> rest)

Constructor parameters in edu.rice.cs.plt.recur with type arguments of type Continuation

ComposedContinuation(Continuation<? extends T> first, Lambda<? super T,? extends Continuation<? extends R>> rest)