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

x/fun/eq.ts>URIContravariant

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 URIContravariant
implements Kind
import { type URIContravariant } from "https://deno.land/x/fun@v2.0.0-alpha.10/eq.ts";

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

Properties

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