Freer | /examples/freer.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 Freer

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

Type Parameters

definition: Pure<G, A> | Impure<G, any, A>