Skip to main content
Module

x/fun/mod.ts>state.KindState

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 state.KindState
implements Kind
import { type state } from "https://deno.land/x/fun@v2.0.0/mod.ts";
const { KindState } = state;

Specifies State as a Higher Kinded Type, with covariant parameter A in the 0th index of any substitutions and invariant parameter E in the 0th parameter of any substitutions.

Properties

readonly
kind: State<InOut<this, 1>, Out<this, 0>>