effect-io-ai

Package: effect
Module: Predicate

Predicate.Refinement.In

Extracts the input type A from a Refinement<A, B>.

Example

import { type Predicate } from "effect"

type IsString = Predicate.Refinement<unknown, string>
type T = Predicate.Refinement.In<IsString> // T is unknown

Signature

type In<T> = [T] extends [Refinement<infer _A, infer _>] ? _A : never

Source

Since v3.6.0