Uses of Class
fj.control.Trampoline
-
Packages that use Trampoline Package Description fj.control Functional control abstractions.fj.data Common algebraic data types.fj.data.optic Optic data types adapted from the Scala Monocle library and inspired by the Haskell Lens library. -
-
Uses of Trampoline in fj.control
Subclasses of Trampoline in fj.control Modifier and Type Class Description private static class
Trampoline.Codense<A>
private static class
Trampoline.Normal<A>
private static class
Trampoline.Pure<A>
private static class
Trampoline.Suspend<A>
Fields in fj.control with type parameters of type Trampoline Modifier and Type Field Description private F<java.lang.Object,Trampoline<A>>
Trampoline.Codense. cont
private P1<Trampoline<A>>
Trampoline.Suspend. suspension
Methods in fj.control that return Trampoline Modifier and Type Method Description <B> Trampoline<B>
Trampoline. apply(Trampoline<F<A,B>> lf)
Performs function application within a Trampoline (applicative functor pattern).<B,C>
Trampoline<C>Trampoline. bind(Trampoline<B> lb, F<A,F<B,C>> f)
Binds the given function across the result of this Trampoline and the given Trampoline.abstract <B> Trampoline<B>
Trampoline. bind(F<A,Trampoline<B>> f)
Binds the given continuation to the result of this trampoline.<B> Trampoline<B>
Trampoline.Codense. bind(F<A,Trampoline<B>> f)
<B> Trampoline<B>
Trampoline.Normal. bind(F<A,Trampoline<B>> f)
<B> Trampoline<B>
Trampoline. map(F<A,B> f)
Maps the given function across the result of this trampoline.static <A> Trampoline<A>
Trampoline. pure(A a)
Constructs a pure computation that results in the given value.static <A> Trampoline<A>
Trampoline. suspend(F0<Trampoline<A>> a)
Suspends the given computation in a thunk.static <A> Trampoline<A>
Trampoline. suspend(P1<Trampoline<A>> a)
Suspends the given computation in a thunk.<B,C>
Trampoline<C>Trampoline. zipWith(Trampoline<B> b, F2<A,B,C> f)
Combines two trampolines so they run cooperatively.Methods in fj.control that return types with arguments of type Trampoline Modifier and Type Method Description static <A,B>
F<F<A,Trampoline<B>>,F<Trampoline<A>,Trampoline<B>>>Trampoline. bind_()
static <A,B>
F<F<A,Trampoline<B>>,F<Trampoline<A>,Trampoline<B>>>Trampoline. bind_()
static <A,B>
F<F<A,Trampoline<B>>,F<Trampoline<A>,Trampoline<B>>>Trampoline. bind_()
static <A,B,C>
F<Trampoline<A>,F<Trampoline<B>,Trampoline<C>>>Trampoline. liftM2(F<A,F<B,C>> f)
Promotes the given function of arity-2 to a function on Trampolines.static <A,B,C>
F<Trampoline<A>,F<Trampoline<B>,Trampoline<C>>>Trampoline. liftM2(F<A,F<B,C>> f)
Promotes the given function of arity-2 to a function on Trampolines.static <A,B,C>
F<Trampoline<A>,F<Trampoline<B>,Trampoline<C>>>Trampoline. liftM2(F<A,F<B,C>> f)
Promotes the given function of arity-2 to a function on Trampolines.static <A,B>
F<F<A,B>,F<Trampoline<A>,Trampoline<B>>>Trampoline. map_()
static <A,B>
F<F<A,B>,F<Trampoline<A>,Trampoline<B>>>Trampoline. map_()
static <A> F<A,Trampoline<A>>
Trampoline. pure()
Either<P1<Trampoline<A>>,A>
Trampoline.Codense. resume()
Either<P1<Trampoline<A>>,A>
Trampoline.Pure. resume()
abstract Either<P1<Trampoline<A>>,A>
Trampoline. resume()
Runs a single step of this computation.Either<P1<Trampoline<A>>,A>
Trampoline.Suspend. resume()
static <A> F<Trampoline<A>,Either<P1<Trampoline<A>>,A>>
Trampoline. resume_()
static <A> F<Trampoline<A>,Either<P1<Trampoline<A>>,A>>
Trampoline. resume_()
static <A> F<P1<Trampoline<A>>,Trampoline<A>>
Trampoline. suspend_()
static <A> F<P1<Trampoline<A>>,Trampoline<A>>
Trampoline. suspend_()
Methods in fj.control with parameters of type Trampoline Modifier and Type Method Description <B> Trampoline<B>
Trampoline. apply(Trampoline<F<A,B>> lf)
Performs function application within a Trampoline (applicative functor pattern).<B,C>
Trampoline<C>Trampoline. bind(Trampoline<B> lb, F<A,F<B,C>> f)
Binds the given function across the result of this Trampoline and the given Trampoline.<B,C>
Trampoline<C>Trampoline. zipWith(Trampoline<B> b, F2<A,B,C> f)
Combines two trampolines so they run cooperatively.Method parameters in fj.control with type arguments of type Trampoline Modifier and Type Method Description abstract <B> Trampoline<B>
Trampoline. bind(F<A,Trampoline<B>> f)
Binds the given continuation to the result of this trampoline.<B> Trampoline<B>
Trampoline.Codense. bind(F<A,Trampoline<B>> f)
<B> Trampoline<B>
Trampoline.Normal. bind(F<A,Trampoline<B>> f)
private static <A,B>
Trampoline.Codense<B>Trampoline. codense(Trampoline.Normal<A> a, F<A,Trampoline<B>> k)
static <A> Trampoline<A>
Trampoline. suspend(F0<Trampoline<A>> a)
Suspends the given computation in a thunk.static <A> Trampoline<A>
Trampoline. suspend(P1<Trampoline<A>> a)
Suspends the given computation in a thunk.Constructor parameters in fj.control with type arguments of type Trampoline Constructor Description Codense(Trampoline.Normal<java.lang.Object> t, F<java.lang.Object,Trampoline<A>> k)
Suspend(P1<Trampoline<A>> s)
-
Uses of Trampoline in fj.data
Fields in fj.data with type parameters of type Trampoline Modifier and Type Field Description private F<List<A>,Trampoline<List<A>>>
DList. appendFn
private F<S,Trampoline<P2<S,A>>>
State. runF
Methods in fj.data that return Trampoline Modifier and Type Method Description <B> Trampoline<B>
List. foldRightC(F2<A,B,B> f, B b)
Performs a right-fold reduction across this list in O(1) stack space.<B> Trampoline<List<B>>
List. mapMTrampoline(F<A,Trampoline<B>> f)
Maps the given function across this list by binding through the Trampoline monad.static <B> Trampoline<List<B>>
List. sequenceTrampoline(List<Trampoline<B>> list)
Sequence the given list and collect the output as a trampoline.static <B> Trampoline<Option<B>>
Option. sequenceTrampoline(Option<Trampoline<B>> option)
Sequence the given option and collect the output as a trampoline.static <B> Trampoline<Seq<B>>
Seq. sequenceTrampoline(Seq<Trampoline<B>> seq)
Sequence the given seq and collect the output as a trampoline.static <B> Trampoline<Stream<B>>
Stream. sequenceTrampoline(Stream<Trampoline<B>> stream)
Sequence the given stream and collect the output as a trampoline.static <E,C>
Trampoline<Validation<E,C>>Validation. sequenceTrampoline(Validation<E,Trampoline<C>> validation)
Sequence the given validation and collect the output as a trampoline.protected Trampoline<B>
Eval.BindTrampolineEval. trampoline()
protected Trampoline<A>
Eval.DeferEval. trampoline()
protected Trampoline<A>
Eval.PureTrampolineEval. trampoline()
protected abstract Trampoline<A>
Eval.TrampolineEval. trampoline()
<B> Trampoline<List<B>>
List. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this list with the given function and collect the output as a trampoline.<B> Trampoline<Option<B>>
Option. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this option with the given function and collect the output as a trampoline.<B> Trampoline<Seq<B>>
Seq. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this seq with the given function and collect the output as a trampoline.<B> Trampoline<Stream<B>>
Stream. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this stream with the given function and collect the output as a trampoline.<C> Trampoline<Validation<E,C>>
Validation. traverseTrampoline(F<T,Trampoline<C>> f)
Traverse this validation with the given function and collect the output as a trampoline.Methods in fj.data that return types with arguments of type Trampoline Modifier and Type Method Description private static <A,B,C>
F<A,Trampoline<C>>DList. kleisliTrampCompose(F<B,Trampoline<C>> bc, F<A,Trampoline<B>> ab)
Method parameters in fj.data with type arguments of type Trampoline Modifier and Type Method Description static <A> DList<A>
DList. dlist(F<List<A>,Trampoline<List<A>>> f)
Creates a DList from the function For alternatives functions to create a DList:private static <A,B,C>
F<A,Trampoline<C>>DList. kleisliTrampCompose(F<B,Trampoline<C>> bc, F<A,Trampoline<B>> ab)
<B> Trampoline<List<B>>
List. mapMTrampoline(F<A,Trampoline<B>> f)
Maps the given function across this list by binding through the Trampoline monad.static <B> Trampoline<List<B>>
List. sequenceTrampoline(List<Trampoline<B>> list)
Sequence the given list and collect the output as a trampoline.static <B> Trampoline<Option<B>>
Option. sequenceTrampoline(Option<Trampoline<B>> option)
Sequence the given option and collect the output as a trampoline.static <B> Trampoline<Seq<B>>
Seq. sequenceTrampoline(Seq<Trampoline<B>> seq)
Sequence the given seq and collect the output as a trampoline.static <B> Trampoline<Stream<B>>
Stream. sequenceTrampoline(Stream<Trampoline<B>> stream)
Sequence the given stream and collect the output as a trampoline.static <E,C>
Trampoline<Validation<E,C>>Validation. sequenceTrampoline(Validation<E,Trampoline<C>> validation)
Sequence the given validation and collect the output as a trampoline.private static <S,A>
State<S,A>State. suspended(F<S,Trampoline<P2<S,A>>> runF)
<B> Trampoline<List<B>>
List. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this list with the given function and collect the output as a trampoline.<B> Trampoline<Option<B>>
Option. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this option with the given function and collect the output as a trampoline.<B> Trampoline<Seq<B>>
Seq. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this seq with the given function and collect the output as a trampoline.<B> Trampoline<Stream<B>>
Stream. traverseTrampoline(F<A,Trampoline<B>> f)
Traverse this stream with the given function and collect the output as a trampoline.<C> Trampoline<Validation<E,C>>
Validation. traverseTrampoline(F<T,Trampoline<C>> f)
Traverse this validation with the given function and collect the output as a trampoline.Constructor parameters in fj.data with type arguments of type Trampoline Constructor Description DList(F<List<A>,Trampoline<List<A>>> appendFn)
State(F<S,Trampoline<P2<S,A>>> runF)
-
Uses of Trampoline in fj.data.optic
Methods in fj.data.optic that return types with arguments of type Trampoline Modifier and Type Method Description F<S,Trampoline<S>>
Lens. modifyTrampolineF(F<A,Trampoline<A>> f)
F<S,Trampoline<S>>
Optional. modifyTrampolineF(F<A,Trampoline<A>> f)
F<S,Trampoline<T>>
PIso. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPIso
with an Applicative functionabstract F<S,Trampoline<T>>
PLens. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPLens
with an Applicative functionabstract F<S,Trampoline<T>>
POptional. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPOptional
with an Applicative functionF<S,Trampoline<T>>
PPrism. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPPrism
with an Applicative functionabstract F<S,Trampoline<T>>
PTraversal. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,Trampoline<S>>
Traversal. modifyTrampolineF(F<A,Trampoline<A>> f)
Method parameters in fj.data.optic with type arguments of type Trampoline Modifier and Type Method Description F<S,Trampoline<S>>
Lens. modifyTrampolineF(F<A,Trampoline<A>> f)
F<S,Trampoline<S>>
Optional. modifyTrampolineF(F<A,Trampoline<A>> f)
F<S,Trampoline<T>>
PIso. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPIso
with an Applicative functionabstract F<S,Trampoline<T>>
PLens. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPLens
with an Applicative functionabstract F<S,Trampoline<T>>
POptional. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPOptional
with an Applicative functionF<S,Trampoline<T>>
PPrism. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPPrism
with an Applicative functionabstract F<S,Trampoline<T>>
PTraversal. modifyTrampolineF(F<A,Trampoline<B>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,Trampoline<S>>
Traversal. modifyTrampolineF(F<A,Trampoline<A>> f)
-