typebox 1.0.36 → 1.0.37

package/build/schema/types/patternProperties.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -11,5 +11,5 @@ import { IsSchemaLike } from './schema.mjs';
 export function IsPatternProperties(schema) {
     return Guard.HasPropertyKey(schema, 'patternProperties')
         && Guard.IsObject(schema.patternProperties)
-        && Object.values(schema.patternProperties).every(value => IsSchemaLike(value));
+        && Object.values(schema.patternProperties).every(value => IsSchema(value));
 }

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

@@ -1,8 +1,8 @@
-import { type XSchema, type XSchemaLike } from './schema.mjs';
-export interface XPrefixItems<PrefixItems extends XSchemaLike[] = XSchemaLike[]> {
+import { type XSchemaObject, type XSchema } from './schema.mjs';
+export interface XPrefixItems<PrefixItems extends XSchema[] = XSchema[]> {
     prefixItems: PrefixItems;
 }
 /**
  * Returns true if the schema contains a valid prefixItems property
  */
-export declare function IsPrefixItems(schema: XSchema): schema is XPrefixItems;
+export declare function IsPrefixItems(schema: XSchemaObject): schema is XPrefixItems;

package/build/schema/types/prefixItems.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -10,5 +10,5 @@ import { IsSchemaLike } from './schema.mjs';
 export function IsPrefixItems(schema) {
     return Guard.HasPropertyKey(schema, 'prefixItems')
         && Guard.IsArray(schema.prefixItems)
-        && schema.prefixItems.every(schema => IsSchemaLike(schema));
+        && schema.prefixItems.every(schema => IsSchema(schema));
 }

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

@@ -1,9 +1,9 @@
-import { type XSchema, type XSchemaLike } from './schema.mjs';
-export interface XProperties<Properties extends Record<PropertyKey, XSchemaLike> = Record<PropertyKey, XSchemaLike>> {
+import { type XSchemaObject, type XSchema } from './schema.mjs';
+export interface XProperties<Properties extends Record<PropertyKey, XSchema> = Record<PropertyKey, XSchema>> {
     properties: Properties;
 }
 /**
  * Returns true if the schema contains a valid properties property
  * @specification Json Schema 7
  */
-export declare function IsProperties(schema: XSchema): schema is XProperties;
+export declare function IsProperties(schema: XSchemaObject): schema is XProperties;

package/build/schema/types/properties.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -11,5 +11,5 @@ import { IsSchemaLike } from './schema.mjs';
 export function IsProperties(schema) {
     return Guard.HasPropertyKey(schema, 'properties')
         && Guard.IsObject(schema.properties)
-        && Object.values(schema.properties).every(value => IsSchemaLike(value));
+        && Object.values(schema.properties).every(value => IsSchema(value));
 }

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

@@ -1,9 +1,9 @@
-import { type XSchema, type XSchemaLike } from './schema.mjs';
-export interface XPropertyNames<PropertyNames extends XSchemaLike = XSchemaLike> {
+import { type XSchemaObject, type XSchema } from './schema.mjs';
+export interface XPropertyNames<PropertyNames extends XSchema = XSchema> {
     propertyNames: PropertyNames;
 }
 /**
  * Returns true if the schema contains a valid propertyNames property
  * @specification Json Schema 7
  */
-export declare function IsPropertyNames(schema: XSchema): schema is XPropertyNames;
+export declare function IsPropertyNames(schema: XSchemaObject): schema is XPropertyNames;

package/build/schema/types/propertyNames.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -11,5 +11,5 @@ import { IsSchemaLike } from './schema.mjs';
 export function IsPropertyNames(schema) {
     return Guard.HasPropertyKey(schema, 'propertyNames')
         && (Guard.IsObject(schema.propertyNames)
-            || IsSchemaLike(schema.propertyNames));
+            || IsSchema(schema.propertyNames));
 }

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

@@ -1,4 +1,4 @@
-import { type XSchema } from './schema.mjs';
+import { type XSchemaObject } from './schema.mjs';
 export interface XRef<Ref extends string = string> {
     $ref: Ref;
 }
@@ -6,4 +6,4 @@ export interface XRef<Ref extends string = string> {
  * Returns true if the schema contains a valid $ref property
  * @specification Json Schema 7
  */
-export declare function IsRef(schema: XSchema): schema is XRef;
+export declare function IsRef(schema: XSchemaObject): schema is XRef;

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

@@ -1,4 +1,4 @@
-import { type XSchema } from './schema.mjs';
+import { type XSchemaObject } from './schema.mjs';
 export interface XRequired<Required extends string[] = string[]> {
     required: Required;
 }
@@ -6,4 +6,4 @@ export interface XRequired<Required extends string[] = string[]> {
  * Returns true if the schema contains a valid required property
  * @specification Json Schema 7
  */
-export declare function IsRequired(schema: XSchema): schema is XRequired;
+export declare function IsRequired(schema: XSchemaObject): schema is XRequired;

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

@@ -1,9 +1,9 @@
-export type XSchema = object;
+export type XSchemaObject = object;
 /** Returns true if this value is object like */
-export declare function IsSchema(value: unknown): value is XSchema;
+export declare function IsSchemaObject(value: unknown): value is XSchemaObject;
 export type XSchemaBoolean = boolean;
 /** Returns true if this value is a boolean */
 export declare function IsBooleanSchema(value: unknown): value is XSchemaBoolean;
-export type XSchemaLike = XSchema | XSchemaBoolean;
+export type XSchema = XSchemaObject | XSchemaBoolean;
 /** Returns true if this value is schema like */
-export declare function IsSchemaLike(value: unknown): value is XSchemaLike;
+export declare function IsSchema(value: unknown): value is XSchema;

package/build/schema/types/schema.mjs

@@ -1,7 +1,7 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
 /** Returns true if this value is object like */
-export function IsSchema(value) {
+export function IsSchemaObject(value) {
     return Guard.IsObject(value) && !Guard.IsArray(value);
 }
 /** Returns true if this value is a boolean */
@@ -9,6 +9,6 @@ export function IsBooleanSchema(value) {
     return Guard.IsBoolean(value);
 }
 /** Returns true if this value is schema like */
-export function IsSchemaLike(value) {
-    return IsSchema(value) || IsBooleanSchema(value);
+export function IsSchema(value) {
+    return IsSchemaObject(value) || IsBooleanSchema(value);
 }

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

@@ -1,9 +1,9 @@
-import { type XSchema, type XSchemaLike } from './schema.mjs';
-export interface XThen<Then extends XSchemaLike = XSchemaLike> {
+import { type XSchemaObject, type XSchema } from './schema.mjs';
+export interface XThen<Then extends XSchema = XSchema> {
     then: Then;
 }
 /**
  * Returns true if the schema contains a valid then property
  * @specification Json Schema 7
  */
-export declare function IsThen(schema: XSchema): schema is XThen;
+export declare function IsThen(schema: XSchemaObject): schema is XThen;

package/build/schema/types/then.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -10,5 +10,5 @@ import { IsSchemaLike } from './schema.mjs';
  */
 export function IsThen(schema) {
     return Guard.HasPropertyKey(schema, 'then')
-        && IsSchemaLike(schema.then);
+        && IsSchema(schema.then);
 }

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

@@ -1,4 +1,4 @@
-import { type XSchema } from './schema.mjs';
+import { type XSchemaObject } from './schema.mjs';
 export interface XType<Type extends string | string[] = string | string[]> {
     type: Type;
 }
@@ -6,4 +6,4 @@ export interface XType<Type extends string | string[] = string | string[]> {
  * Returns true if the schema contains a valid type property
  * @specification Json Schema 7
  */
-export declare function IsType(schema: XSchema): schema is XType;
+export declare function IsType(schema: XSchemaObject): schema is XType;

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

@@ -1,9 +1,9 @@
-import { type XSchema, type XSchemaLike } from './schema.mjs';
-export interface XUnevaluatedItems<unevaluatedItems extends XSchemaLike = XSchemaLike> {
-    unevaluatedItems: XSchemaLike;
+import { type XSchemaObject, type XSchema } from './schema.mjs';
+export interface XUnevaluatedItems<unevaluatedItems extends XSchema = XSchema> {
+    unevaluatedItems: XSchema;
 }
 /**
  * Returns true if the schema contains a valid unevaluatedItems property
  * @specification Json Schema 2019-09
  */
-export declare function IsUnevaluatedItems(schema: XSchema): schema is XUnevaluatedItems;
+export declare function IsUnevaluatedItems(schema: XSchemaObject): schema is XUnevaluatedItems;

package/build/schema/types/unevaluatedItems.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -10,5 +10,5 @@ import { IsSchemaLike } from './schema.mjs';
  */
 export function IsUnevaluatedItems(schema) {
     return Guard.HasPropertyKey(schema, 'unevaluatedItems')
-        && IsSchemaLike(schema.unevaluatedItems);
+        && IsSchema(schema.unevaluatedItems);
 }

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

@@ -1,9 +1,9 @@
-import { type XSchema, type XSchemaLike } from './schema.mjs';
-export interface XUnevaluatedProperties<UnevaluatedProperties extends XSchemaLike = XSchemaLike> {
+import { type XSchemaObject, type XSchema } from './schema.mjs';
+export interface XUnevaluatedProperties<UnevaluatedProperties extends XSchema = XSchema> {
     unevaluatedProperties: UnevaluatedProperties;
 }
 /**
  * Returns true if the schema contains a valid unevaluatedProperties property
  * @specification Json Schema 2019-09
  */
-export declare function IsUnevaluatedProperties(schema: XSchema): schema is XUnevaluatedProperties;
+export declare function IsUnevaluatedProperties(schema: XSchemaObject): schema is XUnevaluatedProperties;

package/build/schema/types/unevaluatedProperties.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
 import { Guard } from '../../guard/index.mjs';
-import { IsSchemaLike } from './schema.mjs';
+import { IsSchema } from './schema.mjs';
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
@@ -10,5 +10,5 @@ import { IsSchemaLike } from './schema.mjs';
  */
 export function IsUnevaluatedProperties(schema) {
     return Guard.HasPropertyKey(schema, 'unevaluatedProperties')
-        && IsSchemaLike(schema.unevaluatedProperties);
+        && IsSchema(schema.unevaluatedProperties);
 }

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

@@ -1,4 +1,4 @@
-import { type XSchema } from './schema.mjs';
+import { type XSchemaObject } from './schema.mjs';
 export interface XUniqueItems<UniqueItems extends boolean = boolean> {
     uniqueItems: UniqueItems;
 }
@@ -6,4 +6,4 @@ export interface XUniqueItems<UniqueItems extends boolean = boolean> {
  * Returns true if the schema contains a valid uniqueItems property
  * @specification Json Schema 7
  */
-export declare function IsUniqueItems(schema: XSchema): schema is XUniqueItems;
+export declare function IsUniqueItems(schema: XSchemaObject): schema is XUniqueItems;

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,20 +2,6 @@
 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. */
@@ -60,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/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 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 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>);
+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/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
-  "version": "1.0.36",
+  "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/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 {};