arrow-mtl / arrow.mtl.extensions / EitherTFunctor

EitherTFunctor

@extension interface EitherTFunctor<F, L> : Functor<EitherTPartialOf<F, L>>

Functions

FF abstract fun FF(): Functor<F>
map open fun <A, B> EitherTOf<F, L, A>.map(f: (A) -> B): EitherT<F, L, B>

Inheritors

EitherTApplicative interface EitherTApplicative<F, L> : Applicative<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>
EitherTApply interface EitherTApply<F, L> : Apply<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>
EitherTTraverse interface EitherTTraverse<F, L> : Traverse<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>, EitherTFoldable<F, L>