typesea 0.1.0

package/dist/kind/index.d.ts

@@ -0,0 +1,119 @@
+/**
+ * @brief schema tag.
+ */
+export declare const SchemaTag: {
+    readonly String: 1;
+    readonly Number: 2;
+    readonly Boolean: 3;
+    readonly Literal: 4;
+    readonly Array: 5;
+    readonly Object: 6;
+    readonly Union: 7;
+    readonly Optional: 8;
+    readonly Undefinedable: 9;
+    readonly Nullable: 10;
+    readonly DiscriminatedUnion: 11;
+    readonly Brand: 12;
+    readonly Tuple: 13;
+    readonly Record: 14;
+    readonly Lazy: 15;
+    readonly Refine: 16;
+    readonly Unknown: 17;
+    readonly Never: 18;
+    readonly BigInt: 19;
+    readonly Symbol: 20;
+    readonly Intersection: 21;
+};
+/**
+ * @brief schema tag.
+ */
+export type SchemaTag = (typeof SchemaTag)[keyof typeof SchemaTag];
+/**
+ * @brief object mode tag.
+ */
+export declare const ObjectModeTag: {
+    readonly Passthrough: 1;
+    readonly Strict: 2;
+};
+/**
+ * @brief object mode tag.
+ */
+export type ObjectModeTag = (typeof ObjectModeTag)[keyof typeof ObjectModeTag];
+/**
+ * @brief presence tag.
+ */
+export declare const PresenceTag: {
+    readonly Required: 1;
+    readonly Optional: 2;
+};
+/**
+ * @brief presence tag.
+ */
+export type PresenceTag = (typeof PresenceTag)[keyof typeof PresenceTag];
+/**
+ * @brief string check tag.
+ */
+export declare const StringCheckTag: {
+    readonly Min: 1;
+    readonly Max: 2;
+    readonly Regex: 3;
+    readonly Uuid: 4;
+};
+/**
+ * @brief string check tag.
+ */
+export type StringCheckTag = (typeof StringCheckTag)[keyof typeof StringCheckTag];
+/**
+ * @brief number check tag.
+ */
+export declare const NumberCheckTag: {
+    readonly Integer: 1;
+    readonly Gte: 2;
+    readonly Lte: 3;
+};
+/**
+ * @brief number check tag.
+ */
+export type NumberCheckTag = (typeof NumberCheckTag)[keyof typeof NumberCheckTag];
+/**
+ * @brief node tag.
+ */
+export declare const NodeTag: {
+    readonly Start: 1;
+    readonly Param: 2;
+    readonly Const: 3;
+    readonly GetProp: 4;
+    readonly IsString: 20;
+    readonly IsNumber: 21;
+    readonly IsBoolean: 22;
+    readonly IsObject: 23;
+    readonly IsArray: 24;
+    readonly IsUndefined: 25;
+    readonly IsNull: 26;
+    readonly Equals: 27;
+    readonly StringMin: 28;
+    readonly StringMax: 29;
+    readonly Regex: 30;
+    readonly IsInteger: 31;
+    readonly Gte: 32;
+    readonly Lte: 33;
+    readonly HasOwn: 34;
+    readonly ArrayEvery: 35;
+    readonly SchemaCheck: 36;
+    readonly IsBigInt: 37;
+    readonly IsSymbol: 38;
+    readonly StrictKeys: 39;
+    readonly HasOwnData: 40;
+    readonly TupleItems: 41;
+    readonly RecordEvery: 42;
+    readonly DiscriminantDispatch: 43;
+    readonly Not: 50;
+    readonly And: 51;
+    readonly Or: 52;
+    readonly Return: 70;
+};
+/**
+ * @brief node tag.
+ */
+export type NodeTag = (typeof NodeTag)[keyof typeof NodeTag];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kind/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;CAsBZ,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAEnE;;GAEG;AACH,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE/E;;GAEG;AACH,eAAO,MAAM,WAAW;;;CAGd,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE;;GAEG;AACH,eAAO,MAAM,cAAc;;;;;CAKjB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,cAAc,GACxB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,cAAc;;;;CAIjB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,cAAc,GACxB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiCV,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,CAAC"}

package/dist/kind/index.js

@@ -0,0 +1,94 @@
+/**
+ * @brief schema tag.
+ */
+export const SchemaTag = {
+    String: 1,
+    Number: 2,
+    Boolean: 3,
+    Literal: 4,
+    Array: 5,
+    Object: 6,
+    Union: 7,
+    Optional: 8,
+    Undefinedable: 9,
+    Nullable: 10,
+    DiscriminatedUnion: 11,
+    Brand: 12,
+    Tuple: 13,
+    Record: 14,
+    Lazy: 15,
+    Refine: 16,
+    Unknown: 17,
+    Never: 18,
+    BigInt: 19,
+    Symbol: 20,
+    Intersection: 21
+};
+/**
+ * @brief object mode tag.
+ */
+export const ObjectModeTag = {
+    Passthrough: 1,
+    Strict: 2
+};
+/**
+ * @brief presence tag.
+ */
+export const PresenceTag = {
+    Required: 1,
+    Optional: 2
+};
+/**
+ * @brief string check tag.
+ */
+export const StringCheckTag = {
+    Min: 1,
+    Max: 2,
+    Regex: 3,
+    Uuid: 4
+};
+/**
+ * @brief number check tag.
+ */
+export const NumberCheckTag = {
+    Integer: 1,
+    Gte: 2,
+    Lte: 3
+};
+/**
+ * @brief node tag.
+ */
+export const NodeTag = {
+    Start: 1,
+    Param: 2,
+    Const: 3,
+    GetProp: 4,
+    IsString: 20,
+    IsNumber: 21,
+    IsBoolean: 22,
+    IsObject: 23,
+    IsArray: 24,
+    IsUndefined: 25,
+    IsNull: 26,
+    Equals: 27,
+    StringMin: 28,
+    StringMax: 29,
+    Regex: 30,
+    IsInteger: 31,
+    Gte: 32,
+    Lte: 33,
+    HasOwn: 34,
+    ArrayEvery: 35,
+    SchemaCheck: 36,
+    IsBigInt: 37,
+    IsSymbol: 38,
+    StrictKeys: 39,
+    HasOwnData: 40,
+    TupleItems: 41,
+    RecordEvery: 42,
+    DiscriminantDispatch: 43,
+    Not: 50,
+    And: 51,
+    Or: 52,
+    Return: 70
+};

package/dist/lower/index.d.ts

@@ -0,0 +1,7 @@
+import { type Graph } from "../ir/index.js";
+import { type Schema } from "../schema/index.js";
+/**
+ * @brief lower schema.
+ */
+export declare function lowerSchema(schema: Schema): Graph;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lower/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAgB,KAAK,KAAK,EAAe,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE/D;;GAEG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAOjD"}

package/dist/lower/index.js

@@ -0,0 +1,199 @@
+import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { GraphBuilder } from "../ir/index.js";
+import { UUID_PATTERN } from "../schema/index.js";
+/**
+ * @brief lower schema.
+ */
+export function lowerSchema(schema) {
+    const builder = new GraphBuilder();
+    const entry = builder.start();
+    const input = builder.param("input");
+    const result = lowerPredicate(builder, schema, input);
+    const ret = builder.ret(entry, result);
+    return builder.finish(entry, ret);
+}
+/**
+ * @brief lower predicate.
+ */
+function lowerPredicate(builder, schema, value) {
+    switch (schema.tag) {
+        case SchemaTag.Unknown:
+            return builder.constant(true);
+        case SchemaTag.Never:
+            return builder.constant(false);
+        case SchemaTag.String:
+            return lowerString(builder, schema, value);
+        case SchemaTag.Number:
+            return lowerNumber(builder, schema, value);
+        case SchemaTag.BigInt:
+            return builder.isBigInt(value);
+        case SchemaTag.Symbol:
+            return builder.isSymbol(value);
+        case SchemaTag.Boolean:
+            return builder.isBoolean(value);
+        case SchemaTag.Literal:
+            return builder.equals(value, builder.constant(schema.value));
+        case SchemaTag.Array:
+            return builder.and([
+                builder.isArray(value),
+                builder.arrayEvery(value, schema.item)
+            ]);
+        case SchemaTag.Tuple:
+            return builder.and([
+                builder.isArray(value),
+                builder.tupleItems(value, schema.items)
+            ]);
+        case SchemaTag.Record:
+            return builder.and([
+                builder.isObject(value),
+                builder.recordEvery(value, schema.value)
+            ]);
+        case SchemaTag.Object:
+            return lowerObject(builder, schema, value);
+        case SchemaTag.Union:
+            return lowerUnion(builder, schema.options, value);
+        case SchemaTag.Intersection:
+            return builder.and([
+                lowerPredicate(builder, schema.left, value),
+                lowerPredicate(builder, schema.right, value)
+            ]);
+        case SchemaTag.Optional:
+        case SchemaTag.Undefinedable:
+            return builder.or([
+                builder.isUndefined(value),
+                lowerPredicate(builder, schema.inner, value)
+            ]);
+        case SchemaTag.Nullable:
+            return builder.or([
+                builder.isNull(value),
+                lowerPredicate(builder, schema.inner, value)
+            ]);
+        case SchemaTag.DiscriminatedUnion:
+            return lowerDiscriminatedUnion(builder, schema.key, schema.cases, value);
+        case SchemaTag.Brand:
+            return lowerPredicate(builder, schema.inner, value);
+        case SchemaTag.Lazy:
+        case SchemaTag.Refine:
+            return builder.schemaCheck(value, schema);
+    }
+}
+/**
+ * @brief lower string.
+ */
+function lowerString(builder, schema, value) {
+    const tests = [builder.isString(value)];
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        switch (check.tag) {
+            case StringCheckTag.Min:
+                tests.push(builder.stringMin(value, check.value));
+                break;
+            case StringCheckTag.Max:
+                tests.push(builder.stringMax(value, check.value));
+                break;
+            case StringCheckTag.Regex:
+                tests.push(builder.regex(value, check.regex, check.name));
+                break;
+            case StringCheckTag.Uuid:
+                tests.push(builder.regex(value, UUID_PATTERN, "uuid"));
+                break;
+        }
+    }
+    return builder.and(tests);
+}
+/**
+ * @brief lower number.
+ */
+function lowerNumber(builder, schema, value) {
+    const tests = [builder.isNumber(value)];
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        switch (check.tag) {
+            case NumberCheckTag.Integer:
+                tests.push(builder.isInteger(value));
+                break;
+            case NumberCheckTag.Gte:
+                tests.push(builder.gte(value, builder.constant(check.value)));
+                break;
+            case NumberCheckTag.Lte:
+                tests.push(builder.lte(value, builder.constant(check.value)));
+                break;
+        }
+    }
+    return builder.and(tests);
+}
+/**
+ * @brief lower object.
+ */
+function lowerObject(builder, schema, value) {
+    const entries = schema.entries;
+    const tests = [builder.isObject(value)];
+    for (let index = 0; index < entries.length; index += 1) {
+        const entry = entries[index];
+        if (entry === undefined) {
+            continue;
+        }
+        const prop = builder.getProp(value, entry.key);
+        const propTest = lowerPredicate(builder, entry.schema, prop);
+        const hasData = builder.hasOwnData(value, entry.key);
+        if (entry.presence === PresenceTag.Optional) {
+            const hasKey = builder.hasOwn(value, entry.key);
+            tests.push(builder.or([
+                builder.not(hasKey),
+                builder.and([hasData, propTest])
+            ]));
+        }
+        else {
+            tests.push(hasData);
+            tests.push(propTest);
+        }
+    }
+    if (schema.mode === ObjectModeTag.Strict) {
+        const keys = new Array(entries.length);
+        for (let index = 0; index < entries.length; index += 1) {
+            const entry = entries[index];
+            if (entry !== undefined) {
+                keys[index] = entry.key;
+            }
+        }
+        tests.push(builder.strictKeys(value, keys));
+    }
+    return builder.and(tests);
+}
+/**
+ * @brief lower union.
+ */
+function lowerUnion(builder, options, value) {
+    const tests = [];
+    for (let index = 0; index < options.length; index += 1) {
+        const option = options[index];
+        if (option === undefined) {
+            continue;
+        }
+        tests.push(lowerPredicate(builder, option, value));
+    }
+    return builder.or(tests);
+}
+/**
+ * @brief lower discriminated union.
+ */
+function lowerDiscriminatedUnion(builder, key, cases, value) {
+    const literals = new Array(cases.length);
+    const schemas = new Array(cases.length);
+    for (let index = 0; index < cases.length; index += 1) {
+        const unionCase = cases[index];
+        if (unionCase !== undefined) {
+            literals[index] = unionCase.literal;
+            schemas[index] = unionCase.schema;
+        }
+    }
+    return builder.discriminantDispatch(value, key, literals, schemas);
+}

package/dist/message/index.d.ts

@@ -0,0 +1,51 @@
+import { type CheckResult, type Issue, type IssueCode, type PathSegment } from "../issue/index.js";
+/**
+ * @brief message locale.
+ */
+export type MessageLocale = "en" | "ko";
+/**
+ * @brief issue message context.
+ */
+export interface IssueMessageContext {
+    readonly path: string;
+    readonly code: IssueCode;
+    readonly expected: string;
+    readonly actual: string;
+}
+/**
+ * @brief issue message formatter.
+ */
+export type IssueMessageFormatter = (issue: Issue, context: IssueMessageContext) => string;
+/**
+ * @brief issue message template.
+ */
+export type IssueMessageTemplate = string | IssueMessageFormatter;
+/**
+ * @brief issue message catalog.
+ */
+export type IssueMessageCatalog = Partial<Readonly<Record<IssueCode, IssueMessageTemplate>>>;
+/**
+ * @brief issue message options.
+ */
+export interface IssueMessageOptions {
+    readonly locale: MessageLocale | undefined;
+    readonly catalog: IssueMessageCatalog | undefined;
+    readonly pathFormatter: ((path: readonly PathSegment[]) => string) | undefined;
+}
+/**
+ * @brief define messages.
+ */
+export declare function defineMessages(catalog: IssueMessageCatalog): IssueMessageCatalog;
+/**
+ * @brief format issue.
+ */
+export declare function formatIssue(issue: Issue, options?: Partial<IssueMessageOptions>): string;
+/**
+ * @brief format issues.
+ */
+export declare function formatIssues(issues: readonly Issue[], options?: Partial<IssueMessageOptions>): readonly string[];
+/**
+ * @brief with messages.
+ */
+export declare function withMessages<TValue>(result: CheckResult<TValue>, options?: Partial<IssueMessageOptions>): CheckResult<TValue>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/message/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAG3B;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC;AAExC;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAClC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,mBAAmB,KACzB,MAAM,CAAC;AAEZ;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,qBAAqB,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,CACvC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAClD,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,aAAa,EAClB,CAAC,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAC,GAC1C,SAAS,CAAC;CACf;AAWD;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,GAAG,mBAAmB,CAEhF;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,KAAK,EACZ,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACrC,MAAM,CAOR;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACrC,SAAS,MAAM,EAAE,CAWnB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EACjC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAC3B,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACrC,WAAW,CAAC,MAAM,CAAC,CAoBrB"}