Package com.github.tonivade.purefun.monad

Interface Writer<L,A>

All Superinterfaces:

Bindable<Writer<L,?>,A>, Kind<Writer<L,?>,A>, Mappable<Writer<L,?>,A>, WriterOf<L,A>

public non-sealed interface Writer<L,A>
extends WriterOf<L,A>, Bindable<Writer<L,?>,A>

Method Summary

Modifier and Type	Method	Description
default <R> Writer<L,R>	andThen(Kind<Writer<L,?>,? extends R> next)
default Writer<L,A>	append(L log2)
default <V, R> Writer<V,R>	bimap(Monoid<V> monoidV, Function1<? super L,? extends V> mapper1, Function1<? super A,? extends R> mapper2)
default <B> Writer<L,B>	flatMap(Function1<? super A,? extends Kind<Writer<L,?>,? extends B>> mapper)
default L	getLog()
default A	getValue()
default <B> Writer<L,B>	map(Function1<? super A,? extends B> mapper)
default <R> Writer<R,A>	mapLog(Monoid<R> monoidR, Function1<? super L,? extends R> mapper)
Monoid<L>	monoid()
static <L, A> Writer<L,A>	pure(Monoid<L> monoid, A value)
default Writer<L,A>	reset()
Tuple2<L,A>	value()
static <L, A> Writer<L,A>	writer(Monoid<L> monoid, Tuple2<L,A> value)

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

fix, kind

Method Details

monoid

Monoid<L> monoid()

value

Tuple2<L,A> value()

getValue

default A getValue()

getLog

default L getLog()

map

default <B> Writer<L,B> map(Function1<? super A,? extends B> mapper)

Specified by:

map in interface Bindable<L,A>

Specified by:

map in interface Mappable<L,A>

mapLog

default <R> Writer<R,A> mapLog(Monoid<R> monoidR,
 Function1<? super L,? extends R> mapper)

append

default Writer<L,A> append(L log2)

reset

default Writer<L,A> reset()

bimap

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

flatMap

default <B> Writer<L,B> flatMap(Function1<? super A,? extends Kind<Writer<L,?>,? extends B>> mapper)

Specified by:

flatMap in interface Bindable<L,A>

andThen

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

Specified by:

andThen in interface Bindable<L,A>

pure

static <L,
A> Writer<L,A> pure(Monoid<L> monoid,
 A value)

writer

static <L,
A> Writer<L,A> writer(Monoid<L> monoid,
 Tuple2<L,A> value)