Skip to main content
Module

x/fun/mod.ts>refinement.ToOut

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Latest
type alias refinement.ToOut
import { type refinement } from "https://deno.land/x/fun@v2.0.0/mod.ts";
const { ToOut } = refinement;

The ToOut type takes a Refinement type and returns the type of its output refinement.

definition: T extends Refinement<infer _, infer A> ? A : never