Package com.github.tonivade.purefun.typeclasses

Interface ComposedInvariant<F extends Kind<F,?>,G extends Kind<G,?>>

All Superinterfaces:

Invariant<Nested<F,G>>

interface ComposedInvariant<F extends Kind<F,?>,G extends Kind<G,?>>
extends Invariant<Nested<F,G>>

Method Summary

Modifier and Type	Method	Description
Invariant<F>	f()
Invariant<G>	g()
default <A, B> Kind<Nested<F,G>,B>	imap(Kind<Nested<F,G>,? extends A> value, Function1<? super A,? extends B> map, Function1<? super B,? extends A> comap)

Method Details

f

Invariant<F> f()

g

Invariant<G> g()

imap

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

Specified by:

imap in interface Invariant<F extends Kind<F,?>>