if any one `enrichValue` fails, the whole operatio...
# arrow
p
if any one
enrichValue
fails, the whole operation fails. Else it aggregates the successes on the right, which you map to the update of your previous value.
j
hey @pakoito this seems like a really handy composition. where does
sequence
come from? i see a sorta similar extfun on some of the other arrow types but not on
Either
so maybe that code needs to do
k()
to convert from List to ListK
In any case the Either one isn't there apparently. It'll be in 0.8.0. If we want it for 0.7.3 could you please PR it here? https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-instances-core/src/main/kotlin/arrow/instances/either.kt#L112-L113
Copy code
fun <G, A, B> EitherOf<A, Kind<G, B>>.traverse(GA: Applicative<G>): Kind<G, Either<A, B>> =
  traverse(GA, ::identity)
@joshua.ewer
j
Awesome I’ll look at it today. Thanks!