Skip to main content
Module

x/fun/kind.ts>$

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 $
import { type $ } from "https://deno.land/x/fun@v.2.0.0-alpha.11/kind.ts";

$ is an alias of Substitute, lifting out, in, and inout substitutions to positional type parameters.

Type Parameters

T extends Kind
Out extends unknown[]
optional
In extends unknown[] = [never]
optional
InOut extends unknown[] = [never]
definition: Substitute<T, { [covariant]: Out; [contravariant]: In; [invariant]: InOut; }>