Effect-TS 選項中的對應操作

在 Effect-TS 中，可以將各種映射函數應用於 Option 內的值，以轉換、取代或操作所包含的值。本文透過實際範例探討了 Effect-TS 提供的不同映射函數。

範例 1：使用 O.map 進行基本映射

使用 O.map 將轉換函數應用於選項內的值。如果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. 建立選項：我們建立兩個選項，一個包含值（有些為 1），另一個表示沒有值（無）。
2. 應用 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. 建立選項：我們建立兩個選項，一個包含值（有些為 1），另一個表示沒有值（無）。
2. 應用 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. 建立選項：我們建立兩個選項，一個包含值（有些為 1），另一個表示沒有值（無）。
2. 套用 O.flatMap： 我們使用 O.flatMap 來套用傳回 Option 的轉換函數 (doubleIfPositive)。如果值為正，則將值加倍並將其包裝在 Some 中，否則傳回 None。

some Option 的輸出為 Some(2)，none Option 的輸出為 None，示範了 O.flatMap 如何壓平轉換的結果。

範例 5：使用 O.flatMapNullable FlatMapping 可空值

使用 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)
}

解釋：

1. 建立選項：我們建立兩個選項，一個包含巢狀物件（some），另一個表示沒有值（none）。
2. 應用 O.flatMapNullable： 我們使用 O.flatMapNullable 來應用提取巢狀值並可能傳回 null 的轉換函數 (getCValue)。如果找到值，函數將傳回 Some，否則傳回 None。

對於 some Option 輸出為 Some(1)，對於 none Option 輸出為 None，示範了 O.flatMapNullable 如何將轉換結果轉換為 Option。

以上是Effect-TS 選項中的對應操作的詳細內容。更多資訊請關注PHP中文網其他相關文章！