arrow-mtl / arrow.mtl.extensions / EitherTTraverse

EitherTTraverse

@extension interface EitherTTraverse<F, L> : Traverse<EitherTPartialOf<F, L>>, EitherTFunctor<F, L>, EitherTFoldable<F, L>

Functions

FF open fun FF(): Functor<F>
FFF open fun FFF(): Foldable<F>
map open fun <A, B> EitherTOf<F, L, A>.map(f: (A) -> B): EitherT<F, L, B>
TF abstract fun TF(): Traverse<F>
traverse open fun <G, B, C> EitherTOf<F, L, B>.traverse(AP: Applicative<G>, f: (B) -> Kind<G, C>): Kind<G, EitherT<F, L, C>>

Do you like Arrow?

Arrow Org
<