Effect-TS 提供了檢查 Option 是否包含特定值的方法。這些函數允許您使用自訂等價函數或預設等價來確定選項中是否存在值。在本文中，我們將探討用於檢查選項中元素的兩個關鍵函數：O.containsWith 和 O.contains.

範例 1：使用 O.containsWith 檢查具有自訂等效性的元素

概念

O.containsWith 函數使用自訂等價函數檢查 Option 是否包含指定值。如果 Option 包含根據所提供的等價項的值，則此函數傳回 true；否則，傳回 false。

程式碼

function elements_ex01() {
  const numberEquivalence = Eq.number;

  const some1 = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value

  console.log(pipe(some1, O.containsWith(numberEquivalence)(1))); // Output: true (Option contains 1)
  console.log(pipe(some1, O.containsWith(numberEquivalence)(2))); // Output: false (Option does not contain 2)
  console.log(pipe(none, O.containsWith(numberEquivalence)(1))); // Output: false (Option is None)
}

解釋

• pipe(some1, O.containsWith(numberEquivalence)(1))：Option 包含值 1，自訂等價函數確認了這一點，結果為 true。
• pipe(some1, O.containsWith(numberEquivalence)(2)): Option 不包含值 2，因此結果為 false。
• pipe(none, O.containsWith(numberEquivalence)(1))：Option 為 None，因此無論檢查的值如何，結果都是 false。

當您需要使用自訂比較邏輯檢查選項是否包含特定值時，此函數非常有用，可以更靈活地確定等效性。

範例 2：使用 O.contains 檢查具有預設等價性的元素

概念

O.contains 函數使用預設等價項檢查選項是否包含指定值。如果 Option 包含該值，則傳回 true；否則，傳回 false。當您不需要自訂比較邏輯時，此函數使用起來更簡單。

程式碼

function elements_ex02() {
  const some1 = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value

  console.log(pipe(some1, O.contains(1))); // Output: true (Option contains 1)
  console.log(pipe(some1, O.contains(2))); // Output: false (Option does not contain 2)
  console.log(pipe(none, O.contains(1))); // Output: false (Option is None)
}

解釋

• pipe(some1, O.contains(1))：Option包含值1，所以結果為true。
• pipe(some1, O.contains(2)): Option 不包含值 2，因此結果為 false。
• pipe(none, O.contains(1))：選項為 None，因此無論檢查的值如何，結果都是 false。

當預設等價性足夠時，此函數可用於快速檢查選項是否包含特定值，使其簡單易用。

結論

Effect-TS 提供了有效的方法來檢查選項是否包含特定值。借助 O.containsWith，您可以使用自訂等價函數來定義如何進行比較，從而為複雜場景提供靈活性。同時，O.contains 提供了一種更簡單的方法，利用預設等價性進行直接檢查。這些函數可讓您有效地處理選項，確保您能夠以直覺和受控的方式驗證值的存在。