Skip to main content
Deno 2 is finally here 🎉️
Learn more
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@v.2.0.0-alpha.11/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, [Spread<A & I>, B, C], [D], [E]>; }