Uses of Class
fj.data.Eval

Packages that use Eval

Package	Description
fj.data	Common algebraic data types.

Uses of Eval in fj.data

Subclasses of Eval in fj.data

Modifier and Type	Class	Description
private static class	Eval.Always<A>	Represents a lazy computation that is evaluated every time when it's requested.
private static class	Eval.BindTrampolineEval<A,B>
private static class	Eval.DeferEval<A>
private static class	Eval.Later<A>	Represents a lazy computation that is evaluated only once.
private static class	Eval.Now<A>	Represents an eager computation.
private static class	Eval.PureTrampolineEval<A>
private static class	Eval.TrampolineEval<A>	A helper abstraction that allows to perform recursive lazy transformations in O(1) stack space.

Fields in fj.data declared as Eval

Modifier and Type	Field	Description
private Eval<A>	Eval.PureTrampolineEval.start

Fields in fj.data with type parameters of type Eval

Modifier and Type	Field	Description
private F<A,Eval<B>>	Eval.BindTrampolineEval.f
private P1<Eval<A>>	Eval.DeferEval.memo

Methods in fj.data that return Eval

Modifier and Type	Method	Description
static <A> Eval<A>	Eval.always(F0<A> a)	Constructs a lazy evaluation without caching.
<B> Eval<B>	Eval.bind(F<A,Eval<B>> f)	Transforms Eval into a Eval using the given function that directly produces Eval.
static <A> Eval<A>	Eval.defer(F0<Eval<A>> a)	Constructs a lazy evaluation of an expression that produces Eval.
<B> Eval<B>	Eval.flatMap(F<A,Eval<B>> f)	Alias for bind(F).
static <A> Eval<A>	Eval.later(F0<A> a)	Constructs a lazy evaluation with caching.
<B> Eval<B>	Eval.map(F<A,B> f)	Transforms Eval into a Eval using the given function.
static <A> Eval<A>	Eval.now(A a)	Constructs an eager evaluation by wrapping the given value.

Method parameters in fj.data with type arguments of type Eval

Modifier and Type	Method	Description
<B> Eval<B>	Eval.bind(F<A,Eval<B>> f)	Transforms Eval into a Eval using the given function that directly produces Eval.
static <A> Eval<A>	Eval.defer(F0<Eval<A>> a)	Constructs a lazy evaluation of an expression that produces Eval.
<B> Eval<B>	Eval.flatMap(F<A,Eval<B>> f)	Alias for bind(F).

Constructors in fj.data with parameters of type Eval

Constructor	Description
PureTrampolineEval(Eval<A> start)

Constructor parameters in fj.data with type arguments of type Eval

Constructor	Description
BindTrampolineEval(F<A,Eval<B>> f, Eval.TrampolineEval<A> next)
DeferEval(F0<Eval<A>> producer)