arrow-mtl / arrow.mtl.extensions / EitherTTraverse

EitherTTraverse

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

Functions

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

Do you like Arrow?

Arrow Org
<