/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

import * as fun from "https://deno.land/x/fun@v2.0.0/examples/freer.ts";

Functions

f ap
f chain
f eta
f fget
f fnone
f fput
f fsome
f get
f impure
f isPure
f join
f logOption
f map
f none
f of
f pure
f put
f runOption
f runState
f some

Interfaces

I Kind
I KindOption
I KindState

Type Aliases

T $
T FOption
T Freer
T FState	Define State in terms of Freer
T Impure
T None	Define Option in terms of Freer
T Option
T Pure
T Some
T State	First, defint state for testing.
T Substitute
T Substitutions