Package com.github.tonivade.purefun.typeclasses

Interface MonoidInvariant

All Superinterfaces:

Invariant<Monoid<?>>

interface MonoidInvariant
extends Invariant<Monoid<?>>

Field Summary

Fields

Modifier and Type	Field	Description
static final MonoidInvariant	INSTANCE

Method Summary

Modifier and Type	Method	Description
default <A, B> Kind<Monoid<?>,B>	imap(Kind<Monoid<?>,? extends A> value, Function1<? super A,? extends B> map, Function1<? super B,? extends A> comap)

Field Details

INSTANCE

static final MonoidInvariant INSTANCE

Method Details

imap

default <A,
B> Kind<Monoid<?>,B> imap(Kind<Monoid<?>,? extends A> value,
 Function1<? super A,? extends B> map,
 Function1<? super B,? extends A> comap)

Specified by:

imap in interface Invariant<Monoid<?>>