Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.IterateT
Packages that use IterateT
-
Uses of IterateT in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type IterateTModifier and TypeFieldDescriptionprivate final ImmutableQueue
<Choice2<Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M, A>>>, M>>, MonadRec<A, M>>> IterateT.spine
Methods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type IterateTModifier and TypeMethodDescriptionIterateT.runIterateT()
Recover the full structure of the embeddedMonad
.IterateT.runStep()
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return IterateTModifier and TypeMethodDescriptionAdd an element inside an effect to the front of thisIterateT
.IterateT.discardL
(Applicative<B, IterateT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IterateT.discardR
(Applicative<B, IterateT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Static factory method for creating an emptyIterateT
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.IterateT.fromIterator
(Iterator<A> as) Static factory method for creating anIterateT
from a spine represented by one or more elements.IterateT.pure
(B b) Lift the valueb
into this applicative functor.Static factory method for creating anIterateT
from a single element.Add an element inside an effect to the back of thisIterateT
.IterateT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, IterateT<M, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return types with arguments of type IterateTModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.IterateT.liftIterateT()
IterateT.pureIterateT
(Pure<M> pureM) Methods in com.jnape.palatable.lambda.monad.transformer.builtin with parameters of type IterateTModifier and TypeMethodDescriptionMethod parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type IterateTModifier and TypeMethodDescriptionIterateT.discardL
(Applicative<B, IterateT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IterateT.discardR
(Applicative<B, IterateT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.IterateT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, IterateT<M, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Constructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type IterateT