functional-programming - 转换任意一个数组要么（Scalaz中的序列函数）

Question

我仍在学习和玩 fp-ts，但无法弄清楚这一点。

我有一个数组，Either<any, number>[]我想得到一个Either<any, number[]>.

我查看Apply.sequenceT了示例 sequenceToOption ，它看起来很接近。

import { NumberFromString } from 'io-ts-types/lib/NumberFromString'
import { Either } from 'fp-ts/lib/Either'

const a:Either<any,number>[] = ['1','2','3'].map(NumberFromString.decode)

console.log(a)
// [ { _tag: 'Right', right: 1 },
//   { _tag: 'Right', right: 2 },
//   { _tag: 'Right', right: 3 } ]

我想要一个错误或数字数组。

Answer 1

要从Array<Either<L, A>>到Either<L, Array<A>>你可以使用sequence：

import { array } from 'fp-ts/lib/Array'
import { either } from 'fp-ts/lib/Either'

array.sequence(either)(arrayOfEithers)

您的示例也可以使用进一步简化traverse

array.traverse(either)(['1','2','3'], NumberFromString.decode)

Answer 2

如果您已经在使用 io-ts，我建议您将数组添加到解码器，如下所示：

import { NumberFromString } from 'io-ts-types/lib/NumberFromString'
import * as t from 'io-ts'

const { decode } = t.array(NumberFromString)

const resultA = decode(['1','2','3']);
const resultB = decode(['1','2','junk']);

console.log(resultA) // { _tag: 'Right', right: [1, 2, 3] }
console.log(resultB) // { _tag: 'Left', left: <ERRORS> }

否则乔瓦尼的回答应该没问题。