探索 Effect-TS 中的选项转换

option none some 函数 18 来源： 2024-10-23

effect-ts 提供了处理 option 和 either 类型的强大工具。在本文中，我们将探索使用库的实用函数转换和操作这些类型的各种方法。

示例 1：使用 o.getright 将 either 转换为 option

o.getright 函数将 either 转换为 option，并丢弃错误。如果 either 正确，则返回 o.some(value)，否则返回 o.none。

import { option as o, either as e, pipe } from 'effect';

function conversions_ex01() {
  const eitherright = e.right('ok'); // create an either containing the value 'ok'
  const eitherleft = e.left('error'); // create an either representing an error

  console.log(o.getright(eitherright)); // output: some('ok')
  console.log(o.getright(eitherleft)); // output: none
}

示例 2：使用 o.getleft 将 either 转换为 option

o.getleft 函数将 either 转换为 option，并丢弃该值。如果 either 为 left，则返回 o.some(error)，否则返回 o.none。

import { option as o, either as e, pipe } from 'effect';

function conversions_ex02() {
  const eitherright = e.right('ok'); // create an either containing the value 'ok'
  const eitherleft = e.left('error'); // create an either representing an error

  console.log(o.getleft(eitherright)); // output: none
  console.log(o.getleft(eitherleft)); // output: some('error')
}

示例 3：使用 o.getorelse 获取值或默认值

o.getorelse 函数如果是 some，则返回 option 内的值，否则返回提供的默认值。

import { option as o, pipe } from 'effect';

function conversions_ex03() {
  const some = o.some(1); // create an option containing the value 1
  const none = o.none(); // create an option representing no value

  console.log(
    pipe(
      some,
      o.getorelse(() =&gt; 'default')
    )
  ); // output: 1 (since some contains 1)
  console.log(
    pipe(
      none,
      o.getorelse(() =&gt; 'default')
    )
  ); // output: 'default' (since none is none)
}

示例 4：使用 o.orelse 链接选项

o.orelse 函数返回提供的 option，如果 self 为 none，否则返回 self。此功能允许选项链接，其中后备是另一个选项。

import { option as o, pipe } from 'effect';

function conversions_ex04() {
  const some1 = o.some(1); // create an option containing the value 1
  const some2 = o.some(2); // create an option containing the value 2
  const none = o.none(); // create an option representing no value

  console.log(
    pipe(
      some1,
      o.orelse(() =&gt; some2)
    )
  ); // output: some(1) (since some1 contains 1)
  console.log(
    pipe(
      none,
      o.orelse(() =&gt; some2)
    )
  ); // output: some(2) (since none is none and fallback is some2)
}

示例 5：使用 o.orelsesome 回退到默认值

如果 self 为 none，o.orelsesome 函数将返回包含在 some 中的提供的默认值，否则返回 self。此函数允许链接选项，其中回退是包含在 some 中的默认值。

import { option as o, pipe } from 'effect';

function conversions_ex05() {
  const some = o.some(1); // create an option containing the value 1
  const none = o.none(); // create an option representing no value

  console.log(
    pipe(
      some,
      o.orelsesome(() =&gt; 2)
    )
  ); // output: some(1) (since some contains 1)
  console.log(
    pipe(
      none,
      o.orelsesome(() =&gt; 2)
    )
  ); // output: some(2) (since none is none and fallback is 2)
}

示例 6：使用 o.orelseeither 将选项与 either 上下文链接起来

o.orelseeither 函数返回一个包含 either 的 option，其中 left 来自后备选项，right 来自原始选项。此函数允许链接选项，其中后备提供“任一”以获取更多上下文。

import { option as o, either as e, pipe } from 'effect';

function conversions_ex06() {
  const some1 = o.some(1); // create an option containing the value 1
  const some2 = o.some(2); // create an option containing the value 2
  const none = o.none(); // create an option representing no value

  console.log(
    pipe(
      some1,
      o.orelseeither(() =&gt; some2)
    )
  ); // output: some(right(1)) (since some1 contains 1)
  console.log(
    pipe(
      none,
      o.orelseeither(() =&gt; some2)
    )
  ); // output: some(left(2)) (since none is none and fallback is some2)
}

示例 7：使用 o.firstsomeof 查找 iterable 中的第一个 some

o.firstsomeof 函数返回在可迭代的 options 中找到的第一个 some。如果全部为none，则返回none。

import { option as o } from 'effect';

function conversions_ex07() {
  const options = [o.none(), o.some(1), o.some(2)]; // create an iterable of options
  const optionsallnone = [o.none(), o.none()]; // create an iterable of none options

  console.log(o.firstsomeof(options)); // output: some(1) (since the first non-none option is some(1))
  console.log(o.firstsomeof(optionsallnone)); // output: none (since all options are none)
}

示例 8：使用 o.torefinement 将返回选项的函数转换为类型保护

o.torefinement 函数将返回 option 的函数转换为类型保护，允许更具体的类型检查。

import { option as o } from 'effect';

function conversions_ex08() {
  const ispositive = (n: number): o.option<number> =&gt; n &gt; 0 ? o.some(n) : o.none();
  const ispositiverefinement = o.torefinement(ispositive);

  console.log(ispositiverefinement(1)); // output: true (since 1 is positive)
  console.log(ispositiverefinement(-1)); // output: false (since -1 is not positive)
}
</number>

示例 9：使用 o.toarray 将选项转换为数组

o.toarray 函数将 option 转换为数组。如果option为some，则返回包含该值的数组；如果为 none，则返回一个空数组。

import { Option as O } from 'effect';

function conversions_ex09() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value

  console.log(O.toArray(some)); // Output: [1] (since some contains 1)
  console.log(O.toArray(none)); // Output: [] (since none is None)
}

结论

在本文中，我们探索了 effect-ts 提供的用于转换和操作 option 和 either 类型的各种函数。这些函数增强了代码的灵活性和表现力，使您能够更优雅地处理可选值和容易出错的值。无论您需要将 either 转换为 option、链接多个 option 值还是执行类型安全操作，effect-ts 都提供了一组强大的工具来简化这些任务。通过利用这些实用程序，您可以编写更清晰、更易于维护的代码，以有效处理值的存在或不存在。

上一篇：高级：在 React 中管理表单

下一篇：中级：React 中的生命周期方法和 Hook