Package com.github.tonivade.purefun.instances

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

All Superinterfaces:

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

interface EitherKComonad<F extends Kind<F,?>,G extends Kind<G,?>>
extends Comonad<EitherK<F,G,?>>, EitherKFunctor<F,G>

Method Summary

Modifier and Type	Method	Description
default <A, B> EitherK<F,G,B>	coflatMap(Kind<EitherK<F,G,?>,? extends A> value, Function1<? super Kind<EitherK<F,G,?>,? extends A>,? extends B> map)
default <A> A	extract(Kind<EitherK<F,G,?>,? extends A> value)
Comonad<F>	f()
Comonad<G>	g()
static <F extends Kind<F, ?>, G extends Kind<G, ?>> EitherKComonad<F,G>	instance(Comonad<F> comonadF, Comonad<G> comonadG)

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

coflatten

Methods inherited from interface com.github.tonivade.purefun.instances.EitherKFunctor

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,
?>>
EitherKComonad<F,G> instance(Comonad<F> comonadF,
 Comonad<G> comonadG)

f

Comonad<F> f()

Specified by:

f in interface EitherKFunctor<F extends Kind<F,?>,G extends Kind<G,?>>

g

Comonad<G> g()

Specified by:

g in interface EitherKFunctor<F extends Kind<F,?>,G extends Kind<G,?>>

coflatMap

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

Specified by:

coflatMap in interface Comonad<F extends Kind<F,?>>

extract

default <A> A extract(Kind<EitherK<F,G,?>,? extends A> value)

Specified by:

extract in interface Comonad<F extends Kind<F,?>>