<A>(input: A): input is Exclude<A, undefined>Checks whether a value is not undefined.
When to use
Use when you need a Predicate refinement that filters out undefined
while preserving other falsy values.
Details
Returns a refinement that excludes undefined.
Example (Filtering undefined values)
import { Predicate } from "effect"
const values = [1, undefined, 2]
const defined = values.filter(Predicate.isNotUndefined)
console.log(defined)Source effect/Predicate.ts:7993 lines
export function function isNotUndefined<A>(
input: A
): input is Exclude<A, undefined>
Checks whether a value is not undefined.
When to use
Use when you need a Predicate refinement that filters out undefined
while preserving other falsy values.
Details
Returns a refinement that excludes undefined.
Example (Filtering undefined values)
import { Predicate } from "effect"
const values = [1, undefined, 2]
const defined = values.filter(Predicate.isNotUndefined)
console.log(defined)
isNotUndefined<function (type parameter) A in isNotUndefined<A>(input: A): input is Exclude<A, undefined>A>(input: Ainput: function (type parameter) A in isNotUndefined<A>(input: A): input is Exclude<A, undefined>A): input: Ainput is type Exclude<T, U> = T extends U
? never
: T
Exclude from T those types that are assignable to U
Exclude<function (type parameter) A in isNotUndefined<A>(input: A): input is Exclude<A, undefined>A, undefined> {
return input: Ainput !== var undefinedundefined
}Referenced by 6 symbols