Skip to main content
Module

x/fun/composable.ts

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Latest
import * as fun from "https://deno.land/x/fun@v2.0.0/composable.ts";

Composable is a structure that allows two algebraic structures to be composed one into the other. It is a supertype of Combinable but operates on a Kind instead of a concrete type.

Interfaces

Composable is a structure that allows the composition of two algebraic structures that have in and out fields. It also allows for the initialization of algebraic structures, in effect identity. In other functional libraries this is called a Category.