1

我正在努力将我获取的数据“按摩”成我想要的形状，fp-ts用于功能转换和io-ts数据验证。

我在寻找什么

我想getSchools()返回一个Error描述出错的地方，或者一个经过验证School的数组。我的代码有些工作，但问题是，如果获取的学校数组中的一所学校未能通过验证，那么一切都会失败。我只想过滤掉那些失败的，然后返回其余的。

我到目前为止的代码

/**
 * API route for all Schools
 */
export default async (_: NextApiRequest, res: NextApiResponse<unknown>) => {
  return new Promise(
    pipe(
      getSchools(),
      fold(
        (e) => of(res.status(400).end(e.message)),
        (v) => of(res.status(200).json(v))
      )
    )
  );
};

/**
 * Handler for fetching Schools
 */
export function getSchools(): TaskEither<Error, Array<School>> {
  return pipe(
    fetch(schoolQuery(schoolQueryBody)),
    chain(mapToschools),
    chain(decode(t.array(School)))
  );
}

function mapToschools(
  inputs: Array<any>
): TaskEither<Error, Array<School>> {
  try {
    return right(inputs.map(mapToschool));
  } catch (e) {
    return left(new Error("Could not map input to school"));
  }
}

export function mapToschool(input: any): School // Can throw Error

export const schoolQueryBody = `...`;

function fetch(query: string): TaskEither<Error, unknown>

export function decodeError(e: t.Errors): Error {
  const missingKeys = e.map((e) => e.context.map(({ key }) => key).join("."));
  return new Error(`Missing keys: ${missingKeys}`);
}

export const decode = <I, A>(Type: t.Decoder<I, A>) => (
  res: I
): TaskEither<Error, A> => {
  return pipe(fromEither(Type.decode(res)), mapLeft(decodeError));
};
4

1 回答 1

1

我认为你在这里有一些你想要返回的选项，我认为fp-ts/的默认行为io-ts并没有完全符合你想要的。

这是怎么回事

解析 at.array时，只要其中一个值无法解码，就会失败。在我看来，您想单独尝试解码每个值而不是使用t.array.

建议

我想我会改为这样说：

import { pipe } from 'fp-ts/lib/function';
import * as ArrayFP from 'fp-ts/lib/Array';

const undecodedSchools: unknown[] = [/* ... school response */];
const schools: School[] = pipe(
  undecodedSchools,
  ArrayFP.map(schoolCodec.decode), // Array<Either<t.Errors, School>>
  ArrayFP.rights, // Takes an Array<Either<E, A>> -> Array<A>
);

这完全摆脱了Either可能不是你想要的。如果您想查看错误，可能值得改为：

const schools: {
  left: Error[],
  right: School[],
} = pipe(
  undecodedSchools,
  ArrayFP.map(schoolCodec.decode), // Array<Either<t.Errors, School>>
  ArrayFP.separate, // Takes an Array<Either<A, B>> -> Separated<A[], B[]>
);

这将两种类型的事物从任一数组中分离出来。

于 2021-02-08T11:29:06.547 回答