Skip to main content
Deno 2 is finally here 🎉️
Learn more
Module

x/fun/examples/freer.ts>Substitute

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 Substitute
import { type Substitute } from "https://deno.land/x/fun@v2.0.0/examples/freer.ts";
definition: T extends { readonly kind: unknown; } ? (T & S)["kind"] : { readonly T: T; readonly [covariant]: () => S["covariant"]; readonly [contravariant]: (_: S["contravariant"]) => void; readonly [invariant]: (_: S["invariant"]) => S["invariant"]; }