Uses of Interface
com.github.tonivade.purefun.typeclasses.Contravariant

Packages that use Contravariant

Package	Description
com.github.tonivade.purefun.free
com.github.tonivade.purefun.instances
com.github.tonivade.purefun.typeclasses

Uses of Contravariant in com.github.tonivade.purefun.free

Methods in com.github.tonivade.purefun.free with parameters of type Contravariant

Modifier and Type	Method	Description
<R> EitherK<F,G,R>	EitherK.contramap(Contravariant<F> contravariantF, Contravariant<G> contravariantG, Function1<? super R,? extends T> contramap)

Uses of Contravariant in com.github.tonivade.purefun.instances

Subinterfaces of Contravariant in com.github.tonivade.purefun.instances

Modifier and Type	Interface	Description
(package private) interface	ConstContravariant<T>
(package private) interface	EitherKContravariant<F extends Kind<F,?>,G extends Kind<G,?>>

Methods in com.github.tonivade.purefun.instances that return Contravariant

Modifier and Type	Method	Description
static <T> Contravariant<Const<T,?>>	ConstInstances.contravariant()
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<EitherK<F,G,?>>	EitherKInstances.contravariant(Contravariant<F> contravariantF, Contravariant<G> contravariantG)
Contravariant<F>	EitherKContravariant.f()
Contravariant<G>	EitherKContravariant.g()

Methods in com.github.tonivade.purefun.instances with parameters of type Contravariant

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<EitherK<F,G,?>>	EitherKInstances.contravariant(Contravariant<F> contravariantF, Contravariant<G> contravariantG)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> EitherKContravariant<F,G>	EitherKContravariant.instance(Contravariant<F> contravariantF, Contravariant<G> contravariantG)

Uses of Contravariant in com.github.tonivade.purefun.typeclasses

Subinterfaces of Contravariant in com.github.tonivade.purefun.typeclasses

Modifier and Type	Interface	Description
(package private) interface	ComposedContravariantCovariant<F extends Kind<F,?>,G extends Kind<G,?>>
(package private) interface	ComposedCovariantContravariant<F extends Kind<F,?>,G extends Kind<G,?>>

Methods in com.github.tonivade.purefun.typeclasses that return Contravariant

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<Nested<F,G>>	Contravariant.compose(Contravariant<F> f, Functor<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<Nested<F,G>>	Contravariant.compose(Functor<F> f, Contravariant<G> g)
Contravariant<F>	ComposedContravariant.f()
Contravariant<F>	ComposedContravariantCovariant.f()
Contravariant<G>	ComposedContravariant.g()
Contravariant<G>	ComposedCovariantContravariant.g()
Contravariant<G>	ComposedInvariantContravariant.g()

Methods in com.github.tonivade.purefun.typeclasses with parameters of type Contravariant

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<Nested<F,G>>	Contravariant.compose(Contravariant<F> f, Functor<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<Nested<F,G>>	Contravariant.compose(Functor<F> f, Contravariant<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Functor<Nested<F,G>>	Functor.compose(Contravariant<F> f, Contravariant<G> g)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Invariant<Nested<F,G>>	Invariant.compose(Invariant<F> f, Contravariant<G> g)