arrow-mtl / arrow.mtl.extensions

Package arrow.mtl.extensions

Types

AccumTAlternative interface AccumTAlternative<S, F> : Alternative<AccumTPartialOf<S, F>>, AccumTApplicative<S, F>
AccumTApplicative interface AccumTApplicative<S, F> : Applicative<AccumTPartialOf<S, F>>
AccumTApplicativeError interface AccumTApplicativeError<S, F, E> : ApplicativeError<AccumTPartialOf<S, F>, E>, AccumTApplicative<S, F>
AccumTFunctor interface AccumTFunctor<S, F> : Functor<AccumTPartialOf<S, F>>
AccumTMonad interface AccumTMonad<S, F> : Monad<AccumTPartialOf<S, F>>, AccumTApplicative<S, F>
AccumTMonadError interface AccumTMonadError<S, F, E> : MonadError<AccumTPartialOf<S, F>, E>, AccumTApplicativeError<S, F, E>, AccumTMonad<S, F>
AccumTMonadPlus interface AccumTMonadPlus<W, F> : MonadPlus<AccumTPartialOf<W, F>>, AccumTMonad<W, F>, AccumTAlternative<W, F>
AccumTMonadReader interface AccumTMonadReader<S, W, F> : MonadReader<AccumTPartialOf<W, F>, S>, AccumTMonad<W, F>
AccumTMonadState interface AccumTMonadState<S, W, F> : MonadState<AccumTPartialOf<W, F>, S>, AccumTMonad<W, F>
AccumTMonadWriter interface AccumTMonadWriter<S, W, F> : MonadWriter<AccumTPartialOf<W, F>, S>, AccumTMonad<W, F>
AccumtTMonadTrans interface AccumtTMonadTrans<S> : MonadTrans<Kind<ForAccumT, S>>
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>
EitherTAlternative interface EitherTAlternative<L, F> : Alternative<EitherTPartialOf<L, F>>, EitherTApplicative<L, F>
EitherTApplicative interface EitherTApplicative<L, F> : Applicative<EitherTPartialOf<L, F>>, EitherTApply<L, F>
EitherTApplicativeError interface EitherTApplicativeError<L, F> : ApplicativeError<EitherTPartialOf<L, F>, L>, EitherTApplicative<L, F>
EitherTApply interface EitherTApply<L, F> : Apply<EitherTPartialOf<L, F>>, EitherTFunctor<L, F>
EitherTContravariant interface EitherTContravariant<L, F> : Contravariant<EitherTPartialOf<L, F>>
EitherTDecidableInstance interface EitherTDecidableInstance<L, F> : Decidable<EitherTPartialOf<L, F>>, EitherTDivisibleInstance<L, F>
EitherTDivide interface EitherTDivide<L, F> : Divide<EitherTPartialOf<L, F>>, EitherTContravariant<L, F>
EitherTDivisibleInstance interface EitherTDivisibleInstance<L, F> : Divisible<EitherTPartialOf<L, F>>, EitherTDivide<L, F>
EitherTEqK interface EitherTEqK<L, F> : EqK<EitherTPartialOf<L, F>>
EitherTFoldable interface EitherTFoldable<L, F> : Foldable<EitherTPartialOf<L, F>>
EitherTFunctor interface EitherTFunctor<L, F> : Functor<EitherTPartialOf<L, F>>
EitherTMonad interface EitherTMonad<L, F> : Monad<EitherTPartialOf<L, F>>, EitherTApplicative<L, F>
EitherTMonadError interface EitherTMonadError<L, F> : MonadError<EitherTPartialOf<L, F>, L>, EitherTApplicativeError<L, F>, EitherTMonad<L, F>
EitherTMonadReader interface EitherTMonadReader<L, F, D> : MonadReader<EitherTPartialOf<L, F>, D>, EitherTMonad<L, F>
EitherTMonadState interface EitherTMonadState<L, F, S> : MonadState<EitherTPartialOf<L, F>, S>, EitherTMonad<L, F>
EitherTMonadThrow interface EitherTMonadThrow<L, F> : MonadThrow<EitherTPartialOf<L, F>>, EitherTMonad<L, F>
EitherTMonadTrans interface EitherTMonadTrans<L> : MonadTrans<Kind<ForEitherT, L>>
EitherTMonadWriter interface EitherTMonadWriter<L, F, W> : MonadWriter<EitherTPartialOf<L, F>, W>, EitherTMonad<L, F>
EitherTSemigroupK interface EitherTSemigroupK<L, F> : SemigroupK<EitherTPartialOf<L, F>>
EitherTTraverse interface EitherTTraverse<L, F> : Traverse<EitherTPartialOf<L, F>>, EitherTFunctor<L, F>, EitherTFoldable<L, F>
Function1MonadReader interface Function1MonadReader<I> : MonadReader<Function1PartialOf<I>, I>, Function1Monad<I>
KleisliAlternative interface KleisliAlternative<D, F> : Alternative<KleisliPartialOf<D, F>>, KleisliApplicative<D, F>
KleisliApplicative interface KleisliApplicative<D, F> : Applicative<KleisliPartialOf<D, F>>, KleisliApply<D, F>
KleisliApplicativeError interface KleisliApplicativeError<D, F, E> : ApplicativeError<KleisliPartialOf<D, F>, E>, KleisliApplicative<D, F>
KleisliApply interface KleisliApply<D, F> : Apply<KleisliPartialOf<D, F>>, KleisliFunctor<D, F>
KleisliContravariantInstance interface KleisliContravariantInstance<D, F> : Contravariant<KleisliPartialOf<D, F>>
KleisliDecidableInstance interface KleisliDecidableInstance<D, F> : Decidable<KleisliPartialOf<D, F>>, KleisliDivisibleInstance<D, F>
KleisliDivideInstance interface KleisliDivideInstance<D, F> : Divide<KleisliPartialOf<D, F>>, KleisliContravariantInstance<D, F>
KleisliDivisibleInstance interface KleisliDivisibleInstance<D, F> : Divisible<KleisliPartialOf<D, F>>, KleisliDivideInstance<D, F>
KleisliFunctor interface KleisliFunctor<D, F> : Functor<KleisliPartialOf<D, F>>
KleisliMonad interface KleisliMonad<D, F> : Monad<KleisliPartialOf<D, F>>, KleisliApplicative<D, F>
KleisliMonadError interface KleisliMonadError<D, F, E> : MonadError<KleisliPartialOf<D, F>, E>, KleisliApplicativeError<D, F, E>, KleisliMonad<D, F>
KleisliMonadLogic interface KleisliMonadLogic<D, F> : MonadLogic<KleisliPartialOf<D, F>>, KleisliMonadPlus<D, F>
KleisliMonadPlus interface KleisliMonadPlus<D, F> : MonadPlus<KleisliPartialOf<D, F>>, KleisliMonad<D, F>, KleisliAlternative<D, F>
KleisliMonadReader interface KleisliMonadReader<D, F> : MonadReader<KleisliPartialOf<D, F>, D>, KleisliMonad<D, F>
KleisliMonadState interface KleisliMonadState<D, F, S> : MonadState<KleisliPartialOf<D, F>, S>, KleisliMonad<D, F>
KleisliMonadThrow interface KleisliMonadThrow<D, F> : MonadThrow<KleisliPartialOf<D, F>>, KleisliMonadError<D, F, Throwable>
KleisliMonadTrans interface KleisliMonadTrans<D> : MonadTrans<Kind<ForKleisli, D>>
KleisliMonadWriter interface KleisliMonadWriter<D, F, W> : MonadWriter<KleisliPartialOf<D, F>, W>, KleisliMonad<D, F>
OptionTAlternative interface OptionTAlternative<F> : Alternative<OptionTPartialOf<F>>, OptionTApplicative<F>
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>
OptionTEqK interface OptionTEqK<F> : EqK<OptionTPartialOf<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>
OptionTMonadPlus interface OptionTMonadPlus<F> : MonadPlus<OptionTPartialOf<F>>, OptionTMonad<F>, OptionTAlternative<F>
OptionTMonadReader interface OptionTMonadReader<F, D> : MonadReader<OptionTPartialOf<F>, D>, OptionTMonad<F>
OptionTMonadState interface OptionTMonadState<F, S> : MonadState<OptionTPartialOf<F>, S>, OptionTMonad<F>
OptionTMonadThrow interface OptionTMonadThrow<F> : MonadThrow<OptionTPartialOf<F>>, OptionTMonadError<F, Throwable>
OptionTMonadTrans interface OptionTMonadTrans : MonadTrans<ForOptionT>
OptionTMonadWriter interface OptionTMonadWriter<F, W> : MonadWriter<OptionTPartialOf<F>, W>, OptionTMonad<F>
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>
StateTAlternative interface StateTAlternative<S, F> : Alternative<StateTPartialOf<S, F>>, StateTMonoidK<S, F>, StateTApplicative<S, F>
StateTApplicative interface StateTApplicative<S, F> : Applicative<StateTPartialOf<S, F>>, StateTFunctor<S, F>
StateTApplicativeError interface StateTApplicativeError<S, F, E> : ApplicativeError<StateTPartialOf<S, F>, E>, StateTApplicative<S, F>
StateTContravariantInstance interface StateTContravariantInstance<S, F> : Contravariant<StateTPartialOf<S, F>>
StateTDecidableInstante interface StateTDecidableInstante<S, F> : Decidable<StateTPartialOf<S, F>>, StateTDivisibleInstance<S, F>
StateTDivideInstance interface StateTDivideInstance<S, F> : Divide<StateTPartialOf<S, F>>, StateTContravariantInstance<S, F>
StateTDivisibleInstance interface StateTDivisibleInstance<S, F> : Divisible<StateTPartialOf<S, F>>, StateTDivideInstance<S, F>
StateTFunctor interface StateTFunctor<S, F> : Functor<StateTPartialOf<S, F>>
StateTMonad interface StateTMonad<S, F> : Monad<StateTPartialOf<S, F>>, StateTApplicative<S, F>
StateTMonadCombine interface StateTMonadCombine<S, F> : MonadCombine<StateTPartialOf<S, F>>, StateTMonad<S, F>, StateTAlternative<S, F>
StateTMonadError interface StateTMonadError<S, F, E> : MonadError<StateTPartialOf<S, F>, E>, StateTApplicativeError<S, F, E>, StateTMonad<S, F>
StateTMonadLogic interface StateTMonadLogic<S, F> : MonadLogic<StateTPartialOf<S, F>>, StateTMonadPlus<S, F>
StateTMonadPlus interface StateTMonadPlus<S, F> : MonadPlus<StateTPartialOf<S, F>>, StateTMonad<S, F>, StateTAlternative<S, F>
StateTMonadReader interface StateTMonadReader<S, F, D> : MonadReader<StateTPartialOf<S, F>, D>, StateTMonad<S, F>
StateTMonadState interface StateTMonadState<S, F> : MonadState<StateTPartialOf<S, F>, S>, StateTMonad<S, F>
StateTMonadThrow interface StateTMonadThrow<S, F> : MonadThrow<StateTPartialOf<S, F>>, StateTMonadError<S, F, Throwable>
StateTMonadTrans interface StateTMonadTrans<S> : MonadTrans<Kind<ForStateT, S>>
StateTMonadWriter interface StateTMonadWriter<S, F, W> : MonadWriter<StateTPartialOf<S, F>, W>, StateTMonad<S, F>
StateTMonoidK interface StateTMonoidK<S, F> : MonoidK<StateTPartialOf<S, F>>, StateTSemigroupK<S, F>
StateTSemigroupK interface StateTSemigroupK<S, F> : SemigroupK<StateTPartialOf<S, F>>
WriterTAlternative interface WriterTAlternative<W, F> : Alternative<WriterTPartialOf<W, F>>, WriterTApplicative<W, F>, WriterTMonoidK<W, F>
WriterTApplicative interface WriterTApplicative<W, F> : Applicative<WriterTPartialOf<W, F>>, WriterTFunctor<W, F>
WriterTApplicativeError interface WriterTApplicativeError<W, F, E> : ApplicativeError<WriterTPartialOf<W, F>, E>, WriterTApplicative<W, F>
WriterTContravariantInstance interface WriterTContravariantInstance<W, F> : Contravariant<WriterTPartialOf<W, F>>
WriterTDecidableInstance interface WriterTDecidableInstance<W, F> : Decidable<WriterTPartialOf<W, F>>, WriterTDivisibleInstance<W, F>
WriterTDivideInstance interface WriterTDivideInstance<W, F> : Divide<WriterTPartialOf<W, F>>, WriterTContravariantInstance<W, F>
WriterTDivisibleInstance interface WriterTDivisibleInstance<W, F> : Divisible<WriterTPartialOf<W, F>>, WriterTDivideInstance<W, F>
WriterTEqK interface WriterTEqK<W, F> : EqK<WriterTPartialOf<W, F>>
WriterTFunctor interface WriterTFunctor<W, F> : Functor<WriterTPartialOf<W, F>>
WriterTMonad interface WriterTMonad<W, F> : Monad<WriterTPartialOf<W, F>>, WriterTApplicative<W, F>
WriterTMonadError interface WriterTMonadError<W, F, E> : MonadError<WriterTPartialOf<W, F>, E>, WriterTApplicativeError<W, F, E>, WriterTMonad<W, F>
WriterTMonadFilter interface WriterTMonadFilter<W, F> : MonadFilter<WriterTPartialOf<W, F>>, WriterTMonad<W, F>
WriterTMonadPlus interface WriterTMonadPlus<W, F> : MonadPlus<WriterTPartialOf<W, F>>, WriterTMonad<W, F>, WriterTAlternative<W, F>
WriterTMonadReader interface WriterTMonadReader<W, F, D> : MonadReader<WriterTPartialOf<W, F>, D>, WriterTMonad<W, F>
WriterTMonadState interface WriterTMonadState<W, F, S> : MonadState<WriterTPartialOf<W, F>, S>, WriterTMonad<W, F>
WriterTMonadThrow interface WriterTMonadThrow<W, F> : MonadThrow<WriterTPartialOf<W, F>>, WriterTMonadError<W, F, Throwable>
WriterTMonadTrans interface WriterTMonadTrans<W> : MonadTrans<Kind<ForWriterT, W>>
WriterTMonadWriter interface WriterTMonadWriter<W, F> : MonadWriter<WriterTPartialOf<W, F>, W>, WriterTMonad<W, F>
WriterTMonoidK interface WriterTMonoidK<W, F> : MonoidK<WriterTPartialOf<W, F>>, WriterTSemigroupK<W, F>
WriterTSemigroupK interface WriterTSemigroupK<W, F> : SemigroupK<WriterTPartialOf<W, F>>

Extensions for External Classes

arrow.Kind  
arrow.mtl.EitherT  
arrow.mtl.Kleisli  
arrow.mtl.OptionT  
arrow.mtl.ReaderApi  
arrow.mtl.StateApi  
arrow.mtl.StateT  
arrow.mtl.WriterT  
arrow.typeclasses.EqK  

Do you like Arrow?

Arrow Org
<