Exit

Exit<A, E> 描述了运行 Effect 工作流的结果。

Exit<A, E> 有两种可能的状态：

• Exit.Success：包含类型为 A 的成功值。
• Exit.Failure：包含类型为 E 的失败 Cause。

创建 Exits

Exit 模块提供了两个主要函数来构造退出值：Exit.succeed 和 Exit.failCause。 这些函数以成功或失败的形式表示有效计算的结果。

succeed

Exit.succeed 创建一个表示成功结果的 Exit 值。 当您想要指示计算成功完成并提供结果值时，可以使用此函数。

示例（创建成功的 Exit）

import { Exit } from "effect"

// 创建一个表示成功结果的 Exit，值为 42
//
//      ┌─── Exit<number, never>
//      ▼
const successExit = Exit.succeed(42)

console.log(successExit)
// 输出: { _id: 'Exit', _tag: 'Success', value: 42 }

failCause

Exit.failCause 创建一个表示失败的 Exit 值。 失败使用 Cause 对象描述，它可以封装预期错误、缺陷、中断，甚至复合错误。

示例（创建失败的 Exit）

import { Exit, Cause } from "effect"

// 创建一个表示失败的 Exit，带有错误消息
//
//      ┌─── Exit<never, string>
//      ▼
const failureExit = Exit.failCause(Cause.fail("Something went wrong"))

console.log(failureExit)
/*
输出:
{
  _id: 'Exit',
  _tag: 'Failure',
  cause: { _id: 'Cause', _tag: 'Fail', failure: 'Something went wrong' }
}
*/

模式匹配

您可以使用 Exit.match 函数处理 Exit 的不同结果。 此函数允许您提供两个单独的回调来处理 Effect 执行的成功和失败情况。

示例（匹配成功和失败状态）

import { Effect, Exit, Cause } from "effect"

//      ┌─── Exit<number, never>
//      ▼
const simulatedSuccess = Effect.runSyncExit(Effect.succeed(1))

console.log(
  Exit.match(simulatedSuccess, {
    onFailure: (cause) =>
      `以失败状态退出: ${Cause.pretty(cause)}`,
    onSuccess: (value) => `以成功值退出: ${value}`
  })
)
// 输出: "以成功值退出: 1"

//      ┌─── Exit<never, string>
//      ▼
const simulatedFailure = Effect.runSyncExit(
  Effect.failCause(Cause.fail("error"))
)

console.log(
  Exit.match(simulatedFailure, {
    onFailure: (cause) =>
      `以失败状态退出: ${Cause.pretty(cause)}`,
    onSuccess: (value) => `以成功值退出: ${value}`
  })
)
// 输出: "以失败状态退出: Error: error"

Exit vs Either

从概念上讲，Exit<A, E> 可以被认为是 Either<A, Cause<E>>。但是，Cause 类型不仅仅表示类型为 E 的预期错误。它包括：

• 中断原因
• 缺陷（意外错误）
• 多个原因的组合

这使得 Cause 与简单的 Either 相比，能够捕获更丰富和更复杂的错误状态。

Exit vs Effect

Exit 实际上是 Effect 的子类型。这意味着 Exit 值也可以被视为 Effect 值。

• 本质上，Exit 是一个”常量计算”。
• Effect.succeed 本质上与 Exit.succeed 相同。
• Effect.failCause 与 Exit.failCause 相同。