Effect-TS オプションでのマッピング操作

Effect-TS では、オプション内の値にさまざまなマッピング関数を適用して、含まれる値を変換、置換、または操作できます。この記事では、Effect-TS が提供するさまざまなマッピング関数を実際の例とともに説明します。

例 1: O.map を使用した基本的なマッピング

O.map を使用して、オプション内の値に変換関数を適用します。オプションが Some の場合、関数が適用されます。それ以外の場合、結果は None になります。

import { Option as O, pipe } from 'effect';

function mapping_ex01() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value
  const increment = (n: number) => n + 1;

  console.log(pipe(some, O.map(increment))); // Output: Some(2) (since some contains 1 and 1 + 1 = 2)
  console.log(pipe(none, O.map(increment))); // Output: None (since none is None)
}

例 2: O.as を使用した定数値へのマッピング

O.as を使用して、オプション内の値を指定された定数値に置き換えます。

import { Option as O, pipe } from 'effect';

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

  console.log(pipe(some, O.as('replaced'))); // Output: Some('replaced') (replaces 1 with 'replaced')
  console.log(pipe(none, O.as('replaced'))); // Output: None (since none is None)
}

説明：

1. オプションの作成: 2 つのオプションを作成します。1 つは値を含み (一部は 1)、もう 1 つは値を含まない (なし) です。
2. O.as の適用: O.as を使用して、オプション内の値を定数値 'replaced' に置き換えます。

出力は、一部のオプションの場合は Some('replaced')、オプションなしの場合は None で、元の値が存在する場合に O.as がどのように効果的にそれを置き換えるかを示しています。

例 3: O.asVoid を使用した void へのマッピング

O.asVoid を使用して、オプション内の値を未定義に置き換えます。

import { Option as O, pipe } from 'effect';

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

  console.log(pipe(some, O.asVoid)); // Output: Some(undefined) (replaces 1 with undefined)
  console.log(pipe(none, O.asVoid)); // Output: None (since none is None)
}

説明:

1. オプションの作成: 2 つのオプションを作成します。1 つは値を含み (一部は 1)、もう 1 つは値を含まない (なし) です。
2. O.asVoid の適用: O.asVoid を使用して、オプション内の値を未定義に置き換えます。

出力は、一部のオプションの場合は Some(未定義)、オプションなしの場合は None で、元の値が存在する場合に O.asVoid がどのように効果的にそれを置き換えるかを示しています。

例 4: O. flatMap を使用した FlatMapping

O. flatMap を使用して、Option が Some の場合に値に Option を返す変換関数を適用し、結果を平坦化します。

import { Option as O, pipe } from 'effect';

function mapping_ex04() {
  const some = O.some(1); // Create an Option containing the value 1
  const none = O.none(); // Create an Option representing no value
  const doubleIfPositive = (n: number) => (n > 0 ? O.some(n * 2) : O.none());

  console.log(pipe(some, O.flatMap(doubleIfPositive))); // Output: Some(2) (since some contains 1 and 1 > 0)
  console.log(pipe(none, O.flatMap(doubleIfPositive))); // Output: None (since none is None)
}

説明：

1. オプションの作成: 2 つのオプションを作成します。1 つは値を含み (一部は 1)、もう 1 つは値を含まない (なし) です。
2. O. flatMap の適用: O. flatMap を使用して、Option を返す変換関数 (doubleIfPositive) を適用します。値が正の場合、値を 2 倍にして Some でラップし、それ以外の場合は None を返します。

出力は、一部のオプションの場合は Some(2)、オプションなしの場合は None で、O. flatMap が変換の結果をどのように平坦化するかを示しています。

例 5: O. flatMapNullable を使用した Null 許容値の FlatMapping

O. flatMapNullable を使用して、Option が Some の場合に値に null 許容値を返す変換関数を適用し、結果を Option に変換します。

import { Option as O, pipe } from 'effect';

function mapping_ex05() {
  const some = O.some({ a: { b: { c: 1 } } }); // Create an Option containing a nested object
  const none = O.none(); // Create an Option representing no value
  const getCValue = (obj: { a?: { b?: { c?: number } } }) => obj.a?.b?.c ?? null;

  console.log(pipe(some, O.flatMapNullable(getCValue))); // Output: Some(1) (extracts the nested value)
  console.log(pipe(none, O.flatMapNullable(getCValue))); // Output: None (since none is None)
}

説明：

1. オプションの作成: 2 つのオプションを作成します。1 つはネストされたオブジェクト (一部) を含み、もう 1 つは値を表しません (なし)。
2. O. flatMapNullable の適用: O. flatMapNullable を使用して、ネストされた値を抽出し、null を返す可能性がある変換関数 (getCValue) を適用します。この関数は、値が見つかった場合は Some を返し、それ以外の場合は None を返します。

出力は、一部のオプションの場合は Some(1)、オプションなしの場合は None で、O. flatMapNullable が変換の結果をオプションに変換する方法を示しています。

以上がEffect-TS オプションでのマッピング操作の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。