使用 fp-ts 和 io-ts 获取和映射数据

Question

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

我在寻找什么

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

我到目前为止的代码

/**
 * 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));
};

Answer 1

我认为您在这里有一些选项可以返回您想要返回的内容，并且我认为fp-ts / io-ts的默认行为与您想要的内容并不完全一致。

这是怎么回事

解析t.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[]>
);

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