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

x/fun/examples/natural.ts>getIdentityNat

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
Latest
function getIdentityNat
import { getIdentityNat } from "https://deno.land/x/fun@v2.0.0/examples/natural.ts";

Identity can be transformed into any category!

Parameters

of: <A, B, C, D, E>(a: A) => $<U, [A, B, C], [D], [E]>

Returns

Nat<I.KindIdentity, U>