Question

我有以下课程：

class Person(id: Long, name: String)

sealed class PersonError {
    data class InvalidId(val field: String) : PersonError()
    data class InvalidName(val field: String) : PersonError()
}

当我循环并通过多人验证时，我得到：

List<ValidatedNel<Error, Person>>

或：

List<Validated<Error, Person>>

如何将以上列表转换为：

Validated<Nel<MappingError>, List<Person>>

我想累积所有与验证所有人有关的错误。这是必需的，因为我要执行以下操作：

val vId : ValidatedNel<Error, Long> = validateId(id).toValidatedNel()
val vPersons : List<ValidatedNel<Error, Person>> = validatePersons(persons).toValidatedNel()

ValidatedNel.applicative<Nel<PersonError>>(Nel.semigroup<PersonError>())
    .map(vId, vPersons) {
        val id = it.a
        val persons = it.b
        Group(id, persons)
    }.fix()

当前的“地图”不接受List<ValidatedNel<Error>, Person>>

Answer 1

Validated的左侧需要Semigroup来收集所有错误； Validated的右侧需要product（因为Group(a, b)是一种产品类型）；并且在特定人员中累积错误需要sequence（或具有身份功能的traverse）来收集给定人员的所有错误，因此以下操作应该有效：

        val SE = Nel.semigroup<PersonError>()

        val validatedGroup: ValidatedNel<PersonError, Group> = vId.product(
                SE,
                vPersons.sequence(ValidatedNel.applicative(SE)).fix().map { it.fix() }
        ).map(::Group.tupled2())

我认为在Arrow即将发布的版本中，对fix（）的调用将被最小化或消除，因此希望.fix().map { it.fix() }可以很快被删除。

Kotlin箭头结合了经过验证的列表

1 个答案: