## 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 and 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 and 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 and 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.