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 classTrampoline.Codense<A>private static classTrampoline.Normal<A>private static classTrampoline.Pure<A>private static classTrampoline.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. contprivate P1<Trampoline<A>>Trampoline.Suspend. suspensionMethods 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. appendFnprivate F<S,Trampoline<P2<S,A>>>State. runFMethods 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 aPIsowith an Applicative functionabstract F<S,Trampoline<T>>PLens. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPLenswith an Applicative functionabstract F<S,Trampoline<T>>POptional. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPOptionalwith an Applicative functionF<S,Trampoline<T>>PPrism. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPPrismwith an Applicative functionabstract F<S,Trampoline<T>>PTraversal. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPTraversalwith 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 aPIsowith an Applicative functionabstract F<S,Trampoline<T>>PLens. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPLenswith an Applicative functionabstract F<S,Trampoline<T>>POptional. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPOptionalwith an Applicative functionF<S,Trampoline<T>>PPrism. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPPrismwith an Applicative functionabstract F<S,Trampoline<T>>PTraversal. modifyTrampolineF(F<A,Trampoline<B>> f)modify polymorphically the target of aPTraversalwith an Applicative functionF<S,Trampoline<S>>Traversal. modifyTrampolineF(F<A,Trampoline<A>> f)
-