typesea 0.1.0

package/dist/builders/object/schema.js

@@ -0,0 +1,257 @@
+/**
+ * @file schema.ts
+ * @brief Object schema construction and shape rewrites.
+ */
+import { ObjectModeTag, PresenceTag, SchemaTag } from "../../kind/index.js";
+import { includesString, isRecord, isUnknownArray, readGuardSchema } from "../../internal/index.js";
+import { isSchemaValue } from "../../schema/index.js";
+/**
+ * @brief object schema.
+ */
+export function objectSchema(shape, mode) {
+    if (!isRecord(shape)) {
+        throw new TypeError("object shape must be an object");
+    }
+    const keys = Object.keys(shape);
+    const entries = new Array(keys.length);
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        if (key === undefined) {
+            throw new TypeError("Object key disappeared during construction");
+        }
+        const guard = shape[key];
+        const entrySchema = normalizeObjectEntrySchema(readGuardSchema(guard, `object property ${key}`));
+        entries[index] = {
+            key,
+            schema: entrySchema.schema,
+            presence: entrySchema.presence
+        };
+    }
+    return objectSchemaFromEntries(entries, mode);
+}
+/**
+ * @brief object schema from entries.
+ */
+export function objectSchemaFromEntries(sourceEntries, mode) {
+    const entries = new Array(sourceEntries.length);
+    const keys = new Array(sourceEntries.length);
+    const keyLookup = makeObjectKeyLookup();
+    for (let index = 0; index < sourceEntries.length; index += 1) {
+        const entry = sourceEntries[index];
+        if (entry === undefined) {
+            throw new TypeError("object entry disappeared during construction");
+        }
+        if (hasObjectKey(keyLookup, entry.key)) {
+            throw new TypeError(`object key ${entry.key} is duplicated`);
+        }
+        defineObjectKey(keyLookup, entry.key);
+        entries[index] = entry;
+        keys[index] = entry.key;
+    }
+    return {
+        tag: SchemaTag.Object,
+        entries,
+        keys,
+        keyLookup,
+        mode
+    };
+}
+/**
+ * @brief read object constructor schema.
+ */
+export function readObjectConstructorSchema(schema) {
+    if (!isSchemaValue(schema) || schema.tag !== SchemaTag.Object) {
+        throw new TypeError("ObjectGuard constructor requires an object schema");
+    }
+    return schema;
+}
+/**
+ * @brief read object method schema.
+ */
+export function readObjectMethodSchema(guard, label) {
+    const schema = readGuardSchema(guard, label);
+    if (schema.tag !== SchemaTag.Object) {
+        throw new TypeError(`${label} must be an object TypeSea guard`);
+    }
+    return schema;
+}
+/**
+ * @brief merge object schemas.
+ */
+export function mergeObjectSchemas(base, extension) {
+    const entries = [];
+    for (let index = 0; index < base.entries.length; index += 1) {
+        const entry = base.entries[index];
+        if (entry !== undefined) {
+            entries.push(findObjectEntry(extension.entries, entry.key) ?? entry);
+        }
+    }
+    for (let index = 0; index < extension.entries.length; index += 1) {
+        const entry = extension.entries[index];
+        if (entry !== undefined && !hasObjectKey(base.keyLookup, entry.key)) {
+            entries.push(entry);
+        }
+    }
+    return objectSchemaFromEntries(entries, base.mode);
+}
+/**
+ * @brief pick object schema.
+ */
+export function pickObjectSchema(schema, keys) {
+    const entries = new Array(keys.length);
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        const entry = key === undefined
+            ? undefined
+            : findObjectEntry(schema.entries, key);
+        if (entry === undefined) {
+            throw new TypeError("picked object key disappeared during construction");
+        }
+        entries[index] = entry;
+    }
+    return objectSchemaFromEntries(entries, schema.mode);
+}
+/**
+ * @brief omit object schema.
+ */
+export function omitObjectSchema(schema, keys) {
+    const entries = [];
+    for (let index = 0; index < schema.entries.length; index += 1) {
+        const entry = schema.entries[index];
+        if (entry !== undefined && !includesString(keys, entry.key)) {
+            entries.push(entry);
+        }
+    }
+    return objectSchemaFromEntries(entries, schema.mode);
+}
+/**
+ * @brief partial object schema.
+ */
+export function partialObjectSchema(schema) {
+    const entries = new Array(schema.entries.length);
+    for (let index = 0; index < schema.entries.length; index += 1) {
+        const entry = schema.entries[index];
+        if (entry !== undefined) {
+            entries[index] = {
+                key: entry.key,
+                schema: entry.schema,
+                presence: PresenceTag.Optional
+            };
+        }
+    }
+    return objectSchemaFromEntries(entries, schema.mode);
+}
+/**
+ * @brief read object key selection.
+ */
+export function readObjectKeySelection(keys, schema, label) {
+    if (!isUnknownArray(keys)) {
+        throw new TypeError(`${label} must be an array`);
+    }
+    const selected = new Array(keys.length);
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        if (typeof key !== "string") {
+            throw new TypeError(`${label} must contain only strings`);
+        }
+        if (!hasObjectKey(schema.keyLookup, key)) {
+            throw new TypeError(`${label} contains unknown object key ${key}`);
+        }
+        if (includesString(selected, key)) {
+            throw new TypeError(`${label} contains duplicate object key ${key}`);
+        }
+        selected[index] = key;
+    }
+    return selected;
+}
+/**
+ * @brief find object entry.
+ */
+function findObjectEntry(entries, key) {
+    for (let index = 0; index < entries.length; index += 1) {
+        const entry = entries[index];
+        if (entry?.key === key) {
+            return entry;
+        }
+    }
+    return undefined;
+}
+/**
+ * @brief make object key lookup.
+ */
+function makeObjectKeyLookup() {
+    return Object.create(null);
+}
+/**
+ * @brief define object key.
+ */
+function defineObjectKey(target, key) {
+    Object.defineProperty(target, key, {
+        configurable: false,
+        enumerable: true,
+        value: true,
+        writable: false
+    });
+}
+/**
+ * @brief has object key.
+ */
+function hasObjectKey(keyLookup, key) {
+    return keyLookup[key] === true;
+}
+/**
+ * @brief normalize object entry schema.
+ */
+function normalizeObjectEntrySchema(schema) {
+    switch (schema.tag) {
+        case SchemaTag.Optional:
+            return {
+                schema: normalizeObjectEntrySchema(schema.inner).schema,
+                presence: PresenceTag.Optional
+            };
+        case SchemaTag.Undefinedable:
+            return normalizeWrappedObjectEntrySchema(schema.inner, (inner) => ({
+                tag: SchemaTag.Undefinedable,
+                inner
+            }), schema);
+        case SchemaTag.Nullable:
+            return normalizeWrappedObjectEntrySchema(schema.inner, (inner) => ({
+                tag: SchemaTag.Nullable,
+                inner
+            }), schema);
+        case SchemaTag.Brand:
+            return normalizeWrappedObjectEntrySchema(schema.inner, (inner) => ({
+                tag: SchemaTag.Brand,
+                inner,
+                brand: schema.brand
+            }), schema);
+        case SchemaTag.Refine:
+            return normalizeWrappedObjectEntrySchema(schema.inner, (inner) => ({
+                tag: SchemaTag.Refine,
+                inner,
+                predicate: schema.predicate,
+                name: schema.name
+            }), schema);
+        default:
+            return {
+                schema,
+                presence: PresenceTag.Required
+            };
+    }
+}
+/**
+ * @brief normalize wrapped object entry schema.
+ */
+function normalizeWrappedObjectEntrySchema(inner, wrap, original) {
+    const normalized = normalizeObjectEntrySchema(inner);
+    if (normalized.presence === PresenceTag.Required) {
+        return {
+            schema: original,
+            presence: PresenceTag.Required
+        };
+    }
+    return {
+        schema: wrap(normalized.schema),
+        presence: PresenceTag.Optional
+    };
+}

package/dist/builders/object/types.d.ts

@@ -0,0 +1,63 @@
+/**
+ * @file types.ts
+ * @brief Object builder type algebra.
+ */
+import type { BaseGuard, Guard, GuardPresence, GuardValue, Infer, Presence } from "../../guard/index.js";
+import type { ObjectModeTag } from "../../kind/index.js";
+/**
+ * @brief object shape.
+ */
+export type ObjectShape = Readonly<Record<string, Guard<unknown, Presence>>>;
+/**
+ * @brief object guard mode.
+ */
+export type ObjectGuardMode = typeof ObjectModeTag.Passthrough | typeof ObjectModeTag.Strict;
+/**
+ * @brief optional keys.
+ */
+export type OptionalKeys<TShape extends ObjectShape> = {
+    [TKey in keyof TShape]-?: GuardPresence<TShape[TKey]> extends "optional" ? TKey : never;
+}[keyof TShape];
+/**
+ * @brief required keys.
+ */
+export type RequiredKeys<TShape extends ObjectShape> = {
+    [TKey in keyof TShape]-?: GuardPresence<TShape[TKey]> extends "optional" ? never : TKey;
+}[keyof TShape];
+/**
+ * @brief infer object.
+ */
+export type InferObject<TShape extends ObjectShape> = Simplify<{
+    readonly [TKey in RequiredKeys<TShape>]: Infer<TShape[TKey]>;
+} & {
+    readonly [TKey in OptionalKeys<TShape>]?: GuardValue<TShape[TKey]>;
+}>;
+/**
+ * @brief simplify.
+ */
+export type Simplify<TValue> = {
+    readonly [TKey in keyof TValue]: TValue[TKey];
+} & {};
+/**
+ * @brief merge object shapes.
+ */
+export type MergeObjectShapes<TBase extends ObjectShape, TExtension extends ObjectShape> = Simplify<Omit<TBase, keyof TExtension> & TExtension>;
+/**
+ * @brief partial object shape.
+ */
+export type PartialObjectShape<TShape extends ObjectShape> = {
+    readonly [TKey in keyof TShape]: BaseGuard<GuardValue<TShape[TKey]>, "optional">;
+};
+/**
+ * @brief pick object shape.
+ */
+export type PickObjectShape<TShape extends ObjectShape, TKey extends string> = Pick<TShape, Extract<keyof TShape, TKey>>;
+/**
+ * @brief omit object shape.
+ */
+export type OmitObjectShape<TShape extends ObjectShape, TKey extends string> = Omit<TShape, Extract<keyof TShape, TKey>>;
+/**
+ * @brief string key of.
+ */
+export type StringKeyOf<TValue> = Extract<keyof TValue, string>;
+//# sourceMappingURL=types.d.ts.map

package/dist/builders/object/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/builders/object/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,KAAK,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,QAAQ,EACT,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE7E;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,OAAO,aAAa,CAAC,WAAW,GAChC,OAAO,aAAa,CAAC,MAAM,CAAC;AAEhC;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IAAI;KACpD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,GACpE,IAAI,GACJ,KAAK;CACV,CAAC,MAAM,MAAM,CAAC,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IAAI;KACpD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,GACpE,KAAK,GACL,IAAI;CACT,CAAC,MAAM,MAAM,CAAC,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,WAAW,IAAI,QAAQ,CAC5D;IACE,QAAQ,EAAE,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAC7D,GAAG;IACF,QAAQ,EAAE,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACnE,CACF,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,MAAM,IAAI;IAC7B,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;CAC9C,GAAG,EAAE,CAAC;AAEP;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAC3B,KAAK,SAAS,WAAW,EACzB,UAAU,SAAS,WAAW,IAC5B,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,UAAU,CAAC,GAAG,UAAU,CAAC,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,WAAW,IAAI;IAC3D,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC;CACjF,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,WAAW,EAC1B,IAAI,SAAS,MAAM,IACjB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,WAAW,EAC1B,IAAI,SAAS,MAAM,IACjB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,CAAC"}

package/dist/builders/object/types.js

@@ -0,0 +1,5 @@
+/**
+ * @file types.ts
+ * @brief Object builder type algebra.
+ */
+export {};

package/dist/builders/scalar.d.ts

@@ -0,0 +1,39 @@
+/**
+ * @file scalar.ts
+ * @brief Primitive and literal guard builders.
+ */
+import { BaseGuard, NumberGuard, StringGuard } from "../guard/index.js";
+import type { LiteralValue } from "../schema/index.js";
+/**
+ * @brief string guard.
+ */
+export declare const stringGuard: StringGuard<"required">;
+/**
+ * @brief unknown guard.
+ */
+export declare const unknownGuard: BaseGuard<unknown, "required">;
+/**
+ * @brief never guard.
+ */
+export declare const neverGuard: BaseGuard<never, "required">;
+/**
+ * @brief number guard.
+ */
+export declare const numberGuard: NumberGuard<"required">;
+/**
+ * @brief bigint guard.
+ */
+export declare const bigintGuard: BaseGuard<bigint, "required">;
+/**
+ * @brief symbol guard.
+ */
+export declare const symbolGuard: BaseGuard<symbol, "required">;
+/**
+ * @brief boolean guard.
+ */
+export declare const booleanGuard: BaseGuard<boolean, "required">;
+/**
+ * @brief literal.
+ */
+export declare function literal<const TValue extends LiteralValue>(value: TValue): BaseGuard<TValue>;
+//# sourceMappingURL=scalar.d.ts.map

package/dist/builders/scalar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar.d.ts","sourceRoot":"","sources":["../../src/builders/scalar.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,SAAS,EACT,WAAW,EACX,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGvD;;GAEG;AACH,eAAO,MAAM,WAAW,yBAGtB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,YAAY,gCAEvB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,8BAErB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,yBAGtB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,+BAEtB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,+BAEtB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,YAAY,gCAEvB,CAAC;AAEH;;GAEG;AACH,wBAAgB,OAAO,CAAC,KAAK,CAAC,MAAM,SAAS,YAAY,EACvD,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,MAAM,CAAC,CAQnB"}

package/dist/builders/scalar.js

@@ -0,0 +1,63 @@
+/**
+ * @file scalar.ts
+ * @brief Primitive and literal guard builders.
+ */
+import { SchemaTag } from "../kind/index.js";
+import { BaseGuard, NumberGuard, StringGuard } from "../guard/index.js";
+import { isLiteralValue } from "../schema/index.js";
+/**
+ * @brief string guard.
+ */
+export const stringGuard = new StringGuard({
+    tag: SchemaTag.String,
+    checks: []
+});
+/**
+ * @brief unknown guard.
+ */
+export const unknownGuard = new BaseGuard({
+    tag: SchemaTag.Unknown
+});
+/**
+ * @brief never guard.
+ */
+export const neverGuard = new BaseGuard({
+    tag: SchemaTag.Never
+});
+/**
+ * @brief number guard.
+ */
+export const numberGuard = new NumberGuard({
+    tag: SchemaTag.Number,
+    checks: []
+});
+/**
+ * @brief bigint guard.
+ */
+export const bigintGuard = new BaseGuard({
+    tag: SchemaTag.BigInt
+});
+/**
+ * @brief symbol guard.
+ */
+export const symbolGuard = new BaseGuard({
+    tag: SchemaTag.Symbol
+});
+/**
+ * @brief boolean guard.
+ */
+export const booleanGuard = new BaseGuard({
+    tag: SchemaTag.Boolean
+});
+/**
+ * @brief literal.
+ */
+export function literal(value) {
+    if (!isLiteralValue(value)) {
+        throw new TypeError("literal value must be a primitive literal");
+    }
+    return new BaseGuard({
+        tag: SchemaTag.Literal,
+        value
+    });
+}

package/dist/builders/table.d.ts

@@ -0,0 +1,53 @@
+/**
+ * @file table.ts
+ * @brief Frozen public builder table.
+ */
+import { asyncDecoder, asyncPipe, asyncRefine, asyncTransform } from "../async/index.js";
+import { decoder, pipe, transform } from "../decoder/index.js";
+import { array, discriminatedUnion, intersect, record, tuple, union } from "./composite.js";
+import { lazy, nullable, optional, refine, undefinedable } from "./modifier.js";
+import { extend, object, omit, partial, pick, strictObject } from "./object/index.js";
+import { literal } from "./scalar.js";
+/**
+ * @brief t.
+ */
+export declare const t: Readonly<{
+    readonly unknown: import("../index.js").BaseGuard<unknown, "required">;
+    readonly never: import("../index.js").BaseGuard<never, "required">;
+    readonly string: import("../index.js").StringGuard<"required">;
+    readonly number: import("../index.js").NumberGuard<"required">;
+    readonly bigint: import("../index.js").BaseGuard<bigint, "required">;
+    readonly symbol: import("../index.js").BaseGuard<symbol, "required">;
+    readonly boolean: import("../index.js").BaseGuard<boolean, "required">;
+    readonly literal: typeof literal;
+    readonly array: typeof array;
+    readonly tuple: typeof tuple;
+    readonly record: typeof record;
+    readonly decoder: typeof decoder;
+    readonly object: typeof object;
+    readonly strictObject: typeof strictObject;
+    readonly extend: typeof extend;
+    readonly pick: typeof pick;
+    readonly omit: typeof omit;
+    readonly partial: typeof partial;
+    readonly union: typeof union;
+    readonly intersect: typeof intersect;
+    readonly discriminatedUnion: typeof discriminatedUnion;
+    readonly optional: typeof optional;
+    readonly undefinedable: typeof undefinedable;
+    readonly nullable: typeof nullable;
+    readonly lazy: typeof lazy;
+    readonly refine: typeof refine;
+    readonly transform: typeof transform;
+    readonly pipe: typeof pipe;
+    readonly coerce: Readonly<{
+        readonly string: typeof import("../decoder/index.js").coerceString;
+        readonly number: typeof import("../decoder/index.js").coerceNumber;
+        readonly boolean: typeof import("../decoder/index.js").coerceBoolean;
+    }>;
+    readonly asyncDecoder: typeof asyncDecoder;
+    readonly asyncRefine: typeof asyncRefine;
+    readonly asyncTransform: typeof asyncTransform;
+    readonly asyncPipe: typeof asyncPipe;
+}>;
+//# sourceMappingURL=table.d.ts.map

package/dist/builders/table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table.d.ts","sourceRoot":"","sources":["../../src/builders/table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EAAU,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EACL,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,KAAK,EACL,KAAK,EACN,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,aAAa,EACd,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,MAAM,EACN,MAAM,EACN,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,YAAY,EACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAGL,OAAO,EAMR,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,eAAO,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkCH,CAAC"}

package/dist/builders/table.js

@@ -0,0 +1,48 @@
+/**
+ * @file table.ts
+ * @brief Frozen public builder table.
+ */
+import { asyncDecoder, asyncPipe, asyncRefine, asyncTransform } from "../async/index.js";
+import { coerce, decoder, pipe, transform } from "../decoder/index.js";
+import { array, discriminatedUnion, intersect, record, tuple, union } from "./composite.js";
+import { lazy, nullable, optional, refine, undefinedable } from "./modifier.js";
+import { extend, object, omit, partial, pick, strictObject } from "./object/index.js";
+import { bigintGuard, booleanGuard, literal, neverGuard, numberGuard, stringGuard, symbolGuard, unknownGuard } from "./scalar.js";
+/**
+ * @brief t.
+ */
+export const t = Object.freeze({
+    unknown: unknownGuard,
+    never: neverGuard,
+    string: stringGuard,
+    number: numberGuard,
+    bigint: bigintGuard,
+    symbol: symbolGuard,
+    boolean: booleanGuard,
+    literal,
+    array,
+    tuple,
+    record,
+    decoder,
+    object,
+    strictObject,
+    extend,
+    pick,
+    omit,
+    partial,
+    union,
+    intersect,
+    discriminatedUnion,
+    optional,
+    undefinedable,
+    nullable,
+    lazy,
+    refine,
+    transform,
+    pipe,
+    coerce,
+    asyncDecoder,
+    asyncRefine,
+    asyncTransform,
+    asyncPipe
+});

package/dist/builders/types.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @file types.ts
+ * @brief Shared builder type algebra.
+ */
+import type { Guard, Infer, Presence } from "../guard/index.js";
+/**
+ * @brief tuple shape.
+ */
+export type TupleShape = readonly Guard<unknown, Presence>[];
+/**
+ * @brief infer tuple.
+ */
+export type InferTuple<TShape extends TupleShape> = {
+    readonly [TKey in keyof TShape]: Infer<TShape[TKey]>;
+};
+/**
+ * @brief union input.
+ */
+export type UnionInput = readonly [Guard<unknown, Presence>, ...Guard<unknown, Presence>[]];
+/**
+ * @brief discriminated union cases.
+ */
+export type DiscriminatedUnionCases<TKey extends string, TCases extends Readonly<Record<string, Guard<unknown, Presence>>>> = string extends TKey ? TCases : {
+    readonly [TCase in keyof TCases]: TCase extends string ? Infer<TCases[TCase]> extends Readonly<Record<TKey, TCase>> ? TCases[TCase] : never : never;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/builders/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/builders/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,KAAK,EACL,KAAK,EACL,QAAQ,EACT,MAAM,mBAAmB,CAAC;AAE3B;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,UAAU,IAAI;IAClD,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACrD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GACpB,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;AAErE;;GAEG;AACH,MAAM,MAAM,uBAAuB,CACjC,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAC/D,MAAM,SAAS,IAAI,GACnB,MAAM,GACN;IACE,QAAQ,EAAE,KAAK,IAAI,MAAM,MAAM,GAAG,KAAK,SAAS,MAAM,GAClD,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GACxD,MAAM,CAAC,KAAK,CAAC,GACb,KAAK,GACT,KAAK;CACR,CAAC"}

package/dist/builders/types.js

@@ -0,0 +1,5 @@
+/**
+ * @file types.ts
+ * @brief Shared builder type algebra.
+ */
+export {};

package/dist/compile/check-composite.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @file compile/check-composite.ts
+ * @brief Composite diagnostic validator snippets.
+ */
+import { SchemaTag } from "../kind/index.js";
+import type { DiscriminatedUnionCase, Schema } from "../schema/index.js";
+import type { EmitContext } from "./types.js";
+/**
+ * @brief check function emitter.
+ */
+export type CheckFunctionEmitter = (schema: Schema, context: EmitContext) => string;
+/**
+ * @brief emit array check.
+ */
+export declare function emitArrayCheck(item: Schema, value: string, path: string, issues: string, context: EmitContext, emitChild: CheckFunctionEmitter): string;
+/**
+ * @brief emit tuple check.
+ */
+export declare function emitTupleCheck(items: readonly Schema[], value: string, path: string, issues: string, context: EmitContext, emitChild: CheckFunctionEmitter): string;
+/**
+ * @brief emit record check.
+ */
+export declare function emitRecordCheck(item: Schema, value: string, path: string, issues: string, context: EmitContext, emitChild: CheckFunctionEmitter): string;
+/**
+ * @brief emit object check.
+ */
+export declare function emitObjectCheck(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Object;
+}>, value: string, path: string, issues: string, context: EmitContext, emitChild: CheckFunctionEmitter): string;
+/**
+ * @brief emit discriminated union check.
+ */
+export declare function emitDiscriminatedUnionCheck(key: string, cases: readonly DiscriminatedUnionCase[], value: string, path: string, issues: string, context: EmitContext, emitChild: CheckFunctionEmitter): string;
+//# sourceMappingURL=check-composite.d.ts.map

package/dist/compile/check-composite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-composite.d.ts","sourceRoot":"","sources":["../../src/compile/check-composite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAGL,SAAS,EACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,sBAAsB,EACtB,MAAM,EACP,MAAM,oBAAoB,CAAC;AAW5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,KACjB,MAAM,CAAC;AAEZ;;GAEG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,SAAS,EAAE,oBAAoB,GAC9B,MAAM,CAuBR;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,SAAS,EAAE,oBAAoB,GAC9B,MAAM,CAiCR;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,SAAS,EAAE,oBAAoB,GAC9B,MAAM,CAsBR;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,SAAS,EAAE,oBAAoB,GAC9B,MAAM,CAqDR;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,sBAAsB,EAAE,EACxC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,SAAS,EAAE,oBAAoB,GAC9B,MAAM,CA+CR"}