Skip to main content
Module

x/fun/mod.ts>composable.Composable

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Latest
interface composable.Composable
implements Hold<U>
import { type composable } from "https://deno.land/x/fun@v2.0.0/mod.ts";
const { Composable } = composable;

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.

Type Parameters

U extends Kind

Properties

readonly
id: <A = never, B = never, C = never>() => $<U, [A, B, C], [A], [A]>
readonly
compose: <A = unknown, E = unknown, I = never, J = never, K = never>(second: $<U, [I, J, K], [A], [E]>) => <B = never, C = never, D = unknown>(first: $<U, [A, B, C], [D], [E]>) => $<U, [I, J | B, K | C], [D], [E]>