typebox 1.0.37 → 1.0.39

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

@@ -1,6 +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>[]);
-type TFromSized<Schema extends XSchema[], Result extends unknown[] = []> = (Schema extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? TFromSized<Right, [...Result, XStaticSchema<Left>]> : Result);
-export type XStaticItems<Schemas extends XSchema[] | XSchema, Result extends unknown = (Schemas extends XSchema[] ? TFromSized<[...Schemas]> : Schemas extends XSchema ? TFromUnsized<Schemas> : never)> = Result;
+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;
 export {};

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

@@ -1,3 +1,3 @@
 import type { XSchema } from '../types/schema.mjs';
-import type { XStaticSchema } from './schema.mjs';
-export type XStaticPrefixItems<Schemas extends XSchema[], Result extends unknown[] = []> = (Schemas extends [infer Left extends XSchema, ...infer Right extends XSchema[]] ? XStaticPrefixItems<Right, [...Result, XStaticSchema<Left>]> : Result);
+import type { XStaticElements } from './~elements.mjs';
+export type XStaticPrefixItems<Schema extends XSchema, PrefixItems extends XSchema[], Result extends unknown[] = XStaticElements<Schema, PrefixItems>> = Result;

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

@@ -31,10 +31,10 @@ type TFromKeywords<Schema, Result extends unknown[] = [
     Schema extends XAnyOf<infer Types extends XSchema[]> ? 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 XSchema[] | XSchema> ? XStaticItems<Types> : 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<Types> : 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 XType<infer TypeName extends string[] | string> ? XStaticType<TypeName> : unknown,

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

@@ -1,5 +1,4 @@
 import type { XSchema } from '../types/schema.mjs';
-import type { XStaticSchema } from './schema.mjs';
 import type { XMutable } from './~mutable.mjs';
-/** Statically infers a JSON Schema */
+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;

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

@@ -0,0 +1,6 @@
+type CreateTuple<Size extends number, Tuple extends unknown[] = []> = Tuple['length'] extends Size ? Tuple : CreateTuple<Size, [...Tuple, unknown]>;
+export type XLessThan<Left extends number, Right extends number> = Left extends Right ? false : CreateTuple<Left> extends [...CreateTuple<Right>, ...infer _Rest] ? false : true;
+export type XLessThanEqual<Left extends number, Right extends number> = Left extends Right ? true : XLessThan<Left, Right>;
+export type XGreaterThan<Left extends number, Right extends number> = XLessThan<Right, Left>;
+export type XGreaterThanEqual<Left extends number, Right extends number> = XLessThanEqual<Right, Left>;
+export {};

package/build/schema/static/~comparer.mjs

@@ -0,0 +1 @@
+export {};

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

@@ -0,0 +1,18 @@
+import type { XSchema } from '../types/schema.mjs';
+import type { XMinItems } from '../types/minItems.mjs';
+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 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] : [
+    ...Elements,
+    ...XStaticSchema<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 {};

package/build/schema/static/~elements.mjs

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

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

@@ -0,0 +1,8 @@
+import { type XSchemaObject } from './schema.mjs';
+export interface XAnchor<Anchor extends string = string> {
+    $anchor: Anchor;
+}
+/**
+ * Returns true if the schema contains a valid $anchor property
+ */
+export declare function IsAnchor(schema: XSchemaObject): schema is XAnchor;

package/build/schema/types/anchor.mjs

@@ -0,0 +1,12 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../guard/index.mjs';
+// ------------------------------------------------------------------
+// Guard
+// ------------------------------------------------------------------
+/**
+ * Returns true if the schema contains a valid $anchor property
+ */
+export function IsAnchor(schema) {
+    return Guard.HasPropertyKey(schema, '$anchor')
+        && Guard.IsString(schema.$anchor);
+}

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

@@ -0,0 +1,8 @@
+import { type XSchemaObject } from './schema.mjs';
+export interface XDynamicAnchor<Anchor extends string = string> {
+    $dynamicAnchor: Anchor;
+}
+/**
+ * Returns true if the schema contains a valid $dynamicAnchor property
+ */
+export declare function IsDynamicAnchor(schema: XSchemaObject): schema is XDynamicAnchor;

package/build/schema/types/dynamicAnchor.mjs

@@ -0,0 +1,12 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../guard/index.mjs';
+// ------------------------------------------------------------------
+// Guard
+// ------------------------------------------------------------------
+/**
+ * Returns true if the schema contains a valid $dynamicAnchor property
+ */
+export function IsDynamicAnchor(schema) {
+    return Guard.HasPropertyKey(schema, '$dynamicAnchor')
+        && Guard.IsString(schema.$dynamicAnchor);
+}

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

@@ -0,0 +1,8 @@
+import { type XSchemaObject } from './schema.mjs';
+export interface XDynamicRef<Ref extends string = string> {
+    $dynamicRef: Ref;
+}
+/**
+ * Returns true if the schema contains a valid $dynamicRef property
+ */
+export declare function IsDynamicRef(schema: XSchemaObject): schema is XDynamicRef;

package/build/schema/types/dynamicRef.mjs

@@ -0,0 +1,12 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../guard/index.mjs';
+// ------------------------------------------------------------------
+// Guard
+// ------------------------------------------------------------------
+/**
+ * Returns true if the schema contains a valid $dynamicRef property
+ */
+export function IsDynamicRef(schema) {
+    return Guard.HasPropertyKey(schema, '$dynamicRef')
+        && Guard.IsString(schema.$dynamicRef);
+}

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

@@ -1,8 +1,9 @@
 export * from './_guard.mjs';
 export * from './_refine.mjs';
-export * from './additionalProperties.mjs';
 export * from './additionalItems.mjs';
+export * from './additionalProperties.mjs';
 export * from './allOf.mjs';
+export * from './anchor.mjs';
 export * from './anyOf.mjs';
 export * from './const.mjs';
 export * from './contains.mjs';
@@ -11,6 +12,10 @@ export * from './contentMediaType.mjs';
 export * from './default.mjs';
 export * from './defs.mjs';
 export * from './dependencies.mjs';
+export * from './dependentRequired.mjs';
+export * from './dependentSchemas.mjs';
+export * from './dynamicAnchor.mjs';
+export * from './dynamicRef.mjs';
 export * from './else.mjs';
 export * from './enum.mjs';
 export * from './exclusiveMaximum.mjs';
@@ -20,10 +25,12 @@ export * from './id.mjs';
 export * from './if.mjs';
 export * from './items.mjs';
 export * from './maximum.mjs';
+export * from './maxContains.mjs';
 export * from './maxItems.mjs';
 export * from './maxLength.mjs';
 export * from './maxProperties.mjs';
 export * from './minimum.mjs';
+export * from './minContains.mjs';
 export * from './minItems.mjs';
 export * from './minLength.mjs';
 export * from './minProperties.mjs';
@@ -38,13 +45,9 @@ export * from './propertyNames.mjs';
 export * from './ref.mjs';
 export * from './required.mjs';
 export * from './schema.mjs';
+export * from './schema.mjs';
 export * from './then.mjs';
 export * from './type.mjs';
 export * from './uniqueItems.mjs';
-export * from './dependentRequired.mjs';
-export * from './dependentSchemas.mjs';
-export * from './minContains.mjs';
-export * from './maxContains.mjs';
 export * from './unevaluatedItems.mjs';
 export * from './unevaluatedProperties.mjs';
-export * from './schema.mjs';

package/build/schema/types/index.mjs

@@ -6,9 +6,10 @@ export * from './_refine.mjs';
 // ------------------------------------------------------------------
 // Standard
 // ------------------------------------------------------------------
-export * from './additionalProperties.mjs';
 export * from './additionalItems.mjs';
+export * from './additionalProperties.mjs';
 export * from './allOf.mjs';
+export * from './anchor.mjs';
 export * from './anyOf.mjs';
 export * from './const.mjs';
 export * from './contains.mjs';
@@ -17,6 +18,10 @@ export * from './contentMediaType.mjs';
 export * from './default.mjs';
 export * from './defs.mjs';
 export * from './dependencies.mjs';
+export * from './dependentRequired.mjs';
+export * from './dependentSchemas.mjs';
+export * from './dynamicAnchor.mjs';
+export * from './dynamicRef.mjs';
 export * from './else.mjs';
 export * from './enum.mjs';
 export * from './exclusiveMaximum.mjs';
@@ -26,10 +31,12 @@ export * from './id.mjs';
 export * from './if.mjs';
 export * from './items.mjs';
 export * from './maximum.mjs';
+export * from './maxContains.mjs';
 export * from './maxItems.mjs';
 export * from './maxLength.mjs';
 export * from './maxProperties.mjs';
 export * from './minimum.mjs';
+export * from './minContains.mjs';
 export * from './minItems.mjs';
 export * from './minLength.mjs';
 export * from './minProperties.mjs';
@@ -44,13 +51,9 @@ export * from './propertyNames.mjs';
 export * from './ref.mjs';
 export * from './required.mjs';
 export * from './schema.mjs';
+export * from './schema.mjs';
 export * from './then.mjs';
 export * from './type.mjs';
 export * from './uniqueItems.mjs';
-export * from './dependentRequired.mjs';
-export * from './dependentSchemas.mjs';
-export * from './minContains.mjs';
-export * from './maxContains.mjs';
 export * from './unevaluatedItems.mjs';
 export * from './unevaluatedProperties.mjs';
-export * from './schema.mjs';

package/package.json

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