Skip to main content
Module

x/fun/mod.ts>predicate.KindPredicate

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

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

Properties

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