首頁  >  文章  >  web前端  >  Effect-TS 中的過濾選項:實用指南

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

王林
王林原創
2024-09-12 10:32:05413瀏覽

Filtering Options in Effect-TS: A Practical Guide

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中文網其他相關文章!

陳述:
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn