typebox 1.0.53 → 1.0.54

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

@@ -1,7 +1,7 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStaticAdditionalProperties<Schema extends XSchema, Result extends Record<PropertyKey, unknown> = (Schema extends true ? {
+export type XStaticAdditionalProperties<Stack extends string[], Root extends XSchema, Schema extends XSchema, Result extends Record<PropertyKey, unknown> = (Schema extends true ? {
     [key: string]: unknown;
 } : Schema extends false ? {} : {
-    [key: string]: XStaticSchema<Schema>;
+    [key: string]: XStaticSchema<Stack, Root, Schema>;
 })> = Result;

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

@@ -1,3 +1,3 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStaticAllOf<Schemas extends XSchema[], Result extends unknown = unknown> = (Schemas extends readonly [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticAllOf<Right, Result & XStaticSchema<Left>> : Result);
+export type XStaticAllOf<Stack extends string[], Root extends XSchema, Schemas extends XSchema[], Result extends unknown = unknown> = (Schemas extends readonly [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticAllOf<Stack, Root, Right, Result & XStaticSchema<Stack, Root, Left>> : Result);

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

@@ -1,3 +1,3 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStaticAnyOf<Schemas extends XSchema[], Result extends unknown = never> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticAnyOf<Right, XStaticSchema<Left> | Result> : Result);
+export type XStaticAnyOf<Stack extends string[], Root extends XSchema, Schemas extends XSchema[], Result extends unknown = never> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticAnyOf<Stack, Root, Right, XStaticSchema<Stack, Root, Left> | Result> : Result);

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

@@ -1,7 +1,7 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
 import type { XStaticElements } from './~elements.mjs';
-type TFromSized<Schema extends XSchema, Items extends XSchema[]> = (XStaticElements<Schema, Items>);
-type TFromUnsized<Schema extends XSchema> = (XStaticSchema<Schema>[]);
-export type XStaticItems<Schema extends XSchema, Items extends XSchema[] | XSchema, Result extends unknown = (Items extends XSchema[] ? TFromSized<Schema, [...Items]> : Items extends XSchema ? TFromUnsized<Items> : never)> = Result;
+type TFromSized<Stack extends string[], Root extends XSchema, Schema extends XSchema, Items extends XSchema[]> = (XStaticElements<Stack, Root, Schema, Items>);
+type TFromUnsized<Stack extends string[], Root extends XSchema, Schema extends XSchema> = (XStaticSchema<Stack, Root, Schema>[]);
+export type XStaticItems<Stack extends string[], Root extends XSchema, Schema extends XSchema, Items extends XSchema[] | XSchema, Result extends unknown = (Items extends XSchema[] ? TFromSized<Stack, Root, Schema, [...Items]> : Items extends XSchema ? TFromUnsized<Stack, Root, Items> : never)> = Result;
 export {};

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

@@ -1,3 +1,3 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStaticOneOf<Schemas extends XSchema[], Result extends unknown = never> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticOneOf<Right, XStaticSchema<Left> | Result> : Result);
+export type XStaticOneOf<Stack extends string[], Root extends XSchema, Schemas extends XSchema[], Result extends unknown = never> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticOneOf<Stack, Root, Right, XStaticSchema<Stack, Root, Left> | Result> : Result);

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

@@ -1,7 +1,7 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStaticPatternProperties<Properties extends Record<PropertyKey, XSchema> = Record<PropertyKey, XSchema>, InferredProperties extends Record<PropertyKey, unknown> = {
-    [Key in keyof Properties]: XStaticSchema<Properties[Key]>;
+export type XStaticPatternProperties<Stack extends string[], Root extends XSchema, Properties extends Record<PropertyKey, XSchema> = Record<PropertyKey, XSchema>, InferredProperties extends Record<PropertyKey, unknown> = {
+    [Key in keyof Properties]: XStaticSchema<Stack, Root, Properties[Key]>;
 }, EvaluatedProperties extends unknown = {
     [key: string]: InferredProperties[keyof InferredProperties];
 }> = EvaluatedProperties;

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

@@ -1,3 +1,3 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticElements } from './~elements.mjs';
-export type XStaticPrefixItems<Schema extends XSchema, PrefixItems extends XSchema[], Result extends unknown[] = XStaticElements<Schema, PrefixItems>> = Result;
+export type XStaticPrefixItems<Stack extends string[], Root extends XSchema, Schema extends XSchema, PrefixItems extends XSchema[], Result extends unknown[] = XStaticElements<Stack, Root, Schema, PrefixItems>> = Result;

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

@@ -1,11 +1,11 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
 import type { TIsReadonly } from './~readonly.mjs';
-type TReadonlyOptionalProperties<Properties extends Record<PropertyKey, XSchema>> = {
-    readonly [Key in keyof Properties as TIsReadonly<Properties[Key]> extends true ? Key : never]?: XStaticSchema<Properties[Key]>;
+type TReadonlyOptionalProperties<Stack extends string[], Root extends XSchema, Properties extends Record<PropertyKey, XSchema>> = {
+    readonly [Key in keyof Properties as TIsReadonly<Properties[Key]> extends true ? Key : never]?: XStaticSchema<Stack, Root, Properties[Key]>;
 };
-type TOptionalProperties<Properties extends Record<PropertyKey, XSchema>> = {
-    [Key in keyof Properties as TIsReadonly<Properties[Key]> extends true ? never : Key]?: XStaticSchema<Properties[Key]>;
+type TOptionalProperties<Stack extends string[], Root extends XSchema, Properties extends Record<PropertyKey, XSchema>> = {
+    [Key in keyof Properties as TIsReadonly<Properties[Key]> extends true ? never : Key]?: XStaticSchema<Stack, Root, Properties[Key]>;
 };
-export type XStaticProperties<Properties extends Record<PropertyKey, XSchema>, ReadonlyOptional extends Record<PropertyKey, unknown> = TReadonlyOptionalProperties<Properties>, Optional extends Record<PropertyKey, unknown> = TOptionalProperties<Properties>, Result extends Record<PropertyKey, unknown> = ReadonlyOptional & Optional> = Result;
+export type XStaticProperties<Stack extends string[], Root extends XSchema, Properties extends Record<PropertyKey, XSchema>, ReadonlyOptional extends Record<PropertyKey, unknown> = TReadonlyOptionalProperties<Stack, Root, Properties>, Optional extends Record<PropertyKey, unknown> = TOptionalProperties<Stack, Root, Properties>, Result extends Record<PropertyKey, unknown> = ReadonlyOptional & Optional> = Result;
 export {};

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

@@ -0,0 +1,15 @@
+import type { XSchema } from '../types/schema.mjs';
+import type { XStaticSchema } from './schema.mjs';
+type CyclicStackLength<Stack extends unknown[], MaxLength extends number, Buffer extends unknown[] = []> = (Stack extends [infer Left, ...infer Right] ? Buffer['length'] extends MaxLength ? false : CyclicStackLength<Right, MaxLength, [...Buffer, Left]> : true);
+type CyclicGuard<Stack extends unknown[], Ref extends string> = (Ref extends Stack[number] ? CyclicStackLength<Stack, 2> : true);
+type TNormal<Pointer extends string> = (Pointer extends `#${infer Rest extends string}` ? Rest : Pointer);
+type TEscape0<Index extends string> = (Index extends `${infer Left}~0${infer Right}` ? `${Left}~${TEscape<Right>}` : Index);
+type TEscape1<Index extends string> = (Index extends `${infer Left}~1${infer Right}` ? `${Left}/${TEscape<Right>}` : Index);
+type TEscape<Index extends string, Escaped0 extends string = TEscape0<Index>, Escaped1 extends string = TEscape1<Escaped0>> = Escaped1;
+type IndicesReduce<Pointer extends string, Result extends string[] = []> = (Pointer extends `${infer Left extends string}/${infer Right extends string}` ? Left extends '' ? IndicesReduce<Right, Result> : IndicesReduce<Right, [...Result, TEscape<Left>]> : [...Result, TEscape<Pointer>]);
+type TIndices<Pointer extends string, Normal extends string = TNormal<Pointer>, Result extends string[] = Normal extends '' ? [] : IndicesReduce<Normal>> = Result;
+type TResolveReducer<Schema extends unknown, Indices extends string[]> = (Indices extends [infer Left extends string, ...infer Right extends string[]] ? Left extends keyof Schema ? TResolveReducer<Schema[Left], Right> : {} : Schema);
+type TResolveRef<Schema extends unknown, Ref extends string, Indices extends string[] = TIndices<Ref>, // as pointer
+Target extends unknown = TResolveReducer<Schema, Indices>, Result extends XSchema = Target extends XSchema ? Target : {}> = Result;
+export type XStaticRef<Stack extends string[], Root extends XSchema, Ref extends string, Schema extends XSchema = TResolveRef<Root, Ref>, Result extends unknown = (CyclicGuard<Stack, Ref> extends true ? XStaticSchema<[...Stack, Ref], Root, Schema> : any)> = Result;
+export {};

package/build/schema/static/ref.mjs

@@ -0,0 +1,2 @@
+// deno-fmt-ignore-file
+export {};

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

@@ -3,11 +3,11 @@ import type { XProperties } from '../types/properties.mjs';
 import type { TIsReadonly } from './~readonly.mjs';
 import type { XStaticSchema } from './schema.mjs';
 type TResolveProperties<Schema extends XSchema, Result extends Record<PropertyKey, XSchema> = (Schema extends XProperties<infer Properties extends Record<PropertyKey, XSchema>> ? Properties : {})> = Result;
-type TFromKey<Properties extends Record<PropertyKey, XSchema>, Key extends string, Readonly extends boolean = Key extends keyof Properties ? TIsReadonly<Properties[Key]> : false, Value extends unknown = Key extends keyof Properties ? XStaticSchema<Properties[Key]> : unknown, Result extends Record<PropertyKey, unknown> = (Readonly extends true ? {
+type TFromKey<Stack extends string[], Root extends XSchema, Properties extends Record<PropertyKey, XSchema>, Key extends string, Readonly extends boolean = Key extends keyof Properties ? TIsReadonly<Properties[Key]> : false, Value extends unknown = Key extends keyof Properties ? XStaticSchema<Stack, Root, Properties[Key]> : unknown, Result extends Record<PropertyKey, unknown> = (Readonly extends true ? {
     readonly [_ in Key]: Value;
 } : {
     [_ in Key]: Value;
 })> = Result;
-type TFromKeys<Properties extends Record<PropertyKey, XSchema>, Keys extends string[], Result extends Record<PropertyKey, unknown> = {}> = (Keys extends [infer Left extends string, ...infer Right extends string[]] ? TFromKeys<Properties, Right, Result & TFromKey<Properties, Left>> : Result);
-export type XStaticRequired<Schema extends XSchema, Keys extends string[], Properties extends Record<PropertyKey, XSchema> = TResolveProperties<Schema>, Result extends Record<PropertyKey, unknown> = TFromKeys<Properties, Keys>> = Result;
+type TFromKeys<Stack extends string[], Root extends XSchema, Properties extends Record<PropertyKey, XSchema>, Keys extends string[], Result extends Record<PropertyKey, unknown> = {}> = (Keys extends [infer Left extends string, ...infer Right extends string[]] ? TFromKeys<Stack, Root, Properties, Right, Result & TFromKey<Stack, Root, Properties, Left>> : Result);
+export type XStaticRequired<Stack extends string[], Root extends XSchema, Schema extends XSchema, Keys extends string[], Properties extends Record<PropertyKey, XSchema> = TResolveProperties<Schema>, Result extends Record<PropertyKey, unknown> = TFromKeys<Stack, Root, Properties, Keys>> = Result;
 export {};

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

@@ -8,6 +8,7 @@ import type { XOneOf } from '../types/oneOf.mjs';
 import type { XPatternProperties } from '../types/patternProperties.mjs';
 import type { XPrefixItems } from '../types/prefixItems.mjs';
 import type { XProperties } from '../types/properties.mjs';
+import type { XRef } from '../types/ref.mjs';
 import type { XRequired } from '../types/required.mjs';
 import type { XSchema } from '../types/schema.mjs';
 import type { XType } from '../types/type.mjs';
@@ -22,27 +23,29 @@ import type { XStaticOneOf } from './oneOf.mjs';
 import type { XStaticPatternProperties } from './patternProperties.mjs';
 import type { XStaticPrefixItems } from './prefixItems.mjs';
 import type { XStaticProperties } from './properties.mjs';
+import type { XStaticRef } from './ref.mjs';
 import type { XStaticRequired } from './required.mjs';
 import type { XStaticType } from './type.mjs';
 import type { XStaticUnevaluatedProperties } from './unevaluatedProperties.mjs';
-type TFromKeywords<Schema, Result extends unknown[] = [
-    Schema extends XAdditionalProperties<infer Type extends XSchema> ? XStaticAdditionalProperties<Type> : unknown,
-    Schema extends XAllOf<infer Types extends XSchema[]> ? XStaticAllOf<Types> : unknown,
-    Schema extends XAnyOf<infer Types extends XSchema[]> ? XStaticAnyOf<Types> : unknown,
+type TFromKeywords<Stack extends string[], Root extends XSchema, Schema extends XSchema, Result extends unknown[] = [
+    Schema extends XAdditionalProperties<infer Type extends XSchema> ? XStaticAdditionalProperties<Stack, Root, Type> : unknown,
+    Schema extends XAllOf<infer Types extends XSchema[]> ? XStaticAllOf<Stack, Root, Types> : unknown,
+    Schema extends XAnyOf<infer Types extends XSchema[]> ? XStaticAnyOf<Stack, Root, 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 XSchema[] | XSchema> ? XStaticItems<Schema, Types> : unknown,
-    Schema extends XOneOf<infer Types extends XSchema[]> ? XStaticOneOf<Types> : unknown,
-    Schema extends XPatternProperties<infer Properties extends Record<PropertyKey, XSchema>> ? XStaticPatternProperties<Properties> : unknown,
-    Schema extends XPrefixItems<infer Types extends XSchema[]> ? XStaticPrefixItems<Schema, Types> : unknown,
-    Schema extends XProperties<infer Properties extends Record<PropertyKey, XSchema>> ? XStaticProperties<Properties> : unknown,
-    Schema extends XRequired<infer Keys extends string[]> ? XStaticRequired<Schema, Keys> : unknown,
+    Schema extends XItems<infer Types extends XSchema[] | XSchema> ? XStaticItems<Stack, Root, Schema, Types> : unknown,
+    Schema extends XOneOf<infer Types extends XSchema[]> ? XStaticOneOf<Stack, Root, Types> : unknown,
+    Schema extends XPatternProperties<infer Properties extends Record<PropertyKey, XSchema>> ? XStaticPatternProperties<Stack, Root, Properties> : unknown,
+    Schema extends XPrefixItems<infer Types extends XSchema[]> ? XStaticPrefixItems<Stack, Root, Schema, Types> : unknown,
+    Schema extends XProperties<infer Properties extends Record<PropertyKey, XSchema>> ? XStaticProperties<Stack, Root, Properties> : unknown,
+    Schema extends XRef<infer Ref extends string> ? XStaticRef<Stack, Root, Ref> : unknown,
+    Schema extends XRequired<infer Keys extends string[]> ? XStaticRequired<Stack, Root, Schema, Keys> : unknown,
     Schema extends XType<infer TypeName extends string[] | string> ? XStaticType<TypeName> : unknown,
-    Schema extends XUnevaluatedProperties<infer Type extends XSchema> ? XStaticUnevaluatedProperties<Type> : unknown
+    Schema extends XUnevaluatedProperties<infer Type extends XSchema> ? XStaticUnevaluatedProperties<Stack, Root, Type> : unknown
 ]> = Result;
 type TKeywordsIntersected<Schemas extends unknown[], Result extends unknown = unknown> = (Schemas extends [infer Left extends unknown, ...infer Right extends unknown[]] ? TKeywordsIntersected<Right, Result & Left> : Result);
 type TKeywordsEvaluated<Schema extends unknown, Result extends unknown = Schema extends object ? {
     [Key in keyof Schema]: Schema[Key];
 } : Schema> = Result;
-export type XStaticSchema<Schema extends XSchema, Keywords extends unknown[] = TFromKeywords<Schema>, Intersected extends unknown = TKeywordsIntersected<Keywords>, Evaluated extends unknown = TKeywordsEvaluated<Intersected>> = Evaluated;
+export type XStaticSchema<Stack extends string[], Root extends XSchema, Schema extends XSchema, Keywords extends unknown[] = TFromKeywords<Stack, Root, Schema>, Intersected extends unknown = TKeywordsIntersected<Keywords>, Evaluated extends unknown = TKeywordsEvaluated<Intersected>> = Evaluated;
 export {};

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

@@ -1,4 +1,4 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XMutable } from './~mutable.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStatic<Value extends unknown, Schema extends XSchema = Value extends XSchema ? Value : {}, Mutable extends XSchema = XMutable<Schema>, Result extends unknown = XStaticSchema<Mutable>> = Result;
+export type XStatic<Value extends unknown, Schema extends XSchema = Value extends XSchema ? Value : {}, Mutable extends XSchema = XMutable<Schema>, Result extends unknown = XStaticSchema<[], Mutable, Mutable>> = Result;

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

@@ -1,7 +1,7 @@
 import type { XSchema } from '../types/schema.mjs';
 import type { XStaticSchema } from './schema.mjs';
-export type XStaticUnevaluatedProperties<Schema extends XSchema, Result extends Record<PropertyKey, unknown> = (Schema extends true ? {
+export type XStaticUnevaluatedProperties<Stack extends string[], Root extends XSchema, Schema extends XSchema, Result extends Record<PropertyKey, unknown> = (Schema extends true ? {
     [key: string]: unknown;
 } : Schema extends false ? {} : {
-    [key: string]: XStaticSchema<Schema>;
+    [key: string]: XStaticSchema<Stack, Root, Schema>;
 })> = Result;

package/build/schema/static/~elements.d.mts

@@ -4,15 +4,15 @@ import type { XMaxItems } from '../types/maxItems.mjs';
 import type { XAdditionalItems } from '../types/additionalItems.mjs';
 import type { XStaticSchema } from './schema.mjs';
 import type { XLessThan } from './~comparer.mjs';
-type TElements<Schemas extends XSchema[], Result extends unknown[] = []> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? TElements<Right, [...Result, XStaticSchema<Left>]> : Result);
+type TElements<Stack extends string[], Root extends XSchema, Schemas extends XSchema[], Result extends unknown[] = []> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? TElements<Stack, Root, Right, [...Result, XStaticSchema<Stack, Root, Left>]> : Result);
 type TMaxItemsRemap<Elements extends unknown[], MaxItems extends number, Result extends unknown[] = []> = (Elements extends [infer Left extends unknown, ...infer Right extends unknown[]] ? XLessThan<Result['length'], MaxItems> extends true ? TMaxItemsRemap<Right, MaxItems, [...Result, Left]> : Result : Result);
 type TMaxItems<Schema extends XSchema, Elements extends unknown[], MaxItems extends number | null = Schema extends XMaxItems<infer MaxItems extends number> ? MaxItems : null, Result extends unknown[] = MaxItems extends number ? TMaxItemsRemap<Elements, MaxItems> : Elements> = Result;
 type TNeedsAdditionalItems<Schema extends XSchema, Elements extends unknown[], MaxItems extends number | null = Schema extends XMaxItems<infer MaxItems extends number> ? MaxItems : null, Result extends boolean = MaxItems extends number ? XLessThan<Elements['length'], MaxItems> : true> = Result;
 type TMinItemsRemap<Elements extends unknown[], MinItems extends number, Result extends unknown[] = []> = (Elements extends [infer Left, ...infer Right] ? XLessThan<Result['length'], MinItems> extends true ? TMinItemsRemap<Right, MinItems, [...Result, Left]> : TMinItemsRemap<Right, MinItems, [...Result, Left?]> : Result);
 type TMinItems<Schema extends XSchema, Values extends unknown[], MinItems extends number = Schema extends XMinItems<infer MinItems extends number> ? MinItems : 0, Result extends unknown[] = TMinItemsRemap<Values, MinItems>> = Result;
-type TAdditionalItems<Schema extends XSchema, Elements extends unknown[], Result extends unknown[] = Schema extends XAdditionalItems<infer Schema extends XSchema> ? (Schema extends true ? [...Elements, ...unknown[]] : Schema extends false ? [...Elements] : [
+type TAdditionalItems<Stack extends string[], Root extends XSchema, Schema extends XSchema, Elements extends unknown[], Result extends unknown[] = Schema extends XAdditionalItems<infer Schema extends XSchema> ? (Schema extends true ? [...Elements, ...unknown[]] : Schema extends false ? [...Elements] : [
     ...Elements,
-    ...XStaticSchema<Schema>[]
+    ...XStaticSchema<Stack, Root, Schema>[]
 ]) : [...Elements, ...unknown[]]> = Result;
-export type XStaticElements<Schema extends XSchema, PrefixItems extends XSchema[], Elements extends unknown[] = TElements<PrefixItems>, WithMaxItems extends unknown[] = TMaxItems<Schema, Elements>, NeedsAdditional extends boolean = TNeedsAdditionalItems<Schema, WithMaxItems>, WithMinItems extends unknown[] = TMinItems<Schema, WithMaxItems>, WithAdditionalItems extends unknown[] = NeedsAdditional extends true ? TAdditionalItems<Schema, WithMinItems> : WithMinItems> = WithAdditionalItems;
+export type XStaticElements<Stack extends string[], Root extends XSchema, Schema extends XSchema, PrefixItems extends XSchema[], Elements extends unknown[] = TElements<Stack, Root, PrefixItems>, WithMaxItems extends unknown[] = TMaxItems<Schema, Elements>, NeedsAdditional extends boolean = TNeedsAdditionalItems<Schema, WithMaxItems>, WithMinItems extends unknown[] = TMinItems<Schema, WithMaxItems>, WithAdditionalItems extends unknown[] = NeedsAdditional extends true ? TAdditionalItems<Stack, Root, Schema, WithMinItems> : WithMinItems> = WithAdditionalItems;
 export {};

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
-  "version": "1.0.53",
+  "version": "1.0.54",
   "keywords": [
     "typescript",
     "jsonschema"