探索 Effect-TS 中的选项转换

百变鹏仔 3天前 #JavaScript

文章标签选项

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 都提供了一组强大的工具来简化这些任务。通过利用这些实用程序，您可以编写更清晰、更易于维护的代码，以有效处理值的存在或不存在。

文章推荐

探索 Effect-TS 中的选项转换

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

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

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

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

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

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

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

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

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

结论

JavaScript如何获取宏控件数据？

JavaScript怎样读取宏控件数据？

JavaScript获取宏控件数据的技巧

探究JavaScript与Java的联系和区别

javascript:void(o)如何解决？