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(() => 'default') ) ); // output: 1 (since some contains 1) console.log( pipe( none, o.getorelse(() => '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(() => some2) ) ); // output: some(1) (since some1 contains 1) console.log( pipe( none, o.orelse(() => 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(() => 2) ) ); // output: some(1) (since some contains 1) console.log( pipe( none, o.orelsesome(() => 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(() => some2) ) ); // output: some(right(1)) (since some1 contains 1) console.log( pipe( none, o.orelseeither(() => 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> => n > 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 都提供了一组强大的工具来简化这些任务。通过利用这些实用程序,您可以编写更清晰、更易于维护的代码,以有效处理值的存在或不存在。
本站部分资源来源于网络,仅限用于学习和研究目的,请勿用于其他用途。
如有侵权请发送邮件至1943759704@qq.com删除
码农资源网 » 探索 Effect-TS 中的选项转换