Package com.github.tonivade.purefun.instances

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

All Superinterfaces:

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

All Known Subinterfaces:

EitherKComonad<F,G>

interface EitherKFunctor<F extends Kind<F,?>,G extends Kind<G,?>>
extends Functor<EitherK<F,G,?>>

Method Summary

Modifier and Type	Method	Description
Functor<F>	f()
Functor<G>	g()
static <F extends Kind<F, ?>, G extends Kind<G, ?>> EitherKFunctor<F,G>	instance(Functor<F> functorF, Functor<G> functorG)
default <T, R> EitherK<F,G,R>	map(Kind<EitherK<F,G,?>,? extends T> value, Function1<? super T,? extends R> map)

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

imap, lift

Method Details

instance

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
EitherKFunctor<F,G> instance(Functor<F> functorF,
 Functor<G> functorG)

f

Functor<F> f()

g

Functor<G> g()

map

default <T,
R> EitherK<F,G,R> map(Kind<EitherK<F,G,?>,? extends T> value,
 Function1<? super T,? extends R> map)

Specified by:

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