Package com.github.tonivade.purefun.instances

Interface EitherKInstances

public interface EitherKInstances

Method Summary

Static Methods

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Comonad<EitherK<F,G,?>>	comonad(Comonad<F> comonadF, Comonad<G> comonadG)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Contravariant<EitherK<F,G,?>>	contravariant(Contravariant<F> contravariantF, Contravariant<G> contravariantG)
static <F extends Kind<F, ?>, G extends Kind<G, ?>, T> Eq<Kind<EitherK<F,G,?>,T>>	eq(Eq<Kind<F,T>> leftEq, Eq<Kind<G,T>> rightEq)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> Functor<EitherK<F,G,?>>	functor(Functor<F> functorF, Functor<G> functorG)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> InjectK<F,EitherK<F,G,?>>	injectEitherKLeft()
static <F extends Kind<F, ?>, R extends Kind<R, ?>, G extends Kind<G, ?>> InjectK<F,EitherK<G,R,?>>	injectEitherKRight(InjectK<F,R> inject)

Method Details

eq

static <F extends Kind<F,
?>,
G extends Kind<G,
?>,
T>
Eq<Kind<EitherK<F,G,?>,T>> eq(Eq<Kind<F,T>> leftEq,
 Eq<Kind<G,T>> rightEq)

functor

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Functor<EitherK<F,G,?>> functor(Functor<F> functorF,
 Functor<G> functorG)

contravariant

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Contravariant<EitherK<F,G,?>> contravariant(Contravariant<F> contravariantF,
 Contravariant<G> contravariantG)

comonad

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Comonad<EitherK<F,G,?>> comonad(Comonad<F> comonadF,
 Comonad<G> comonadG)

injectEitherKLeft

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
InjectK<F,EitherK<F,G,?>> injectEitherKLeft()

injectEitherKRight

static <F extends Kind<F,
?>,
R extends Kind<R,
?>,
G extends Kind<G,
?>>
InjectK<F,EitherK<G,R,?>> injectEitherKRight(InjectK<F,R> inject)