Opérations de mappage dans les options Effect-TS

Dans Effect-TS, diverses fonctions de mappage peuvent être appliquées aux valeurs à l'intérieur d'une option pour transformer, remplacer ou manipuler les valeurs contenues. Cet article explore différentes fonctions de mappage fournies par Effect-TS avec des exemples pratiques.

Exemple 1 : Cartographie de base avec O.map

Utilisez O.map pour appliquer une fonction de transformation à la valeur à l'intérieur d'une option. Si l'option est Some, la fonction est appliquée ; sinon, le résultat est Aucun.

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)
}

Exemple 2 : Mappage sur une valeur constante avec O.as

Utilisez O.as pour remplacer la valeur à l'intérieur de l'option par une valeur constante fournie.

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)
}

Explication:

1. Création d'options : Nous créons deux options, une contenant une valeur (certaines avec 1) et une autre ne représentant aucune valeur (aucune).
2. Application de O.as : Nous utilisons O.as pour remplacer la valeur à l'intérieur de l'option par la valeur constante « remplacée ».

Le résultat est Some('replaced') pour l'option some et None pour l'option none, démontrant comment O.as remplace efficacement la valeur d'origine si elle existe.

Exemple 3 : Mappage vers void avec O.asVoid

Utilisez O.asVoid pour remplacer la valeur à l'intérieur de l'option par undefined.

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)
}

Explication :

1. Création d'options : nous créons deux options, une contenant une valeur (certaines avec 1) et une autre ne représentant aucune valeur (aucune).
2. Application de O.asVoid : nous utilisons O.asVoid pour remplacer la valeur à l'intérieur de l'option par undefined.

La sortie est Some(undefined) pour l'option some et None pour l'option none, démontrant comment O.asVoid remplace efficacement la valeur d'origine si elle existe.

Exemple 4 : FlatMapping avec O.flatMap

Utilisez O.flatMap pour appliquer une fonction de transformation qui renvoie une option à la valeur si l'option est Some, et aplatissez le résultat.

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)
}

Explication:

1. Création d'options : Nous créons deux options, une contenant une valeur (certaines avec 1) et une autre ne représentant aucune valeur (aucune).
2. Application de O.flatMap : Nous utilisons O.flatMap pour appliquer une fonction de transformation (doubleIfPositive) qui renvoie une option. Si la valeur est positive, il double la valeur et l'enveloppe dans Some, sinon il renvoie Aucun.

La sortie est Some(2) pour l'option some et None pour l'option none, démontrant comment O.flatMap aplatit le résultat de la transformation.

Exemple 5 : FlatMapping de valeurs nullables avec O.flatMapNullable

Utilisez O.flatMapNullable pour appliquer une fonction de transformation qui peut renvoyer une valeur nullable à la valeur si l'option est Some, et convertir le résultat en 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)
}

Explication:

1. Création d'options : Nous créons deux options, une contenant un objet imbriqué (certains) et une autre ne représentant aucune valeur (aucune).
2. Application de O.flatMapNullable : Nous utilisons O.flatMapNullable pour appliquer une fonction de transformation (getCValue) qui extrait une valeur imbriquée et peut renvoyer null. La fonction renvoie Certains si une valeur est trouvée, sinon elle renvoie Aucune.

La sortie est Some(1) pour l'option some et None pour l'option none, démontrant comment O.flatMapNullable convertit le résultat de la transformation en option.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!