cyclops.typeclasses.monad

Interface ApplicativeError<W,E>

All Superinterfaces:

Applicative<W>, Functor<W>, Pure<W>

public interface ApplicativeError<W,E>
extends Applicative<W>

Method Summary

Modifier and Type	Method and Description
default <T,X extends java.lang.Throwable> Higher<W,T>	fromXor(Xor<E,T> t)
default <T> Higher<W,T>	handleError(java.util.function.Function<? super E,? extends T> fn, Higher<W,T> ds)
<T> Higher<W,T>	handleErrorWith(java.util.function.Function<? super E,? extends Higher<W,? extends T>> fn, Higher<W,T> ds)
<T> Higher<W,T>	raiseError(E e)
default <T> Higher<W,Either<E,T>>	recover(Higher<W,T> ds)
default <T> Higher<W,T>	tryCatch(Fn0<T> eval, java.util.function.Function<? super java.lang.Throwable,? extends E> mapper)
default <T> Higher<W,T>	tryCatchEval(Eval<T> eval, java.util.function.Function<? super java.lang.Throwable,? extends E> mapper)

Methods inherited from interface cyclops.typeclasses.monad.Applicative

ap, ap2, ap3, apBiFn, curry2, lazyZip, narrow, narrow2, narrow3, narrowBiFn, zip, zip

Methods inherited from interface cyclops.typeclasses.functor.Functor

lift, map_, map, peek

Methods inherited from interface cyclops.typeclasses.Pure

unit

Method Detail

raiseError

<T> Higher<W,T> raiseError(E e)

handleErrorWith

<T> Higher<W,T> handleErrorWith(java.util.function.Function<? super E,? extends Higher<W,? extends T>> fn,
                                Higher<W,T> ds)

handleError

default <T> Higher<W,T> handleError(java.util.function.Function<? super E,? extends T> fn,
                                    Higher<W,T> ds)

tryCatch

default <T> Higher<W,T> tryCatch(Fn0<T> eval,
                                 java.util.function.Function<? super java.lang.Throwable,? extends E> mapper)

tryCatchEval

default <T> Higher<W,T> tryCatchEval(Eval<T> eval,
                                     java.util.function.Function<? super java.lang.Throwable,? extends E> mapper)

fromXor

default <T,X extends java.lang.Throwable> Higher<W,T> fromXor(Xor<E,T> t)

recover

default <T> Higher<W,Either<E,T>> recover(Higher<W,T> ds)