Package com.github.tonivade.purefun.instances

Interface EitherTInstances

public interface EitherTInstances

Method Summary

Static Methods

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, L, R> Eq<Kind<EitherT<F,L,?>,R>>	eq(Eq<Kind<F,Either<L,R>>> eq)
static <F extends Kind<F, ?>, L> Monad<EitherT<F,L,?>>	monad(Monad<F> monadF)
static <F extends Kind<F, ?>> MonadDefer<EitherT<F,Throwable,?>>	monadDefer(MonadDefer<F> monadDeferF)
static <F extends Kind<F, ?>, L> MonadError<EitherT<F,L,?>,L>	monadError(Monad<F> monadF)
static <F extends Kind<F, ?>, L> MonadError<EitherT<F,L,?>,L>	monadError(MonadError<F,L> monadErrorF)
static <F extends Kind<F, ?>> MonadThrow<EitherT<F,Throwable,?>>	monadThrow(Monad<F> monadF)
static <F extends Kind<F, ?>> MonadThrow<EitherT<F,Throwable,?>>	monadThrow(MonadThrow<F> monadF)
static <F extends Kind<F, ?>, A> Reference<EitherT<F,Throwable,?>,A>	refFromMonadThrow(MonadDefer<F> monadDeferF, A value)

Method Details

eq

static <F extends Kind<F,
?>,
L,
R>
Eq<Kind<EitherT<F,L,?>,R>> eq(Eq<Kind<F,Either<L,R>>> eq)

monad

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

monadError

static <F extends Kind<F,
?>,
L>
MonadError<EitherT<F,L,?>,L> monadError(Monad<F> monadF)

monadError

static <F extends Kind<F,
?>,
L>
MonadError<EitherT<F,L,?>,L> monadError(MonadError<F,L> monadErrorF)

monadThrow

static <F extends Kind<F,
?>>
MonadThrow<EitherT<F,Throwable,?>> monadThrow(Monad<F> monadF)

monadThrow

static <F extends Kind<F,
?>>
MonadThrow<EitherT<F,Throwable,?>> monadThrow(MonadThrow<F> monadF)

monadDefer

static <F extends Kind<F,
?>>
MonadDefer<EitherT<F,Throwable,?>> monadDefer(MonadDefer<F> monadDeferF)

refFromMonadThrow

static <F extends Kind<F,
?>,
A>
Reference<EitherT<F,Throwable,?>,A> refFromMonadThrow(MonadDefer<F> monadDeferF,
 A value)