ホームページ > 記事 > ウェブフロントエンド > Effect-TS のフィルタリング オプション: 実践ガイド
Effect-TS は、オプション内の値をフィルターするさまざまなメソッドを提供し、オプションの値に変換、述語、またはチェックを適用できるようにします。これらの関数は、None 値や指定された条件を満たさない値を破棄しながら、関連するデータのみを確実に保持するのに役立ちます。この記事では、オプションをフィルタリングするための 4 つの主要な関数、O.partitionMap、O.filterMap、O.filter、および O.exists について説明します。
O.partitionMap 関数を使用すると、Either を返すマッピング関数に基づいて、オプションを 2 つのオプションのタプルに分割できます。 Each.left 値は最初のオプションに分割され、Either.right 値は 2 番目のオプションに分割されます。元のオプションが 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) }
この関数は、値を 2 つのグループ (条件を満たすグループと満たさないグループ) に分けながら分類するマッピングを適用する必要がある場合に便利です。
O.filterMap 関数は、Option 内の値に変換関数を適用します。関数が Some を返した場合、値は保持されます。 None が返された場合、値はフィルターで除外されます。元のオプションが 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 が返されます。それ以外の場合は、None を返します。元のオプションが 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 を返します。オプションが 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) }
この関数は、オプション自体を変換またはフィルタリングせずに、オプション内の値が条件を満たしているかどうかを簡単に確認する必要がある場合に便利です。
Effect-TS のフィルター オプションを使用すると、条件や変換に基づいてオプションの値を柔軟に処理できます。 O.partitionMap で値を分割する場合でも、O.filterMap で変換を適用する場合でも、O.filter で述語をチェックする場合でも、単に O.exists で条件を検証する場合でも、これらのツールはオプションの処理方法を制御するための堅牢な方法を提供します。これらの関数を使用すると、オプションのデータを効率的に管理し、関連する値のみを保持または処理することができます。
以上がEffect-TS のフィルタリング オプション: 実践ガイドの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。