effect-io-ai

Package: effect
Module: Predicate

Predicate.Refinement.Out

Extracts the output (refined) type B from a Refinement<A, B>.

Example

import { type Predicate } from "effect"

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

Signature

type Out<T> = [T] extends [Refinement<infer _, infer _B>] ? _B : never

Source

Since v3.6.0