在 effect-ts 中，可以将各种映射函数应用于 option 内的值，以转换、替换或操作所包含的值。本文通过实际示例探讨了 effect-ts 提供的不同映射函数。
示例 1：使用 o.map 进行基本映射
使用 o.map 对 option 内的值应用转换函数。如果option为some，则应用该功能；否则，结果为 none。
import { option as o, pipe } from 'effect';
function mapping_ex01() {
const some = o.some(1); // create an option containing the value 1
const none = o.none(); // create an option representing no value
const increment = (n: number) => n + 1;
console.log(pipe(some, o.map(increment))); // output: some(2) (since some contains 1 and 1 + 1 = 2)
console.log(pipe(none, o.map(increment))); // output: none (since none is none)
}
示例 2：使用 o.as 映射到常量值
使用 o.as 将 option 内的值替换为提供的常量值。
import { option as o, pipe } from 'effect';
function mapping_ex02() {
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.as('replaced'))); // output: some('replaced') (replaces 1 with 'replaced')
console.log(pipe(none, o.as('replaced'))); // output: none (since none is none)
}
解释：
- 创建选项： 我们创建两个选项，一个包含值（有的为 1），另一个代表没有值（无）。
- 应用 o.as： 我们使用 o.as 将 option 内的值替换为常量值“replaced”。
对于 some option，输出为 some('replaced')，对于 none option，输出为 none，演示了 o.as 如何有效地替换原始值（如果存在）。
示例 3：使用 o.asvoid 映射到 void
使用 o.asvoid 将 option 内的值替换为 undefined。
import { option as o, pipe } from 'effect';
function mapping_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.asvoid)); // output: some(undefined) (replaces 1 with undefined)
console.log(pipe(none, o.asvoid)); // output: none (since none is none)
}
说明：
- 创建选项：我们创建两个选项，一个包含值（有的为 1），另一个代表没有值（无）。
- 应用 o.asvoid：我们使用 o.asvoid 将 option 内的值替换为 undefined。
对于 some option 输出为 some(undefined)，对于 none option 输出为 none，演示了 o.asvoid 如何有效地替换原始值（如果存在）。
示例 4：使用 o.flatmap 进行 flatmapping
使用 o.flatmap 应用一个转换函数，如果 option 为 some，则将 option 返回到该值，并将结果展平。
import { option as o, pipe } from 'effect';
function mapping_ex04() {
const some = o.some(1); // create an option containing the value 1
const none = o.none(); // create an option representing no value
const doubleifpositive = (n: number) => (n > 0 ? o.some(n * 2) : o.none());
console.log(pipe(some, o.flatmap(doubleifpositive))); // output: some(2) (since some contains 1 and 1 > 0)
console.log(pipe(none, o.flatmap(doubleifpositive))); // output: none (since none is none)
}
解释：
- 创建选项： 我们创建两个选项，一个包含值（有的为 1），另一个代表没有值（无）。
- 应用o.flatmap：我们使用o.flatmap来应用返回option的转换函数（doubleifpositive）。如果值为正，则将值加倍并将其包装在 some 中，否则返回 none。
对于 some option 输出为 some(2)，对于 none option 输出为 none，演示了 o.flatmap 如何压平转换结果。
示例 5：使用 o.flatmapnullable flatmapping nullable 值
使用 o.flatmapnullable 应用一个转换函数，如果 option 为 some，则该函数可能会返回可为 null 的值，并将结果转换为 option。
import { Option as O, pipe } from 'effect';
function mapping_ex05() {
const some = O.some({ a: { b: { c: 1 } } }); // Create an Option containing a nested object
const none = O.none(); // Create an Option representing no value
const getCValue = (obj: { a?: { b?: { c?: number } } }) => obj.a?.b?.c ?? null;
console.log(pipe(some, O.flatMapNullable(getCValue))); // Output: Some(1) (extracts the nested value)
console.log(pipe(none, O.flatMapNullable(getCValue))); // Output: None (since none is None)
}
解释：
- 创建选项： 我们创建两个选项，一个包含嵌套对象（some），另一个表示没有值（none）。
- 应用 o.flatmapnullable： 我们使用 o.flatmapnullable 来应用一个转换函数（getcvalue），该函数提取嵌套值并可能返回 null。如果找到值，该函数返回 some，否则返回 none。
对于 some option 输出为 some(1)，对于 none option 输出为 none，演示了 o.flatmapnullable 如何将转换结果转换为 option。
