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)
static <A> Eval<A>
Eval. defer(F0<Eval<A>> a)
<B> Eval<B>
Eval. flatMap(F<A,Eval<B>> f)
Alias forbind(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)
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)
static <A> Eval<A>
Eval. defer(F0<Eval<A>> a)
<B> Eval<B>
Eval. flatMap(F<A,Eval<B>> f)
Alias forbind(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)
-