effect-io-ai

Package: effect
Module: Filter

Filter.number

A predefined filter that only passes through number values.

Example (Filtering numbers)

import { Filter, Result } from "effect"

console.log(Filter.number(42)) // Result.succeed(42)
console.log(Filter.number("42")) // fail

Signature

declare const number: Filter<unknown, number, unknown>

Source

Since v4.0.0