typebox 1.0.64 → 1.0.65
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { XSchema } from '../types/schema.mjs';
|
|
2
|
+
import type { XStaticSchema } from './schema.mjs';
|
|
3
|
+
import type { XIf } from '../types/if.mjs';
|
|
4
|
+
import type { XElse } from '../types/else.mjs';
|
|
5
|
+
import type { XThen } from '../types/then.mjs';
|
|
6
|
+
type XStaticIfReduce<Types extends unknown[], Result extends unknown = never> = (Types extends [infer Left extends unknown, ...infer Right extends unknown[]] ? XStaticIfReduce<Right, Result | Left> : Result);
|
|
7
|
+
export type XStaticIf<Stack extends string[], Root extends XSchema, Schema extends XIf, IfSchema extends XSchema, Then extends unknown[] = Schema extends XThen<infer ThenSchema extends XSchema> ? [XStaticSchema<Stack, Root, IfSchema> & XStaticSchema<Stack, Root, ThenSchema>] : [], Else extends unknown[] = Schema extends XElse<infer ElseSchema extends XSchema> ? [...Then, XStaticSchema<Stack, Root, ElseSchema>] : Then, Result extends unknown = Else extends [] ? unknown : XStaticIfReduce<Else>> = Result;
|
|
8
|
+
export {};
|
|
@@ -3,6 +3,7 @@ import type { XAnyOf } from '../types/anyOf.mjs';
|
|
|
3
3
|
import type { XAllOf } from '../types/allOf.mjs';
|
|
4
4
|
import type { XConst } from '../types/const.mjs';
|
|
5
5
|
import type { XEnum } from '../types/enum.mjs';
|
|
6
|
+
import type { XIf } from '../types/if.mjs';
|
|
6
7
|
import type { XItems } from '../types/items.mjs';
|
|
7
8
|
import type { XOneOf } from '../types/oneOf.mjs';
|
|
8
9
|
import type { XPatternProperties } from '../types/patternProperties.mjs';
|
|
@@ -18,6 +19,7 @@ import type { XStaticAllOf } from './allOf.mjs';
|
|
|
18
19
|
import type { XStaticAnyOf } from './anyOf.mjs';
|
|
19
20
|
import type { XStaticConst } from './const.mjs';
|
|
20
21
|
import type { XStaticEnum } from './enum.mjs';
|
|
22
|
+
import type { XStaticIf } from './if.mjs';
|
|
21
23
|
import type { XStaticItems } from './items.mjs';
|
|
22
24
|
import type { XStaticOneOf } from './oneOf.mjs';
|
|
23
25
|
import type { XStaticPatternProperties } from './patternProperties.mjs';
|
|
@@ -32,7 +34,7 @@ type TFromKeywords<Stack extends string[], Root extends XSchema, Schema extends
|
|
|
32
34
|
Schema extends XAllOf<infer Types extends XSchema[]> ? XStaticAllOf<Stack, Root, Types> : unknown,
|
|
33
35
|
Schema extends XAnyOf<infer Types extends XSchema[]> ? XStaticAnyOf<Stack, Root, Types> : unknown,
|
|
34
36
|
Schema extends XConst<infer Value extends unknown> ? XStaticConst<Value> : unknown,
|
|
35
|
-
Schema extends XEnum<infer Values extends unknown[]> ? XStaticEnum<Values> : unknown,
|
|
37
|
+
Schema extends XIf<infer Type extends XSchema> ? XStaticIf<Stack, Root, Schema, Type> : Schema extends XEnum<infer Values extends unknown[]> ? XStaticEnum<Values> : unknown,
|
|
36
38
|
Schema extends XItems<infer Types extends XSchema[] | XSchema> ? XStaticItems<Stack, Root, Schema, Types> : unknown,
|
|
37
39
|
Schema extends XOneOf<infer Types extends XSchema[]> ? XStaticOneOf<Stack, Root, Types> : unknown,
|
|
38
40
|
Schema extends XPatternProperties<infer Properties extends Record<PropertyKey, XSchema>> ? XStaticPatternProperties<Stack, Root, Properties> : unknown,
|