typia 8.0.3 → 8.1.0

package/lib/schemas/metadata/MetadataParameter.d.mts

@@ -0,0 +1,15 @@
+import ts from "typescript";
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataDictionary } from "./IMetadataDictionary";
+import { IMetadataParameter } from "./IMetadataParameter";
+import { Metadata } from "./Metadata";
+export declare class MetadataParameter {
+    name: string;
+    type: Metadata;
+    description: string | null;
+    jsDocTags: IJsDocTagInfo[];
+    tsType?: ts.Type;
+    private constructor();
+    static from(json: IMetadataParameter, dict: IMetadataDictionary): MetadataParameter;
+    toJSON(): IMetadataParameter;
+}

package/lib/schemas/metadata/MetadataProperty.d.mts

@@ -0,0 +1,16 @@
+import { IProtobufProperty } from "../protobuf/IProtobufProperty";
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataProperty } from "./IMetadataProperty";
+import { Metadata } from "./Metadata";
+export declare class MetadataProperty {
+    readonly key: Metadata;
+    readonly value: Metadata;
+    readonly description: string | null;
+    readonly jsDocTags: IJsDocTagInfo[];
+    of_protobuf_?: IProtobufProperty;
+    /**
+     * @hidden
+     */
+    private constructor();
+    toJSON(): IMetadataProperty;
+}

package/lib/schemas/metadata/MetadataSet.d.mts

@@ -0,0 +1,13 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+import { IMetadataSet } from "./IMetadataSet";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+import { Metadata } from "./Metadata";
+export declare class MetadataSet {
+    readonly value: Metadata;
+    readonly tags: IMetadataTypeTag[][];
+    private name_?;
+    private constructor();
+    static create(props: ClassProperties<MetadataSet>): MetadataSet;
+    getName(): string;
+    toJSON(): IMetadataSet;
+}

package/lib/schemas/metadata/MetadataTemplate.d.mts

@@ -0,0 +1,15 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+import { IMetadataDictionary } from "./IMetadataDictionary";
+import { IMetadataTemplate } from "./IMetadataTemplate";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+import { Metadata } from "./Metadata";
+export declare class MetadataTemplate {
+    readonly row: Metadata[];
+    readonly tags: IMetadataTypeTag[][];
+    private name_?;
+    private constructor();
+    static create(props: ClassProperties<MetadataTemplate>): MetadataTemplate;
+    static from(json: IMetadataTemplate, dict: IMetadataDictionary): MetadataTemplate;
+    getName(): string;
+    toJSON(): IMetadataTemplate;
+}

package/lib/schemas/metadata/MetadataTuple.d.mts

@@ -0,0 +1,12 @@
+import { IMetadataTuple } from "./IMetadataTuple";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+import { MetadataTupleType } from "./MetadataTupleType";
+export declare class MetadataTuple {
+    readonly type: MetadataTupleType;
+    readonly tags: IMetadataTypeTag[][];
+    /**
+     * @hidden
+     */
+    private constructor();
+    toJSON(): IMetadataTuple;
+}

package/lib/schemas/metadata/MetadataTupleType.d.mts

@@ -0,0 +1,13 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+import { IMetadataTupleType } from "./IMetadataTupleType";
+import { Metadata } from "./Metadata";
+export declare class MetadataTupleType {
+    readonly name: string;
+    readonly elements: Metadata[];
+    readonly index: number | null;
+    readonly recursive: boolean;
+    readonly nullables: boolean[];
+    static create(props: ClassProperties<MetadataTupleType>): MetadataTupleType;
+    isRest(): boolean;
+    toJSON(): IMetadataTupleType;
+}

package/lib/schemas/protobuf/IProtobufProperty.d.mts

@@ -0,0 +1,5 @@
+import { IProtobufPropertyType } from "./IProtobufPropertyType";
+export interface IProtobufProperty {
+    fixed: boolean;
+    union: IProtobufPropertyType[];
+}

package/lib/schemas/protobuf/IProtobufPropertyType.d.mts

@@ -0,0 +1,28 @@
+import { IProtobufSchema } from "./IProtobufSchema";
+export type IProtobufPropertyType = IProtobufPropertyType.IByte | IProtobufPropertyType.IBoolean | IProtobufPropertyType.IBigint | IProtobufPropertyType.INumber | IProtobufPropertyType.IString | IProtobufPropertyType.IArray | IProtobufPropertyType.IObject | IProtobufPropertyType.IMap;
+export declare namespace IProtobufPropertyType {
+    interface IByte extends IProtobufSchema.IByte {
+        index: number;
+    }
+    interface IBoolean extends IProtobufSchema.IBoolean {
+        index: number;
+    }
+    interface IBigint extends IProtobufSchema.IBigint {
+        index: number;
+    }
+    interface INumber extends IProtobufSchema.INumber {
+        index: number;
+    }
+    interface IString extends IProtobufSchema.IString {
+        index: number;
+    }
+    interface IArray extends IProtobufSchema.IArray {
+        index: number;
+    }
+    interface IObject extends IProtobufSchema.IObject {
+        index: number;
+    }
+    interface IMap extends IProtobufSchema.IMap {
+        index: number;
+    }
+}

package/lib/schemas/protobuf/IProtobufSchema.d.mts

@@ -0,0 +1,38 @@
+import { MetadataArrayType } from "../metadata/MetadataArrayType";
+import { MetadataMap } from "../metadata/MetadataMap";
+import { MetadataObjectType } from "../metadata/MetadataObjectType";
+export type IProtobufSchema = IProtobufSchema.IByte | IProtobufSchema.IBoolean | IProtobufSchema.IBigint | IProtobufSchema.INumber | IProtobufSchema.IString | IProtobufSchema.IArray | IProtobufSchema.IObject | IProtobufSchema.IMap;
+export declare namespace IProtobufSchema {
+    interface IByte {
+        type: "bytes";
+    }
+    interface IBoolean {
+        type: "bool";
+    }
+    interface IBigint {
+        type: "bigint";
+        name: "int64" | "uint64";
+    }
+    interface INumber {
+        type: "number";
+        name: "int32" | "int64" | "uint32" | "uint64" | "float" | "double";
+    }
+    interface IString {
+        type: "string";
+    }
+    interface IArray {
+        type: "array";
+        array: MetadataArrayType;
+        value: Exclude<IProtobufSchema, IArray | IMap>;
+    }
+    interface IObject {
+        type: "object";
+        object: MetadataObjectType;
+    }
+    interface IMap {
+        type: "map";
+        map: MetadataMap | MetadataObjectType;
+        key: IProtobufSchema.IBoolean | IProtobufSchema.INumber | IProtobufSchema.IString;
+        value: Exclude<IProtobufSchema, IArray | IMap>;
+    }
+}

package/lib/tags/Constant.d.mts

@@ -0,0 +1,10 @@
+import { TagBase } from "./TagBase";
+export type Constant<Value extends boolean | number | string | bigint, Content extends {
+    title?: string | undefined;
+    description?: string | undefined;
+}> = Value & TagBase<{
+    target: "string" | "boolean" | "number" | "bigint";
+    kind: "constant";
+    value: undefined;
+    schema: Content;
+}>;

package/lib/tags/ContentMediaType.d.mts

@@ -0,0 +1,9 @@
+import { TagBase } from "./TagBase";
+export type ContentMediaType<Value extends string> = TagBase<{
+    target: "string";
+    kind: "contentMediaType";
+    value: undefined;
+    schema: {
+        contentMediaType: Value;
+    };
+}>;

package/lib/tags/Default.d.mts

@@ -0,0 +1,14 @@
+import { TagBase } from "./TagBase";
+export type Default<Value extends boolean | bigint | number | string> = TagBase<{
+    target: Value extends boolean ? "boolean" : Value extends bigint ? "bigint" : Value extends number ? "number" : "string";
+    kind: "default";
+    value: Value;
+    exclusive: true;
+    schema: Value extends bigint ? {
+        default: Numeric<Value>;
+    } : {
+        default: Value;
+    };
+}>;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/Example.d.mts

@@ -0,0 +1,14 @@
+import { TagBase } from "./TagBase";
+export type Example<Value extends boolean | bigint | number | string | object | Array<unknown> | null> = TagBase<{
+    target: "boolean" | "bigint" | "number" | "string" | "array" | "object";
+    kind: "example";
+    value: Value;
+    exclusive: true;
+    schema: Value extends bigint ? {
+        example: Numeric<Value>;
+    } : {
+        example: Value;
+    };
+}>;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/Examples.d.mts

@@ -0,0 +1,10 @@
+import { TagBase } from "./TagBase";
+export type Examples<Value extends Record<string, boolean | bigint | number | string | object | Array<unknown> | null>> = TagBase<{
+    target: "boolean" | "bigint" | "number" | "string" | "array" | "object";
+    kind: "examples";
+    value: Value;
+    exclusive: true;
+    schema: {
+        examples: Value;
+    };
+}>;

package/lib/tags/ExclusiveMaximum.d.mts

@@ -0,0 +1,18 @@
+import { TagBase } from "./TagBase";
+export type ExclusiveMaximum<Value extends number | bigint> = TagBase<{
+    target: Value extends bigint ? "bigint" : "number";
+    kind: "exclusiveMaximum";
+    value: Value;
+    validate: `$input < ${Cast<Value>}`;
+    exclusive: ["exclusiveMaximum", "maximum"];
+    schema: Value extends bigint ? {
+        exclusiveMaximum: true;
+        maximum: Numeric<Value>;
+    } : {
+        exclusiveMaximum: true;
+        maximum: Value;
+    };
+}>;
+type Cast<Value extends number | bigint> = Value extends number ? Value : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/ExclusiveMinimum.d.mts

@@ -0,0 +1,18 @@
+import { TagBase } from "./TagBase";
+export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
+    target: Value extends bigint ? "bigint" : "number";
+    kind: "exclusiveMinimum";
+    value: Value;
+    validate: `${Cast<Value>} < $input`;
+    exclusive: ["exclusiveMinimum", "minimum"];
+    schema: Value extends bigint ? {
+        exclusiveMinimum: true;
+        minimum: Numeric<Value>;
+    } : {
+        exclusiveMinimum: true;
+        minimum: Value;
+    };
+}>;
+type Cast<Value extends number | bigint> = Value extends number ? Value : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/Format.d.mts

@@ -0,0 +1,17 @@
+import type { TagBase } from "./TagBase";
+export type Format<Value extends Format.Value> = TagBase<{
+    target: "string";
+    kind: "format";
+    value: Value;
+    validate: `$importInternal("isFormat${PascalizeString<Value>}")($input)`;
+    exclusive: ["format", "pattern"];
+    schema: {
+        format: Value;
+    };
+}>;
+export declare namespace Format {
+    type Value = "byte" | "password" | "regex" | "uuid" | "email" | "hostname" | "idn-email" | "idn-hostname" | "iri" | "iri-reference" | "ipv4" | "ipv6" | "uri" | "uri-reference" | "uri-template" | "url" | "date-time" | "date" | "time" | "duration" | "json-pointer" | "relative-json-pointer";
+}
+type PascalizeString<Key extends string> = Key extends `-${infer R}` ? `${PascalizeString<R>}` : Key extends `${infer _F}-${infer _R}` ? PascalizeSnakeString<Key> : Capitalize<Key>;
+type PascalizeSnakeString<Key extends string> = Key extends `-${infer R}` ? PascalizeSnakeString<R> : Key extends `${infer F}${infer M}-${infer R}` ? `${Uppercase<F>}${Lowercase<M>}${PascalizeSnakeString<R>}` : Key extends `${infer F}${infer R}` ? `${Uppercase<F>}${Lowercase<R>}` : Key;
+export {};

package/lib/tags/JsonSchemaPlugin.d.mts

@@ -0,0 +1,7 @@
+import { TagBase } from "./TagBase";
+export type JsonSchemaPlugin<Schema extends object> = TagBase<{
+    target: "string" | "boolean" | "bigint" | "number" | "array" | "object";
+    kind: "jsonPlugin";
+    value: undefined;
+    schema: Schema;
+}>;

package/lib/tags/MaxItems.d.mts

@@ -0,0 +1,11 @@
+import { TagBase } from "./TagBase";
+export type MaxItems<Value extends number> = TagBase<{
+    target: "array";
+    kind: "maxItems";
+    value: Value;
+    validate: `$input.length <= ${Value}`;
+    exclusive: true;
+    schema: {
+        maxItems: Value;
+    };
+}>;

package/lib/tags/MaxLength.d.mts

@@ -0,0 +1,11 @@
+import { TagBase } from "./TagBase";
+export type MaxLength<Value extends number> = TagBase<{
+    target: "string";
+    kind: "maxLength";
+    value: Value;
+    validate: `$input.length <= ${Value}`;
+    exclusive: true;
+    schema: {
+        maxLength: Value;
+    };
+}>;

package/lib/tags/Maximum.d.mts

@@ -0,0 +1,16 @@
+import { TagBase } from "./TagBase";
+export type Maximum<Value extends number | bigint> = TagBase<{
+    target: Value extends bigint ? "bigint" : "number";
+    kind: "maximum";
+    value: Value;
+    validate: `$input <= ${Cast<Value>}`;
+    exclusive: ["maximum", "exclusiveMaximum"];
+    schema: Value extends bigint ? {
+        maximum: Numeric<Value>;
+    } : {
+        maximum: Value;
+    };
+}>;
+type Cast<Value extends number | bigint> = Value extends number ? Value : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/MinItems.d.mts

@@ -0,0 +1,11 @@
+import { TagBase } from "./TagBase";
+export type MinItems<Value extends number> = TagBase<{
+    target: "array";
+    kind: "minItems";
+    value: Value;
+    validate: `${Value} <= $input.length`;
+    exclusive: true;
+    schema: {
+        minItems: Value;
+    };
+}>;

package/lib/tags/MinLength.d.mts

@@ -0,0 +1,11 @@
+import { TagBase } from "./TagBase";
+export type MinLength<Value extends number> = TagBase<{
+    target: "string";
+    kind: "minLength";
+    value: Value;
+    validate: `${Value} <= $input.length`;
+    exclusive: true;
+    schema: {
+        minLength: Value;
+    };
+}>;

package/lib/tags/Minimum.d.mts

@@ -0,0 +1,16 @@
+import { TagBase } from "./TagBase";
+export type Minimum<Value extends number | bigint> = TagBase<{
+    target: Value extends bigint ? "bigint" : "number";
+    kind: "minimum";
+    value: Value;
+    validate: `${Cast<Value>} <= $input`;
+    exclusive: ["minimum", "exclusiveMinimum"];
+    schema: Value extends bigint ? {
+        minimum: Numeric<Value>;
+    } : {
+        minimum: Value;
+    };
+}>;
+type Cast<Value extends number | bigint> = Value extends number ? Value : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/MultipleOf.d.mts

@@ -0,0 +1,16 @@
+import { TagBase } from "./TagBase";
+export type MultipleOf<Value extends number | bigint> = TagBase<{
+    target: Value extends bigint ? "bigint" : "number";
+    kind: "multipleOf";
+    value: Value;
+    validate: `$input % ${Cast<Value>} === ${Value extends bigint ? Cast<0n> : 0}`;
+    exclusive: true;
+    schema: Value extends bigint ? {
+        multipleOf: Numeric<Value>;
+    } : {
+        multipleOf: Value;
+    };
+}>;
+type Cast<Value extends number | bigint> = Value extends number ? Value : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}` ? N : never;
+export {};

package/lib/tags/Pattern.d.mts

@@ -0,0 +1,22 @@
+import { TagBase } from "./TagBase";
+export type Pattern<Value extends string> = TagBase<{
+    target: "string";
+    kind: "pattern";
+    value: Value;
+    validate: `RegExp("${Serialize<Value>}").test($input)`;
+    exclusive: ["format", "pattern"];
+    schema: {
+        pattern: Value;
+    };
+}>;
+type Serialize<T extends string, Output extends string = ""> = string extends T ? never : T extends "" ? Output : T extends `${infer P}${infer R}` ? Serialize<R, `${Output}${P extends keyof Escaper ? Escaper[P] : P}`> : never;
+type Escaper = {
+    '"': '\\"';
+    "\\": "\\\\";
+    "\b": "\\b";
+    "\f": "\\f";
+    "\n": "\\n";
+    "\r": "\\r";
+    "\t": "\\t";
+};
+export {};

package/lib/tags/Sequence.d.mts

@@ -0,0 +1,9 @@
+import { TagBase } from "./TagBase";
+export type Sequence<N extends number> = TagBase<{
+    target: "boolean" | "bigint" | "number" | "string" | "array" | "object";
+    kind: "sequence";
+    value: N;
+    schema: {
+        "x-protobuf-sequence": N;
+    };
+}>;

package/lib/tags/TagBase.d.mts

@@ -0,0 +1,60 @@
+export type TagBase<Props extends TagBase.IProps<any, any, any, any, any, any>> = {
+    /**
+     * This is a dummy property for compilation.
+     *
+     * It does not mean anything in runtime.
+     */
+    "typia.tag"?: Props;
+};
+export declare namespace TagBase {
+    interface IProps<Target extends "boolean" | "bigint" | "number" | "string" | "array" | "object", Kind extends string, Value extends boolean | bigint | number | string | undefined, Validate extends string | {
+        [key in Target]?: string;
+    }, Exclusive extends boolean | string[], Schema extends object | undefined> {
+        /**
+         * Target type.
+         *
+         * If user tries to adapt this tag to a different type, it would be a compile
+         * error.
+         *
+         * For example, you've configured target type as `string`, but user adapted it
+         * onto a `number` type (`number & YourCustomTag<Value>`), then it would be
+         * blocked by TypeScript compiler.
+         */
+        target: Target;
+        /**
+         * What kind of tag is this?
+         */
+        kind: Kind;
+        /**
+         * Value to be configured by user.
+         */
+        value: Value;
+        /**
+         * Validation script.
+         *
+         * This script would be inserted into the generated validation function.
+         * In here script, target variable name must be `$input`. The variable name
+         * `$input` would be transformed to the suitable when compilation.
+         *
+         * Also, If you've take a mistake on this script, compile error would be
+         * occurred. So, define it with confidence. Compiler will block all your
+         * mistakes.
+         */
+        validate?: Validate;
+        /**
+         * Exclusive option.
+         *
+         * If this property configured as `true`, same {@link kind} tag cannot be
+         * duplicated in the target type. Otherwise, if you've configured this
+         * property as string array, all of the {@link kind} value assigned
+         * tags cannot be compatible in the target type.
+         *
+         * @default false
+         */
+        exclusive?: Exclusive | string[];
+        /**
+         * Additional schema info assigned to the {@link IJsonSchema} object.
+         */
+        schema?: Schema;
+    }
+}

package/lib/tags/Type.d.mts

@@ -0,0 +1,17 @@
+import { TagBase } from "./TagBase";
+export type Type<Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double"> = TagBase<{
+    target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
+    kind: "type";
+    value: Value;
+    validate: Value extends "int32" ? `$importInternal("isTypeInt32")($input)` : Value extends "uint32" ? `$importInternal("isTypeUint32")($input)` : Value extends "int64" ? {
+        number: `$importInternal("isTypeInt64")($input)`;
+        bigint: `true`;
+    } : Value extends "uint64" ? {
+        number: `$importInternal("isTypeUint64")($input)`;
+        bigint: `BigInt(0) <= $input`;
+    } : Value extends "float" ? `$importInternal("isTypeFloat")($input)` : `true`;
+    exclusive: true;
+    schema: {
+        type: Value extends "int32" | "uint32" | "int64" | "uint64" ? "integer" : "number";
+    };
+}>;

package/lib/tags/UniqueItems.d.mts

@@ -0,0 +1,11 @@
+import { TagBase } from "./TagBase";
+export type UniqueItems<Value extends boolean = true> = TagBase<{
+    target: "array";
+    kind: "uniqueItems";
+    value: Value;
+    validate: Value extends true ? `$importInternal("isUniqueItems")($input)` : undefined;
+    exclusive: true;
+    schema: {
+        uniqueItems: true;
+    };
+}>;

package/lib/tags/index.d.mts

@@ -0,0 +1,21 @@
+export * from "./Constant";
+export * from "./ContentMediaType";
+export * from "./Default";
+export * from "./Example";
+export * from "./Examples";
+export * from "./ExclusiveMaximum";
+export * from "./ExclusiveMinimum";
+export * from "./Format";
+export * from "./JsonSchemaPlugin";
+export * from "./Maximum";
+export * from "./MaxItems";
+export * from "./MaxLength";
+export * from "./Minimum";
+export * from "./MinItems";
+export * from "./MinLength";
+export * from "./MultipleOf";
+export * from "./Pattern";
+export * from "./Sequence";
+export * from "./TagBase";
+export * from "./Type";
+export * from "./UniqueItems";

package/lib/tags/internal/FormatCheatSheet.d.mts

@@ -0,0 +1,27 @@
+/**
+ * @reference https://github.dev/ajv-validator/ajv-formats/blob/master/src/formats.ts
+ */
+export declare const FormatCheatSheet: {
+    readonly byte: "/^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/gm.test($input)";
+    readonly password: "true";
+    readonly regex: "(() => { try { new RegExp($input); return true; } catch { return false; } })()";
+    readonly uuid: "/^(?:urn:uuid:)?[0-9a-f]{8}-(?:[0-9a-f]{4}-){3}[0-9a-f]{12}$/i.test($input)";
+    readonly email: "/^[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\\.[a-z0-9!#$%&'*+/=?^_`{|}~-]+)*@(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?$/i.test($input)";
+    readonly hostname: "/^(?=.{1,253}\\.?$)[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?(?:\\.[a-z0-9](?:[-0-9a-z]{0,61}[0-9a-z])?)*\\.?$/i.test($input)";
+    readonly "idn-email": "/^(([^<>()[\\]\\.,;:\\s@\\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\\"]+)*)|(\\\".+\\\"))@(([^<>()[\\]\\.,;:\\s@\\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\\"]{2,})$/i.test($input)";
+    readonly "idn-hostname": "/^([a-z0-9\\u00a1-\\uffff0-9]+(-[a-z0-9\\u00a1-\\uffff0-9]+)*\\.)+[a-z\\u00a1-\\uffff]{2,}$/i.test($input)";
+    readonly iri: "/^[A-Za-z][\\d+-.A-Za-z]*:[^\\u0000-\\u0020\"<>\\\\^`{|}]*$/u.test($input)";
+    readonly "iri-reference": "/^[A-Za-z][\\d+-.A-Za-z]*:[^\\u0000-\\u0020\"<>\\\\^`{|}]*$/u.test($input)";
+    readonly ipv4: "/^(?:(?:25[0-5]|2[0-4]\\d|1\\d\\d|[1-9]?\\d)\\.){3}(?:25[0-5]|2[0-4]\\d|1\\d\\d|[1-9]?\\d)$/.test($input)";
+    readonly ipv6: "/^((([0-9a-f]{1,4}:){7}([0-9a-f]{1,4}|:))|(([0-9a-f]{1,4}:){6}(:[0-9a-f]{1,4}|((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3})|:))|(([0-9a-f]{1,4}:){5}(((:[0-9a-f]{1,4}){1,2})|:((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3})|:))|(([0-9a-f]{1,4}:){4}(((:[0-9a-f]{1,4}){1,3})|((:[0-9a-f]{1,4})?:((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3}))|:))|(([0-9a-f]{1,4}:){3}(((:[0-9a-f]{1,4}){1,4})|((:[0-9a-f]{1,4}){0,2}:((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3}))|:))|(([0-9a-f]{1,4}:){2}(((:[0-9a-f]{1,4}){1,5})|((:[0-9a-f]{1,4}){0,3}:((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3}))|:))|(([0-9a-f]{1,4}:){1}(((:[0-9a-f]{1,4}){1,6})|((:[0-9a-f]{1,4}){0,4}:((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3}))|:))|(:(((:[0-9a-f]{1,4}){1,7})|((:[0-9a-f]{1,4}){0,5}:((25[0-5]|2[0-4]d|1dd|[1-9]?d)(.(25[0-5]|2[0-4]d|1dd|[1-9]?d)){3}))|:)))$/i.test($input)";
+    readonly uri: "/\\/|:/.test($input) && /^(?:[a-z][a-z0-9+\\-.]*:)(?:\\/?\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\\.[a-z0-9\\-._~!$&'()*+,;=:]+)\\]|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)|(?:[a-z0-9\\-._~!$&'()*+,;=]|%[0-9a-f]{2})*)(?::\\d*)?(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*|\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)(?:\\?(?:[a-z0-9\\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i.test($input)";
+    readonly "uri-reference": "/^(?:[a-z][a-z0-9+\\-.]*:)?(?:\\/?\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\\.[a-z0-9\\-._~!$&'()*+,;=:]+)\\]|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)|(?:[a-z0-9\\-._~!$&'\"()*+,;=]|%[0-9a-f]{2})*)(?::\\d*)?(?:\\/(?:[a-z0-9\\-._~!$&'\"()*+,;=:@]|%[0-9a-f]{2})*)*|\\/(?:(?:[a-z0-9\\-._~!$&'\"()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'\"()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\\-._~!$&'\"()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'\"()*+,;=:@]|%[0-9a-f]{2})*)*)?(?:\\?(?:[a-z0-9\\-._~!$&'\"()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\\-._~!$&'\"()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i.test($input)";
+    readonly "uri-template": "/^(?:(?:[^\\x00-\\x20\"'<>%\\\\^`{|}]|%[0-9a-f]{2})|\\{[+#./;?&=,!@|]?(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\\*)?(?:,(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\\*)?)*\\})*$/i.test($input)";
+    readonly url: "/^(?:https?|ftp):\\/\\/(?:\\S+(?::\\S*)?@)?(?:(?!(?:10|127)(?:\\.\\d{1,3}){3})(?!(?:169\\.254|192\\.168)(?:\\.\\d{1,3}){2})(?!172\\.(?:1[6-9]|2\\d|3[0-1])(?:\\.\\d{1,3}){2})(?:[1-9]\\d?|1\\d\\d|2[01]\\d|22[0-3])(?:\\.(?:1?\\d{1,2}|2[0-4]\\d|25[0-5])){2}(?:\\.(?:[1-9]\\d?|1\\d\\d|2[0-4]\\d|25[0-4]))|(?:(?:[a-z0-9\\u{00a1}-\\u{ffff}]+-)*[a-z0-9\\u{00a1}-\\u{ffff}]+)(?:\\.(?:[a-z0-9\\u{00a1}-\\u{ffff}]+-)*[a-z0-9\\u{00a1}-\\u{ffff}]+)*(?:\\.(?:[a-z\\u{00a1}-\\u{ffff}]{2,})))(?::\\d{2,5})?(?:\\/[^\\s]*)?$/iu.test($input)";
+    readonly "date-time": "/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])(T|\\s)([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/i.test($input)";
+    readonly date: "/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])$/.test($input)";
+    readonly time: "/^([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/i.test($input)";
+    readonly duration: "/^P(?!$)((\\d+Y)?(\\d+M)?(\\d+D)?(T(?=\\d)(\\d+H)?(\\d+M)?(\\d+S)?)?|(\\d+W)?)$/.test($input)";
+    readonly "json-pointer": "/^(?:\\/(?:[^~/]|~0|~1)*)*$/.test($input)";
+    readonly "relative-json-pointer": "/^(?:0|[1-9][0-9]*)(?:#|(?:\\/(?:[^~/]|~0|~1)*)*)$/.test($input)";
+};

package/lib/transform.d.mts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import { ITransformOptions } from "./transformers/ITransformOptions";
+import { ITypiaContext } from "./transformers/ITypiaContext";
+export declare const transform: (program: ts.Program, options: ITransformOptions | undefined, extras: ITypiaContext["extras"]) => ts.TransformerFactory<ts.SourceFile>;
+export default transform;

package/lib/transformers/CallExpressionTransformer.d.mts

@@ -0,0 +1,8 @@
+import ts from "typescript";
+import { ITypiaContext } from "./ITypiaContext";
+export declare namespace CallExpressionTransformer {
+    const transform: (props: {
+        context: ITypiaContext;
+        expression: ts.CallExpression;
+    }) => ts.Expression | null;
+}

package/lib/transformers/FileTransformer.d.mts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import { ITypiaContext } from "./ITypiaContext";
+export declare namespace FileTransformer {
+    const transform: (environments: Omit<ITypiaContext, "transformer" | "importer">) => (transformer: ts.TransformationContext) => (file: ts.SourceFile) => ts.SourceFile;
+}

package/lib/transformers/IProgrammerProps.d.mts

@@ -0,0 +1,9 @@
+import ts from "typescript";
+import { ITypiaContext } from "./ITypiaContext";
+export interface IProgrammerProps {
+    context: ITypiaContext;
+    modulo: ts.LeftHandSideExpression;
+    type: ts.Type;
+    name: string | undefined;
+    init?: ts.Expression | undefined;
+}