Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.WriterT
Packages that use WriterT
-
Uses of WriterT in com.jnape.palatable.lambda.monad.transformer.builtin
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return WriterTModifier and TypeMethodDescriptionUpdate the accumulated state.WriterT.discardL
(Applicative<B, WriterT<W, M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.WriterT.discardR
(Applicative<B, WriterT<W, 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.Covariantly transmute this functor's parameter using the given mapping function.Map the accumulation into a value and pair it with the current output.WriterT.pure
(B b) Lift the valueb
into this applicative functor.WriterT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, WriterT<W, 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 WriterTModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.WriterT.liftWriterT()
WriterT.pureWriterT
(Pure<M> pureM) Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type WriterTModifier and TypeMethodDescriptionWriterT.discardL
(Applicative<B, WriterT<W, M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.WriterT.discardR
(Applicative<B, WriterT<W, 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.WriterT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, WriterT<W, 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.