typebox 1.0.33 → 1.0.35

package/build/type/engine/keyof/from-any.d.mts

@@ -0,0 +1,6 @@
+import { type TNumber } from '../../types/number.mjs';
+import { type TString } from '../../types/string.mjs';
+import { type TSymbol } from '../../types/symbol.mjs';
+import { type TUnion } from '../../types/union.mjs';
+export type TFromAny<Result = TUnion<[TNumber, TString, TSymbol]>> = Result;
+export declare function FromAny(): TFromAny;

package/build/type/engine/keyof/from-any.mjs

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { Number } from '../../types/number.mjs';
+import { String } from '../../types/string.mjs';
+import { Symbol } from '../../types/symbol.mjs';
+import { Union } from '../../types/union.mjs';
+export function FromAny() {
+    return Union([Number(), String(), Symbol()]);
+}

package/build/{esm/type → type}/engine/keyof/from-array.d.mts

@@ -1,4 +1,4 @@
 import { type TSchema } from '../../types/index.mjs';
-import { type TNumber } from "../../types/number.mjs";
+import { type TNumber } from '../../types/number.mjs';
 export type TFromArray<_Type extends TSchema> = TNumber;
 export declare function FromArray<_Type extends TSchema>(_type: _Type): TFromArray<_Type>;

package/build/{esm/type → type}/engine/keyof/from-array.mjs

@@ -1,5 +1,5 @@
 // deno-fmt-ignore-file
-import { Number } from "../../types/number.mjs";
+import { Number } from '../../types/number.mjs';
 export function FromArray(_type) {
     return Number();
 }

package/build/{esm/type → type}/engine/keyof/instantiate.d.mts

@@ -1,5 +1,6 @@
 import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
 import { type TProperties } from '../../types/properties.mjs';
+import { type TAny } from '../../types/any.mjs';
 import { type TArray } from '../../types/array.mjs';
 import { type TCyclic } from '../../types/cyclic.mjs';
 import { type TIntersect } from '../../types/intersect.mjs';
@@ -11,12 +12,13 @@ import { type TUnion } from '../../types/union.mjs';
 import { type TKeyOfDeferred } from '../../action/keyof.mjs';
 import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
 import { type TCollapseToObject } from '../object/index.mjs';
-import { type TFromArray } from "./from-array.mjs";
+import { type TFromAny } from './from-any.mjs';
+import { type TFromArray } from './from-array.mjs';
 import { type TFromObject } from './from-object.mjs';
 import { type TFromRecord } from './from-record.mjs';
 import { type TFromTuple } from './from-tuple.mjs';
 type TNormalizeType<Type extends TSchema, Result extends TSchema = (Type extends TCyclic | TIntersect | TUnion ? TCollapseToObject<Type> : Type)> = Result;
-export type TKeyOfAction<Type extends TSchema, Normalized extends TSchema = TNormalizeType<Type>> = (Normalized extends TArray<infer Type extends TSchema> ? TFromArray<Type> : Normalized extends TObject<infer Properties extends TProperties> ? TFromObject<Properties> : Normalized extends TRecord ? TFromRecord<Normalized> : Normalized extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : TNever);
+export type TKeyOfAction<Type extends TSchema, Normal extends TSchema = TNormalizeType<Type>> = (Normal extends TAny ? TFromAny : Normal extends TArray<infer Type extends TSchema> ? TFromArray<Type> : Normal extends TObject<infer Properties extends TProperties> ? TFromObject<Properties> : Normal extends TRecord ? TFromRecord<Normal> : Normal extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : TNever);
 export declare function KeyOfAction<Type extends TSchema>(type: Type): TKeyOfAction<Type>;
 export type TKeyOfImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TKeyOfAction<InstantiatedType>;
 export declare function KeyOfImmediate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TKeyOfImmediate<Context, State, Type>;

package/build/{esm/type → type}/engine/keyof/instantiate.mjs

@@ -1,5 +1,6 @@
 // deno-fmt-ignore-file
 import { Memory } from '../../../system/memory/index.mjs';
+import { IsAny } from '../../types/any.mjs';
 import { IsArray } from '../../types/array.mjs';
 import { IsCyclic } from '../../types/cyclic.mjs';
 import { IsIntersect } from '../../types/intersect.mjs';
@@ -14,7 +15,8 @@ import { CollapseToObject } from '../object/index.mjs';
 // ------------------------------------------------------------------
 // Computed
 // ------------------------------------------------------------------
-import { FromArray } from "./from-array.mjs";
+import { FromAny } from './from-any.mjs';
+import { FromArray } from './from-array.mjs';
 import { FromObject } from './from-object.mjs';
 import { FromRecord } from './from-record.mjs';
 import { FromTuple } from './from-tuple.mjs';
@@ -25,11 +27,12 @@ function NormalizeType(type) {
 }
 export function KeyOfAction(type) {
     const normal = NormalizeType(type);
-    return (IsArray(normal) ? FromArray(normal.items) :
-        IsObject(normal) ? FromObject(normal.properties) :
-            IsRecord(normal) ? FromRecord(normal) :
-                IsTuple(normal) ? FromTuple(normal.items) :
-                    Never());
+    return (IsAny(normal) ? FromAny() :
+        IsArray(normal) ? FromArray(normal.items) :
+            IsObject(normal) ? FromObject(normal.properties) :
+                IsRecord(normal) ? FromRecord(normal) :
+                    IsTuple(normal) ? FromTuple(normal.items) :
+                        Never());
 }
 export function KeyOfImmediate(context, state, type, options) {
     const instantiatedType = InstantiateType(context, state, type);

package/build/{esm/type → type}/script/mapping.d.mts

@@ -99,6 +99,8 @@ export type TGenericCallArgumentsMapping<Input extends [unknown, unknown, unknow
 export declare function GenericCallArgumentsMapping(input: [unknown, unknown, unknown]): unknown;
 export type TGenericCallMapping<Input extends [unknown, unknown], Result = Input extends [infer Ref extends string, infer Arguments extends T.TSchema[]] ? TIntrinsicOrCall<Ref, Arguments> : never> = Result;
 export declare function GenericCallMapping(input: [unknown, unknown]): unknown;
+export type TOptionalSemiColonMapping<Input extends [unknown] | []> = null;
+export declare function OptionalSemiColonMapping(input: [unknown] | []): unknown;
 export type TKeywordStringMapping<Input extends 'string'> = (T.TString);
 export declare function KeywordStringMapping(input: 'string'): unknown;
 export type TKeywordNumberMapping<Input extends 'number'> = (T.TNumber);
@@ -267,8 +269,8 @@ export type TMappedOptionalMapping<Input extends [unknown, unknown] | [unknown]
 export declare function MappedOptionalMapping(input: [unknown, unknown] | [unknown] | []): unknown;
 export type TMappedAsMapping<Input extends [unknown, unknown] | []> = (Input extends ['as', infer Type extends T.TSchema] ? [Type] : []);
 export declare function MappedAsMapping(input: [unknown, unknown] | []): unknown;
-export type TMappedMapping<Input extends [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]> = (Input extends ['{', infer Readonly extends TModifierOperation, '[', infer Key extends string, 'in', infer Union extends T.TSchema, infer As extends T.TSchema[], ']', infer Optional extends TModifierOperation, ':', infer Type extends T.TSchema, '}'] ? (As extends [infer As extends T.TSchema] ? C.TMappedDeferred<T.TIdentifier<Key>, Union, As, TApplyReadonly<Readonly, TApplyOptional<Optional, Type>>> : C.TMappedDeferred<T.TIdentifier<Key>, Union, T.TRef<Key>, TApplyReadonly<Readonly, TApplyOptional<Optional, Type>>>) : never);
-export declare function MappedMapping(input: [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]): unknown;
+export type TMappedMapping<Input extends [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]> = (Input extends ['{', infer Readonly extends TModifierOperation, '[', infer Key extends string, 'in', infer Union extends T.TSchema, infer As extends T.TSchema[], ']', infer Optional extends TModifierOperation, ':', infer Type extends T.TSchema, null, '}'] ? (As extends [infer As extends T.TSchema] ? C.TMappedDeferred<T.TIdentifier<Key>, Union, As, TApplyReadonly<Readonly, TApplyOptional<Optional, Type>>> : C.TMappedDeferred<T.TIdentifier<Key>, Union, T.TRef<Key>, TApplyReadonly<Readonly, TApplyOptional<Optional, Type>>>) : never);
+export declare function MappedMapping(input: [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]): unknown;
 export type TReferenceMapping<Input extends string, Result extends T.TSchema = T.TRef<Input>> = Result;
 export declare function ReferenceMapping(input: string): unknown;
 export type TOptionsMapping<Input extends [unknown, unknown, unknown, unknown, unknown, unknown]> = (Input extends ['Options', '<', infer Type extends T.TSchema, ',', infer Options extends T.TSchemaOptions, '>'] ? C.TOptionsDeferred<Type, Options> : never);
@@ -349,8 +351,8 @@ export type TModuleDeclarationDelimiterMapping<Input extends [unknown, unknown]
 export declare function ModuleDeclarationDelimiterMapping(input: [unknown, unknown] | [unknown]): unknown;
 export type TModuleDeclarationListMapping<Input extends [unknown, unknown]> = (TPropertiesReduce<TDelimited<Input>>);
 export declare function ModuleDeclarationListMapping(input: [unknown, unknown]): unknown;
-export type TModuleDeclarationMapping<Input extends [unknown, unknown]> = (Input extends [null, infer ModuleDeclaration extends T.TProperties] ? ModuleDeclaration : never);
-export declare function ModuleDeclarationMapping(input: [unknown, unknown]): unknown;
+export type TModuleDeclarationMapping<Input extends [unknown, unknown, unknown]> = (Input extends [null, infer ModuleDeclaration extends T.TProperties, null] ? ModuleDeclaration : never);
+export declare function ModuleDeclarationMapping(input: [unknown, unknown, unknown]): unknown;
 export type TModuleMapping<Input extends [unknown, unknown]> = (Input extends [infer ModuleDeclaration extends T.TProperties, infer ModuleDeclarationList extends [T.TProperties, T.TProperties]] ? C.TModuleDeferred<Memory.TAssign<ModuleDeclaration, ModuleDeclarationList[0]>> : never);
 export declare function ModuleMapping(input: [unknown, unknown]): unknown;
 export type TScriptMapping<Input extends unknown> = (Input);

package/build/{esm/type → type}/script/mapping.mjs

@@ -84,6 +84,9 @@ export function GenericCallArgumentsMapping(input) {
 export function GenericCallMapping(input) {
     return IntrinsicOrCall(input[0], input[1]);
 }
+export function OptionalSemiColonMapping(input) {
+    return null;
+}
 export function KeywordStringMapping(input) {
     return T.String();
 }

package/build/{esm/type → type}/script/parser.d.mts

@@ -12,6 +12,7 @@ export type TGenericCallArgumentList_0<Input extends string, Result extends unkn
 export type TGenericCallArgumentList<Input extends string> = (TGenericCallArgumentList_0<Input> extends [infer _0, infer Input extends string] ? (((TType<Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : [[], Input] extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0 extends [unknown, unknown], infer Input extends string] ? [S.TGenericCallArgumentListMapping<_0>, Input] : [];
 export type TGenericCallArguments<Input extends string> = (Token.TConst<'<', Input> extends [infer _0, infer Input extends string] ? (TGenericCallArgumentList<Input> extends [infer _1, infer Input extends string] ? (Token.TConst<'>', Input> extends [infer _2, infer Input extends string] ? [[_0, _1, _2], Input] : []) : []) : []) extends [infer _0 extends [unknown, unknown, unknown], infer Input extends string] ? [S.TGenericCallArgumentsMapping<_0>, Input] : [];
 export type TGenericCall<Input extends string> = (Token.TIdent<Input> extends [infer _0, infer Input extends string] ? (TGenericCallArguments<Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0 extends [unknown, unknown], infer Input extends string] ? [S.TGenericCallMapping<_0>, Input] : [];
+export type TOptionalSemiColon<Input extends string> = ((Token.TConst<';', Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : [[], Input] extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _0 extends [unknown] | [], infer Input extends string] ? [S.TOptionalSemiColonMapping<_0>, Input] : [];
 export type TKeywordString<Input extends string> = Token.TConst<'string', Input> extends [infer _0 extends 'string', infer Input extends string] ? [S.TKeywordStringMapping<_0>, Input] : [];
 export type TKeywordNumber<Input extends string> = Token.TConst<'number', Input> extends [infer _0 extends 'number', infer Input extends string] ? [S.TKeywordNumberMapping<_0>, Input] : [];
 export type TKeywordBoolean<Input extends string> = Token.TConst<'boolean', Input> extends [infer _0 extends 'boolean', infer Input extends string] ? [S.TKeywordBooleanMapping<_0>, Input] : [];
@@ -86,7 +87,7 @@ export type TConstructor<Input extends string> = (Token.TConst<'new', Input> ext
 export type TMappedReadonly<Input extends string> = ((Token.TConst<'+', Input> extends [infer _0, infer Input extends string] ? (Token.TConst<'readonly', Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? [_0, Input] : (Token.TConst<'-', Input> extends [infer _0, infer Input extends string] ? (Token.TConst<'readonly', Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? [_0, Input] : (Token.TConst<'readonly', Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : [[], Input] extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _0 extends [unknown, unknown] | [unknown] | [], infer Input extends string] ? [S.TMappedReadonlyMapping<_0>, Input] : [];
 export type TMappedOptional<Input extends string> = ((Token.TConst<'+', Input> extends [infer _0, infer Input extends string] ? (Token.TConst<'?', Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? [_0, Input] : (Token.TConst<'-', Input> extends [infer _0, infer Input extends string] ? (Token.TConst<'?', Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? [_0, Input] : (Token.TConst<'?', Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : [[], Input] extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _0 extends [unknown, unknown] | [unknown] | [], infer Input extends string] ? [S.TMappedOptionalMapping<_0>, Input] : [];
 export type TMappedAs<Input extends string> = ((Token.TConst<'as', Input> extends [infer _0, infer Input extends string] ? (TType<Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? [_0, Input] : [[], Input] extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _0 extends [unknown, unknown] | [], infer Input extends string] ? [S.TMappedAsMapping<_0>, Input] : [];
-export type TMapped<Input extends string> = (Token.TConst<'{', Input> extends [infer _0, infer Input extends string] ? (TMappedReadonly<Input> extends [infer _1, infer Input extends string] ? (Token.TConst<'[', Input> extends [infer _2, infer Input extends string] ? (Token.TIdent<Input> extends [infer _3, infer Input extends string] ? (Token.TConst<'in', Input> extends [infer _4, infer Input extends string] ? (TType<Input> extends [infer _5, infer Input extends string] ? (TMappedAs<Input> extends [infer _6, infer Input extends string] ? (Token.TConst<']', Input> extends [infer _7, infer Input extends string] ? (TMappedOptional<Input> extends [infer _8, infer Input extends string] ? (Token.TConst<':', Input> extends [infer _9, infer Input extends string] ? (TType<Input> extends [infer _10, infer Input extends string] ? (Token.TConst<'}', Input> extends [infer _11, infer Input extends string] ? [[_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11], Input] : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) extends [infer _0 extends [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown], infer Input extends string] ? [S.TMappedMapping<_0>, Input] : [];
+export type TMapped<Input extends string> = (Token.TConst<'{', Input> extends [infer _0, infer Input extends string] ? (TMappedReadonly<Input> extends [infer _1, infer Input extends string] ? (Token.TConst<'[', Input> extends [infer _2, infer Input extends string] ? (Token.TIdent<Input> extends [infer _3, infer Input extends string] ? (Token.TConst<'in', Input> extends [infer _4, infer Input extends string] ? (TType<Input> extends [infer _5, infer Input extends string] ? (TMappedAs<Input> extends [infer _6, infer Input extends string] ? (Token.TConst<']', Input> extends [infer _7, infer Input extends string] ? (TMappedOptional<Input> extends [infer _8, infer Input extends string] ? (Token.TConst<':', Input> extends [infer _9, infer Input extends string] ? (TType<Input> extends [infer _10, infer Input extends string] ? (TOptionalSemiColon<Input> extends [infer _11, infer Input extends string] ? (Token.TConst<'}', Input> extends [infer _12, infer Input extends string] ? [[_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12], Input] : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) : []) extends [infer _0 extends [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown], infer Input extends string] ? [S.TMappedMapping<_0>, Input] : [];
 export type TReference<Input extends string> = Token.TIdent<Input> extends [infer _0 extends string, infer Input extends string] ? [S.TReferenceMapping<_0>, Input] : [];
 export type TOptions<Input extends string> = (Token.TConst<'Options', Input> extends [infer _0, infer Input extends string] ? (Token.TConst<'<', Input> extends [infer _1, infer Input extends string] ? (TType<Input> extends [infer _2, infer Input extends string] ? (Token.TConst<',', Input> extends [infer _3, infer Input extends string] ? (TJsonObject<Input> extends [infer _4, infer Input extends string] ? (Token.TConst<'>', Input> extends [infer _5, infer Input extends string] ? [[_0, _1, _2, _3, _4, _5], Input] : []) : []) : []) : []) : []) : []) extends [infer _0 extends [unknown, unknown, unknown, unknown, unknown, unknown], infer Input extends string] ? [S.TOptionsMapping<_0>, Input] : [];
 export type TJsonNumber<Input extends string> = Token.TNumber<Input> extends [infer _0 extends string, infer Input extends string] ? [S.TJsonNumberMapping<_0>, Input] : [];
@@ -124,7 +125,7 @@ export type TExportKeyword<Input extends string> = ((Token.TConst<'export', Inpu
 export type TModuleDeclarationDelimiter<Input extends string> = ((Token.TConst<';', Input> extends [infer _0, infer Input extends string] ? (Token.TConst<'\n', Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? [_0, Input] : (Token.TConst<';', Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : (Token.TConst<'\n', Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _0 extends [unknown, unknown] | [unknown], infer Input extends string] ? [S.TModuleDeclarationDelimiterMapping<_0>, Input] : [];
 export type TModuleDeclarationList_0<Input extends string, Result extends unknown[] = []> = (TModuleDeclaration<Input> extends [infer _0, infer Input extends string] ? (TModuleDeclarationDelimiter<Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0, infer Input extends string] ? TModuleDeclarationList_0<Input, [...Result, _0]> : [Result, Input];
 export type TModuleDeclarationList<Input extends string> = (TModuleDeclarationList_0<Input> extends [infer _0, infer Input extends string] ? (((TModuleDeclaration<Input> extends [infer _0, infer Input extends string] ? [[_0], Input] : []) extends [infer _0, infer Input extends string] ? [_0, Input] : [[], Input] extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0 extends [unknown, unknown], infer Input extends string] ? [S.TModuleDeclarationListMapping<_0>, Input] : [];
-export type TModuleDeclaration<Input extends string> = (TExportKeyword<Input> extends [infer _0, infer Input extends string] ? ((TInterfaceDeclarationGeneric<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TInterfaceDeclaration<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TTypeAliasDeclarationGeneric<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TTypeAliasDeclaration<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0 extends [unknown, unknown], infer Input extends string] ? [S.TModuleDeclarationMapping<_0>, Input] : [];
+export type TModuleDeclaration<Input extends string> = (TExportKeyword<Input> extends [infer _0, infer Input extends string] ? ((TInterfaceDeclarationGeneric<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TInterfaceDeclaration<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TTypeAliasDeclarationGeneric<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TTypeAliasDeclaration<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _1, infer Input extends string] ? (TOptionalSemiColon<Input> extends [infer _2, infer Input extends string] ? [[_0, _1, _2], Input] : []) : []) : []) extends [infer _0 extends [unknown, unknown, unknown], infer Input extends string] ? [S.TModuleDeclarationMapping<_0>, Input] : [];
 export type TModule<Input extends string> = (TModuleDeclaration<Input> extends [infer _0, infer Input extends string] ? (TModuleDeclarationList<Input> extends [infer _1, infer Input extends string] ? [[_0, _1], Input] : []) : []) extends [infer _0 extends [unknown, unknown], infer Input extends string] ? [S.TModuleMapping<_0>, Input] : [];
 export type TScript<Input extends string> = (TModule<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TGenericType<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : TType<Input> extends [infer _0, infer Input extends string] ? [_0, Input] : []) extends [infer _0 extends unknown, infer Input extends string] ? [S.TScriptMapping<_0>, Input] : [];
 export declare const GenericParameterExtendsEquals: (input: string) => [unknown, string] | [];
@@ -139,6 +140,7 @@ export declare const GenericCallArgumentList_0: (input: string, result?: unknown
 export declare const GenericCallArgumentList: (input: string) => [unknown, string] | [];
 export declare const GenericCallArguments: (input: string) => [unknown, string] | [];
 export declare const GenericCall: (input: string) => [unknown, string] | [];
+export declare const OptionalSemiColon: (input: string) => [unknown, string] | [];
 export declare const KeywordString: (input: string) => [unknown, string] | [];
 export declare const KeywordNumber: (input: string) => [unknown, string] | [];
 export declare const KeywordBoolean: (input: string) => [unknown, string] | [];

package/build/{esm/type → type}/script/parser.mjs

@@ -15,6 +15,7 @@ export const GenericCallArgumentList_0 = (input, result = []) => If(If(Type(inpu
 export const GenericCallArgumentList = (input) => If(If(GenericCallArgumentList_0(input), ([_0, input]) => If(If(If(Type(input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [S.GenericCallArgumentListMapping(_0), input]);
 export const GenericCallArguments = (input) => If(If(Token.Const('<', input), ([_0, input]) => If(GenericCallArgumentList(input), ([_1, input]) => If(Token.Const('>', input), ([_2, input]) => [[_0, _1, _2], input]))), ([_0, input]) => [S.GenericCallArgumentsMapping(_0), input]);
 export const GenericCall = (input) => If(If(Token.Ident(input), ([_0, input]) => If(GenericCallArguments(input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [S.GenericCallMapping(_0), input]);
+export const OptionalSemiColon = (input) => If(If(If(Token.Const(';', input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])), ([_0, input]) => [S.OptionalSemiColonMapping(_0), input]);
 export const KeywordString = (input) => If(Token.Const('string', input), ([_0, input]) => [S.KeywordStringMapping(_0), input]);
 export const KeywordNumber = (input) => If(Token.Const('number', input), ([_0, input]) => [S.KeywordNumberMapping(_0), input]);
 export const KeywordBoolean = (input) => If(Token.Const('boolean', input), ([_0, input]) => [S.KeywordBooleanMapping(_0), input]);
@@ -89,7 +90,7 @@ export const Constructor = (input) => If(If(Token.Const('new', input), ([_0, inp
 export const MappedReadonly = (input) => If(If(If(Token.Const('+', input), ([_0, input]) => If(Token.Const('readonly', input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If(If(Token.Const('-', input), ([_0, input]) => If(Token.Const('readonly', input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If(If(Token.Const('readonly', input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])))), ([_0, input]) => [S.MappedReadonlyMapping(_0), input]);
 export const MappedOptional = (input) => If(If(If(Token.Const('+', input), ([_0, input]) => If(Token.Const('?', input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If(If(Token.Const('-', input), ([_0, input]) => If(Token.Const('?', input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If(If(Token.Const('?', input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])))), ([_0, input]) => [S.MappedOptionalMapping(_0), input]);
 export const MappedAs = (input) => If(If(If(Token.Const('as', input), ([_0, input]) => If(Type(input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])), ([_0, input]) => [S.MappedAsMapping(_0), input]);
-export const Mapped = (input) => If(If(Token.Const('{', input), ([_0, input]) => If(MappedReadonly(input), ([_1, input]) => If(Token.Const('[', input), ([_2, input]) => If(Token.Ident(input), ([_3, input]) => If(Token.Const('in', input), ([_4, input]) => If(Type(input), ([_5, input]) => If(MappedAs(input), ([_6, input]) => If(Token.Const(']', input), ([_7, input]) => If(MappedOptional(input), ([_8, input]) => If(Token.Const(':', input), ([_9, input]) => If(Type(input), ([_10, input]) => If(Token.Const('}', input), ([_11, input]) => [[_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11], input])))))))))))), ([_0, input]) => [S.MappedMapping(_0), input]);
+export const Mapped = (input) => If(If(Token.Const('{', input), ([_0, input]) => If(MappedReadonly(input), ([_1, input]) => If(Token.Const('[', input), ([_2, input]) => If(Token.Ident(input), ([_3, input]) => If(Token.Const('in', input), ([_4, input]) => If(Type(input), ([_5, input]) => If(MappedAs(input), ([_6, input]) => If(Token.Const(']', input), ([_7, input]) => If(MappedOptional(input), ([_8, input]) => If(Token.Const(':', input), ([_9, input]) => If(Type(input), ([_10, input]) => If(OptionalSemiColon(input), ([_11, input]) => If(Token.Const('}', input), ([_12, input]) => [[_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12], input]))))))))))))), ([_0, input]) => [S.MappedMapping(_0), input]);
 export const Reference = (input) => If(Token.Ident(input), ([_0, input]) => [S.ReferenceMapping(_0), input]);
 export const Options = (input) => If(If(Token.Const('Options', input), ([_0, input]) => If(Token.Const('<', input), ([_1, input]) => If(Type(input), ([_2, input]) => If(Token.Const(',', input), ([_3, input]) => If(JsonObject(input), ([_4, input]) => If(Token.Const('>', input), ([_5, input]) => [[_0, _1, _2, _3, _4, _5], input])))))), ([_0, input]) => [S.OptionsMapping(_0), input]);
 export const JsonNumber = (input) => If(Token.Number(input), ([_0, input]) => [S.JsonNumberMapping(_0), input]);
@@ -127,6 +128,6 @@ export const ExportKeyword = (input) => If(If(If(Token.Const('export', input), (
 export const ModuleDeclarationDelimiter = (input) => If(If(If(Token.Const(';', input), ([_0, input]) => If(Token.Const('\n', input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If(If(Token.Const(';', input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => If(If(Token.Const('\n', input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => []))), ([_0, input]) => [S.ModuleDeclarationDelimiterMapping(_0), input]);
 export const ModuleDeclarationList_0 = (input, result = []) => If(If(ModuleDeclaration(input), ([_0, input]) => If(ModuleDeclarationDelimiter(input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => ModuleDeclarationList_0(input, [...result, _0]), () => [result, input]);
 export const ModuleDeclarationList = (input) => If(If(ModuleDeclarationList_0(input), ([_0, input]) => If(If(If(ModuleDeclaration(input), ([_0, input]) => [[_0], input]), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [S.ModuleDeclarationListMapping(_0), input]);
-export const ModuleDeclaration = (input) => If(If(ExportKeyword(input), ([_0, input]) => If(If(InterfaceDeclarationGeneric(input), ([_0, input]) => [_0, input], () => If(InterfaceDeclaration(input), ([_0, input]) => [_0, input], () => If(TypeAliasDeclarationGeneric(input), ([_0, input]) => [_0, input], () => If(TypeAliasDeclaration(input), ([_0, input]) => [_0, input], () => [])))), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [S.ModuleDeclarationMapping(_0), input]);
+export const ModuleDeclaration = (input) => If(If(ExportKeyword(input), ([_0, input]) => If(If(InterfaceDeclarationGeneric(input), ([_0, input]) => [_0, input], () => If(InterfaceDeclaration(input), ([_0, input]) => [_0, input], () => If(TypeAliasDeclarationGeneric(input), ([_0, input]) => [_0, input], () => If(TypeAliasDeclaration(input), ([_0, input]) => [_0, input], () => [])))), ([_1, input]) => If(OptionalSemiColon(input), ([_2, input]) => [[_0, _1, _2], input]))), ([_0, input]) => [S.ModuleDeclarationMapping(_0), input]);
 export const Module = (input) => If(If(ModuleDeclaration(input), ([_0, input]) => If(ModuleDeclarationList(input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [S.ModuleMapping(_0), input]);
 export const Script = (input) => If(If(Module(input), ([_0, input]) => [_0, input], () => If(GenericType(input), ([_0, input]) => [_0, input], () => If(Type(input), ([_0, input]) => [_0, input], () => []))), ([_0, input]) => [S.ScriptMapping(_0), input]);

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "A Runtime Type System for JavaScript",
-  "version": "1.0.33",
+  "version": "1.0.35",
   "keywords": [
     "typescript",
     "jsonschema"
@@ -12,112 +12,75 @@
     "type": "git",
     "url": "https://github.com/sinclairzx81/typebox"
   },
-  "type": "commonjs",
-  "types": "./build/cjs/index.d.ts",
-  "main": "./build/cjs/index.js",
-  "module": "./build/esm/index.mjs",
+  "type": "module",
+  "types": "./build/index.d.mts",
+  "module": "./build/index.mjs",
   "exports": {
     "./guard": {
-      "require": {
-        "default": "./build/cjs/guard/index.js"
-      },
-      "import": {
-        "default": "./build/esm/guard/index.mjs"
-      }
+      "import": "./build/guard/index.mjs",
+      "default": "./build/guard/index.mjs"
     },
     "./schema": {
-      "require": {
-        "default": "./build/cjs/schema/index.js"
-      },
-      "import": {
-        "default": "./build/esm/schema/index.mjs"
-      }
+      "import": "./build/schema/index.mjs",
+      "default": "./build/schema/index.mjs"
     },
     "./value": {
-      "require": {
-        "default": "./build/cjs/value/index.js"
-      },
-      "import": {
-        "default": "./build/esm/value/index.mjs"
-      }
+      "import": "./build/value/index.mjs",
+      "default": "./build/value/index.mjs"
     },
     "./format": {
-      "require": {
-        "default": "./build/cjs/format/index.js"
-      },
-      "import": {
-        "default": "./build/esm/format/index.mjs"
-      }
+      "import": "./build/format/index.mjs",
+      "default": "./build/format/index.mjs"
     },
     "./type": {
-      "require": {
-        "default": "./build/cjs/type/index.js"
-      },
-      "import": {
-        "default": "./build/esm/type/index.mjs"
-      }
+      "import": "./build/type/index.mjs",
+      "default": "./build/type/index.mjs"
     },
     "./error": {
-      "require": {
-        "default": "./build/cjs/error/index.js"
-      },
-      "import": {
-        "default": "./build/esm/error/index.mjs"
-      }
+      "import": "./build/error/index.mjs",
+      "default": "./build/error/index.mjs"
     },
     "./system": {
-      "require": {
-        "default": "./build/cjs/system/index.js"
-      },
-      "import": {
-        "default": "./build/esm/system/index.mjs"
-      }
+      "import": "./build/system/index.mjs",
+      "default": "./build/system/index.mjs"
     },
     "./compile": {
-      "require": {
-        "default": "./build/cjs/compile/index.js"
-      },
-      "import": {
-        "default": "./build/esm/compile/index.mjs"
-      }
+      "import": "./build/compile/index.mjs",
+      "default": "./build/compile/index.mjs"
     },
     ".": {
-      "require": {
-        "default": "./build/cjs/index.js"
-      },
-      "import": {
-        "default": "./build/esm/index.mjs"
-      }
+      "import": "./build/index.mjs",
+      "default": "./build/index.mjs"
     }
   },
   "typesVersions": {
     "*": {
       "guard": [
-        "./build/esm/guard/index.d.mts"
+        "./build/guard/index.d.mts"
       ],
       "schema": [
-        "./build/esm/schema/index.d.mts"
+        "./build/schema/index.d.mts"
       ],
       "value": [
-        "./build/esm/value/index.d.mts"
+        "./build/value/index.d.mts"
       ],
       "format": [
-        "./build/esm/format/index.d.mts"
+        "./build/format/index.d.mts"
       ],
       "type": [
-        "./build/esm/type/index.d.mts"
+        "./build/type/index.d.mts"
       ],
       "error": [
-        "./build/esm/error/index.d.mts"
+        "./build/error/index.d.mts"
       ],
       "system": [
-        "./build/esm/system/index.d.mts"
+        "./build/system/index.d.mts"
       ],
       "compile": [
-        "./build/esm/compile/index.d.mts"
+        "./build/compile/index.d.mts"
       ],
       ".": [
-        "./build/esm/index.d.mts"
+        "./build/index.d.mts"
       ]
     }
   }

package/build/cjs/compile/code.d.ts

@@ -1,12 +0,0 @@
-import { type TProperties, type TSchema } from '../type/index';
-import { type TExternal } from '../schema/index';
-export interface CodeResult {
-    /** External Variables  */
-    External: TExternal;
-    /** Generated Esm module. */
-    Code: string;
-}
-/** Creates a standalone ESM validation module for the given type. */
-export declare function Code<Type extends TSchema>(type: Type): CodeResult;
-/** Creates a standalone ESM validation module for the given type. */
-export declare function Code<Context extends TProperties, Type extends TSchema>(context: Context, type: Type): CodeResult;

package/build/cjs/compile/code.js

@@ -1,68 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Code = Code;
-const index_1 = require("../system/arguments/index");
-const index_2 = require("../schema/index");
-// ------------------------------------------------------------------
-// Comments and Formatting
-// ------------------------------------------------------------------
-function TsIgnore() {
-    return `// @ts-ignore`;
-}
-function Separator() {
-    return ``;
-}
-// ------------------------------------------------------------------
-// ImportSection
-// ------------------------------------------------------------------
-function ImportSection(build) {
-    const context = build.UseUnevaluated() ? [`import { CheckContext } from "typebox/schema"`] : [];
-    const hashing = `import { Hashing } from "typebox/system"`;
-    const format = `import { Format } from "typebox/format"`;
-    const guard = `import { Guard } from "typebox/guard"`;
-    return [...context, hashing, format, guard];
-}
-// ------------------------------------------------------------------
-// ExternalSection
-// ------------------------------------------------------------------
-function ExternalSection(build) {
-    const { identifier } = build.External();
-    return [
-        Separator(),
-        TsIgnore(),
-        `let ${identifier} = []`,
-        Separator(),
-        TsIgnore(),
-        `export function SetExternal(external) { ${identifier} = external.variables }`
-    ];
-}
-// ------------------------------------------------------------------
-// FunctionSection
-// ------------------------------------------------------------------
-function FunctionSection(build) {
-    return build.Functions().map((func) => [Separator(), TsIgnore(), `${func};`].join('\n'));
-}
-// ------------------------------------------------------------------
-// ExportSection
-// ------------------------------------------------------------------
-function ExportSection(build) {
-    const body = build.UseUnevaluated()
-        ? `const context = new CheckContext({}, {}); return ${build.Call()}`
-        : `return ${build.Call()}`;
-    return [
-        Separator(),
-        TsIgnore(),
-        `export function Check(value) { ${body} }`
-    ];
-}
-/** Creates a standalone ESM validation module for the given type. */
-function Code(...args) {
-    const [context, type] = index_1.Arguments.Match(args, {
-        2: (context, type) => [context, type],
-        1: (type) => [{}, type]
-    });
-    const build = (0, index_2.Build)(context, type);
-    const code = [...ImportSection(build), ...ExternalSection(build), ...FunctionSection(build), ...ExportSection(build)].join('\n');
-    return { External: build.External(), Code: code };
-}

package/build/cjs/compile/compile.d.ts

@@ -1,6 +0,0 @@
-import { type TProperties, type TSchema } from '../type/index';
-import { Validator } from './validator';
-/** Compiles a type into a high performance Validator */
-export declare function Compile<const Type extends TSchema>(type: Type): Validator<{}, Type>;
-/** Compiles a type into a high performance Validator */
-export declare function Compile<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type): Validator<Context, Type>;

package/build/cjs/compile/compile.js

@@ -1,14 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Compile = Compile;
-const index_1 = require("../system/arguments/index");
-const validator_1 = require("./validator");
-/** Compiles a type into a high performance Validator */
-function Compile(...args) {
-    const [context, type] = index_1.Arguments.Match(args, {
-        2: (context, type) => [context, type],
-        1: (type) => [{}, type]
-    });
-    return new validator_1.Validator(context, type);
-}

package/build/cjs/compile/index.d.ts

@@ -1,12 +0,0 @@
-export * from './code';
-export * from './compile';
-export * from './validator';
-import { Code } from './code';
-import { Compile } from './compile';
-import { Validator } from './validator';
-declare const _default: {
-    Code: typeof Code;
-    Compile: typeof Compile;
-    Validator: typeof Validator;
-};
-export default _default;

package/build/cjs/compile/index.js

@@ -1,29 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-// ------------------------------------------------------------------
-// Barrel
-// ------------------------------------------------------------------
-__exportStar(require("./code"), exports);
-__exportStar(require("./compile"), exports);
-__exportStar(require("./validator"), exports);
-// ------------------------------------------------------------------
-// Default
-// ------------------------------------------------------------------
-const code_1 = require("./code");
-const compile_1 = require("./compile");
-const validator_1 = require("./validator");
-exports.default = { Code: code_1.Code, Compile: compile_1.Compile, Validator: validator_1.Validator };

package/build/cjs/compile/validator.d.ts

@@ -1,37 +0,0 @@
-import { type TLocalizedValidationError } from '../error/index';
-import { type StaticDecode, type StaticEncode, type TProperties, type TSchema, Base } from '../type/index';
-export declare class Validator<Context extends TProperties = TProperties, Type extends TSchema = TSchema> extends Base<StaticEncode<Type, Context>> {
-    private readonly context;
-    private readonly type;
-    private readonly isEvaluated;
-    private readonly hasCodec;
-    private readonly code;
-    private readonly check;
-    constructor(context: Context, type: Type);
-    /** Returns true if this validator is using runtime eval optimizations */
-    IsEvaluated(): boolean;
-    /** Returns the Context for this validator */
-    Context(): Context;
-    /** Returns the Type for this validator */
-    Type(): Type;
-    /** Returns the generated code for this validator */
-    Code(): string;
-    /** Checks a value matches the Validator type. */
-    Check(value: unknown): value is StaticEncode<Type, Context>;
-    /** Returns errors for the given value. */
-    Errors(value: unknown): TLocalizedValidationError[];
-    /** Cleans a value using the Validator type. */
-    Clean(value: unknown): unknown;
-    /** Converts a value using the Validator type. */
-    Convert(value: unknown): unknown;
-    /** Creates a value using the Validator type. */
-    Create(): StaticEncode<Type, Context>;
-    /** Creates defaults using the Validator type. */
-    Default(value: unknown): unknown;
-    /** Parses a value */
-    Parse(value: unknown): StaticDecode<Type, Context>;
-    /** Decodes a value */
-    Decode(value: unknown): StaticDecode<Type, Context>;
-    /** Encodes a value */
-    Encode(value: unknown): StaticEncode<Type, Context>;
-}