Effect-TS는 옵션 내의 값을 필터링하는 다양한 방법을 제공하여 옵션 값에 대한 변환, 조건자 또는 검사를 적용할 수 있습니다. 이러한 기능을 사용하면 None 값이나 지정된 조건을 충족하지 않는 값은 삭제하면서 관련 데이터만 유지됩니다. 이 문서에서는 옵션 필터링을 위한 네 가지 주요 함수인 O.partitionMap, O.filterMap, O.filter 및 O.exists를 살펴보겠습니다.

예 1: O.partitionMap을 사용하여 옵션 분할

개념

O.partitionMap 함수를 사용하면 둘 중 하나를 반환하는 매핑 함수를 기반으로 옵션을 두 옵션의 튜플로 분할할 수 있습니다. Each.left 값은 첫 번째 Option으로 분할되고, Each.right 값은 두 번째 Option으로 분할됩니다. 원래 옵션이 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)
}

설명

• pipe(some, O.partitionMap(toEither)): 1이 홀수이므로 toEither 함수는 E.right(1)를 반환하고 두 번째 Option에 1을 배치하여 [None, Some(1)이 됩니다. ].
• pipe(none, O.partitionMap(toEither)): 원래 옵션이 None이므로 두 파티션 모두 None이므로 [None, None]이 됩니다.

이 함수는 값을 분류하는 매핑을 적용하고 조건을 충족하는 그룹과 그렇지 않은 그룹으로 구분해야 할 때 유용합니다.

예제 2: O.filterMap을 사용한 매핑 및 필터링

개념

O.filterMap 함수는 옵션 내부 값에 변환 함수를 적용합니다. 함수가 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)
}

설명

• pipe(some, O.filterMap(toEven)): 1이 짝수가 아니므로 toEven 함수는 None을 반환하고 결과는 None입니다.
• pipe(O.some(2), O.filterMap(toEven)): 값 2가 짝수이므로 toEven 함수는 Some(2)를 반환하고 결과는 Some(2)입니다.
• pipe(none, O.filterMap(toEven)): 원래 옵션이 None이므로 결과는 None으로 유지됩니다.

이 기능은 특정 조건에 따라 옵션 내의 값을 변환하고 필터링하려는 경우에 유용합니다.

예 3: O.filter를 사용하여 조건자로 옵션 필터링

개념

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

예 4: O.exists를 사용하여 조건자 확인

개념

O.exists 함수는 Option 내부의 값이 조건자를 만족하는지 확인하여 만족하면 true를 반환하고 만족하지 않으면 false를 반환합니다. Option이 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)
}

설명

• pipe(some, O.exists(isEven)): 1이 짝수가 아니므로 술어가 만족되지 않으므로 결과는 false입니다.
• pipe(O.some(2), O.exists(isEven)): 값 2가 조건자를 충족하므로 결과는 true입니다.
• pipe(none, O.exists(isEven)): Option이 None이므로 결과는 false입니다.

이 기능은 옵션 자체를 변환하거나 필터링하지 않고 옵션 내부 값이 조건을 충족하는지 빠르게 확인해야 할 때 유용합니다.

결론

Effect-TS의 필터링 옵션을 사용하면 조건이나 변환에 따라 선택적 값을 유연하게 처리할 수 있습니다. O.partitionMap을 사용하여 값을 분할하거나, O.filterMap을 사용하여 변환을 적용하거나, O.filter를 사용하여 조건자를 확인하거나, O.exists를 사용하여 조건을 확인하는 경우 이러한 도구는 옵션 처리 방법을 제어하기 위한 강력한 방법을 제공합니다. 이러한 기능을 사용하면 선택적 데이터를 효율적으로 관리하여 관련 값만 유지되거나 실행되도록 할 수 있습니다.