Filteroptionen in Effect-TS: Ein praktischer Leitfaden

Effect-TS bietet verschiedene Methoden zum Filtern von Werten innerhalb einer Option, sodass Sie Transformationen, Prädikate oder Prüfungen auf den optionalen Wert anwenden können. Diese Funktionen tragen dazu bei, sicherzustellen, dass nur relevante Daten beibehalten werden, während None-Werte oder solche, die bestimmte Bedingungen nicht erfüllen, verworfen werden. In diesem Artikel untersuchen wir vier Schlüsselfunktionen für Filteroptionen: O.partitionMap, O.filterMap, O.filter und O.exists.

Beispiel 1: Partitionieren einer Option mit O.partitionMap

Konzept

Mit der O.partitionMap-Funktion können Sie eine Option in ein Tupel aus zwei Optionen aufteilen, basierend auf einer Zuordnungsfunktion, die ein Entweder zurückgibt. Die Werte von „Either.left“ werden in die erste Option aufgeteilt, während die Werte „Either.right“ in die zweite Option eingehen. Wenn die ursprüngliche Option None ist, sind beide Partitionen None.

Code

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

Erläuterung

• pipe(some, O.partitionMap(toEither)): Da 1 ungerade ist, gibt die toEither-Funktion E.right(1) zurück und platziert 1 in der zweiten Option, was zu [None, Some(1) führt. ].
• pipe(none, O.partitionMap(toEither)): Da die ursprüngliche Option None ist, sind beide Partitionen None, was zu [None, None] führt.

Diese Funktion ist nützlich, wenn Sie eine Zuordnung anwenden müssen, die Werte kategorisiert und sie gleichzeitig in zwei Gruppen unterteilt – diejenigen, die eine Bedingung erfüllen, und diejenigen, die dies nicht tun.

Beispiel 2: Mapping und Filterung mit O.filterMap

Konzept

Die O.filterMap-Funktion wendet eine Transformationsfunktion auf den Wert innerhalb einer Option an. Wenn die Funktion Some zurückgibt, bleibt der Wert erhalten; Wenn None zurückgegeben wird, wird der Wert herausgefiltert. Wenn die ursprüngliche Option None ist, bleibt das Ergebnis None.

Code

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

Erläuterung

• pipe(some, O.filterMap(toEven)): Da 1 nicht gerade ist, gibt die toEven-Funktion None zurück und das Ergebnis ist None.
• pipe(O.some(2), O.filterMap(toEven)): Der Wert 2 ist gerade, daher gibt die toEven-Funktion Some(2) zurück und das Ergebnis ist Some(2).
• pipe(none, O.filterMap(toEven)): Da die ursprüngliche Option None ist, bleibt das Ergebnis None.

Diese Funktion ist hilfreich, wenn Sie den Wert innerhalb einer Option basierend auf bestimmten Bedingungen sowohl transformieren als auch filtern möchten.

Beispiel 3: Filtern einer Option mit einem Prädikat mithilfe von O.filter

Konzept

Die O.filter-Funktion prüft, ob der Wert innerhalb einer Option ein gegebenes Prädikat erfüllt. Wenn das Prädikat erfüllt ist, wird die ursprüngliche Option zurückgegeben. andernfalls wird None zurückgegeben. Wenn die ursprüngliche Option None ist, bleibt sie None.

Code

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

Beispiel 4: Überprüfen eines Prädikats mit O.exists

Konzept

Die Funktion O.exists prüft, ob ein Wert innerhalb einer Option ein Prädikat erfüllt, und gibt true zurück, wenn dies der Fall ist, und false, wenn dies nicht der Fall ist. Wenn die Option „None“ ist, wird „false“ zurückgegeben.

Code

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

Erläuterung

• pipe(some, O.exists(isEven)): Da 1 nicht gerade ist, ist das Prädikat nicht erfüllt, sodass das Ergebnis falsch ist.
• pipe(O.some(2), O.exists(isEven)): Der Wert 2 erfüllt das Prädikat, daher ist das Ergebnis wahr.
• pipe(none, O.exists(isEven)): Da die Option None ist, ist das Ergebnis falsch.

Diese Funktion ist nützlich, wenn Sie eine schnelle Überprüfung benötigen, um festzustellen, ob der Wert innerhalb einer Option eine Bedingung erfüllt, ohne die Option selbst zu transformieren oder zu filtern.

Abschluss

Filteroptionen in Effect-TS ermöglichen eine flexible Handhabung optionaler Werte basierend auf Bedingungen oder Transformationen. Unabhängig davon, ob Sie Werte mit O.partitionMap partitionieren, Transformationen mit O.filterMap anwenden, Prädikate mit O.filter prüfen oder einfach Bedingungen mit O.exists überprüfen, bieten diese Tools robuste Methoden zur Steuerung der Behandlung von Optionen. Mithilfe dieser Funktionen können Sie optionale Daten effizient verwalten und sicherstellen, dass nur die relevanten Werte beibehalten oder verarbeitet werden.

Das obige ist der detaillierte Inhalt vonFilteroptionen in Effect-TS: Ein praktischer Leitfaden. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!