Блог

Я получаю an Either<E, List<A>> от вызова функции, и мне нужно преобразовать List<A> его в a List<B> . Преобразование каждого A возвращает an Either<E,B> , так что мой результат равен an Either<E, List<Either<E,B>>> . Как я могу превратить Either<E, List<Either<E,B>>> его в Either<E, List<B>> ,

• если все преобразования завершились успешно (должно привести к Either.Left , если одно преобразование завершится неудачно)
• создайте Either<E,List<B>> объект, содержащий все Bs, для которых преобразование прошло успешно, и игнорирование неудачных преобразований AtoB

Небольшой фрагмент кода ниже:

 fun getListOfA(): Either<Exception, List<A>> {
    TODO()
}

fun A.transformAtoB(): Either<Exception, B> {
    TODO()
}


fun getListB(): Either<Exception, List<B>> {
    return getListOfA().map {

        // this is now Either<Exception, List<Either<Exception, B>>>
        listOfA -> listOfA.map { it.transformAtoB() }

        // ????? => Either<E, List<B>>
    }
}
 

Существует вызываемая функция traverseEither , которая позволяет вам выполнять такого рода операции.

public inline fun <E, A, B> Iterable<A>.traverseEither(f: (A) -> Either<E, B>): Either<E, List<B>>

Для каждого значения A в Iterable нем будет вызываться f , и если все результаты будут Either.Right , то это приведет к Either.Right<List<B>> , а в противном случае это приведет к первому Either.Left<E> , с которым он столкнется.

Чтобы мы могли переписать ваш фрагмент:

 fun getListOfA(): Either<Exception, List<A>> = TODO()

fun A.transformAtoB(): Either<Exception, B> = TODO()

fun getListB(): Either<Exception, List<B>> =
    getListOfA().flatMap { listOfA ->

        // this is now Either<Exception, List<Either<Exception, B>>>
        listOfA.traverseEither { it.transformAtoB() }
    }
 

Он также существует для Validated и т. Option Д https://arrow-kt.io/docs/apidocs/arrow-core/arrow.core/kotlin.collections.-итерируемые/индексируемые.html#расширения-для-kotlincollectionsiterable

И вы также можете найти параллельные варианты внутри сопрограмм Arrow Fx