com.github.tonivade.purefun.monad

Class Writer<L,A>

java.lang.Object

com.github.tonivade.purefun.monad.Writer<L,A>

All Implemented Interfaces:

FlatMap2<Writer.µ,L,A>, Higher1<Higher1<Writer.µ,L>,A>, Higher2<Writer.µ,L,A>, Kind, Mappable<Higher1<Writer.µ,L>,A>

public final class Writer<L,A>
extends java.lang.Object
implements FlatMap2<Writer.µ,L,A>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Writer.µ

Method Summary

Modifier and Type	Method and Description
<B> Writer<L,B>	flatMap(Function1<A,? extends Higher2<Writer.µ,L,B>> map)
L	getLog()
A	getValue()
static <T,A> Writer<Higher1<Sequence.µ,T>,A>	listPure(A value)
static <T,A> Writer<Higher1<Sequence.µ,T>,A>	listWriter(T log, A value)
<B> Writer<L,B>	map(Function1<A,B> map)
static <L,T> Writer<L,T>	narrowK(Higher1<Higher1<Writer.µ,L>,T> hkt)
static <L,T> Writer<L,T>	narrowK(Higher2<Writer.µ,L,T> hkt)
static <L,A> Writer<L,A>	pure(Monoid<L> monoid, A value)
static <L,A> Writer<L,A>	writer(Monoid<L> monoid, L log, A value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getValue

public A getValue()

getLog

public L getLog()

map

public <B> Writer<L,B> map(Function1<A,B> map)

Specified by:

map in interface Mappable<Higher1<Writer.µ,L>,A>

flatMap

public <B> Writer<L,B> flatMap(Function1<A,? extends Higher2<Writer.µ,L,B>> map)

Specified by:

flatMap in interface FlatMap2<Writer.µ,L,A>

pure

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

writer

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

listPure

public static <T,A> Writer<Higher1<Sequence.µ,T>,A> listPure(A value)

listWriter

public static <T,A> Writer<Higher1<Sequence.µ,T>,A> listWriter(T log,
                                                               A value)

narrowK

public static <L,T> Writer<L,T> narrowK(Higher2<Writer.µ,L,T> hkt)

narrowK

public static <L,T> Writer<L,T> narrowK(Higher1<Higher1<Writer.µ,L>,T> hkt)