Package com.github.tonivade.purefun.typeclasses

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

All Superinterfaces:

Contravariant<Nested<F,G>>, Invariant<Nested<F,G>>

interface ComposedCovariantContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
extends Contravariant<Nested<F,G>>

Method Summary

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

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Contravariant

imap

Method Details

f

Functor<F> f()

g

Contravariant<G> g()

contramap

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

Specified by:

contramap in interface Contravariant<F extends Kind<F,?>>