Package com.github.tonivade.purefun.transformer

Interface WriterT<F extends Kind<F,?>,L,A>

All Superinterfaces:

Bindable<WriterT<F,L,?>,A>, Kind<WriterT<F,L,?>,A>, Mappable<WriterT<F,L,?>,A>, WriterTOf<F,L,A>

public non-sealed interface WriterT<F extends Kind<F,?>,L,A>
extends WriterTOf<F,L,A>, Bindable<WriterT<F,L,?>,A>

Method Summary

Modifier and Type	Method	Description
default <R> WriterT<F,L,R>	andThen(Kind<WriterT<F,L,?>,? extends R> next)
default WriterT<F,L,A>	append(L log2)
default <V, R> WriterT<F,V,R>	bimap(Monoid<V> monoidV, Function1<? super L,? extends V> mapper1, Function1<? super A,? extends R> mapper2)
default <R> WriterT<F,L,R>	flatMap(Function1<? super A,? extends Kind<WriterT<F,L,?>,? extends R>> mapper)
default Kind<F,L>	getLog()
default Kind<F,A>	getValue()
static <F extends Kind<F, ?>, L, A> WriterT<F,L,A>	lift(Monoid<L> monoid, Monad<F> monad, Tuple2<L,A> value)
default WriterT<F,L,Tuple2<L,A>>	listen()
default <R> WriterT<F,L,R>	map(Function1<? super A,? extends R> mapper)
default <G extends Kind<G, ?>> WriterT<G,L,A>	mapK(Monad<G> monadG, FunctionK<F,G> functionK)
default <V> WriterT<F,V,A>	mapLog(Monoid<V> monoidV, Function1<? super L,? extends V> mapper)
Monad<F>	monad()
Monoid<L>	monoid()
static <F extends Kind<F, ?>, L, A> WriterT<F,L,A>	pure(Monoid<L> monoid, Monad<F> monad, A value)
default WriterT<F,L,A>	reset()
Kind<F,Tuple2<L,A>>	value()
static <F extends Kind<F, ?>, L, A> WriterT<F,L,A>	writer(Monoid<L> monoid, Monad<F> monad, Kind<F,Tuple2<L,A>> value)

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Method Details

monoid

Monoid<L> monoid()

monad

Monad<F> monad()

value

Kind<F,Tuple2<L,A>> value()

getValue

default Kind<F,A> getValue()

getLog

default Kind<F,L> getLog()

map

default <R> WriterT<F,L,R> map(Function1<? super A,? extends R> mapper)

Specified by:

map in interface Bindable<F extends Kind<F,?>,L>

Specified by:

map in interface Mappable<F extends Kind<F,?>,L>

mapLog

default <V> WriterT<F,V,A> mapLog(Monoid<V> monoidV,
 Function1<? super L,? extends V> mapper)

listen

default WriterT<F,L,Tuple2<L,A>> listen()

append

default WriterT<F,L,A> append(L log2)

reset

default WriterT<F,L,A> reset()

bimap

default <V,
R> WriterT<F,V,R> bimap(Monoid<V> monoidV,
 Function1<? super L,? extends V> mapper1,
 Function1<? super A,? extends R> mapper2)

mapK

default <G extends Kind<G,
?>> WriterT<G,L,A> mapK(Monad<G> monadG,
 FunctionK<F,G> functionK)

flatMap

default <R> WriterT<F,L,R> flatMap(Function1<? super A,? extends Kind<WriterT<F,L,?>,? extends R>> mapper)

Specified by:

flatMap in interface Bindable<F extends Kind<F,?>,L>

andThen

default <R> WriterT<F,L,R> andThen(Kind<WriterT<F,L,?>,? extends R> next)

Specified by:

andThen in interface Bindable<F extends Kind<F,?>,L>

pure

static <F extends Kind<F,
?>,
L,
A> WriterT<F,L,A> pure(Monoid<L> monoid,
 Monad<F> monad,
 A value)

lift

static <F extends Kind<F,
?>,
L,
A> WriterT<F,L,A> lift(Monoid<L> monoid,
 Monad<F> monad,
 Tuple2<L,A> value)

writer

static <F extends Kind<F,
?>,
L,
A> WriterT<F,L,A> writer(Monoid<L> monoid,
 Monad<F> monad,
 Kind<F,Tuple2<L,A>> value)