如何从 ReaderEither<R, E, A> [] 给读者<R, E[], A[]>在 fp-ts 中？

Question

在 fp-ts 中，我如何从ReaderEither<R, E, A>[]到ReaderEither<R, E[], A[]> ？ 本质上，我想将ReaderEither实例数组转换为单个ReaderEither实例。

我试过寻找答案，但运气不佳。 我是函数式编程和 fp-ts 的新手，所以我仍在尝试围绕所有概念并将它们付诸实践。 我感谢您的帮助。

Answer 1

尝试这个：

import * as A from 'fp-ts/Array'
import {left, right} from 'fp-ts/Either'
import * as R from 'fp-ts/Reader'
import {flow} from 'fp-ts/function'
import type {ReaderEither} from 'fp-ts/ReaderEither'

const sequenceRE: <R, E, A>(
  fs: ReaderEither<R, E, A>[]
) => ReaderEither<R, E[], A[]> = flow(
  // ReaderEither<R, E, A>[] -> Reader<R, Either<E, A>[]>
  A.sequence(R.reader),
  // Maps the reader: Reader<R, Either<E, A>[]> -> ReaderEither<R, E[], A[]>
  R.map(flow(
    // Either<E, A>[] -> Separated<E[], A[]>
    A.separate,
    // Separated<E[], A[]> -> Either<E[], A[]>
    s => s.left.length ? left(s.left) : right(s.right)
  ))
)

// Right [4, 6]
sequenceRE([r => right(r * 2), r => right(r * 3)])(2)
// Left ['foo', 'bar']
sequenceRE([r => right(r * 2), r => left('foo'), r => left('bar')])(2)
// Right []
sequenceRE([])(2)

代码是这样做的：

• sequence s（来自Traversable ）将ReaderEither<R, E, A>[]转换为Reader<R, Either<E, A>[]> ReaderEither<R, E, A>[] Reader<R, Either<E, A>[]>

• separate s（来自Compactable ）从读取器中的Either<E, A>[]分离到{left: E[], right: A[]}

   interface Separated<A, B> { readonly left: A readonly right: B } // For Array: declare const separate: <A, B>(fa: Either<A, B>[]) => Separated<A[], B[]>

• 如果有任何Left S，返回Left与Left值，否则返回一个Right与Right价值观。