arrow-mtl / arrow.mtl.extensions

Package arrow.mtl.extensions

Types

CokleisliContravariant interface CokleisliContravariant<F, D> : Contravariant<Conested<Kind<ForCokleisli, F>, D>>
CokleisliProfunctor interface CokleisliProfunctor<F> : Profunctor<Kind<ForCokleisli, F>>
ComposedFunctorFilter interface ComposedFunctorFilter<F, G> : FunctorFilter<Nested<F, G>>, ComposedFunctor<F, G>
ComposedTraverseFilter interface ComposedTraverseFilter<F, G> : TraverseFilter<Nested<F, G>>, ComposedTraverse<F, G>
EitherTApplicative interface EitherTApplicative<F, L> : Applicative<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>
EitherTApplicativeError interface EitherTApplicativeError<F, L> : ApplicativeError<EitherTPartialOf<F, L>, L>, EitherTApplicative<F, L>
EitherTApply interface EitherTApply<F, L> : Apply<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>
EitherTContravariant interface EitherTContravariant<F, L> : Contravariant<EitherTPartialOf<F, L>>
EitherTDecidableInstance interface EitherTDecidableInstance<F, L> : Decidable<EitherTPartialOf<F, L>>, EitherTDivisibleInstance<F, L>
EitherTDivide interface EitherTDivide<F, L> : Divide<EitherTPartialOf<F, L>>, EitherTContravariant<F, L>
EitherTDivisibleInstance interface EitherTDivisibleInstance<F, L> : Divisible<EitherTPartialOf<F, L>>, EitherTDivide<F, L>
EitherTFoldable interface EitherTFoldable<F, L> : Foldable<EitherTPartialOf<F, L>>
EitherTFunctor interface EitherTFunctor<F, L> : Functor<EitherTPartialOf<F, L>>
EitherTMonad interface EitherTMonad<F, L> : Monad<EitherTPartialOf<F, L>>, EitherTApplicative<F, L>
EitherTMonadError interface EitherTMonadError<F, L> : MonadError<EitherTPartialOf<F, L>, L>, EitherTApplicativeError<F, L>, EitherTMonad<F, L>
EitherTMonadThrow interface EitherTMonadThrow<F> : MonadThrow<EitherTPartialOf<F, Throwable>>, EitherTMonadError<F, Throwable>
EitherTSemigroupK interface EitherTSemigroupK<F, L> : SemigroupK<EitherTPartialOf<F, L>>
EitherTTraverse interface EitherTTraverse<F, L> : Traverse<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>, EitherTFoldable<F, L>
Function1MonadReader interface Function1MonadReader<I> : MonadReader<Function1PartialOf<I>, I>, Function1Monad<I>
KleisliApplicative interface KleisliApplicative<F, D> : Applicative<KleisliPartialOf<F, D>>, KleisliFunctor<F, D>
KleisliApplicativeError interface KleisliApplicativeError<F, D, E> : ApplicativeError<KleisliPartialOf<F, D>, E>, KleisliApplicative<F, D>
KleisliApply interface KleisliApply<F, D> : Apply<KleisliPartialOf<F, D>>, KleisliFunctor<F, D>
KleisliContravariant interface KleisliContravariant<F, D> : Contravariant<Conested<Kind<ForKleisli, F>, D>>
KleisliContravariantInstance interface KleisliContravariantInstance<F, D> : Contravariant<KleisliPartialOf<F, D>>
KleisliDecidableInstance interface KleisliDecidableInstance<F, D> : Decidable<KleisliPartialOf<F, D>>, KleisliDivisibleInstance<F, D>
KleisliDivideInstance interface KleisliDivideInstance<F, D> : Divide<KleisliPartialOf<F, D>>, KleisliContravariantInstance<F, D>
KleisliDivisibleInstance interface KleisliDivisibleInstance<F, D> : Divisible<KleisliPartialOf<F, D>>, KleisliDivideInstance<F, D>
KleisliFunctor interface KleisliFunctor<F, D> : Functor<KleisliPartialOf<F, D>>
KleisliMonad interface KleisliMonad<F, D> : Monad<KleisliPartialOf<F, D>>, KleisliApplicative<F, D>
KleisliMonadError interface KleisliMonadError<F, D, E> : MonadError<KleisliPartialOf<F, D>, E>, KleisliApplicativeError<F, D, E>, KleisliMonad<F, D>
KleisliMonadReader interface KleisliMonadReader<F, D> : MonadReader<KleisliPartialOf<F, D>, D>, KleisliMonad<F, D>
KleisliMonadThrow interface KleisliMonadThrow<F, D> : MonadThrow<KleisliPartialOf<F, D>>, KleisliMonadError<F, D, Throwable>
KleisliMtlContext class KleisliMtlContext<F, D, E> : KleisliMonadReader<F, D>, KleisliMonadError<F, D, E>
OptionTApplicative interface OptionTApplicative<F> : Applicative<OptionTPartialOf<F>>, OptionTFunctor<F>
OptionTApplicativeError interface OptionTApplicativeError<F, E> : ApplicativeError<OptionTPartialOf<F>, E>, OptionTApplicative<F>
OptionTContravariantInstance interface OptionTContravariantInstance<F> : Contravariant<OptionTPartialOf<F>>
OptionTDecidableInstance interface OptionTDecidableInstance<F> : Decidable<OptionTPartialOf<F>>, OptionTDivisibleInstance<F>
OptionTDivideInstance interface OptionTDivideInstance<F> : Divide<OptionTPartialOf<F>>, OptionTContravariantInstance<F>
OptionTDivisibleInstance interface OptionTDivisibleInstance<F> : Divisible<OptionTPartialOf<F>>, OptionTDivideInstance<F>
OptionTFoldable interface OptionTFoldable<F> : Foldable<OptionTPartialOf<F>>
OptionTFunctor interface OptionTFunctor<F> : Functor<OptionTPartialOf<F>>
OptionTFunctorFilter interface OptionTFunctorFilter<F> : FunctorFilter<OptionTPartialOf<F>>, OptionTFunctor<F>
OptionTMonad interface OptionTMonad<F> : Monad<OptionTPartialOf<F>>, OptionTApplicative<F>
OptionTMonadError interface OptionTMonadError<F, E> : MonadError<OptionTPartialOf<F>, E>, OptionTMonad<F>, OptionTApplicativeError<F, E>
OptionTMonadThrow interface OptionTMonadThrow<F> : MonadThrow<OptionTPartialOf<F>>, OptionTMonadError<F, Throwable>
OptionTMonoidK interface OptionTMonoidK<F> : MonoidK<OptionTPartialOf<F>>, OptionTSemigroupK<F>
OptionTSemigroupK interface OptionTSemigroupK<F> : SemigroupK<OptionTPartialOf<F>>
OptionTTraverse interface OptionTTraverse<F> : Traverse<OptionTPartialOf<F>>, OptionTFoldable<F>
OptionTTraverseFilter interface OptionTTraverseFilter<F> : TraverseFilter<OptionTPartialOf<F>>, OptionTTraverse<F>
StateTApplicative interface StateTApplicative<F, S> : Applicative<StateTPartialOf<F, S>>, StateTFunctor<F, S>
StateTApplicativeError interface StateTApplicativeError<F, S, E> : ApplicativeError<StateTPartialOf<F, S>, E>, StateTApplicative<F, S>
StateTContravariantInstance interface StateTContravariantInstance<F, S> : Contravariant<StateTPartialOf<F, S>>
StateTDecidableInstante interface StateTDecidableInstante<F, S> : Decidable<StateTPartialOf<F, S>>, StateTDivisibleInstance<F, S>
StateTDivideInstance interface StateTDivideInstance<F, S> : Divide<StateTPartialOf<F, S>>, StateTContravariantInstance<F, S>
StateTDivisibleInstance interface StateTDivisibleInstance<F, S> : Divisible<StateTPartialOf<F, S>>, StateTDivideInstance<F, S>
StateTFunctor interface StateTFunctor<F, S> : Functor<StateTPartialOf<F, S>>
StateTMonad interface StateTMonad<F, S> : Monad<StateTPartialOf<F, S>>, StateTApplicative<F, S>
StateTMonadCombine interface StateTMonadCombine<F, S> : MonadCombine<StateTPartialOf<F, S>>, StateTMonad<F, S>, StateTSemigroupK<F, S>
StateTMonadError interface StateTMonadError<F, S, E> : MonadError<StateTPartialOf<F, S>, E>, StateTApplicativeError<F, S, E>, StateTMonad<F, S>
StateTMonadState interface StateTMonadState<F, S> : MonadState<StateTPartialOf<F, S>, S>, StateTMonad<F, S>
StateTMonadThrow interface StateTMonadThrow<F, S> : MonadThrow<StateTPartialOf<F, S>>, StateTMonadError<F, S, Throwable>
StateTSemigroupK interface StateTSemigroupK<F, S> : SemigroupK<StateTPartialOf<F, S>>
WriterTApplicative interface WriterTApplicative<F, W> : Applicative<WriterTPartialOf<F, W>>, WriterTFunctor<F, W>
WriterTApplicativeError interface WriterTApplicativeError<F, W, E> : ApplicativeError<WriterTPartialOf<F, W>, E>, WriterTApplicative<F, W>
WriterTContravariantInstance interface WriterTContravariantInstance<F, W> : Contravariant<WriterTPartialOf<F, W>>
WriterTDecidableInstance interface WriterTDecidableInstance<F, W> : Decidable<WriterTPartialOf<F, W>>, WriterTDivisibleInstance<F, W>
WriterTDivideInstance interface WriterTDivideInstance<F, W> : Divide<WriterTPartialOf<F, W>>, WriterTContravariantInstance<F, W>
WriterTDivisibleInstance interface WriterTDivisibleInstance<F, W> : Divisible<WriterTPartialOf<F, W>>, WriterTDivideInstance<F, W>
WriterTFunctor interface WriterTFunctor<F, W> : Functor<WriterTPartialOf<F, W>>
WriterTMonad interface WriterTMonad<F, W> : Monad<WriterTPartialOf<F, W>>, WriterTApplicative<F, W>
WriterTMonadError interface WriterTMonadError<F, W, E> : MonadError<WriterTPartialOf<F, W>, E>, WriterTApplicativeError<F, W, E>, WriterTMonad<F, W>
WriterTMonadFilter interface WriterTMonadFilter<F, W> : MonadFilter<WriterTPartialOf<F, W>>, WriterTMonad<F, W>
WriterTMonadThrow interface WriterTMonadThrow<F, W> : MonadThrow<WriterTPartialOf<F, W>>, WriterTMonadError<F, W, Throwable>
WriterTMonadWriter interface WriterTMonadWriter<F, W> : MonadWriter<WriterTPartialOf<F, W>, W>, WriterTMonad<F, W>
WriterTMonoidK interface WriterTMonoidK<F, W> : MonoidK<WriterTPartialOf<F, W>>, WriterTSemigroupK<F, W>
WriterTSemigroupK interface WriterTSemigroupK<F, W> : SemigroupK<WriterTPartialOf<F, W>>

Extensions for External Classes

arrow.core.Ior  
arrow.Kind  
arrow.mtl.EitherT  
arrow.mtl.OptionT  
arrow.mtl.ReaderApi  
arrow.mtl.StateApi  
arrow.mtl.StateT  
arrow.mtl.WriterT