typesea 0.1.0

package/dist/aot/index.js

@@ -0,0 +1,295 @@
+import { emitCompiledSourceBundle } from "../compile/index.js";
+import { SchemaTag } from "../kind/index.js";
+import { err, ok } from "../result/index.js";
+import { freezeSchema, isSchemaValue } from "../schema/index.js";
+/**
+ * @brief emit aot module.
+ */
+export function emitAotModule(guard, options) {
+    const schema = readAotSchema(guard);
+    const config = readOptions(options);
+    const issues = [];
+    scanAotSchema(schema, [], issues, new WeakSet());
+    if (issues.length !== 0) {
+        return err(freezeAotIssues(issues));
+    }
+    const bundle = emitCompiledSourceBundle(schema, config.name);
+    if (bundle.dynamicSchemas.length !== 0) {
+        return err(freezeAotIssues([
+            {
+                path: Object.freeze([]),
+                code: "unsupported_aot_refine",
+                message: "AOT modules cannot preserve dynamic schema fallback"
+            }
+        ]));
+    }
+    return ok(Object.freeze({
+        source: emitModuleSource(bundle),
+        declarationSource: emitDeclarationSource()
+    }));
+}
+/**
+ * @brief read aot schema.
+ */
+function readAotSchema(guard) {
+    if (!isRecord(guard)) {
+        throw new TypeError("AOT guard must be a TypeSea guard");
+    }
+    const schema = guard["schema"];
+    if (!isSchemaValue(schema)) {
+        throw new TypeError("AOT guard must contain a valid TypeSea schema");
+    }
+    return freezeSchema(schema);
+}
+/**
+ * @brief read options.
+ */
+function readOptions(options) {
+    if (options === undefined) {
+        return {
+            name: "typesea_aot"
+        };
+    }
+    if (!isRecord(options)) {
+        throw new TypeError("AOT options must be an object");
+    }
+    const name = options.name;
+    if (name === undefined) {
+        return {
+            name: "typesea_aot"
+        };
+    }
+    if (typeof name !== "string") {
+        throw new TypeError("AOT name must be a string");
+    }
+    return {
+        name
+    };
+}
+/**
+ * @brief scan aot schema.
+ */
+function scanAotSchema(schema, path, issues, seen) {
+    if (seen.has(schema)) {
+        return;
+    }
+    seen.add(schema);
+    switch (schema.tag) {
+        case SchemaTag.Literal:
+            if (typeof schema.value === "symbol") {
+                pushIssue(path, issues, "unsupported_aot_symbol_literal", "AOT modules cannot preserve symbol literal identity");
+            }
+            return;
+        case SchemaTag.Array:
+            scanAotSchema(schema.item, path.concat("items"), issues, seen);
+            return;
+        case SchemaTag.Tuple:
+            scanSchemaArray(schema.items, path, issues, seen);
+            return;
+        case SchemaTag.Record:
+            scanAotSchema(schema.value, path.concat("additionalProperties"), issues, seen);
+            return;
+        case SchemaTag.Object:
+            scanObjectEntries(schema.entries, path, issues, seen);
+            return;
+        case SchemaTag.Union:
+            scanSchemaArray(schema.options, path, issues, seen);
+            return;
+        case SchemaTag.Intersection:
+            scanAotSchema(schema.left, path.concat("left"), issues, seen);
+            scanAotSchema(schema.right, path.concat("right"), issues, seen);
+            return;
+        case SchemaTag.Optional:
+        case SchemaTag.Undefinedable:
+        case SchemaTag.Nullable:
+        case SchemaTag.Brand:
+            scanAotSchema(schema.inner, path.concat("inner"), issues, seen);
+            return;
+        case SchemaTag.DiscriminatedUnion:
+            for (let index = 0; index < schema.cases.length; index += 1) {
+                const unionCase = schema.cases[index];
+                if (unionCase !== undefined) {
+                    scanAotSchema(unionCase.schema, path.concat(index), issues, seen);
+                }
+            }
+            return;
+        case SchemaTag.Lazy:
+            pushIssue(path, issues, "unsupported_aot_lazy", "AOT modules cannot preserve lazy resolvers");
+            return;
+        case SchemaTag.Refine:
+            pushIssue(path, issues, "unsupported_aot_refine", "AOT modules cannot preserve refinement predicates");
+            return;
+        case SchemaTag.Unknown:
+        case SchemaTag.Never:
+        case SchemaTag.String:
+        case SchemaTag.Number:
+        case SchemaTag.BigInt:
+        case SchemaTag.Symbol:
+        case SchemaTag.Boolean:
+            return;
+    }
+}
+/**
+ * @brief scan schema array.
+ */
+function scanSchemaArray(schemas, path, issues, seen) {
+    for (let index = 0; index < schemas.length; index += 1) {
+        const schema = schemas[index];
+        if (schema !== undefined) {
+            scanAotSchema(schema, path.concat(index), issues, seen);
+        }
+    }
+}
+/**
+ * @brief scan object entries.
+ */
+function scanObjectEntries(entries, path, issues, seen) {
+    for (let index = 0; index < entries.length; index += 1) {
+        const entry = entries[index];
+        if (entry !== undefined) {
+            scanAotSchema(entry.schema, path.concat(entry.key), issues, seen);
+        }
+    }
+}
+/**
+ * @brief emit module source.
+ */
+function emitModuleSource(bundle) {
+    return [
+        "const l=",
+        serializeLiteralArray(bundle.literals),
+        ";const r=",
+        serializeRegExpArray(bundle.regexps),
+        ";const k=",
+        JSON.stringify(bundle.keysets),
+        ";const u=",
+        JSON.stringify(bundle.strings),
+        ";const d=function(){return false;};",
+        "const m=function(){return;};",
+        "const sk=function(v,ks){if(typeof v!==\"object\"||v===null||Array.isArray(v))return false;const ps=Reflect.ownKeys(v);for(let i=0;i<ps.length;i+=1){const key=ps[i];if(typeof key!==\"string\"||!ks.includes(key))return false;}return true;};",
+        "const __typesea=(function(l,r,k,u,d,m,sk){",
+        bundle.source,
+        "})(l,r,k,u,d,m,sk);",
+        "const freezeIssues=function(xs){if(xs.length===0)return Object.freeze([]);const out=new Array(xs.length);for(let i=0;i<xs.length;i+=1){const x=xs[i];const p=x.path.slice();Object.freeze(p);const y={path:p,code:x.code,expected:x.expected,actual:x.actual,message:x.message};Object.freeze(y);out[i]=y;}return Object.freeze(out);};",
+        "export function is(value){return __typesea.is(value);}",
+        "export function check(value){const issues=freezeIssues(__typesea.check(value));if(issues.length===0)return Object.freeze({ok:true,value});return Object.freeze({ok:false,error:issues});}",
+        "export function assert(value){const result=check(value);if(!result.ok){const error=new Error(\"TypeSea assertion failed\");Object.defineProperty(error,\"issues\",{configurable:false,enumerable:true,value:result.error,writable:false});throw error;}}",
+        "export default Object.freeze({is,check,assert});",
+        ""
+    ].join("");
+}
+/**
+ * @brief emit declaration source.
+ */
+function emitDeclarationSource() {
+    return [
+        "export interface AotIssue {",
+        "  readonly path: readonly (string | number)[];",
+        "  readonly code: string;",
+        "  readonly expected: string | undefined;",
+        "  readonly actual: string | undefined;",
+        "  readonly message: string | undefined;",
+        "}",
+        "export type AotCheckResult<TValue = unknown> =",
+        "  | { readonly ok: true; readonly value: TValue }",
+        "  | { readonly ok: false; readonly error: readonly AotIssue[] };",
+        "export declare function is(value: unknown): boolean;",
+        "export declare function check<TValue = unknown>(value: TValue): AotCheckResult<TValue>;",
+        "export declare function assert(value: unknown): void;",
+        "declare const guard: {",
+        "  readonly is: typeof is;",
+        "  readonly check: typeof check;",
+        "  readonly assert: typeof assert;",
+        "};",
+        "export default guard;",
+        ""
+    ].join("\n");
+}
+/**
+ * @brief serialize literal array.
+ */
+function serializeLiteralArray(values) {
+    const parts = new Array(values.length);
+    for (let index = 0; index < values.length; index += 1) {
+        const value = values[index];
+        if (value !== undefined || Object.prototype.hasOwnProperty.call(values, index)) {
+            parts[index] = serializeLiteral(value);
+        }
+    }
+    return `[${parts.join(",")}]`;
+}
+/**
+ * @brief serialize literal.
+ */
+function serializeLiteral(value) {
+    switch (typeof value) {
+        case "string":
+            return JSON.stringify(value);
+        case "number":
+            if (Number.isNaN(value)) {
+                return "Number.NaN";
+            }
+            if (Object.is(value, -0)) {
+                return "-0";
+            }
+            if (value === Number.POSITIVE_INFINITY) {
+                return "Number.POSITIVE_INFINITY";
+            }
+            if (value === Number.NEGATIVE_INFINITY) {
+                return "Number.NEGATIVE_INFINITY";
+            }
+            return String(value);
+        case "bigint":
+            return `${String(value)}n`;
+        case "boolean":
+            return value ? "true" : "false";
+        case "undefined":
+            return "undefined";
+        case "symbol":
+            throw new TypeError("symbol literals must be rejected before AOT serialization");
+        default:
+            return "null";
+    }
+}
+/**
+ * @brief serialize reg exp array.
+ */
+function serializeRegExpArray(values) {
+    const parts = new Array(values.length);
+    for (let index = 0; index < values.length; index += 1) {
+        const value = values[index];
+        if (value !== undefined) {
+            parts[index] = `new RegExp(${JSON.stringify(value.source)},${JSON.stringify(value.flags)})`;
+        }
+    }
+    return `[${parts.join(",")}]`;
+}
+/**
+ * @brief push issue.
+ */
+function pushIssue(path, issues, code, message) {
+    issues.push({
+        path: path.slice(),
+        code,
+        message
+    });
+}
+/**
+ * @brief freeze aot issues.
+ */
+function freezeAotIssues(issues) {
+    for (let index = 0; index < issues.length; index += 1) {
+        const issue = issues[index];
+        if (issue !== undefined) {
+            Object.freeze(issue.path);
+            Object.freeze(issue);
+        }
+    }
+    return Object.freeze(issues);
+}
+/**
+ * @brief is record.
+ */
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}

package/dist/async/index.d.ts

@@ -0,0 +1,111 @@
+import { type DecodeSource, type Decoder, type InferDecoder } from "../decoder/index.js";
+import type { Guard, Presence, RuntimeValue } from "../guard/index.js";
+import { type CheckResult } from "../issue/index.js";
+/**
+ * @brief async decode runner.
+ */
+type AsyncDecodeRunner<TValue> = (value: unknown) => Promise<CheckResult<TValue>>;
+/**
+ * @brief async predicate.
+ */
+type AsyncPredicate<TValue> = (value: TValue) => boolean | Promise<boolean>;
+/**
+ * @brief async mapper.
+ */
+type AsyncMapper<TValue, TNext> = (value: TValue) => TNext | Promise<TNext>;
+/**
+ * @brief async decoder run symbol.
+ */
+declare const AsyncDecoderRunSymbol: unique symbol;
+/**
+ * @brief async decode source.
+ */
+export type AsyncDecodeSource = DecodeSource | AsyncDecoder<unknown>;
+/**
+ * @brief infer async decoder.
+ */
+export type InferAsyncDecoder<TSource> = TSource extends AsyncDecoder<infer TValue> ? TValue : InferDecoder<TSource>;
+/**
+ * @brief async decoder.
+ */
+export interface AsyncDecoder<TValue> {
+    /**
+     * @brief decode async.
+           */
+    decodeAsync(value: unknown): Promise<CheckResult<TValue>>;
+    /**
+     * @brief refine async.
+             */
+    refineAsync(predicate: AsyncPredicate<TValue>, name: string): BaseAsyncDecoder<TValue>;
+    /**
+     * @brief transform async.
+           */
+    transformAsync<TNext>(mapper: AsyncMapper<TValue, TNext>): BaseAsyncDecoder<TNext>;
+    /**
+     * @brief pipe async.
+           */
+    pipeAsync<TNext extends AsyncDecodeSource>(next: TNext): BaseAsyncDecoder<InferAsyncDecoder<TNext>>;
+}
+/**
+ * @brief base async decoder.
+ * @details Owns its state directly; methods expose receiver checks and explicit result flow.
+ * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ */
+export declare class BaseAsyncDecoder<TValue> implements AsyncDecoder<TValue> {
+    private readonly [AsyncDecoderRunSymbol];
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(run: AsyncDecodeRunner<TValue>);
+    /**
+     * @brief decode async.
+             */
+    decodeAsync(this: unknown, value: unknown): Promise<CheckResult<TValue>>;
+    /**
+     * @brief refine async.
+             */
+    refineAsync(predicate: AsyncPredicate<TValue>, name: string): BaseAsyncDecoder<TValue>;
+    /**
+     * @brief transform async.
+           */
+    transformAsync<TNext>(mapper: AsyncMapper<TValue, TNext>): BaseAsyncDecoder<TNext>;
+    /**
+     * @brief pipe async.
+           */
+    pipeAsync<TNext extends AsyncDecodeSource>(next: TNext): BaseAsyncDecoder<InferAsyncDecoder<TNext>>;
+}
+/**
+ * @brief async decoder.
+ */
+export declare function asyncDecoder<TValue, TPresence extends Presence>(source: Guard<TValue, TPresence>): BaseAsyncDecoder<RuntimeValue<TValue, TPresence>>;
+/**
+ * @brief async decoder.
+ */
+export declare function asyncDecoder<TValue>(source: Decoder<TValue> | AsyncDecoder<TValue>): BaseAsyncDecoder<TValue>;
+/**
+ * @brief async refine.
+ */
+export declare function asyncRefine<TValue, TPresence extends Presence>(source: Guard<TValue, TPresence>, predicate: AsyncPredicate<RuntimeValue<TValue, TPresence>>, name: string): BaseAsyncDecoder<RuntimeValue<TValue, TPresence>>;
+/**
+ * @brief async refine.
+ */
+export declare function asyncRefine<TValue>(source: Decoder<TValue> | AsyncDecoder<TValue>, predicate: AsyncPredicate<TValue>, name: string): BaseAsyncDecoder<TValue>;
+/**
+ * @brief async transform.
+ */
+export declare function asyncTransform<TValue, TPresence extends Presence, TNext>(source: Guard<TValue, TPresence>, mapper: AsyncMapper<RuntimeValue<TValue, TPresence>, TNext>): BaseAsyncDecoder<TNext>;
+/**
+ * @brief async transform.
+ */
+export declare function asyncTransform<TValue, TNext>(source: Decoder<TValue> | AsyncDecoder<TValue>, mapper: AsyncMapper<TValue, TNext>): BaseAsyncDecoder<TNext>;
+/**
+ * @brief async pipe.
+ */
+export declare function asyncPipe<TNext extends AsyncDecodeSource>(source: AsyncDecodeSource, next: TNext): BaseAsyncDecoder<InferAsyncDecoder<TNext>>;
+/**
+ * @brief is async decoder value.
+ */
+export declare function isAsyncDecoderValue(value: unknown): value is AsyncDecoder<unknown>;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/async/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/async/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAA+B,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIlF;;GAEG;AACH,KAAK,iBAAiB,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;AAElF;;GAEG;AACH,KAAK,cAAc,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;AAE5E;;GAEG;AACH,KAAK,WAAW,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;AAE5E;;GAEG;AACH,QAAA,MAAM,qBAAqB,eAAqC,CAAC;AAOjE;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB,YAAY,GACZ,YAAY,CAAC,OAAO,CAAC,CAAC;AAE1B;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,OAAO,IACnC,OAAO,SAAS,YAAY,CAAC,MAAM,MAAM,CAAC,GACtC,MAAM,GACN,YAAY,CAAC,OAAO,CAAC,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM;IAElC;;aAES;IACT,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAE1D;;eAEW;IACX,WAAW,CACT,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,EACjC,IAAI,EAAE,MAAM,GACX,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAE5B;;aAES;IACT,cAAc,CAAC,KAAK,EAClB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAE3B;;aAES;IACT,SAAS,CAAC,KAAK,SAAS,iBAAiB,EACvC,IAAI,EAAE,KAAK,GACV,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;CAC/C;AASD;;;;GAIG;AACH,qBAAa,gBAAgB,CAAC,MAAM,CAAE,YAAW,YAAY,CAAC,MAAM,CAAC;IACnE,iBAAyB,CAAC,qBAAqB,CAAC,CAA4B;IAE5E;;;OAGG;gBACgB,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC;IASjD;;eAEW;IACJ,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAI/E;;eAEW;IACJ,WAAW,CAChB,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,EACjC,IAAI,EAAE,MAAM,GACX,gBAAgB,CAAC,MAAM,CAAC;IAuB3B;;aAES;IACF,cAAc,CAAC,KAAK,EACzB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,KAAK,CAAC;IAgB1B;;aAES;IACF,SAAS,CAAC,KAAK,SAAS,iBAAiB,EAC9C,IAAI,EAAE,KAAK,GACV,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;CAgB9C;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EAC7D,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,gBAAgB,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAErD;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EACjC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,GAC7C,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAS5B;;GAEG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EAC5D,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,EAChC,SAAS,EAAE,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAC1D,IAAI,EAAE,MAAM,GACX,gBAAgB,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAErD;;GAEG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAChC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,EAC9C,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,EACjC,IAAI,EAAE,MAAM,GACX,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAa5B;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EAAE,KAAK,EACtE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,EAChC,MAAM,EAAE,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,GAC1D,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAE3B;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,KAAK,EAC1C,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,EAC9C,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAY3B;;GAEG;AACH,wBAAgB,SAAS,CAAC,KAAK,SAAS,iBAAiB,EACvD,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,KAAK,GACV,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAE5C;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,YAAY,CAAC,OAAO,CAAC,CAEhC"}

package/dist/async/index.js

@@ -0,0 +1,221 @@
+import { isDecoderValue } from "../decoder/index.js";
+import { checkSchema } from "../evaluate/index.js";
+import { freezeIssueArray, makeIssue } from "../issue/index.js";
+import { err, ok } from "../result/index.js";
+import { freezeSchema, isSchemaValue } from "../schema/index.js";
+/**
+ * @brief async decoder run symbol.
+ */
+const AsyncDecoderRunSymbol = Symbol("TypeSea.asyncDecoder.run");
+/**
+ * @brief constructed async decoders.
+ */
+const constructedAsyncDecoders = new WeakSet();
+/**
+ * @brief base async decoder.
+ * @details Owns its state directly; methods expose receiver checks and explicit result flow.
+ * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ */
+export class BaseAsyncDecoder {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(run) {
+        if (typeof run !== "function") {
+            throw new TypeError("async decoder run must be a function");
+        }
+        defineReadonlyProperty(this, AsyncDecoderRunSymbol, run, false);
+        constructedAsyncDecoders.add(this);
+        Object.freeze(this);
+    }
+    /**
+     * @brief decode async.
+             */
+    decodeAsync(value) {
+        return readAsyncDecoderRunner(this, "async decoder receiver")(value);
+    }
+    /**
+     * @brief refine async.
+             */
+    refineAsync(predicate, name) {
+        if (typeof predicate !== "function") {
+            throw new TypeError("async refinement predicate must be a function");
+        }
+        if (typeof name !== "string") {
+            throw new TypeError("async refinement name must be a string");
+        }
+        const run = readAsyncDecoderRunner(this, "async refine receiver");
+        return new BaseAsyncDecoder(async (value) => {
+            const decoded = await run(value);
+            if (!decoded.ok) {
+                return decoded;
+            }
+            const passed = await predicate(decoded.value);
+            if (isStrictTrue(passed)) {
+                return decoded;
+            }
+            return failRefinement(name, decoded.value);
+        });
+    }
+    /**
+     * @brief transform async.
+           */
+    transformAsync(mapper) {
+        if (typeof mapper !== "function") {
+            throw new TypeError("async transform mapper must be a function");
+        }
+        const run = readAsyncDecoderRunner(this, "async transform receiver");
+        return new BaseAsyncDecoder(async (value) => {
+            const decoded = await run(value);
+            if (!decoded.ok) {
+                return decoded;
+            }
+            return ok(await mapper(decoded.value));
+        });
+    }
+    /**
+     * @brief pipe async.
+           */
+    pipeAsync(next) {
+        const run = readAsyncDecoderRunner(this, "async pipe receiver");
+        const nextRun = readAsyncDecodeSourceRunner(next, "async pipe target");
+        return new BaseAsyncDecoder(async (value) => {
+            const decoded = await run(value);
+            if (!decoded.ok) {
+                return decoded;
+            }
+            return nextRun(decoded.value);
+        });
+    }
+}
+/**
+ * @brief async decoder.
+ */
+export function asyncDecoder(source) {
+    return makeAsyncDecoder(source);
+}
+/**
+ * @brief async refine.
+ */
+export function asyncRefine(source, predicate, name) {
+    return makeAsyncDecoder(source).refineAsync(predicate, name);
+}
+/**
+ * @brief async transform.
+ */
+export function asyncTransform(source, mapper) {
+    return makeAsyncDecoder(source).transformAsync(mapper);
+}
+/**
+ * @brief async pipe.
+ */
+export function asyncPipe(source, next) {
+    return makeAsyncDecoder(source).pipeAsync(next);
+}
+/**
+ * @brief is async decoder value.
+ */
+export function isAsyncDecoderValue(value) {
+    return isConstructedAsyncDecoder(value);
+}
+/**
+ * @brief make async decoder.
+ */
+function makeAsyncDecoder(source) {
+    const run = readAsyncDecodeSourceRunner(source, "async decoder source");
+    return new BaseAsyncDecoder(run);
+}
+/**
+ * @brief read async decode source runner.
+ */
+function readAsyncDecodeSourceRunner(source, label) {
+    if (isConstructedAsyncDecoder(source)) {
+        return readAsyncDecoderRunner(source, label);
+    }
+    if (isDecoderValue(source)) {
+        return (value) => Promise.resolve(source.decode(value));
+    }
+    const schema = readGuardSchema(source, label);
+    return (value) => Promise.resolve(checkSchema(schema, value));
+}
+/**
+ * @brief read async decoder runner.
+ */
+function readAsyncDecoderRunner(value, label) {
+    if (!isConstructedAsyncDecoder(value)) {
+        throw new TypeError(`${label} must be a TypeSea async decoder`);
+    }
+    return value[AsyncDecoderRunSymbol];
+}
+/**
+ * @brief is constructed async decoder.
+ */
+function isConstructedAsyncDecoder(value) {
+    return isRecord(value) && constructedAsyncDecoders.has(value);
+}
+/**
+ * @brief read guard schema.
+ */
+function readGuardSchema(value, label) {
+    if (!isRecord(value)) {
+        throw new TypeError(`${label} must be a TypeSea guard or decoder`);
+    }
+    const schema = value["schema"];
+    if (!isSchemaValue(schema)) {
+        throw new TypeError(`${label} must contain a valid TypeSea schema`);
+    }
+    return freezeSchema(schema);
+}
+/**
+ * @brief fail refinement.
+ */
+function failRefinement(name, value) {
+    return err(freezeIssueArray([
+        makeIssue([], "expected_refinement", name, actualType(value), undefined)
+    ]));
+}
+/**
+ * @brief actual type.
+ */
+function actualType(value) {
+    if (value === null) {
+        return "null";
+    }
+    if (Array.isArray(value)) {
+        return "array";
+    }
+    if (typeof value === "bigint") {
+        return "bigint";
+    }
+    if (typeof value === "symbol") {
+        return "symbol";
+    }
+    if (typeof value === "number" && Number.isNaN(value)) {
+        return "nan";
+    }
+    return typeof value;
+}
+/**
+ * @brief is strict true.
+ */
+function isStrictTrue(value) {
+    return value === true;
+}
+/**
+ * @brief define readonly property.
+ */
+function defineReadonlyProperty(target, key, value, enumerable) {
+    Object.defineProperty(target, key, {
+        configurable: false,
+        enumerable,
+        value,
+        writable: false
+    });
+}
+/**
+ * @brief is record.
+ */
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}

package/dist/builders/composite.d.ts

@@ -0,0 +1,31 @@
+/**
+ * @file composite.ts
+ * @brief Composite guard builders.
+ */
+import { BaseGuard, type Guard, type Infer, type Presence } from "../guard/index.js";
+import type { DiscriminatedUnionCases, InferTuple, TupleShape, UnionInput } from "./types.js";
+/**
+ * @brief array.
+ */
+export declare function array<TGuard extends Guard<unknown, Presence>>(item: TGuard): BaseGuard<Infer<TGuard>[]>;
+/**
+ * @brief tuple.
+ */
+export declare function tuple<const TShape extends TupleShape>(shape: TShape): BaseGuard<InferTuple<TShape>>;
+/**
+ * @brief record.
+ */
+export declare function record<TGuard extends Guard<unknown, Presence>>(value: TGuard): BaseGuard<Readonly<Record<string, Infer<TGuard>>>>;
+/**
+ * @brief union.
+ */
+export declare function union<const TGuards extends UnionInput>(...guards: TGuards): BaseGuard<Infer<TGuards[number]>>;
+/**
+ * @brief intersect.
+ */
+export declare function intersect<TLeft extends Guard<unknown, Presence>, TRight extends Guard<unknown, Presence>>(left: TLeft, right: TRight): BaseGuard<Infer<TLeft> & Infer<TRight>>;
+/**
+ * @brief discriminated union.
+ */
+export declare function discriminatedUnion<const TKey extends string, const TCases extends Readonly<Record<string, Guard<unknown, Presence>>>>(key: TKey, cases: TCases & DiscriminatedUnionCases<TKey, TCases>): BaseGuard<Infer<TCases[keyof TCases]>>;
+//# sourceMappingURL=composite.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composite.d.ts","sourceRoot":"","sources":["../../src/builders/composite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAMH,OAAO,EACL,SAAS,EACT,KAAK,KAAK,EACV,KAAK,KAAK,EACV,KAAK,QAAQ,EACd,MAAM,mBAAmB,CAAC;AAM3B,OAAO,KAAK,EACV,uBAAuB,EACvB,UAAU,EACV,UAAU,EACV,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,wBAAgB,KAAK,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC3D,IAAI,EAAE,MAAM,GACX,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAK5B;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,KAAK,CAAC,MAAM,SAAS,UAAU,EACnD,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAc/B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC5D,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAKpD;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,KAAK,CAAC,OAAO,SAAS,UAAU,EACpD,GAAG,MAAM,EAAE,OAAO,GACjB,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAanC;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,KAAK,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACtC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAEvC,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAMzC;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,EAEvE,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAC,GACpD,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,CA6BxC"}