lean4-code-actions/libs/utils/Result/splitResults.ts

Refactorings and snippets for Lean 4

import { Result } from './index'
import { isFailure, isSuccess } from './predicates'

export const splitResults = <Value, Error>(results: Result<Value, Error>[]) => {
  return {
    values: results.filter(isSuccess).map(r => r.data),
    errors: results.filter(isFailure).map(r => r.error),
  }
}