Effect-TS 中的過濾選項：實用指南

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。

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

結論

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

以上是Effect-TS 中的過濾選項：實用指南的詳細內容。更多資訊請關注PHP中文網其他相關文章！