Arrow | /examples/arrow.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 Arrow

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

Type Parameters

U extends Kind

optional

J = never

optional

K = never

optional

L = unknown

optional

M = unknown

definition: (a: A) => $<U, [I, J, K], [L], [M]>