Effect-TS でのオプション変換の探索-jsチュートリアル-php.cn

Effect-TS でのオプション変換の探索

WBOY

リリース： 2024-07-18 04:20:30

オリジナル

724 人が閲覧しました

Exploring Option Conversions in Effect-TS

Effect-TS は、Option タイプと Each タイプを処理するための強力なツールを提供します。この記事では、ライブラリのユーティリティ関数を使用してこれらの型を変換および操作するさまざまな方法を検討します。

例 1: O.getRight を使用して、Either を Option に変換する

O.getRight 関数は、Either を Option に変換し、エラーを破棄します。どちらかが正しい場合は O.some(value) を返し、それ以外の場合は O.none を返します。

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

function conversions_ex01() {
  const eitherRight = E.right('ok'); // Create an Either containing the value 'ok'
  const eitherLeft = E.left('error'); // Create an Either representing an error

  console.log(O.getRight(eitherRight)); // Output: Some('ok')
  console.log(O.getRight(eitherLeft)); // Output: None
}

ログイン後にコピー

例 2: O.getLeft を使用して、Either を Option に変換する

O.getLeft 関数は、Either を Option に変換し、値を破棄します。どちらかが Left の場合は O.some(error) を返し、それ以外の場合は O.none を返します。

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

function conversions_ex02() {
  const eitherRight = E.right('ok'); // Create an Either containing the value 'ok'
  const eitherLeft = E.left('error'); // Create an Either representing an error

  console.log(O.getLeft(eitherRight)); // Output: None
  console.log(O.getLeft(eitherLeft)); // Output: Some('error')
}

ログイン後にコピー

例 3: O.getOrElse を使用して値またはデフォルトを取得する

O.getOrElse 関数は、オプションが Some の場合はその値を返し、それ以外の場合は指定されたデフォルト値を返します。

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

function conversions_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.getOrElse(() => 'default')
    )
  ); // Output: 1 (since some contains 1)
  console.log(
    pipe(
      none,
      O.getOrElse(() => 'default')
    )
  ); // Output: 'default' (since none is None)
}

ログイン後にコピー

例 4: O.orElse を使用したオプションの連鎖

O.orElse 関数は、self が None の場合は指定された Option を返し、それ以外の場合は self を返します。この関数を使用すると、フォールバックが別のオプションであるオプションの連鎖が可能になります。

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

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

  console.log(
    pipe(
      some1,
      O.orElse(() => some2)
    )
  ); // Output: Some(1) (since some1 contains 1)
  console.log(
    pipe(
      none,
      O.orElse(() => some2)
    )
  ); // Output: Some(2) (since none is None and fallback is some2)
}

ログイン後にコピー

例 5: O.orElseSome によるデフォルト値へのフォールバック

O.orElseSome 関数は、self が None の場合は Some でラップされた指定されたデフォルト値を返し、そうでない場合は self を返します。この関数を使用すると、フォールバックが Some でラップされたデフォルト値であるオプションの連鎖が可能になります。

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

function conversions_ex05() {
  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.orElseSome(() => 2)
    )
  ); // Output: Some(1) (since some contains 1)
  console.log(
    pipe(
      none,
      O.orElseSome(() => 2)
    )
  ); // Output: Some(2) (since none is None and fallback is 2)
}

ログイン後にコピー

例 6: O.orElseEither を使用したいずれかのコンテキストでのオプションの連鎖

O.orElseEither 関数は、Either を含む Option を返します。Left はフォールバックオプションから、Right は元の Option からです。この関数により、フォールバックがより多くのコンテキストのいずれかを提供するオプションの連鎖が可能になります。

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

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

  console.log(
    pipe(
      some1,
      O.orElseEither(() => some2)
    )
  ); // Output: Some(Right(1)) (since some1 contains 1)
  console.log(
    pipe(
      none,
      O.orElseEither(() => some2)
    )
  ); // Output: Some(Left(2)) (since none is None and fallback is some2)
}

ログイン後にコピー

例 7: O.firstSomeOf を使用して Iterable 内の最初の Some を検索する

O.firstSomeOf 関数は、Options の反復可能内で最初に見つかった Some を返します。すべてが None の場合は、None を返します。

import { Option as O } from 'effect';

function conversions_ex07() {
  const options = [O.none(), O.some(1), O.some(2)]; // Create an iterable of Options
  const optionsAllNone = [O.none(), O.none()]; // Create an iterable of None Options

  console.log(O.firstSomeOf(options)); // Output: Some(1) (since the first non-None Option is Some(1))
  console.log(O.firstSomeOf(optionsAllNone)); // Output: None (since all Options are None)
}

ログイン後にコピー

例 8: O.toRefinement を使用して、オプションを返す関数を型ガードに変換する

O.toRefinement 関数は、Option を返す関数を型ガードに変換し、より具体的な型チェックを可能にします。

import { Option as O } from 'effect';

function conversions_ex08() {
  const isPositive = (n: number): O.Option<number> => n > 0 ? O.some(n) : O.none();
  const isPositiveRefinement = O.toRefinement(isPositive);

  console.log(isPositiveRefinement(1)); // Output: true (since 1 is positive)
  console.log(isPositiveRefinement(-1)); // Output: false (since -1 is not positive)
}

ログイン後にコピー

例 9: O.toArray を使用してオプションを配列に変換する

O.toArray 関数は、Option を配列に変換します。 Option が Some の場合、値を含む配列を返します。 None の場合は、空の配列を返します。

import { Option as O } from 'effect';

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

  console.log(O.toArray(some)); // Output: [1] (since some contains 1)
  console.log(O.toArray(none)); // Output: [] (since none is None)
}

ログイン後にコピー

結論

この記事では、Option タイプと Each タイプを変換および操作するために Effect-TS によって提供されるさまざまな関数を検討してきました。これらの関数により、コードの柔軟性と表現力が強化され、オプションの値やエラーが発生しやすい値をより適切に処理できるようになります。どちらかを Option に変換する必要がある場合、複数の Option 値を連結する必要がある場合、またはタイプセーフな操作を実行する必要がある場合でも、Effect-TS はこれらのタスクを簡素化するための堅牢なツールセットを提供します。これらのユーティリティを活用すると、値の有無を効果的に処理する、よりクリーンで保守しやすいコードを作成できます。

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