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

x/fun/mod.ts>eq.KindEq

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 eq.KindEq
implements Kind
import { type eq } from "https://deno.land/x/fun@v.2.0.0-alpha.11/mod.ts";
const { KindEq } = eq;

Specifies Eq as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any Substitutions.

Properties

readonly
kind: Eq<Out<this, 0>>