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

Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement interfaces with type arguments of type IterateT

Modifier and Type	Class	Description
class	IterateT<M extends MonadRec<?,M>, A>	A monad transformer over a co-inductive, singly-linked spine of values embedded in effects.
class	IterateT<M extends MonadRec<?,M>, A>	A monad transformer over a co-inductive, singly-linked spine of values embedded in effects.

Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type IterateT

Modifier and Type	Field	Description
private 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 IterateT

Modifier and Type	Method	Description
<MMTA extends MonadRec<Maybe<Tuple2<A, IterateT<M,A>>>, M>> MMTA	IterateT.runIterateT()	Recover the full structure of the embedded Monad.
<MStep extends MonadRec<Maybe<Tuple2<Maybe<A>, IterateT<M,A>>>, M>> MStep	IterateT.runStep()	Run a single step of this IterateT, where a step is the smallest amount of work that could possibly be productive in advancing through the IterateT.

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)	Concat this IterateT in front of the other IterateT.
final IterateT<M,A>	IterateT.cons(MonadRec<A,M> head)	Add an element inside an effect to the front of this IterateT.
<B> IterateT<M,B>	IterateT.discardL(Applicative<B, IterateT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> IterateT<M,A>	IterateT.discardR(Applicative<B, IterateT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
static <M extends MonadRec<?,M>, A> IterateT<M,A>	IterateT.empty(Pure<M> pureM)	Static factory method for creating an empty IterateT.
<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(Iterator<A> as)	Lazily unfold an IterateT from an Iterator inside IO.
static <M extends MonadRec<?,M>, A> IterateT<M,A>	IterateT.iterateT(MonadRec<Maybe<Tuple2<A, IterateT<M,A>>>, M> unwrapped)	Static factory method for wrapping an uncons of an IterateT in an IterateT.
<B, N extends MonadRec<?,N>> IterateT<N,B>	IterateT.lift(MonadRec<B,N> nb)	Lift a new argument MonadRec into this MonadBase.
static <M extends MonadRec<?,M>, A> IterateT<M,A>	IterateT.of(MonadRec<A,M> ma, MonadRec<A,M>... mas)	Static factory method for creating an IterateT from a spine represented by one or more elements.
<B> IterateT<M,B>	IterateT.pure(B b)	Lift the value b into this applicative functor.
static <M extends MonadRec<?,M>, A> IterateT<M,A>	IterateT.singleton(MonadRec<A,M> ma)	Static factory method for creating an IterateT from a single element.
final IterateT<M,A>	IterateT.snoc(MonadRec<A,M> last)	Add an element inside an effect to the back of this IterateT.
static <M extends MonadRec<?,M>, A> IterateT<M,A>	IterateT.suspended(Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M,A>>>, M>> thunk, Pure<M> pureM)	Create an IterateT from a suspended computation that yields the spine of the IterateT inside the effect.
<B> IterateT<M,B>	IterateT.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A,B>, IterateT<M,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination 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)	Lazily unfold an IterateT from an unfolding function fn and a starting seed value mb by successively applying fn to the latest seed value, producing maybe a value to yield out and the next seed value for the subsequent computation.
<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 a lazy 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()	Lift for IterateT.
static <M extends MonadRec<?,M>> Pure<IterateT<M,?>>	IterateT.pureIterateT(Pure<M> pureM)	The canonical Pure instance for IterateT.

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)	Concat this IterateT in front of the other IterateT.

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 this Applicative and appB, discarding this Applicative's result and returning appB.
<B> IterateT<M,A>	IterateT.discardR(Applicative<B, IterateT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<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)	Static factory method for wrapping an uncons of an IterateT in an IterateT.
<B> Lazy<IterateT<M,B>>	IterateT.lazyZip(Lazy<? extends Applicative<Fn1<? super A, ? extends B>, IterateT<M,?>>> lazyAppFn)	Given a lazy 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)	Create an IterateT from a suspended computation that yields the spine of the IterateT inside the effect.
<B> IterateT<M,B>	IterateT.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A,B>, IterateT<M,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination 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

Modifier	Constructor	Description
private	IterateT(Pure<M> pureM, ImmutableQueue<Choice2<Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M,A>>>, M>>, MonadRec<A,M>>> spine)