All Superinterfaces:: Applicative<WriterT<F,L,?>>, Functor<WriterT<F,L,?>>, Invariant<WriterT<F,L,?>>, Monad<WriterT<F,L,?>>, MonadWriter<WriterT<F,L,?>,L>, Selective<WriterT<F,L,?>>, WriterTMonad<F,L>

interface WriterTMonadWriter<F extends Kind<F,?>,L> extends MonadWriter<WriterT<F,L,?>,L>, WriterTMonad<F,L>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Applicative
Applicative.Map2<F extends Kind<F,?>,A,B>, Applicative.Map3<F extends Kind<F,?>,A,B,C>, Applicative.Map4<F extends Kind<F,?>,A,B,C,D>, Applicative.Map5<F extends Kind<F,?>,A,B,C,D,E>
Method Summary

Modifier and Type

Method

Description

static <F extends Kind<F, ?>, L> MonadWriter<WriterT<F,L,?>,L>

instance(Monoid<L> monoid, Monad<F> monadF)

default <A> WriterT<F,L,Tuple2<L,A>>

listen(Kind<WriterT<F,L,?>,? extends A> value)

default <A> WriterT<F,L,A>

pass(Kind<WriterT<F,L,?>,Tuple2<Operator1<L>,A>> value)

default <A> WriterT<F,L,A>

writer(Tuple2<L,A> value)

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Applicative
first, last, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, tuple, tuple, tuple, tuple

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Functor
imap, lift

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Monad
andThen, ap, flatten, map, select, tailRecM, use

Methods inherited from interface com.github.tonivade.purefun.typeclasses.MonadWriter
censor, listens, tell

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Selective
allS, allS, andS, anyS, anyS, branch, ifS, orS, whenS

Methods inherited from interface com.github.tonivade.purefun.instances.WriterTMonad
flatMap, monadF, monoid, pure

Interface WriterTMonadWriter<F extends Kind<F,?>,L>

Nested Class Summary