如何在fp-ts中組合Either對象的左側？

Question

對於返回Either的不同值，我有兩個驗證函數。 如果其中一個具有left值，我想拋出一個異常，如果兩者都是right則什么也不做。 我以前從未使用過 fp-ts 並且無法弄清楚如何正確組合左側結果。 我當前的解決方案有效，但感覺我沒有正確使用它。

import { Either, left, right, isLeft, getOrElse } from 'fp-ts/lib/Either';

function validateMonth( m: Month ): Either<Error, Month> {
   return m.isInRange() ? right(m) : left(new Error('Month must be in range!'));
}

function validateYear( y: Year ): Either<Error, Year> {
   return year.isBefore(2038) ? right(y) : left(new Error('Year must be before 2038!'));
}

function throwingValidator(m: Month, y: Year): void {
 // todo: Refactor to get rid of intermediate variables,
 // combining results of validateMonth and validateYear into a type
 // of Either<Error, Unit>
 const monthResult = validateMonth( month );
 const yearResult = validateYear( year );
 const throwOnError = (e: Error) => { throw e; };
 if ( isLeft( monthResult ) ) { getOrElse(throwOnError)(monthResult); }
 if ( isLeft( yearResult ) ) { getOrElse(throwOnError)(yearResult); }
}

我已經閱讀了https://dev.to/gcanti/getting-started-with-fp-ts-either-vs-validation-5eja的介紹，但該代碼與我想要的完全相反：我不關心驗證后的輸入值，並且只想返回發生的第一個錯誤。

Answer 1

您可能正在尋找類似的東西

const toPromise = fold(e => Promise.reject(e), r => Promise.resolve(r));

Promise.all([
    toPromise(validateMonth(month)),
    toPromise(validateYear(year)),
]).then(([validMonth, validYear]) => {
    return …
});

或更實用的方式

toPromise(ap(ap(of(validMonth => validYear => {
    return …
}), validateMonth(month)), validateYear(year)))

您還可以使用array.sequence和之后的Promise.all執行toPromise 。

Answer 2

忽略throwingValidator和 throwing（這首先違背了使用fp-ts的目的）並且只關注這個特定的請求：

重構去掉中間變量，將 validateMonth 和 validateYear 的結果組合成一個 Either 類型

您可能正在尋找：

const monthAndYearResult: Either<
  Error,
  { month: Month, year: Year }
> = sequenceS(either)({
  month: validateMonth(month),
  year: validateYear(year)
})

“排序”通常需要Traversable的實例（在這種情況下either struct { year, month } ）和Applicative的實例（在這種情況下），並且語義是將不同的獨立計算聚合在一起的語義。

如果您明確想要忽略結果，通常會提供一個_ -suffix 替代方案來完成此操作，但目前在fp-ts v2 中還沒有。

要獲得Either<Error, void>您可以求助於：

const result = pipe(
  sequenceS(E.either)({ month: validateMonth(month), year: validateYear(year) }),
  E.map(constVoid)
)

---

請注意， sequenceS只是可能的選項之一，您可以使用sequenceT或array.sequence來獲得類似的結果，例如：

pipe(
  sequenceT(either)([validateMonth(month), validateYear(year)]),
  E.map(constVoid)
)