Package com.github.tonivade.purefun.typeclasses

Interface ApplicativeError<F extends Kind<F,?>,E>

All Superinterfaces:

Applicative<F>, Functor<F>, Invariant<F>

All Known Subinterfaces:

Async<F>, Bracket<F,E>, Concurrent<F>, EIOAsync, EIOBracket<E>, EIOConcurrent, EIOMonadDefer, EIOMonadError<E>, EIOMonadThrow, EitherMonadError<L>, EitherMonadThrow, EitherTBracket<F,E>, EitherTMonadDefer<F>, EitherTMonadErrorFromMonad<F,E>, EitherTMonadErrorFromMonadError<F,E>, EitherTMonadThrowFromMonad<F>, EitherTMonadThrowFromMonadThrow<F>, EvalMonadError, EvalMonadThrow, FutureMonadThrow, IOAsync, IOBracket, IOConcurrent, IOMonadDefer, IOMonadError, IOMonadThrow, KleisliMonadError<F,R,E>, MonadDefer<F>, MonadError<F,E>, MonadThrow<F>, OptionMonadError, OptionTBracket<F>, OptionTMonadDefer<F>, OptionTMonadErrorFromMonad<F>, OptionTMonadErrorFromMonadError<F,E>, OptionTMonadThrow<F>, PureIOAsync<R>, PureIOBracket<R,E>, PureIOConcurrent<R>, PureIOMonadDefer<R>, PureIOMonadError<R,E>, PureIOMonadThrow<R>, RIOAsync<R>, RIOBracket<R>, RIOConcurrent<R>, RIOMonadDefer<R>, RIOMonadError<R>, RIOMonadThrow<R>, StateTMonadError<F,S,E>, TaskAsync, TaskBracket, TaskConcurrent, TaskMonadDefer, TaskMonadError, TaskMonadThrow, TryMonadError, TryMonadThrow, UIOAsync, UIOBracket, UIOConcurrent, UIOMonadDefer, UIOMonadError, UIOMonadThrow, URIOAsync<R>, URIOBracket<R>, URIOConcurrent<R>, URIOMonadDefer<R>, URIOMonadError<R>, URIOMonadThrow<R>, ValidationMonadError<E>, ValidationMonadThrow, WriterTMonadError<F,L,E>

All Known Implementing Classes:

EffectEMonadError, EffectRMonadError, MonadMTL

public interface ApplicativeError<F extends Kind<F,?>,E>
extends Applicative<F>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Applicative

Applicative.Map2<F extends Kind<F,?>,A,B>, Applicative.Map3<F extends Kind<F,?>,A,B,C>, Applicative.Map4<F extends Kind<F,?>,A,B,C,D>, Applicative.Map5<F extends Kind<F,?>,A,B,C,D,E>

Method Summary

Modifier and Type	Method	Description
default <A> Kind<F,Either<E,A>>	attempt(Kind<F,A> value)
default <A> Kind<F,A>	fromEither(Either<E,? extends A> value)
default <A> Kind<F,A>	handleError(Kind<F,A> value, Function1<? super E,? extends A> handler)
<A> Kind<F,A>	handleErrorWith(Kind<F,A> value, Function1<? super E,? extends Kind<F,? extends A>> handler)
<A> Kind<F,A>	raiseError(E error)
default <A> Kind<F,A>	recover(Kind<F,A> value, PartialFunction1<? super E,? extends A> handler)
default <A> Kind<F,A>	recoverWith(Kind<F,A> value, PartialFunction1<? super E,? extends Kind<F,? extends A>> handler)

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

ap, first, last, map, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, pure, tuple, tuple, tuple, tuple

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

imap, lift

Method Details

raiseError

<A> Kind<F,A> raiseError(E error)

handleErrorWith

<A> Kind<F,A> handleErrorWith(Kind<F,A> value,
 Function1<? super E,? extends Kind<F,? extends A>> handler)

handleError

default <A> Kind<F,A> handleError(Kind<F,A> value,
 Function1<? super E,? extends A> handler)

recoverWith

default <A> Kind<F,A> recoverWith(Kind<F,A> value,
 PartialFunction1<? super E,? extends Kind<F,? extends A>> handler)

recover

default <A> Kind<F,A> recover(Kind<F,A> value,
 PartialFunction1<? super E,? extends A> handler)

attempt

default <A> Kind<F,Either<E,A>> attempt(Kind<F,A> value)

fromEither

default <A> Kind<F,A> fromEither(Either<E,? extends A> value)