Skip to main content
Module

x/fun/kind.ts>Intersect

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Go to Latest
type alias Intersect
import { type Intersect } from "https://deno.land/x/fun@v2.0.0-alpha.12/kind.ts";

A type level utility that turns a type union into a type intersection. This type is dangerous and can have unexpected results so extra runtime testing is necessary when used.

definition: (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never