ApplyFn | /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 ApplyFn

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

Type Parameters

definition: <A, I, B = never, C = never, D = never, E = never>(tfai: $<T, [(a: A) => I]>) => (ta: $<T, [A]>) => $<T, [I]>