Skip to main content
Module

x/fun/mod.ts>fn_either.KindRightFnEither

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Go to Latest
interface fn_either.KindRightFnEither
implements Kind
import { type fn_either } from "https://deno.land/x/fun@v.2.0.0-alpha.11/mod.ts";
const { KindRightFnEither } = fn_either;

Specifies FnEither as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any Substitutions and a contravariant parameter D corresponding to the 0th index of any Substititions. KindRightFnEither curries the Left parameter of the output Either. This is useful when one needs to Fix the Left output with a Semigroup or some other collection algebraic structure.

Properties

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