Effect-TS 提供了各種方法來過濾選項內的值,讓您可以對可選值套用轉換、謂詞或檢查。這些函數有助於確保僅保留相關數據,同時丟棄 None 值或不符合指定條件的值。在本文中,我們將探討用於過濾選項的四個關鍵函數:O.partitionMap、O.filterMap、O.filter 和 O.exists。
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) }
當您需要應用對值進行分類的映射,同時將它們分為兩組(滿足條件的組和不滿足條件的組)時,此函數非常有用。
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) }
當您想要根據特定條件轉換和過濾選項內的值時,此功能非常有用。
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) }
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) }
當您需要快速檢查以確定 Option 內的值是否滿足條件而不轉換或過濾 Option 本身時,此函數非常有用。
Effect-TS 中的過濾選項允許根據條件或轉換靈活處理可選值。無論您是使用 O.partitionMap 對值進行分區、使用 O.filterMap 應用轉換、使用 O.filter 檢查謂詞,還是只是使用 O.exists 驗證條件,這些工具都提供了強大的方法來控制選項的處理方式。透過使用這些函數,您可以有效地管理可選數據,確保僅保留或執行相關值。
以上是Effect-TS 中的過濾選項:實用指南的詳細內容。更多資訊請關注PHP中文網其他相關文章!