Package com.github.tonivade.purefun.instances

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

All Superinterfaces:

Contravariant<EitherK<F,G,?>>, Invariant<EitherK<F,G,?>>

interface EitherKContravariant<F extends Kind<F,?>,G extends Kind<G,?>>
extends Contravariant<EitherK<F,G,?>>

Method Summary

Modifier and Type	Method	Description
default <A, B> EitherK<F,G,B>	contramap(Kind<EitherK<F,G,?>,? extends A> value, Function1<? super B,? extends A> map)
Contravariant<F>	f()
Contravariant<G>	g()
static <F extends Kind<F, ?>, G extends Kind<G, ?>> EitherKContravariant<F,G>	instance(Contravariant<F> contravariantF, Contravariant<G> contravariantG)

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

imap

Method Details

instance

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
EitherKContravariant<F,G> instance(Contravariant<F> contravariantF,
 Contravariant<G> contravariantG)

f

Contravariant<F> f()

g

Contravariant<G> g()

contramap

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

Specified by:

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