effect-io-ai

Package: effect
Module: Predicate

Predicate.Predicate.In

Extracts the input type A from a Predicate<A>.

Example

import { type Predicate } from "effect"

type T = Predicate.Predicate.In<Predicate.Predicate<string>> // T is string

Signature

type In<T> = [T] extends [Predicate<infer _A>] ? _A : never

Source

Since v3.6.0