List<Either<E, A>>からEither<List<E>, List<A>>を取らない
List<Either<E, A>>から「全てのleft値 or 全てのright値」を取るときは、左にNonEmptyList<E>をかけること。
結論
Either<List<E>, List<A>>ではなくEither<NonEmptyList<E>, List<A>>を使いましょう！
import arrow.core.Either
import arrow.core.left
import arrow.core.right
import arrow.data.NonEmptyList
/**
* leftが1つでもあれば全てのleftを。
* そうでなければ全てのrightを返します。
*
* ```
* >>> val xs = listOf<Either<Unit, Unit>>()
* >>> xs.collect()
* Right(b=[])
* ```
*/
fun <E, T> List<Either<E, T>>.collect(): Either<NonEmptyList<E>, List<T>> {
val (lefts, rights) = this.partition { it is Either.Left }
return when (val head = lefts.getOrNull(0)) {
null -> rights.map(::unsafeRight).right()
else -> NonEmptyList(head, lefts.drop(1).map(::unsafeLeft)).left()
}
}
private fun <E, T> unsafeLeft(self: Either<E, T>): E = (self as Either.Left).a
private fun <E, T> unsafeRight(self: Either<E, T>): T = (self as Either.Right).b対象言語
Either<E, A>とList<T>がある言語全般。
以下Kotlinでは、kotlinに基本的・応用的な代数的データ型を提供してくれるライブラリarrowを用います。
（僕の推しライブラリなので、見てみてください！ まだドキュメントが充実していない気はしますが、着々と進んでいるようです。）
概要
List<Either<E, A>>の値がときに
「left値1つでもがあれば全てのleft値を。そうでなければ全てのright値を返す」
という関数が欲しいことがしばしばあるかと思います。
これを素直に表すと
/**
* leftが1つでもあれば全てのleftを。
* そうでなければ全てのrightを返します。
*
* ```
* >>> val xs = listOf<Either<Unit, Unit>>()
* >>> xs.collect()
* Right(b=[])
* ```
*/
fun <E, T> List<Either<E, T>>.collect(): Either<List<E>, List<T>>のようになるかと思います。
しかしこれは型の上で見ると、空リストを渡したときにLeft(listOf())が返ってくる可能性も見えてしまいます。
（ドキュメント化はしてありますが……。）
ですのでこのような場合はNonEmptyList<E>をかけることで、曖昧さがなくなります！
