Конвертировать задачу либо [] в TaskEither - PullRequest
Новая
       40

Конвертировать задачу либо [] в TaskEither

1 голос
/ 21 марта 2020

Я все еще учусь и играю с fp-ts и не могу понять это. У меня есть несколько вызовов API, и я хочу собрать все успешные ответы и все ошибки в массивы.

Итак, я попытался использовать array.sequence: 

TE.map(schedules =>
  array.sequence(TE.taskEither)(
    schedules.map(({ Program, ...schedule }) =>
      pipe(
        createProgramIfNotExist(Program),
        TE.map(createdProgram =>
          setRecordingSchedules(programsClient, { ...schedule, ProgramId: createdProgram.Id }),
        ),
        TE.flatten,
      ),
    ),
  ),
),
TE.flatten

, который прекрасно работает для ответы, но я получаю только последнюю ошибку от вызовов API. Есть ли способ собрать все ошибки в один массив?

Ниже я написал функции, которые делают вызовы API, на случай, если у меня возникнет проблема. 

export const setRecordingSchedules = (
  fetcher: AxiosInstance,
  config: RecordingConfig,
): TE.TaskEither<Error, [ReturnType<typeof Schedule.codec.encode>, number]> => {
  const url = `/programs/${config.ProgramId}/recordingschedules`;
  return pipe(Schedule.codec.encode({ ...config, AutoPodcastConfig }), body =>
    pipe(
      TE.tryCatch(
        () => handleRateLimit(() => fetcher.put(url, body)),
        err => raiseUpdateError(unknownToError(err)),
      ),
      TE.map(({ status }) => [body, status]),
    ),
  );
};

export const createRecordingSchedule = (
  fetcher: AxiosInstance,
  program: Program.Type,
): TE.TaskEither<Error, Program.Type> =>
  pipe(
    Program.codec.encode(program),
    body =>
      pipe(
        TE.tryCatch(
          () => handleRateLimit(() => fetcher.post('/programs', body)),
          err => raiseCreateError(unknownToError(err)),
        ),
        TE.map(({ data }) =>
          pipe(
            Program.codec.decode({ ...data, Network: program.Network }),
            E.bimap(
              errors => ReportValidationError(errors, { ...data, Network: program.Network }),
              decoded => decoded,
            ),
            TE.fromEither,
          ),
        ),
      ),
    TE.flatten,
  );

Ответы [ 2 ]

0 голосов
/ 04 апреля 2020

Решение было использовать traverse. Идея состоит в том, чтобы получить моноид задачи проверки и объединить каждый E в массив. 

array.traverse(TE.getTaskValidation(A.getMonoid<E>()))(xs, TE.mapLeft(A.of))

Полное рабочее решение: 

import { array, getMonoid, of as arrayOf } from 'fp-ts/lib/Array';

TE.chain(schedules =>
  array.sequence(TE.taskEither)(
    schedules.map(({ Program, ...schedule }) =>
      pipe(
        createProgramIfNotExist(Program),
        TE.map(createdProgram =>
          setRecordingSchedules(programsClient, { ...schedule, ProgramId: createdProgram.Id }),
        ),
      ),
    ),
    xs => array.traverse(TE.getTaskValidation(getMonoid<E>()))(xs, TE.mapLeft(arrayOf)),
  ),
),
0 голосов
/ 22 марта 2020

Идея состоит в том, чтобы преобразовать TaskEither<E, A>[] -> Task<Either<E, A>[]>, а затем с помощью функции слияния Either<E, A>[] -> Either<E[], A[]> вы можете достичь того, что вы хотите. Функция слияния также выполняется в несколько шагов:

  • Создание моноида проверки для Either<E[], A[]>
  • Either<E, A> -> Either<E[], A[]> - тривиальное перенос значения или ошибки в одноэлементные массивы
  • foldMap Either<E, A>[] путем сопоставления с вышеуказанной оболочкой и складывания с использованием вышеуказанного моноида 
import * as E from 'fp-ts/lib/Either';
import * as A from 'fp-ts/lib/Array';

// type Error = ...
// type Result = ...

// Make a validation monoid for `Either<E[], A[]>`
const validationMonoid = E.getValidationMonoid(A.getMonoid<Error>(), A.getMonoid<Result>());

// `Either<E, A> -> Either<E[], A[]>` - trivial wrap of value or error into singleton arrays
const validationWrap = E.bimap(x => [x], x => [x]);

// `foldMap` `Either<E, A>[]` by mapping with the above wrapper and folding using above monoid
const validationMerge = E.foldMap(validationMonoid)(validationWrap);

Теперь вы можете сделать 

const tasks: TaskEither<Error, Result>[] = ...;

const aggregatedResults: TaskEither<Error[], Result[]> = pipe(
  // convert `TaskEither<E, A>[] -> Task<Either<E, A>[]>`
  array.sequence(T.task)(tasks),
  // and then apply the merge
  T.map(validationMerge)
);
...