Uses of Class
fj.control.Trampoline
Packages that use Trampoline
Package
Description
Functional control abstractions.
Common algebraic data types.
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.controlModifier and TypeClassDescriptionprivate static final class
private static class
private static final class
private static final class
Fields in fj.control with type parameters of type TrampolineModifier and TypeFieldDescriptionprivate final F
<Object, Trampoline<A>> Trampoline.Codense.cont
private final P1
<Trampoline<A>> Trampoline.Suspend.suspension
Methods in fj.control that return TrampolineModifier and TypeMethodDescriptionfinal <B> Trampoline
<B> Trampoline.apply
(Trampoline<F<A, B>> lf) Performs function application within a Trampoline (applicative functor pattern).final <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) final <B> Trampoline
<B> Trampoline.Normal.bind
(F<A, Trampoline<B>> f) final <B> Trampoline
<B> 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.final <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 TrampolineModifier and TypeMethodDescriptionstatic <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>>> Promotes the given function of arity-2 to a function on Trampolines.static <A,
B, C> F <Trampoline<A>, F<Trampoline<B>, Trampoline<C>>> Promotes the given function of arity-2 to a function on Trampolines.static <A,
B, C> F <Trampoline<A>, F<Trampoline<B>, Trampoline<C>>> 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 TrampolineModifier and TypeMethodDescriptionfinal <B> Trampoline
<B> Trampoline.apply
(Trampoline<F<A, B>> lf) Performs function application within a Trampoline (applicative functor pattern).final <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.final <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 TrampolineModifier and TypeMethodDescriptionabstract <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) final <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 TrampolineModifierConstructorDescriptionprivate
Codense
(Trampoline.Normal<Object> t, F<Object, Trampoline<A>> k) private
Suspend
(P1<Trampoline<A>> s) -
Uses of Trampoline in fj.data
Fields in fj.data with type parameters of type TrampolineMethods in fj.data that return TrampolineModifier and TypeMethodDescriptionfinal <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.final <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 final <B> Trampoline
<List<B>> List.sequenceTrampoline
(List<Trampoline<B>> list) Sequence the given list and collect the output as a trampoline.static final <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 final <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 final Trampoline
<B> Eval.BindTrampolineEval.trampoline()
protected final Trampoline
<A> Eval.DeferEval.trampoline()
protected final Trampoline
<A> Eval.PureTrampolineEval.trampoline()
protected abstract Trampoline
<A> Eval.TrampolineEval.trampoline()
final <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.final <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.final <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 TrampolineModifier and TypeMethodDescriptionprivate 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 TrampolineModifier and TypeMethodDescriptionstatic <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) final <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 final <B> Trampoline
<List<B>> List.sequenceTrampoline
(List<Trampoline<B>> list) Sequence the given list and collect the output as a trampoline.static final <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 final <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) final <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.final <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.final <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 -
Uses of Trampoline in fj.data.optic
Methods in fj.data.optic that return types with arguments of type TrampolineModifier and TypeMethodDescriptionF
<S, Trampoline<S>> Lens.modifyTrampolineF
(F<A, Trampoline<A>> f) F
<S, Trampoline<S>> Optional.modifyTrampolineF
(F<A, Trampoline<A>> f) final 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 functionfinal F
<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 TrampolineModifier and TypeMethodDescriptionF
<S, Trampoline<S>> Lens.modifyTrampolineF
(F<A, Trampoline<A>> f) F
<S, Trampoline<S>> Optional.modifyTrampolineF
(F<A, Trampoline<A>> f) final 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 functionfinal F
<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)