com.github.tonivade.purefun.algebra

Interface MonoidK<W extends Kind,T>

All Superinterfaces:

Higher1<W,T>, Kind, Monoid<Higher1<W,T>>, Semigroup<Higher1<W,T>>, SemigroupK<W,T>

public interface MonoidK<W extends Kind,T>
extends SemigroupK<W,T>, Monoid<Higher1<W,T>>

Method Summary

Modifier and Type	Method and Description
static <W extends Kind,T> MonoidK<W,T>	of(Producer<Higher1<W,T>> zero, SemigroupK<W,T> combine)
static <T> MonoidK<Sequence.µ,T>	sequence()

Methods inherited from interface com.github.tonivade.purefun.algebra.Monoid

of, zero

Methods inherited from interface com.github.tonivade.purefun.algebra.Semigroup

combine, of

Method Detail

of

static <W extends Kind,T> MonoidK<W,T> of(Producer<Higher1<W,T>> zero,
                                          SemigroupK<W,T> combine)

sequence

static <T> MonoidK<Sequence.µ,T> sequence()

Specified by:

sequence in interface SemigroupK<W extends Kind,T>