arrow-fx-mtl / arrow.fx.mtl

Package arrow.fx.mtl

Types

AccumTMonadIO interface AccumTMonadIO<S, F> : MonadIO<AccumTPartialOf<S, F>>, AccumTMonad<S, F>
EitherTAsync interface EitherTAsync<L, F> : Async<EitherTPartialOf<L, F>>, EitherTMonadDefer<L, F>
EitherTBracket interface EitherTBracket<L, F> : Bracket<EitherTPartialOf<L, F>, Throwable>, EitherTMonadThrow<L, F>
EitherTConcurrent interface EitherTConcurrent<L, F> : Concurrent<EitherTPartialOf<L, F>>, EitherTAsync<L, F>
EitherTMonadDefer interface EitherTMonadDefer<L, F> : MonadDefer<EitherTPartialOf<L, F>>, EitherTBracket<L, F>
EitherTMonadIO interface EitherTMonadIO<L, F> : MonadIO<EitherTPartialOf<L, F>>, EitherTMonad<L, F>
KleisliAsync interface KleisliAsync<D, F> : Async<KleisliPartialOf<D, F>>, KleisliMonadDefer<D, F>
KleisliBracket interface KleisliBracket<D, F, E> : Bracket<KleisliPartialOf<D, F>, E>, KleisliMonadError<D, F, E>
KleisliConcurrent interface KleisliConcurrent<D, F> : Concurrent<KleisliPartialOf<D, F>>, KleisliAsync<D, F>
KleisliMonadDefer interface KleisliMonadDefer<D, F> : MonadDefer<KleisliPartialOf<D, F>>, KleisliBracket<D, F, Throwable>
KleisliMonadIO interface KleisliMonadIO<D, F> : MonadIO<KleisliPartialOf<D, F>>, KleisliMonad<D, F>
OptionTAsync interface OptionTAsync<F> : Async<OptionTPartialOf<F>>, OptionTMonadDefer<F>
OptionTBracket interface OptionTBracket<F> : Bracket<OptionTPartialOf<F>, Throwable>, OptionTMonadError<F, Throwable>
OptionTConcurrent interface OptionTConcurrent<F> : Concurrent<OptionTPartialOf<F>>, OptionTAsync<F>
OptionTMonadDefer interface OptionTMonadDefer<F> : MonadDefer<OptionTPartialOf<F>>, OptionTBracket<F>
OptionTMonadIO interface OptionTMonadIO<F> : MonadIO<OptionTPartialOf<F>>, OptionTMonad<F>
StateTAsyncInstane interface StateTAsyncInstane<S, F> : Async<StateTPartialOf<S, F>>, StateTMonadDefer<S, F>
StateTBracket interface StateTBracket<S, F> : Bracket<StateTPartialOf<S, F>, Throwable>, StateTMonadThrow<S, F>
StateTMonadDefer interface StateTMonadDefer<S, F> : MonadDefer<StateTPartialOf<S, F>>, StateTBracket<S, F>
StateTMonadIO interface StateTMonadIO<S, F> : MonadIO<StateTPartialOf<S, F>>, StateTMonad<S, F>
WriterTAsync interface WriterTAsync<W, F> : Async<WriterTPartialOf<W, F>>, WriterTMonadDefer<W, F>
WriterTBracket interface WriterTBracket<W, F> : Bracket<WriterTPartialOf<W, F>, Throwable>, WriterTMonadThrow<W, F>
WriterTConcurrent interface WriterTConcurrent<W, F> : Concurrent<WriterTPartialOf<W, F>>, WriterTAsync<W, F>
WriterTMonadDefer interface WriterTMonadDefer<W, F> : MonadDefer<WriterTPartialOf<W, F>>, WriterTBracket<W, F>
WriterTMonadIO interface WriterTMonadIO<W, F> : MonadIO<WriterTPartialOf<W, F>>, WriterTMonad<W, F>

Extensions for External Classes

arrow.mtl.EitherT  
arrow.mtl.Kleisli  
arrow.mtl.OptionT  
arrow.mtl.WriterT  

Do you like Arrow?

Arrow Org
<