Skip to main content
Using Deno in production at your company? Earn free Deno merch.
Give us feedback
Module

x/fun/composable.ts>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
implements Hold<U>
import { type Composable } from "https://deno.land/x/fun@v2.0.0/composable.ts";

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.

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]>