UnionSchemable

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

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

interface UnionSchemable <U extends Kind> extends Hold<U> {

readonly union: <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]>;

}

§Type Parameters

U extends Kind

readonly union: <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]>