Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.IterateT
-
Packages that use IterateT Package Description com.jnape.palatable.lambda.monad.transformer.builtin -
-
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 IterateT Modifier and Type Field Description private 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 IterateT Modifier and Type Method Description <MMTA extends MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>>
MMTAIterateT. runIterateT()
Recover the full structure of the embeddedMonad
.<MStep extends MonadRec<Maybe<Tuple2<Maybe<A>,IterateT<M,A>>>,M>>
MStepIterateT. runStep()
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return IterateT Modifier and Type Method Description IterateT<M,A>
IterateT. concat(IterateT<M,A> other)
IterateT<M,A>
IterateT. cons(MonadRec<A,M> head)
Add an element inside an effect to the front of thisIterateT
.<B> IterateT<M,B>
IterateT. discardL(Applicative<B,IterateT<M,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> IterateT<M,A>
IterateT. discardR(Applicative<B,IterateT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. empty(Pure<M> pureM)
Static factory method for creating an emptyIterateT
.<B> IterateT<M,B>
IterateT. flatMap(Fn1<? super A,? extends Monad<B,IterateT<M,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> IterateT<M,B>
IterateT. fmap(Fn1<? super A,? extends B> fn)
Covariantly transmute this functor's parameter using the given mapping function.static <A> IterateT<IO<?>,A>
IterateT. fromIterator(java.util.Iterator<A> as)
static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. iterateT(MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M> unwrapped)
<B,N extends MonadRec<?,N>>
IterateT<N,B>IterateT. lift(MonadRec<B,N> nb)
static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. of(MonadRec<A,M> ma, MonadRec<A,M>... mas)
Static factory method for creating anIterateT
from a spine represented by one or more elements.<B> IterateT<M,B>
IterateT. pure(B b)
Lift the valueb
into this applicative functor.static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. singleton(MonadRec<A,M> ma)
Static factory method for creating anIterateT
from a single element.IterateT<M,A>
IterateT. snoc(MonadRec<A,M> last)
Add an element inside an effect to the back of thisIterateT
.static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. suspended(Fn0<MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>> thunk, Pure<M> pureM)
<B> IterateT<M,B>
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.static <M extends MonadRec<?,M>,A,B>
IterateT<M,A>IterateT. unfold(Fn1<? super B,? extends MonadRec<Maybe<Tuple2<A,B>>,M>> fn, MonadRec<B,M> mb)
<B> IterateT<M,B>
IterateT. zip(Applicative<Fn1<? super A,? extends B>,IterateT<M,?>> appFn)
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 IterateT Modifier and Type Method Description <B> Lazy<IterateT<M,B>>
IterateT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IterateT<M,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static Lift<IterateT<?,?>>
IterateT. liftIterateT()
static <M extends MonadRec<?,M>>
Pure<IterateT<M,?>>IterateT. pureIterateT(Pure<M> pureM)
Methods in com.jnape.palatable.lambda.monad.transformer.builtin with parameters of type IterateT Modifier and Type Method Description IterateT<M,A>
IterateT. concat(IterateT<M,A> other)
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type IterateT Modifier and Type Method Description <B> IterateT<M,B>
IterateT. discardL(Applicative<B,IterateT<M,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> IterateT<M,A>
IterateT. discardR(Applicative<B,IterateT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> IterateT<M,B>
IterateT. flatMap(Fn1<? super A,? extends Monad<B,IterateT<M,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. iterateT(MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M> unwrapped)
<B> Lazy<IterateT<M,B>>
IterateT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IterateT<M,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. suspended(Fn0<MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>> thunk, Pure<M> pureM)
<B> IterateT<M,B>
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.<B> IterateT<M,B>
IterateT. zip(Applicative<Fn1<? super A,? extends B>,IterateT<M,?>> appFn)
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 Constructor Description IterateT(Pure<M> pureM, ImmutableQueue<Choice2<Fn0<MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>>,MonadRec<A,M>>> spine)
-