typebox 1.0.35 → 1.0.37

package/build/type/types/array.d.mts

@@ -1,7 +1,8 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TArrayOptions } from './schema.mjs';
+import { type TImmutable } from './_immutable.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticArray<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result extends unknown[] = StaticType<Stack, Direction, Context, This, Type>[]> = Result;
+export type StaticArray<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Array extends TSchema, Item extends TSchema, Result extends readonly unknown[] = Array extends TImmutable ? readonly StaticType<Stack, Direction, Context, This, Item>[] : StaticType<Stack, Direction, Context, This, Item>[]> = Result;
 /** Represents an Array type. */
 export interface TArray<Type extends TSchema = TSchema> extends TSchema {
     '~kind': 'Array';

package/build/type/types/base.d.mts

@@ -1,12 +1,6 @@
 import { type TSchema } from './schema.mjs';
 import { type XGuard, type XGuardInterface } from '../../schema/types/index.mjs';
-export declare class NotImplemented extends Error {
-    readonly cause: {
-        type: Base;
-        method: string;
-    };
-    constructor(type: Base, method: string);
-}
+export type StaticBase<Value extends unknown> = Value;
 /** Base class for creating extension types. */
 export declare class Base<Value extends unknown = unknown> implements TSchema, XGuard<Value> {
     readonly '~kind': 'Base';

package/build/type/types/base.mjs

@@ -2,35 +2,27 @@
 import { Settings } from '../../system/settings/index.mjs';
 import { IsKind } from './schema.mjs';
 // ------------------------------------------------------------------
-// NotImplemented
-// ------------------------------------------------------------------
-export class NotImplemented extends Error {
-    constructor(type, method) {
-        super(`Base type does not implement the '${method}' function`);
-        Object.defineProperty(this, 'cause', {
-            value: { type, method },
-            writable: false,
-            configurable: false,
-            enumerable: false
-        });
-    }
-}
-// ------------------------------------------------------------------
 // Type.Base<...>
 // ------------------------------------------------------------------
 /** Base class for creating extension types. */
 export class Base {
     constructor() {
-        Object.defineProperty(this, '~kind', {
+        const configuration = {
             enumerable: Settings.Get().enumerableKind,
             writable: false,
             configurable: false,
+        };
+        globalThis.Object.defineProperty(this, '~kind', {
+            ...configuration,
             value: 'Base'
         });
-        this['~guard'] = {
-            check: (value) => this.Check(value),
-            errors: (value) => this.Errors(value)
-        };
+        globalThis.Object.defineProperty(this, '~guard', {
+            ...configuration,
+            value: {
+                check: (value) => this.Check(value),
+                errors: (value) => this.Errors(value)
+            }
+        });
     }
     /** Checks a value or returns false if invalid */
     Check(value) {
@@ -54,7 +46,7 @@ export class Base {
     }
     /** Creates a new instance of this type */
     Create() {
-        throw new NotImplemented(this, 'Create');
+        throw new Error('Create not implemented');
     }
 }
 // ------------------------------------------------------------------

package/build/type/types/index.d.mts

@@ -1,4 +1,5 @@
 export * from './_codec.mjs';
+export * from './_immutable.mjs';
 export * from './_optional.mjs';
 export * from './_readonly.mjs';
 export * from './_refine.mjs';

package/build/type/types/index.mjs

@@ -2,6 +2,7 @@
 // Extensions
 // ------------------------------------------------------------------
 export * from './_codec.mjs';
+export * from './_immutable.mjs';
 export * from './_optional.mjs';
 export * from './_readonly.mjs';
 export * from './_refine.mjs';

package/build/type/types/literal.d.mts

@@ -1,9 +1,18 @@
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
+export declare class InvalidLiteralValue extends Error {
+    readonly cause: {
+        value: unknown;
+    };
+    constructor(value: unknown);
+}
 export type StaticLiteral<Value extends TLiteralValue> = (Value);
+export type TLiteralTypeName<Value extends TLiteralValue> = (Value extends bigint ? 'bigint' : Value extends boolean ? 'boolean' : Value extends number ? 'number' : Value extends string ? 'string' : never);
+export declare function LiteralTypeName<Value extends TLiteralValue>(value: Value): TLiteralTypeName<Value>;
 export type TLiteralValue = string | number | boolean | bigint;
 /** Represents a Literal type. */
 export interface TLiteral<Value extends TLiteralValue = TLiteralValue> extends TSchema {
     '~kind': 'Literal';
+    type: TLiteralTypeName<Value>;
     const: Value;
 }
 /** Creates a Literal type. */

package/build/type/types/literal.mjs

@@ -3,11 +3,32 @@ import { Memory } from '../../system/memory/index.mjs';
 import { Guard } from '../../guard/index.mjs';
 import { IsKind } from './schema.mjs';
 // ------------------------------------------------------------------
+// InvalidLiteralValue
+// ------------------------------------------------------------------
+export class InvalidLiteralValue extends Error {
+    constructor(value) {
+        super(`Invalid Literal value`);
+        Object.defineProperty(this, 'cause', {
+            value: { value },
+            writable: false,
+            configurable: false,
+            enumerable: false
+        });
+    }
+}
+export function LiteralTypeName(value) {
+    return (Guard.IsBigInt(value) ? 'bigint' :
+        Guard.IsBoolean(value) ? 'boolean' :
+            Guard.IsNumber(value) ? 'number' :
+                Guard.IsString(value) ? 'string' :
+                    (() => { throw new InvalidLiteralValue(value); })());
+}
+// ------------------------------------------------------------------
 // Factory
 // ------------------------------------------------------------------
 /** Creates a Literal type. */
 export function Literal(value, options) {
-    return Memory.Create({ '~kind': 'Literal' }, { const: value }, options);
+    return Memory.Create({ '~kind': 'Literal' }, { type: LiteralTypeName(value), const: value }, options);
 }
 // ------------------------------------------------------------------
 // Guards

package/build/type/types/static.d.mts

@@ -2,6 +2,7 @@ import type { StaticCodec, TCodec } from './_codec.mjs';
 import type { StaticAny, TAny } from './any.mjs';
 import type { StaticArray, TArray } from './array.mjs';
 import type { StaticAsyncIterator, TAsyncIterator } from './async-iterator.mjs';
+import type { StaticBase, Base } from './base.mjs';
 import type { StaticBigInt, TBigInt } from './bigint.mjs';
 import type { StaticBoolean, TBoolean } from './boolean.mjs';
 import type { StaticConstructor, TConstructor } from './constructor.mjs';
@@ -31,12 +32,12 @@ import type { StaticUnion, TUnion } from './union.mjs';
 import type { StaticUnknown, TUnknown } from './unknown.mjs';
 import type { StaticUnsafe, TUnsafe } from './unsafe.mjs';
 import type { StaticVoid, TVoid } from './void.mjs';
-import type { XStatic } from '../../schema/types/static.mjs';
+import type { XStatic } from '../../schema/static/static.mjs';
 export type StaticEvaluate<T> = {
     [K in keyof T]: T[K];
 } & {};
 export type StaticDirection = 'Encode' | 'Decode';
-export type StaticType<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema> = (Type extends TCodec<infer Type extends TSchema, infer Decoded extends unknown> ? StaticCodec<Stack, Direction, Context, This, Type, Decoded> : Type extends TAny ? StaticAny : Type extends TArray<infer Type extends TSchema> ? StaticArray<Stack, Direction, Context, This, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? StaticAsyncIterator<Stack, Direction, Context, This, Type> : Type extends TBigInt ? StaticBigInt : Type extends TBoolean ? StaticBoolean : Type extends TConstructor<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticConstructor<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TEnum<infer Values extends TEnumValue[]> ? StaticEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticFunction<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<Stack, Direction, Context, This, Types> : Type extends TIterator<infer Types extends TSchema> ? StaticIterator<Stack, Direction, Context, This, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? StaticLiteral<Value> : Type extends TNever ? StaticNever : Type extends TNull ? StaticNull : Type extends TNumber ? StaticNumber : Type extends TObject<infer Properties extends TProperties> ? StaticObject<Stack, Direction, Context, This, Properties> : Type extends TPromise<infer Type extends TSchema> ? StaticPromise<Stack, Direction, Context, This, Type> : Type extends TRecord<infer Key extends string, infer Value extends TSchema> ? StaticRecord<Stack, Direction, Context, This, Key, Value> : Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? StaticCyclic<Stack, Direction, Context, This, Defs, Ref> : Type extends TRef<infer Ref extends string> ? StaticRef<Stack, Direction, Context, This, Ref> : Type extends TString ? StaticString : Type extends TSymbol ? StaticSymbol : Type extends TTemplateLiteral<infer Pattern extends string> ? StaticTemplateLiteral<Pattern> : Type extends TThis ? StaticThis<Stack, Direction, Context, This> : Type extends TTuple<infer Types extends TSchema[]> ? StaticTuple<Stack, Direction, Context, This, Types> : Type extends TUndefined ? StaticUndefined : Type extends TUnion<infer Types extends TSchema[]> ? StaticUnion<Stack, Direction, Context, This, Types> : Type extends TUnknown ? StaticUnknown : Type extends TUnsafe<infer Type extends unknown> ? StaticUnsafe<Type> : Type extends TVoid ? StaticVoid : XStatic<Type>);
+export type StaticType<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema> = (Type extends TCodec<infer Type extends TSchema, infer Decoded extends unknown> ? StaticCodec<Stack, Direction, Context, This, Type, Decoded> : Type extends TAny ? StaticAny : Type extends TArray<infer Items extends TSchema> ? StaticArray<Stack, Direction, Context, This, Type, Items> : Type extends TAsyncIterator<infer Type extends TSchema> ? StaticAsyncIterator<Stack, Direction, Context, This, Type> : Type extends Base<infer Value extends unknown> ? StaticBase<Value> : Type extends TBigInt ? StaticBigInt : Type extends TBoolean ? StaticBoolean : Type extends TConstructor<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticConstructor<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TEnum<infer Values extends TEnumValue[]> ? StaticEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticFunction<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<Stack, Direction, Context, This, Types> : Type extends TIterator<infer Types extends TSchema> ? StaticIterator<Stack, Direction, Context, This, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? StaticLiteral<Value> : Type extends TNever ? StaticNever : Type extends TNull ? StaticNull : Type extends TNumber ? StaticNumber : Type extends TObject<infer Properties extends TProperties> ? StaticObject<Stack, Direction, Context, This, Properties> : Type extends TPromise<infer Type extends TSchema> ? StaticPromise<Stack, Direction, Context, This, Type> : Type extends TRecord<infer Key extends string, infer Value extends TSchema> ? StaticRecord<Stack, Direction, Context, This, Key, Value> : Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? StaticCyclic<Stack, Direction, Context, This, Defs, Ref> : Type extends TRef<infer Ref extends string> ? StaticRef<Stack, Direction, Context, This, Ref> : Type extends TString ? StaticString : Type extends TSymbol ? StaticSymbol : Type extends TTemplateLiteral<infer Pattern extends string> ? StaticTemplateLiteral<Pattern> : Type extends TThis ? StaticThis<Stack, Direction, Context, This> : Type extends TTuple<infer Items extends TSchema[]> ? StaticTuple<Stack, Direction, Context, This, Type, Items> : Type extends TUndefined ? StaticUndefined : Type extends TUnion<infer Types extends TSchema[]> ? StaticUnion<Stack, Direction, Context, This, Types> : Type extends TUnknown ? StaticUnknown : Type extends TUnsafe<infer Type extends unknown> ? StaticUnsafe<Type> : Type extends TVoid ? StaticVoid : XStatic<Type>);
 /** Infers a static type from a TypeBox type using Parse logic. */
 export type StaticParse<Type extends TSchema, Context extends TProperties = {}> = StaticType<[], 'Decode', Context, {}, Type>;
 /** Infers a static type from a TypeBox type using Decode logic. */

package/build/type/types/tuple.d.mts

@@ -3,6 +3,7 @@ import { type TSchema, type TTupleOptions } from './schema.mjs';
 import { type TArray } from './array.mjs';
 import { type TOptional } from './_optional.mjs';
 import { type TProperties } from './properties.mjs';
+import { type TImmutable } from './_immutable.mjs';
 import { type TReadonly } from './_readonly.mjs';
 import { type TRest } from './rest.mjs';
 type StaticLast<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result extends unknown[]> = (Type extends TRest<infer RestType extends TSchema> ? RestType extends TArray<infer ArrayType extends TSchema> ? [...Result, ...TStaticElement<Stack, Direction, Context, This, ArrayType>[0][]] : [...Result, never] : [...Result, ...TStaticElement<Stack, Direction, Context, This, Type>]);
@@ -19,7 +20,7 @@ type TStaticElement<Stack extends string[], Direction extends StaticDirection, C
     Inferred
 ])> = Result;
 export type TStaticElements<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown[] = []> = (Types extends [infer Last extends TSchema] ? StaticLast<Stack, Direction, Context, This, Last, Result> : Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TStaticElements<Stack, Direction, Context, This, Right, [...Result, ...TStaticElement<Stack, Direction, Context, This, Left>]> : Result);
-export type StaticTuple<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Elements extends unknown[] = TStaticElements<Stack, Direction, Context, This, Types>, Result extends unknown[] = Elements> = Result;
+export type StaticTuple<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Tuple extends TSchema, Items extends TSchema[], Elements extends unknown[] = TStaticElements<Stack, Direction, Context, This, Items>, Result extends readonly unknown[] = (Tuple extends TImmutable ? readonly [...Elements] : Elements)> = Result;
 /** Represents a Tuple type. */
 export interface TTuple<Types extends TSchema[] = TSchema[]> extends TSchema {
     '~kind': 'Tuple';

package/build/typebox.d.mts

@@ -26,6 +26,7 @@ export { ReturnType, type TReturnType, type TReturnTypeDeferred } from './type/a
 export { type TUncapitalize, type TUncapitalizeDeferred, Uncapitalize } from './type/action/uncapitalize.mjs';
 export { type TUppercase, type TUppercaseDeferred, Uppercase } from './type/action/uppercase.mjs';
 export { Codec, Decode, DecodeBuilder, Encode, EncodeBuilder, IsCodec, type TCodec } from './type/types/_codec.mjs';
+export { Immutable, IsImmutable, type TImmutable } from './type/types/_immutable.mjs';
 export { IsOptional, Optional, type TOptional } from './type/types/_optional.mjs';
 export { IsReadonly, Readonly, type TReadonly } from './type/types/_readonly.mjs';
 export { IsRefine, Refine, type TRefine, type TRefineCallback, type TRefinement } from './type/types/_refine.mjs';

package/build/typebox.mjs

@@ -41,6 +41,7 @@ export { Uppercase } from './type/action/uppercase.mjs';
 // Extension
 // ------------------------------------------------------------------
 export { Codec, Decode, DecodeBuilder, Encode, EncodeBuilder, IsCodec } from './type/types/_codec.mjs';
+export { Immutable, IsImmutable } from './type/types/_immutable.mjs';
 export { IsOptional, Optional } from './type/types/_optional.mjs';
 export { IsReadonly, Readonly } from './type/types/_readonly.mjs';
 export { IsRefine, Refine } from './type/types/_refine.mjs';

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
-  "description": "A Runtime Type System for JavaScript",
-  "version": "1.0.35",
+  "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
+  "version": "1.0.37",
   "keywords": [
     "typescript",
     "jsonschema"
@@ -16,38 +16,38 @@
   "types": "./build/index.d.mts",
   "module": "./build/index.mjs",
   "exports": {
-    "./guard": {
-      "import": "./build/guard/index.mjs",
-      "default": "./build/guard/index.mjs"
+    "./error": {
+      "import": "./build/error/index.mjs",
+      "default": "./build/error/index.mjs"
     },
     "./schema": {
       "import": "./build/schema/index.mjs",
       "default": "./build/schema/index.mjs"
     },
-    "./value": {
-      "import": "./build/value/index.mjs",
-      "default": "./build/value/index.mjs"
-    },
     "./format": {
       "import": "./build/format/index.mjs",
       "default": "./build/format/index.mjs"
     },
+    "./compile": {
+      "import": "./build/compile/index.mjs",
+      "default": "./build/compile/index.mjs"
+    },
+    "./guard": {
+      "import": "./build/guard/index.mjs",
+      "default": "./build/guard/index.mjs"
+    },
+    "./value": {
+      "import": "./build/value/index.mjs",
+      "default": "./build/value/index.mjs"
+    },
     "./type": {
       "import": "./build/type/index.mjs",
       "default": "./build/type/index.mjs"
     },
-    "./error": {
-      "import": "./build/error/index.mjs",
-      "default": "./build/error/index.mjs"
-    },
     "./system": {
       "import": "./build/system/index.mjs",
       "default": "./build/system/index.mjs"
     },
-    "./compile": {
-      "import": "./build/compile/index.mjs",
-      "default": "./build/compile/index.mjs"
-    },
     ".": {
       "import": "./build/index.mjs",
       "default": "./build/index.mjs"
@@ -55,30 +55,30 @@
   },
   "typesVersions": {
     "*": {
-      "guard": [
-        "./build/guard/index.d.mts"
+      "error": [
+        "./build/error/index.d.mts"
       ],
       "schema": [
         "./build/schema/index.d.mts"
       ],
-      "value": [
-        "./build/value/index.d.mts"
-      ],
       "format": [
         "./build/format/index.d.mts"
       ],
+      "compile": [
+        "./build/compile/index.d.mts"
+      ],
+      "guard": [
+        "./build/guard/index.d.mts"
+      ],
+      "value": [
+        "./build/value/index.d.mts"
+      ],
       "type": [
         "./build/type/index.d.mts"
       ],
-      "error": [
-        "./build/error/index.d.mts"
-      ],
       "system": [
         "./build/system/index.d.mts"
       ],
-      "compile": [
-        "./build/compile/index.d.mts"
-      ],
       ".": [
         "./build/index.d.mts"
       ]

package/readme.md

@@ -2,7 +2,7 @@
 
 <h1>TypeBox</h1>
 
-<p>A Runtime Type System for JavaScript</p>
+<p>Json Schema Type Builder with Static Type Resolution for TypeScript</p>
 
 <img src="typebox.png" />
 

package/build/schema/types/static.d.mts

@@ -1,113 +0,0 @@
-import type { XGuard } from './_guard.mjs';
-import type { XSchemaLike } from './schema.mjs';
-import type { XAdditionalProperties } from './additionalProperties.mjs';
-import type { XAnyOf } from './anyOf.mjs';
-import type { XAllOf } from './allOf.mjs';
-import type { XConst } from './const.mjs';
-import type { XEnum } from './enum.mjs';
-import type { XItems } from './items.mjs';
-import type { XOneOf } from './oneOf.mjs';
-import type { XPatternProperties } from './patternProperties.mjs';
-import type { XPrefixItems } from './prefixItems.mjs';
-import type { XProperties } from './properties.mjs';
-import type { XRequired } from './required.mjs';
-export type XStaticBase<Value extends unknown> = Value;
-type XStaticAdditionalProperties<Schema extends XSchemaLike, Result extends Record<PropertyKey, unknown> = (Schema extends true ? {
-    [key: string]: unknown;
-} : Schema extends false ? {} : {
-    [key: string]: XStaticType<Schema>;
-})> = Result;
-type XStaticAllOf<Schemas extends XSchemaLike[], Result extends unknown = unknown> = Schemas extends [infer Left extends XSchemaLike, ...infer Right extends XSchemaLike[]] ? XStaticAllOf<Right, XStaticType<Left> & Result> : Result;
-type XStaticAnyOf<Schemas extends XSchemaLike[], Result extends unknown = never> = Schemas extends [infer Left extends XSchemaLike, ...infer Right extends XSchemaLike[]] ? XStaticAnyOf<Right, XStaticType<Left> | Result> : Result;
-type XStaticConst<Value extends unknown> = Value;
-type XStaticEnum<Values extends unknown[], Result extends unknown = never> = Values extends [infer Left extends unknown, ...infer Right extends unknown[]] ? XStaticEnum<Right, Left | Result> : Result;
-type XStaticItemsUnsized<Schema extends XSchemaLike> = XStaticType<Schema>[];
-type XStaticItemsSized<Schema extends XSchemaLike[], Result extends unknown[] = []> = Schema extends [infer Left extends XSchemaLike, ...infer Right extends XSchemaLike[]] ? XStaticItemsSized<Right, [...Result, XStaticType<Left>]> : Result;
-type XStaticItems<Schemas extends XSchemaLike[] | XSchemaLike, Result extends unknown = (Schemas extends XSchemaLike[] ? XStaticItemsSized<[...Schemas]> : Schemas extends XSchemaLike ? XStaticItemsUnsized<Schemas> : never)> = Result;
-type XStaticOneOf<Schemas extends XSchemaLike[], Result extends unknown = never> = Schemas extends [infer Left extends XSchemaLike, ...infer Right extends XSchemaLike[]] ? XStaticOneOf<Right, XStaticType<Left> | Result> : Result;
-type XStaticPatternProperties<Properties extends Record<PropertyKey, XSchemaLike> = Record<PropertyKey, XSchemaLike>, InferredProperties extends Record<PropertyKey, unknown> = {
-    [Key in keyof Properties]: XStaticType<Properties[Key]>;
-}, EvaluatedProperties extends unknown = {
-    [key: string]: InferredProperties[keyof InferredProperties];
-}> = EvaluatedProperties;
-type XStaticPrefixItems<Schemas extends XSchemaLike[], Result extends unknown[] = []> = Schemas extends [infer Left extends XSchemaLike, ...infer Right extends XSchemaLike[]] ? XStaticPrefixItems<Right, [...Result, XStaticType<Left>]> : Result;
-type XStaticProperties<Properties extends Record<PropertyKey, XSchemaLike>, Readonly extends Record<PropertyKey, unknown> = {
-    readonly [Key in keyof Properties as Properties[Key] extends {
-        readOnly: true;
-    } ? Key : never]?: XStaticType<Properties[Key]>;
-}, Standard extends Record<PropertyKey, unknown> = {
-    [Key in keyof Properties as Properties[Key] extends {
-        readOnly: true;
-    } ? never : Key]?: XStaticType<Properties[Key]>;
-}, Result extends Record<PropertyKey, unknown> = Readonly & Standard> = Result;
-type RequiredSelectProperty<Properties extends Record<PropertyKey, XSchemaLike>, Key extends string, Result extends Record<PropertyKey, unknown> = (Key extends keyof Properties ? Properties[Key] extends {
-    readOnly: true;
-} ? {
-    readonly [_ in Key]: XStaticType<Properties[Key]>;
-} : {
-    [_ in Key]: XStaticType<Properties[Key]>;
-} : {
-    [_ in Key]: unknown;
-})> = Result;
-type RequiredSelectProperties<Properties extends Record<PropertyKey, XSchemaLike>, Keys extends string[], Result extends Record<PropertyKey, unknown> = {}> = Keys extends [infer Left extends string, ...infer Right extends string[]] ? RequiredSelectProperties<Properties, Right, Result & RequiredSelectProperty<Properties, Left>> : Result;
-type RequiredGetProperties<Schema extends XSchemaLike, Result extends Record<PropertyKey, unknown> = (Schema extends XProperties<infer Properties extends Record<PropertyKey, XSchemaLike>> ? Properties : {})> = Result;
-type XStaticRequired<Schema extends XSchemaLike, Keys extends string[], Properties extends Record<PropertyKey, XSchemaLike> = RequiredGetProperties<Schema>, Result extends Record<PropertyKey, unknown> = RequiredSelectProperties<Properties, Keys>> = Result;
-type XStaticKeywords<Schema, Result extends unknown[] = [
-    Schema extends XAdditionalProperties<infer Type extends XSchemaLike> ? XStaticAdditionalProperties<Type> : unknown,
-    Schema extends XAllOf<infer Types extends XSchemaLike[]> ? XStaticAllOf<Types> : unknown,
-    Schema extends XAnyOf<infer Types extends XSchemaLike[]> ? XStaticAnyOf<Types> : unknown,
-    Schema extends XConst<infer Value extends unknown> ? XStaticConst<Value> : unknown,
-    Schema extends XEnum<infer Values extends unknown[]> ? XStaticEnum<Values> : unknown,
-    Schema extends XItems<infer Types extends XSchemaLike[] | XSchemaLike> ? XStaticItems<Types> : unknown,
-    Schema extends XOneOf<infer Types extends XSchemaLike[]> ? XStaticOneOf<Types> : unknown,
-    Schema extends XPatternProperties<infer Properties extends Record<PropertyKey, XSchemaLike>> ? XStaticPatternProperties<Properties> : unknown,
-    Schema extends XPrefixItems<infer Types extends XSchemaLike[]> ? XStaticPrefixItems<Types> : unknown,
-    Schema extends XProperties<infer Properties extends Record<PropertyKey, XSchemaLike>> ? XStaticProperties<Properties> : unknown,
-    Schema extends XRequired<infer Keys extends string[]> ? XStaticRequired<Schema, Keys> : unknown,
-    Schema extends {
-        type: 'array';
-    } ? {} : unknown,
-    Schema extends {
-        type: 'bigint';
-    } ? bigint : unknown,
-    Schema extends {
-        type: 'boolean';
-    } ? boolean : unknown,
-    Schema extends {
-        type: 'integer';
-    } ? number : unknown,
-    Schema extends {
-        type: 'object';
-    } ? object : unknown,
-    Schema extends {
-        type: 'null';
-    } ? null : unknown,
-    Schema extends {
-        type: 'number';
-    } ? number : unknown,
-    Schema extends {
-        type: 'string';
-    } ? string : unknown,
-    Schema extends {
-        type: 'symbol';
-    } ? symbol : unknown,
-    Schema extends {
-        type: 'undefined';
-    } ? undefined : unknown
-]> = Result;
-type XStaticKeywordIntersect<Schemas extends unknown[], Result extends unknown = unknown> = (Schemas extends [infer Left extends unknown, ...infer Right extends unknown[]] ? XStaticKeywordIntersect<Right, Result & Left> : Result);
-type XStaticEvaluate<Schema extends unknown, Result extends unknown = Schema extends object ? {
-    [Key in keyof Schema]: Schema[Key];
-} : Schema> = Result;
-type XStaticJsonSchema<Schema extends unknown, Keywords extends unknown[] = XStaticKeywords<Schema>, Intersect extends unknown = XStaticKeywordIntersect<Keywords>, Result extends unknown = XStaticEvaluate<Intersect>> = Result;
-/** Statically infers a JSON Schema or Validator */
-export type XStaticType<Schema extends XSchemaLike, Result extends unknown = (Schema extends XGuard<infer Value> ? Value : XStaticJsonSchema<Schema>)> = Result;
-type XStaticMutableTuple<Schemas extends readonly unknown[]> = (Schemas extends [infer Left, ...infer Right extends unknown[]] ? [XStaticMutable<Left>, ...XStaticMutableTuple<Right>] : []);
-type XStaticMutableArray<Schema extends unknown, Result extends unknown[] = XStaticMutable<Schema>[]> = Result;
-type XStaticMutableObject<Schema extends object, Result extends Record<PropertyKey, unknown> = {
-    -readonly [K in keyof Schema]: XStaticMutable<Schema[K]>;
-}> = Result;
-type XStaticMutable<Schema> = (Schema extends XGuard ? Schema : Schema extends readonly [...infer Schemas extends unknown[]] ? XStaticMutableTuple<Schemas> : Schema extends readonly (infer Schema)[] ? XStaticMutableArray<Schema> : Schema extends object ? XStaticMutableObject<Schema> : Schema);
-/** Statically infers a JSON Schema */
-export type XStatic<Schema extends XSchemaLike, Mutable extends XSchemaLike = XStaticMutable<Schema>, Result extends unknown = XStaticType<Mutable>> = Result;
-export {};