Skip to main content
Deno 2 is finally here 🎉️
Learn more
Module

x/fun/mod.ts>fn_either.KindFnEither

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

Specifies FnEither as a Higher Kinded Type, with covariant parameter A and B corresponding to the 0th and 1st indices of any Substitutions and a contravariant parameter D corresponding to the 0th index of any Substititions. The FnEither KindFnEither is unique in that it constrains the FnEither type to taking a single argument for the purposes of type substitution while the implementations of FnEither combinators such as map, flatmap, etc are mostly variadic (multiple arguments).

Properties

readonly
kind: FnEither<In<this, 0>, Out<this, 1>, Out<this, 0>>