typesea 0.1.0

package/dist/schema/index.js

@@ -0,0 +1,9 @@
+/**
+ * @file schema/index.ts
+ * @brief Schema module aggregate.
+ */
+export { UUID_PATTERN } from "./types.js";
+export { isLiteralValue } from "./literal.js";
+export { isSchemaValue } from "./validate.js";
+export { freezeSchema } from "./freeze.js";
+export { resolveLazySchema } from "./lazy.js";

package/dist/schema/lazy.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @file schema/lazy.ts
+ * @brief Lazy schema resolution.
+ */
+import type { LazySchema, Schema } from "./types.js";
+/**
+ * @brief resolve lazy schema.
+ */
+export declare function resolveLazySchema(schema: LazySchema, resolving: WeakSet<object>): Schema;
+//# sourceMappingURL=lazy.d.ts.map

package/dist/schema/lazy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../src/schema/lazy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAErD;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,UAAU,EAClB,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,GACzB,MAAM,CAcR"}

package/dist/schema/lazy.js

@@ -0,0 +1,25 @@
+/**
+ * @file schema/lazy.ts
+ * @brief Lazy schema resolution.
+ */
+import { SchemaTag } from "../kind/index.js";
+import { freezeSchema } from "./freeze.js";
+import { isSchemaValue } from "./validate.js";
+/**
+ * @brief resolve lazy schema.
+ */
+export function resolveLazySchema(schema, resolving) {
+    if (resolving.has(schema)) {
+        throw new TypeError("lazy schema cycle must resolve to a concrete schema");
+    }
+    resolving.add(schema);
+    const resolved = schema.get();
+    if (!isSchemaValue(resolved)) {
+        throw new TypeError("lazy schema must resolve to a valid TypeSea schema");
+    }
+    const concrete = resolved.tag === SchemaTag.Lazy
+        ? resolveLazySchema(resolved, resolving)
+        : resolved;
+    resolving.delete(schema);
+    return freezeSchema(concrete);
+}

package/dist/schema/literal.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @file schema/literal.ts
+ * @brief Literal-value boundary checks.
+ */
+import type { LiteralValue } from "./types.js";
+/**
+ * @brief is literal value.
+ */
+export declare function isLiteralValue(value: unknown): value is LiteralValue;
+//# sourceMappingURL=literal.d.ts.map

package/dist/schema/literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../../src/schema/literal.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAWpE"}

package/dist/schema/literal.js

@@ -0,0 +1,17 @@
+/**
+ * @file schema/literal.ts
+ * @brief Literal-value boundary checks.
+ */
+/**
+ * @brief is literal value.
+ */
+export function isLiteralValue(value) {
+    const valueType = typeof value;
+    return (value === null ||
+        valueType === "string" ||
+        valueType === "number" ||
+        valueType === "bigint" ||
+        valueType === "boolean" ||
+        valueType === "symbol" ||
+        valueType === "undefined");
+}

package/dist/schema/types.d.ts

@@ -0,0 +1,243 @@
+/**
+ * @file schema/types.ts
+ * @brief Schema tags and structural TypeSea schema records.
+ */
+import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+/**
+ * @brief literal value.
+ */
+export type LiteralValue = string | number | bigint | boolean | symbol | null | undefined;
+/**
+ * @brief schema.
+ */
+export type Schema = UnknownSchema | NeverSchema | StringSchema | NumberSchema | BigIntSchema | SymbolSchema | BooleanSchema | LiteralSchema | ArraySchema | ObjectSchema | UnionSchema | IntersectionSchema | OptionalSchema | UndefinedableSchema | NullableSchema | DiscriminatedUnionSchema | BrandSchema | TupleSchema | RecordSchema | LazySchema | RefineSchema;
+/**
+ * @brief unknown schema.
+ */
+export interface UnknownSchema {
+    readonly tag: typeof SchemaTag.Unknown;
+}
+/**
+ * @brief never schema.
+ */
+export interface NeverSchema {
+    readonly tag: typeof SchemaTag.Never;
+}
+/**
+ * @brief string schema.
+ */
+export interface StringSchema {
+    readonly tag: typeof SchemaTag.String;
+    readonly checks: readonly StringCheck[];
+}
+/**
+ * @brief string check.
+ */
+export type StringCheck = StringMinCheck | StringMaxCheck | StringRegexCheck | StringUuidCheck;
+/**
+ * @brief string min check.
+ */
+export interface StringMinCheck {
+    readonly tag: typeof StringCheckTag.Min;
+    readonly value: number;
+}
+/**
+ * @brief string max check.
+ */
+export interface StringMaxCheck {
+    readonly tag: typeof StringCheckTag.Max;
+    readonly value: number;
+}
+/**
+ * @brief string regex check.
+ */
+export interface StringRegexCheck {
+    readonly tag: typeof StringCheckTag.Regex;
+    readonly regex: RegExp;
+    readonly name: string;
+}
+/**
+ * @brief string uuid check.
+ */
+export interface StringUuidCheck {
+    readonly tag: typeof StringCheckTag.Uuid;
+}
+/**
+ * @brief number schema.
+ */
+export interface NumberSchema {
+    readonly tag: typeof SchemaTag.Number;
+    readonly checks: readonly NumberCheck[];
+}
+/**
+ * @brief big int schema.
+ */
+export interface BigIntSchema {
+    readonly tag: typeof SchemaTag.BigInt;
+}
+/**
+ * @brief symbol schema.
+ */
+export interface SymbolSchema {
+    readonly tag: typeof SchemaTag.Symbol;
+}
+/**
+ * @brief number check.
+ */
+export type NumberCheck = NumberIntegerCheck | NumberGteCheck | NumberLteCheck;
+/**
+ * @brief number integer check.
+ */
+export interface NumberIntegerCheck {
+    readonly tag: typeof NumberCheckTag.Integer;
+}
+/**
+ * @brief number gte check.
+ */
+export interface NumberGteCheck {
+    readonly tag: typeof NumberCheckTag.Gte;
+    readonly value: number;
+}
+/**
+ * @brief number lte check.
+ */
+export interface NumberLteCheck {
+    readonly tag: typeof NumberCheckTag.Lte;
+    readonly value: number;
+}
+/**
+ * @brief boolean schema.
+ */
+export interface BooleanSchema {
+    readonly tag: typeof SchemaTag.Boolean;
+}
+/**
+ * @brief literal schema.
+ */
+export interface LiteralSchema {
+    readonly tag: typeof SchemaTag.Literal;
+    readonly value: LiteralValue;
+}
+/**
+ * @brief array schema.
+ */
+export interface ArraySchema {
+    readonly tag: typeof SchemaTag.Array;
+    readonly item: Schema;
+}
+/**
+ * @brief tuple schema.
+ */
+export interface TupleSchema {
+    readonly tag: typeof SchemaTag.Tuple;
+    readonly items: readonly Schema[];
+}
+/**
+ * @brief record schema.
+ */
+export interface RecordSchema {
+    readonly tag: typeof SchemaTag.Record;
+    readonly value: Schema;
+}
+/**
+ * @brief object schema.
+ */
+export interface ObjectSchema {
+    readonly tag: typeof SchemaTag.Object;
+    readonly entries: readonly ObjectEntry[];
+    readonly keys: readonly string[];
+    readonly keyLookup: ObjectKeyLookup;
+    readonly mode: ObjectModeTag;
+}
+/**
+ * @brief object key lookup.
+ */
+export type ObjectKeyLookup = Readonly<Record<string, true>>;
+/**
+ * @brief object entry.
+ */
+export interface ObjectEntry {
+    readonly key: string;
+    readonly schema: Schema;
+    readonly presence: PresenceTag;
+}
+/**
+ * @brief union schema.
+ */
+export interface UnionSchema {
+    readonly tag: typeof SchemaTag.Union;
+    readonly options: readonly Schema[];
+}
+/**
+ * @brief intersection schema.
+ */
+export interface IntersectionSchema {
+    readonly tag: typeof SchemaTag.Intersection;
+    readonly left: Schema;
+    readonly right: Schema;
+}
+/**
+ * @brief optional schema.
+ */
+export interface OptionalSchema {
+    readonly tag: typeof SchemaTag.Optional;
+    readonly inner: Schema;
+}
+/**
+ * @brief undefinedable schema.
+ */
+export interface UndefinedableSchema {
+    readonly tag: typeof SchemaTag.Undefinedable;
+    readonly inner: Schema;
+}
+/**
+ * @brief nullable schema.
+ */
+export interface NullableSchema {
+    readonly tag: typeof SchemaTag.Nullable;
+    readonly inner: Schema;
+}
+/**
+ * @brief discriminated union schema.
+ */
+export interface DiscriminatedUnionSchema {
+    readonly tag: typeof SchemaTag.DiscriminatedUnion;
+    readonly key: string;
+    readonly cases: readonly DiscriminatedUnionCase[];
+}
+/**
+ * @brief discriminated union case.
+ */
+export interface DiscriminatedUnionCase {
+    readonly literal: string;
+    readonly schema: Schema;
+}
+/**
+ * @brief brand schema.
+ */
+export interface BrandSchema {
+    readonly tag: typeof SchemaTag.Brand;
+    readonly inner: Schema;
+    readonly brand: string;
+}
+/**
+ * @brief lazy schema.
+ */
+export interface LazySchema {
+    readonly tag: typeof SchemaTag.Lazy;
+    readonly get: () => Schema;
+}
+/**
+ * @brief refine schema.
+ */
+export interface RefineSchema {
+    readonly tag: typeof SchemaTag.Refine;
+    readonly inner: Schema;
+    readonly predicate: (value: unknown) => boolean;
+    readonly name: string;
+}
+/**
+ * @brief uuid pattern.
+ */
+export declare const UUID_PATTERN: RegExp;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,cAAc,EACd,aAAa,EACb,WAAW,EACX,SAAS,EACT,cAAc,EACf,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,MAAM,GACd,aAAa,GACb,WAAW,GACX,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,aAAa,GACb,WAAW,GACX,YAAY,GACZ,WAAW,GACX,kBAAkB,GAClB,cAAc,GACd,mBAAmB,GACnB,cAAc,GACd,wBAAwB,GACxB,WAAW,GACX,WAAW,GACX,YAAY,GACZ,UAAU,GACV,YAAY,CAAC;AAEjB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,eAAe,CAAC;AAEpB;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,KAAK,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,IAAI,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,kBAAkB,GAClB,cAAc,GACd,cAAc,CAAC;AAEnB;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,OAAO,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE7D;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,YAAY,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,aAAa,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,kBAAkB,CAAC;IAClD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,IAAI,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,QAC+F,CAAC"}

package/dist/schema/types.js

@@ -0,0 +1,9 @@
+/**
+ * @file schema/types.ts
+ * @brief Schema tags and structural TypeSea schema records.
+ */
+import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+/**
+ * @brief uuid pattern.
+ */
+export const UUID_PATTERN = /^(?:00000000-0000-0000-0000-000000000000|[0-9a-f]{8}-[0-9a-f]{4}-[1-8][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12})$/iu;

package/dist/schema/validate.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @file schema/validate.ts
+ * @brief Runtime validators for direct schema objects.
+ */
+import type { Schema } from "./types.js";
+/**
+ * @brief is schema value.
+ */
+export declare function isSchemaValue(value: unknown): value is Schema;
+//# sourceMappingURL=validate.d.ts.map

package/dist/schema/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/schema/validate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAkBH,OAAO,KAAK,EAEV,MAAM,EAEP,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAK7D"}

package/dist/schema/validate.js

@@ -0,0 +1,268 @@
+/**
+ * @file schema/validate.ts
+ * @brief Runtime validators for direct schema objects.
+ */
+import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { isLiteralValue } from "./literal.js";
+import { includesString, isObjectKeyLookup, isPlainRegExp, isRecord, isStringArray, isUnknownArray } from "./common.js";
+/**
+ * @brief is schema value.
+ */
+export function isSchemaValue(value) {
+    return isSchemaValueInner(value, {
+        validated: new WeakSet(),
+        visiting: new WeakSet()
+    });
+}
+/**
+ * @brief is schema value inner.
+ */
+function isSchemaValueInner(value, state) {
+    if (!isRecord(value)) {
+        return false;
+    }
+    if (state.validated.has(value)) {
+        return true;
+    }
+    if (state.visiting.has(value)) {
+        return false;
+    }
+    state.visiting.add(value);
+    const valid = isSchemaRecord(value, state);
+    state.visiting.delete(value);
+    if (valid) {
+        state.validated.add(value);
+    }
+    return valid;
+}
+/**
+ * @brief is schema record.
+ */
+function isSchemaRecord(value, state) {
+    switch (value["tag"]) {
+        case SchemaTag.Unknown:
+        case SchemaTag.Never:
+        case SchemaTag.BigInt:
+        case SchemaTag.Symbol:
+        case SchemaTag.Boolean:
+            return true;
+        case SchemaTag.String:
+            return isStringChecks(value["checks"]);
+        case SchemaTag.Number:
+            return isNumberChecks(value["checks"]);
+        case SchemaTag.Literal:
+            return isLiteralValue(value["value"]);
+        case SchemaTag.Array:
+            return isSchemaValueInner(value["item"], state);
+        case SchemaTag.Tuple:
+            return isSchemaArray(value["items"], state);
+        case SchemaTag.Record:
+            return isSchemaValueInner(value["value"], state);
+        case SchemaTag.Object:
+            return isObjectSchemaValue(value, state);
+        case SchemaTag.Union:
+            return isSchemaArray(value["options"], state);
+        case SchemaTag.Intersection:
+            return isSchemaValueInner(value["left"], state) &&
+                isSchemaValueInner(value["right"], state);
+        case SchemaTag.Optional:
+        case SchemaTag.Undefinedable:
+        case SchemaTag.Nullable:
+            return isSchemaValueInner(value["inner"], state);
+        case SchemaTag.DiscriminatedUnion:
+            return isDiscriminatedUnionSchemaValue(value, state);
+        case SchemaTag.Brand:
+            return typeof value["brand"] === "string" &&
+                isSchemaValueInner(value["inner"], state);
+        case SchemaTag.Lazy:
+            return typeof value["get"] === "function";
+        case SchemaTag.Refine:
+            return typeof value["name"] === "string" &&
+                typeof value["predicate"] === "function" &&
+                isSchemaValueInner(value["inner"], state);
+        default:
+            return false;
+    }
+}
+/**
+ * @brief is string checks.
+ */
+function isStringChecks(value) {
+    if (!isUnknownArray(value)) {
+        return false;
+    }
+    for (let index = 0; index < value.length; index += 1) {
+        const check = value[index];
+        if (!isRecord(check)) {
+            return false;
+        }
+        switch (check["tag"]) {
+            case StringCheckTag.Min:
+            case StringCheckTag.Max: {
+                const bound = check["value"];
+                if (typeof bound !== "number" || !Number.isInteger(bound) || bound < 0) {
+                    return false;
+                }
+                break;
+            }
+            case StringCheckTag.Regex:
+                if (!isPlainRegExp(check["regex"]) || typeof check["name"] !== "string") {
+                    return false;
+                }
+                break;
+            case StringCheckTag.Uuid:
+                break;
+            default:
+                return false;
+        }
+    }
+    return true;
+}
+/**
+ * @brief is number checks.
+ */
+function isNumberChecks(value) {
+    if (!isUnknownArray(value)) {
+        return false;
+    }
+    for (let index = 0; index < value.length; index += 1) {
+        const check = value[index];
+        if (!isRecord(check)) {
+            return false;
+        }
+        switch (check["tag"]) {
+            case NumberCheckTag.Integer:
+                break;
+            case NumberCheckTag.Gte:
+            case NumberCheckTag.Lte: {
+                const bound = check["value"];
+                if (typeof bound !== "number" || !Number.isFinite(bound)) {
+                    return false;
+                }
+                break;
+            }
+            default:
+                return false;
+        }
+    }
+    return true;
+}
+/**
+ * @brief is schema array.
+ */
+function isSchemaArray(value, state) {
+    if (!isUnknownArray(value)) {
+        return false;
+    }
+    for (let index = 0; index < value.length; index += 1) {
+        if (!isSchemaValueInner(value[index], state)) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * @brief is object schema value.
+ */
+function isObjectSchemaValue(value, state) {
+    if (value["mode"] !== ObjectModeTag.Passthrough &&
+        value["mode"] !== ObjectModeTag.Strict) {
+        return false;
+    }
+    const entries = value["entries"];
+    const keys = value["keys"];
+    const keyLookup = value["keyLookup"];
+    if (!isUnknownArray(entries) || !isStringArray(keys) ||
+        !isObjectKeyLookup(keyLookup, keys) || entries.length !== keys.length) {
+        return false;
+    }
+    const seen = [];
+    for (let index = 0; index < entries.length; index += 1) {
+        const entry = entries[index];
+        if (!isRecord(entry) ||
+            typeof entry["key"] !== "string" ||
+            entry["key"] !== keys[index] ||
+            includesString(seen, entry["key"]) ||
+            (entry["presence"] !== PresenceTag.Required &&
+                entry["presence"] !== PresenceTag.Optional) ||
+            !isSchemaValueInner(entry["schema"], state)) {
+            return false;
+        }
+        seen.push(entry["key"]);
+    }
+    return true;
+}
+/**
+ * @brief is discriminated union schema value.
+ */
+function isDiscriminatedUnionSchemaValue(value, state) {
+    const cases = value["cases"];
+    const key = value["key"];
+    if (typeof key !== "string" || !isUnknownArray(cases) || cases.length === 0) {
+        return false;
+    }
+    const literals = [];
+    for (let index = 0; index < cases.length; index += 1) {
+        const unionCase = cases[index];
+        if (!isRecord(unionCase) || typeof unionCase["literal"] !== "string" ||
+            includesString(literals, unionCase["literal"]) ||
+            !isSchemaValueInner(unionCase["schema"], state) ||
+            !caseRequiresDiscriminant(unionCase["schema"], key, unionCase["literal"])) {
+            return false;
+        }
+        literals.push(unionCase["literal"]);
+    }
+    return true;
+}
+/**
+ * @brief case requires discriminant.
+ */
+function caseRequiresDiscriminant(schema, key, literal) {
+    const objectSchema = unwrapCaseObjectSchema(schema);
+    if (objectSchema === undefined) {
+        return false;
+    }
+    const entries = objectSchema.entries;
+    for (let index = 0; index < entries.length; index += 1) {
+        const entry = entries[index];
+        if (entry?.key !== key) {
+            continue;
+        }
+        return entry.presence === PresenceTag.Required &&
+            schemaRequiresLiteral(entry.schema, literal);
+    }
+    return false;
+}
+/**
+ * @brief unwrap case object schema.
+ */
+function unwrapCaseObjectSchema(schema) {
+    switch (schema.tag) {
+        case SchemaTag.Object:
+            return schema;
+        case SchemaTag.Intersection:
+            return unwrapCaseObjectSchema(schema.left) ?? unwrapCaseObjectSchema(schema.right);
+        case SchemaTag.Brand:
+        case SchemaTag.Refine:
+            return unwrapCaseObjectSchema(schema.inner);
+        default:
+            return undefined;
+    }
+}
+/**
+ * @brief schema requires literal.
+ */
+function schemaRequiresLiteral(schema, literal) {
+    switch (schema.tag) {
+        case SchemaTag.Literal:
+            return Object.is(schema.value, literal);
+        case SchemaTag.Intersection:
+            return schemaRequiresLiteral(schema.left, literal) ||
+                schemaRequiresLiteral(schema.right, literal);
+        case SchemaTag.Brand:
+        case SchemaTag.Refine:
+            return schemaRequiresLiteral(schema.inner, literal);
+        default:
+            return false;
+    }
+}