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

x/fun/mod.ts>schemable.IntersectSchemable

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
type alias schemable.IntersectSchemable
import { type schemable } from "https://deno.land/x/fun@v2.0.0-alpha.6/mod.ts";
const { IntersectSchemable } = schemable;

Takes two schemables, left and right, and returns the intersection of them. This means that any value for must match both schemables.

Type Parameters

U extends Kind
definition: TypeClass<U> & { readonly intersect: <I, B, C, D, E>(right: $<U, [I, B, C], [D], [E]>) => <A>(left: $<U, [A, B, C], [D], [E]>) => $<U, [A & I, B, C], [D], [E]>; }