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 final class	Eval.Always<A>	Represents a lazy computation that is evaluated every time when it's requested.
private static final class	Eval.BindTrampolineEval<A,B>
private static final class	Eval.DeferEval<A>
private static final class	Eval.Later<A>	Represents a lazy computation that is evaluated only once.
private static final class	Eval.Now<A>	Represents an eager computation.
private static final 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 final Eval<A>	Eval.PureTrampolineEval.start

Fields in fj.data with type parameters of type Eval

Modifier and Type	Field	Description
private final F<A,Eval<B>>	Eval.BindTrampolineEval.f
private final 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.
final <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.
final <B> Eval<B>	Eval.flatMap(F<A,Eval<B>> f)	Alias for Eval.bind(F).
static <A> Eval<A>	Eval.later(F0<A> a)	Constructs a lazy evaluation with caching.
final <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
final <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.
final <B> Eval<B>	Eval.flatMap(F<A,Eval<B>> f)	Alias for Eval.bind(F).

Constructors in fj.data with parameters of type Eval

Modifier	Constructor	Description
(package private)	PureTrampolineEval(Eval<A> start)

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

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