IntersectSchemable

import type { IntersectSchemable } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/schemable.ts";

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

interface IntersectSchemable <U extends Kind> extends Hold<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]>;

}

§Type Parameters

U extends Kind

[src]

§Extends

Hold<U>

[src]

§Properties

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]>

[src]