Effect-TS 提供了各種方法來過濾選項內的值，讓您可以對可選值套用轉換、謂詞或檢查。這些函數有助於確保僅保留相關數據，同時丟棄 None 值或不符合指定條件的值。在本文中，我們將探討用於過濾選項的四個關鍵函數：O.partitionMap、O.filterMap、O.filter 和 O.exists。

範例 1：使用 O.partitionMap 對選項進行分區

概念

O.partitionMap 函數可讓您基於傳回 Either 的映射函數將 Option 分割為兩個 Options 的元組。 Either.left 值劃分到第一個選項中，而 Either.right 值則劃分到第二個選項。如果原來的Option是None，那麼兩個分區都是None。

程式碼

function filtering_ex01() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value
  const toEither = (n: number) => (n % 2 === 0 ? E.left(n) : E.right(n));

  console.log(pipe(some, O.partitionMap(toEither))); // Output: [None, Some(1)] (1 is odd, so it goes to the right)
  console.log(pipe(none, O.partitionMap(toEither))); // Output: [None, None] (since the Option is None)
}

解釋

• pipe(some, O.partitionMap(toEither))：由於1是奇數，toEither函數回傳E.right(1)，將1放在第二個Option中，結果是[None, Some( 1) ].
• pipe(none, O.partitionMap(toEither))：由於原來的Option是None，所以兩個分區都是None，導致[None, None].

當您需要應用對值進行分類的映射，同時將它們分為兩組（滿足條件的組和不滿足條件的組）時，此函數非常有用。

範例 2：使用 O.filterMap 進行映射和過濾

概念

O.filterMap 函數將轉換函數套用於選項內的值。如果函數傳回 Some，則保留該值；如果傳回 None，則該值將被過濾掉。如果原Option為None，則結果仍為None。

程式碼

function filtering_ex02() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value
  const toEven = (n: number) => (n % 2 === 0 ? O.some(n) : O.none());

  console.log(pipe(some, O.filterMap(toEven))); // Output: None (since 1 is not even)
  console.log(pipe(O.some(2), O.filterMap(toEven))); // Output: Some(2) (since 2 is even)
  console.log(pipe(none, O.filterMap(toEven))); // Output: None (since the original Option is None)
}

解釋

• pipe(some, O.filterMap(toEven))：由於1不是偶數，所以toEven函數回傳None，結果是None。
• pipe(O.some(2), O.filterMap(toEven))：值2是偶數，所以toEven函數回傳Some(2)，結果是Some(2)。
• pipe(none, O.filterMap(toEven))：由於原來的Option為None，所以結果還是None。

當您想要根據特定條件轉換和過濾選項內的值時，此函數非常有用。

範例 3：使用 O.filter 透過謂詞過濾選項

概念

O.filter 函數檢查 Option 內的值是否符合給定的謂詞。如果謂詞滿足，則傳回原始Option；否則，傳回 None。如果原Option為None，則保持None。

程式碼

function filtering_ex03() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value
  const isEven = (n: number) => n % 2 === 0;

  console.log(pipe(some, O.filter(isEven))); // Output: None (since 1 is not even)
  console.log(pipe(O.some(2), O.filter(isEven))); // Output: Some(2) (since 2 is even)
  console.log(pipe(none, O.filter(isEven))); // Output: None (since the original Option is None)
}

範例 4：使用 O.exists 檢查謂詞

概念

O.exists 函數檢查 Option 內的值是否滿足謂詞，如果滿足則傳回 true，如果不滿足則傳回 false。如果 Option 為 None，則傳回 false。

程式碼

function filtering_ex04() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value
  const isEven = (n: number) => n % 2 === 0;

  console.log(pipe(some, O.exists(isEven))); // Output: false (since 1 is not even)
  console.log(pipe(O.some(2), O.exists(isEven))); // Output: true (since 2 is even)
  console.log(pipe(none, O.exists(isEven))); // Output: false (since the original Option is None)
}

解釋

• pipe(some, O.exists(isEven))：由於 1 不是偶數，因此不滿足謂詞，因此結果為 false。
• pipe(O.some(2), O.exists(isEven))：值 2 滿足謂詞，因此結果為 true。
• pipe(none, O.exists(isEven))：由於 Option 為 None，所以結果為 false。

當您需要快速檢查以確定選項內的值是否滿足條件而不轉換或過濾選項本身時，此函數非常有用。

結論

Effect-TS 中的過濾選項允許根據條件或轉換靈活處理可選值。無論您是使用 O.partitionMap 對值進行分區、使用 O.filterMap 應用轉換、使用 O.filter 檢查謂詞，還是只是使用 O.exists 驗證條件，這些工具都提供了強大的方法來控制選項的處理方式。透過使用這些函數，您可以有效地管理可選數據，確保僅保留或執行相關值。