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