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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> WriterT<W,M,A>
WriterT. discardR(Applicative<B,WriterT<W,M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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)
static <W,M extends MonadRec<?,M>,A>
WriterT<W,M,A>WriterT. listen(MonadRec<A,M> ma)
<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 valueb
into this applicative functor.static <W,M extends MonadRec<?,M>>
WriterT<W,M,Unit>WriterT. tell(MonadRec<W,M> mw)
<B> WriterT<W,M,B>
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.static <W,M extends MonadRec<?,M>,A>
WriterT<W,M,A>WriterT. writerT(MonadRec<Tuple2<A,W>,M> maw)
<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 alazy
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()
static <W,M extends MonadRec<?,M>>
Pure<WriterT<W,M,?>>WriterT. pureWriterT(Pure<M> pureM)
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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> WriterT<W,M,A>
WriterT. discardR(Applicative<B,WriterT<W,M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 alazy
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 aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
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.
-