Effect-TS 选项中的映射操作
文章标签
操作
在 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。