Skip to main content
Module

x/fun/refinement.ts>KindUnknownRefinement

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

Specifies Refinement<unknown, B> as a Higher Kinded Type, with covariant parameter B corresponding to the 0th index of any substitutions.

Properties

readonly
kind: Refinement<unknown, Out<this, 0>>