$ | /examples/hkts.ts | fun@v2.0.0

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.

baetheus/fun

Latest

arrow.ts

eta

get

map

put

run

Fix

map

map

Nat

type alias $

import { type $ } from "https://deno.land/x/fun@v2.0.0/examples/hkts.ts";

Type Parameters

S extends any[]

definition: T extends Fix<infer F> ? F : T extends _<infer N> ? S[N] : T extends any[] ? [K in keyof T]: $<T[K], S> : T extends (...as: infer AS) => infer R ? (...as: $<AS, S>) => $<R, S> : T extends Promise<infer I> ? Promise<$<I, S>> : T extends object ? [K in keyof T]: $<T[K], S> : T extends Primitives ? T : never