Package com.github.tonivade.purefun.typeclasses

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

All Superinterfaces:

Functor<Nested<F,G>>, Invariant<Nested<F,G>>

interface ComposedContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
extends Functor<Nested<F,G>>

Method Summary

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

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

imap, lift

Method Details

f

Contravariant<F> f()

g

Contravariant<G> g()

map

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

Specified by:

map in interface Functor<F extends Kind<F,?>>