Package com.github.tonivade.purefun.typeclasses

Interface Contravariant<F extends Kind<F,?>>

All Superinterfaces:

Invariant<F>

All Known Subinterfaces:

ComposedContravariantCovariant<F,G>, ComposedCovariantContravariant<F,G>, ConstContravariant<T>, EitherKContravariant<F,G>

public interface Contravariant<F extends Kind<F,?>>
extends Invariant<F>

Method Summary

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

Method Details

contramap

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

imap

default <A,
B> Kind<F,B> imap(Kind<F,? 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,?>>

compose

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Contravariant<Nested<F,G>> compose(Functor<F> f,
 Contravariant<G> g)

compose

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Contravariant<Nested<F,G>> compose(Contravariant<F> f,
 Functor<G> g)