Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.WriterT

Packages that use WriterT

Package	Description
com.jnape.palatable.lambda.monad.transformer.builtin

Uses of WriterT in com.jnape.palatable.lambda.monad.transformer.builtin

Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return WriterT

Modifier and Type	Method	Description
WriterT<W,M,A>	WriterT.censor(Fn1<? super W,? extends W> fn)	Update the accumulated state.
<B> WriterT<W,M,B>	WriterT.discardL(Applicative<B,WriterT<W,M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> WriterT<W,M,A>	WriterT.discardR(Applicative<B,WriterT<W,M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> WriterT<W,M,B>	WriterT.flatMap(Fn1<? super A,? extends Monad<B,WriterT<W,M,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<B> WriterT<W,M,B>	WriterT.fmap(Fn1<? super A,? extends B> fn)	Covariantly transmute this functor's parameter using the given mapping function.
<B, N extends MonadRec<?, N>> WriterT<W,N,B>	WriterT.lift(MonadRec<B,N> mb)	Lift a new argument MonadRec into this MonadBase.
static <W, M extends MonadRec<?, M>, A> WriterT<W,M,A>	WriterT.listen(MonadRec<A,M> ma)	Lift a value embedded in a Monad into a WriterT.
<B> WriterT<W,M,Tuple2<A,B>>	WriterT.listens(Fn1<? super W,? extends B> fn)	Map the accumulation into a value and pair it with the current output.
<B> WriterT<W,M,B>	WriterT.pure(B b)	Lift the value b into this applicative functor.
static <W, M extends MonadRec<?, M>> WriterT<W,M,Unit>	WriterT.tell(MonadRec<W,M> mw)	Lift an accumulation embedded in a Monad into a WriterT.
<B> WriterT<W,M,B>	WriterT.trampolineM(Fn1<? super A,? extends MonadRec<RecursiveResult<A,B>,WriterT<W,M,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
static <W, M extends MonadRec<?, M>, A> WriterT<W,M,A>	WriterT.writerT(MonadRec<Tuple2<A,W>,M> maw)	Lift a value and an accumulation embedded in a Monad into a WriterT.
<B> WriterT<W,M,B>	WriterT.zip(Applicative<Fn1<? super A,? extends B>,WriterT<W,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 WriterT

Modifier and Type	Method	Description
<B> Lazy<WriterT<W,M,B>>	WriterT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,WriterT<W,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 <W> Lift<WriterT<W,?,?>>	WriterT.liftWriterT()	Lift for WriterT.
static <W, M extends MonadRec<?, M>> Pure<WriterT<W,M,?>>	WriterT.pureWriterT(Pure<M> pureM)	The canonical Pure instance for WriterT.

Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type WriterT

Modifier and Type	Method	Description
<B> WriterT<W,M,B>	WriterT.discardL(Applicative<B,WriterT<W,M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> WriterT<W,M,A>	WriterT.discardR(Applicative<B,WriterT<W,M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> WriterT<W,M,B>	WriterT.flatMap(Fn1<? super A,? extends Monad<B,WriterT<W,M,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<B> Lazy<WriterT<W,M,B>>	WriterT.lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,WriterT<W,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.
<B> WriterT<W,M,B>	WriterT.trampolineM(Fn1<? super A,? extends MonadRec<RecursiveResult<A,B>,WriterT<W,M,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
<B> WriterT<W,M,B>	WriterT.zip(Applicative<Fn1<? super A,? extends B>,WriterT<W,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.