Package com.github.tonivade.purefun.transformer

Interface EitherT<F extends Kind<F,?>,L,R>

All Superinterfaces:

Bindable<EitherT<F,L,?>,R>, EitherTOf<F,L,R>, Kind<EitherT<F,L,?>,R>, Mappable<EitherT<F,L,?>,R>

public non-sealed interface EitherT<F extends Kind<F,?>,L,R>
extends EitherTOf<F,L,R>, Bindable<EitherT<F,L,?>,R>

Method Summary

Modifier and Type	Method	Description
default <V> EitherT<F,L,V>	andThen(Kind<EitherT<F,L,?>,? extends V> next)
default <T, V> EitherT<F,T,V>	bimap(Function1<? super L,? extends T> leftMapper, Function1<? super R,? extends V> rightMapper)
default EitherT<F,L,R>	filterOrElse(Matcher1<R> filter, Producer<Either<L,R>> orElse)
default <V> EitherT<F,L,V>	flatMap(Function1<? super R,? extends Kind<EitherT<F,L,?>,? extends V>> map)
default <V> Kind<F,Either<L,V>>	flatMapF(Function1<? super R,? extends Kind<F,? extends Either<L,V>>> map)
default <V> Kind<F,V>	fold(Function1<? super L,? extends V> leftMapper, Function1<? super R,? extends V> rightMapper)
static <F extends Kind<F, ?>, R> EitherT<F,Throwable,R>	fromOption(Monad<F> monad, Option<R> value)
static <F extends Kind<F, ?>, R> EitherT<F,Throwable,R>	fromTry(Monad<F> monad, Try<R> value)
default Kind<F,R>	get()
default Kind<F,L>	getLeft()
default Kind<F,R>	getOrElse(Producer<? extends R> orElse)
default Kind<F,R>	getOrElse(R orElse)
default Kind<F,R>	getRight()
default Kind<F,Boolean>	isLeft()
default Kind<F,Boolean>	isRight()
static <F extends Kind<F, ?>, L, R> EitherT<F,L,R>	left(Monad<F> monad, L left)
static <F extends Kind<F, ?>, L, R> EitherT<F,L,R>	lift(Monad<F> monad, Either<L,R> either)
default <V> EitherT<F,L,V>	map(Function1<? super R,? extends V> map)
default <G extends Kind<G, ?>> EitherT<G,L,R>	mapK(Monad<G> other, FunctionK<F,G> functionK)
default <T> EitherT<F,T,R>	mapLeft(Function1<? super L,? extends T> leftMapper)
Monad<F>	monad()
static <F extends Kind<F, ?>, L, R> EitherT<F,L,R>	of(Monad<F> monad, Kind<F,Either<L,R>> value)
static <F extends Kind<F, ?>, L, R> EitherT<F,L,R>	right(Monad<F> monad, R right)
default EitherT<F,R,L>	swap()
default OptionT<F,R>	toOption()
Kind<F,Either<L,R>>	value()

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

fix, kind

Method Details

monad

Monad<F> monad()

value

Kind<F,Either<L,R>> value()

map

default <V> EitherT<F,L,V> map(Function1<? super R,? extends V> map)

Specified by:

map in interface Bindable<F extends Kind<F,?>,L>

Specified by:

map in interface Mappable<F extends Kind<F,?>,L>

flatMap

default <V> EitherT<F,L,V> flatMap(Function1<? super R,? extends Kind<EitherT<F,L,?>,? extends V>> map)

Specified by:

flatMap in interface Bindable<F extends Kind<F,?>,L>

andThen

default <V> EitherT<F,L,V> andThen(Kind<EitherT<F,L,?>,? extends V> next)

Specified by:

andThen in interface Bindable<F extends Kind<F,?>,L>

bimap

default <T,
V> EitherT<F,T,V> bimap(Function1<? super L,? extends T> leftMapper,
 Function1<? super R,? extends V> rightMapper)

mapLeft

default <T> EitherT<F,T,R> mapLeft(Function1<? super L,? extends T> leftMapper)

fold

default <V> Kind<F,V> fold(Function1<? super L,? extends V> leftMapper,
 Function1<? super R,? extends V> rightMapper)

mapK

default <G extends Kind<G,
?>> EitherT<G,L,R> mapK(Monad<G> other,
 FunctionK<F,G> functionK)

filterOrElse

default EitherT<F,L,R> filterOrElse(Matcher1<R> filter,
 Producer<Either<L,R>> orElse)

swap

default EitherT<F,R,L> swap()

isRight

default Kind<F,Boolean> isRight()

isLeft

default Kind<F,Boolean> isLeft()

getLeft

default Kind<F,L> getLeft()

getRight

default Kind<F,R> getRight()

get

default Kind<F,R> get()

getOrElse

default Kind<F,R> getOrElse(R orElse)

getOrElse

default Kind<F,R> getOrElse(Producer<? extends R> orElse)

toOption

default OptionT<F,R> toOption()

lift

static <F extends Kind<F,
?>,
L,
R> EitherT<F,L,R> lift(Monad<F> monad,
 Either<L,R> either)

of

static <F extends Kind<F,
?>,
L,
R> EitherT<F,L,R> of(Monad<F> monad,
 Kind<F,Either<L,R>> value)

right

static <F extends Kind<F,
?>,
L,
R> EitherT<F,L,R> right(Monad<F> monad,
 R right)

left

static <F extends Kind<F,
?>,
L,
R> EitherT<F,L,R> left(Monad<F> monad,
 L left)

fromOption

static <F extends Kind<F,
?>,
R>
EitherT<F,Throwable,R> fromOption(Monad<F> monad,
 Option<R> value)

fromTry

static <F extends Kind<F,
?>,
R>
EitherT<F,Throwable,R> fromTry(Monad<F> monad,
 Try<R> value)

flatMapF

default <V> Kind<F,Either<L,V>> flatMapF(Function1<? super R,? extends Kind<F,? extends Either<L,V>>> map)