Package com.github.tonivade.purefun.free

Class EitherK<F extends Kind<F,?>,G extends Kind<G,?>,T>

java.lang.Object

com.github.tonivade.purefun.free.EitherK<F,G,T>

All Implemented Interfaces:

EitherKOf<F,G,T>, Kind<EitherK<F,G,?>,T>, Serializable

public final class EitherK<F extends Kind<F,?>,G extends Kind<G,?>,T>
extends Object
implements EitherKOf<F,G,T>, Serializable

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private final Either<Kind<F,T>,Kind<G,T>>	either
private static final Equal<EitherK<?,?,?>>	EQUAL
private static final long	serialVersionUID

Constructor Summary

Constructors

Modifier	Constructor	Description
private	EitherK(Either<Kind<F,T>,Kind<G,T>> either)

Method Summary

Modifier and Type	Method	Description
<R> EitherK<F,G,R>	coflatMap(Comonad<F> comonadF, Comonad<G> comonadG, Function1<? super EitherK<F,G,? extends T>,? extends R> mapper)
<R> EitherK<F,G,R>	contramap(Contravariant<F> contravariantF, Contravariant<G> contravariantG, Function1<? super R,? extends T> contramap)
boolean	equals(Object obj)
T	extract(Comonad<F> comonadF, Comonad<G> comonadG)
<R extends Kind<R, ?>> Kind<R,T>	foldK(FunctionK<F,R> left, FunctionK<G,R> right)
Kind<F,T>	getLeft()
Kind<G,T>	getRight()
int	hashCode()
boolean	isLeft()
boolean	isRight()
static <F extends Kind<F, ?>, G extends Kind<G, ?>, T> EitherK<F,G,T>	left(Kind<F,T> left)
<R> EitherK<F,G,R>	map(Functor<F> functorF, Functor<G> functorG, Function1<? super T,? extends R> mapper)
<X extends Kind<X, ?>> EitherK<F,X,T>	mapK(FunctionK<G,X> mapper)
<X extends Kind<X, ?>> EitherK<X,G,T>	mapLeftK(FunctionK<F,X> mapper)
static <F extends Kind<F, ?>, G extends Kind<G, ?>, T> EitherK<F,G,T>	right(Kind<G,T> right)
EitherK<G,F,T>	swap()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Field Details

serialVersionUID

private static final long serialVersionUID

See Also:

• Constant Field Values

EQUAL

private static final Equal<EitherK<?,?,?>> EQUAL

either

private final Either<Kind<F extends Kind<F,?>,T>,Kind<G extends Kind<G,?>,T>> either

Constructor Details

EitherK

private EitherK(Either<Kind<F,T>,Kind<G,T>> either)

Method Details

map

public <R> EitherK<F,G,R> map(Functor<F> functorF,
 Functor<G> functorG,
 Function1<? super T,? extends R> mapper)

mapK

public <X extends Kind<X,
?>> EitherK<F,X,T> mapK(FunctionK<G,X> mapper)

mapLeftK

public <X extends Kind<X,
?>> EitherK<X,G,T> mapLeftK(FunctionK<F,X> mapper)

foldK

public <R extends Kind<R,
?>> Kind<R,T> foldK(FunctionK<F,R> left,
 FunctionK<G,R> right)

coflatMap

public <R> EitherK<F,G,R> coflatMap(Comonad<F> comonadF,
 Comonad<G> comonadG,
 Function1<? super EitherK<F,G,? extends T>,? extends R> mapper)

extract

public T extract(Comonad<F> comonadF,
 Comonad<G> comonadG)

contramap

public <R> EitherK<F,G,R> contramap(Contravariant<F> contravariantF,
 Contravariant<G> contravariantG,
 Function1<? super R,? extends T> contramap)

swap

public EitherK<G,F,T> swap()

isLeft

public boolean isLeft()

isRight

public boolean isRight()

getLeft

public Kind<F,T> getLeft()

getRight

public Kind<G,T> getRight()

left

public static <F extends Kind<F,
?>,
G extends Kind<G,
?>,
T>
EitherK<F,G,T> left(Kind<F,T> left)

right

public static <F extends Kind<F,
?>,
G extends Kind<G,
?>,
T>
EitherK<F,G,T> right(Kind<G,T> right)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object