@sinclair/typebox 0.34.15 → 0.34.17

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.
Files changed (141) hide show
  1. package/build/cjs/compiler/compiler.js +5 -0
  2. package/build/cjs/errors/errors.js +3 -0
  3. package/build/cjs/index.d.ts +3 -0
  4. package/build/cjs/index.js +3 -0
  5. package/build/cjs/syntax/index.d.ts +1 -1
  6. package/build/cjs/syntax/index.js +1 -1
  7. package/build/cjs/syntax/runtime.d.ts +40 -54
  8. package/build/cjs/syntax/runtime.js +91 -203
  9. package/build/cjs/syntax/static.d.ts +80 -146
  10. package/build/cjs/syntax/syntax.d.ts +33 -0
  11. package/build/cjs/syntax/syntax.js +37 -0
  12. package/build/cjs/type/argument/argument.d.ts +9 -0
  13. package/build/cjs/type/argument/argument.js +10 -0
  14. package/build/cjs/type/argument/index.d.ts +1 -0
  15. package/build/cjs/type/argument/index.js +18 -0
  16. package/build/cjs/type/constructor-parameters/constructor-parameters.d.ts +3 -3
  17. package/build/cjs/type/constructor-parameters/constructor-parameters.js +3 -1
  18. package/build/cjs/type/guard/kind.d.ts +9 -6
  19. package/build/cjs/type/guard/kind.js +6 -0
  20. package/build/cjs/type/guard/type.d.ts +9 -6
  21. package/build/cjs/type/guard/type.js +9 -0
  22. package/build/cjs/type/index.d.ts +2 -0
  23. package/build/cjs/type/index.js +2 -0
  24. package/build/cjs/type/instance-type/instance-type.d.ts +5 -4
  25. package/build/cjs/type/instance-type/instance-type.js +3 -1
  26. package/build/cjs/type/instantiate/index.d.ts +1 -0
  27. package/build/cjs/type/instantiate/index.js +18 -0
  28. package/build/cjs/type/instantiate/instantiate.d.ts +25 -0
  29. package/build/cjs/type/instantiate/instantiate.js +32 -0
  30. package/build/cjs/type/parameters/parameters.d.ts +3 -3
  31. package/build/cjs/type/parameters/parameters.js +3 -1
  32. package/build/cjs/type/record/record.d.ts +16 -1
  33. package/build/cjs/type/record/record.js +53 -23
  34. package/build/cjs/type/remap/index.d.ts +1 -0
  35. package/build/cjs/type/remap/index.js +18 -0
  36. package/build/cjs/type/remap/remap.d.ts +19 -0
  37. package/build/cjs/type/remap/remap.js +35 -0
  38. package/build/cjs/type/return-type/return-type.d.ts +5 -4
  39. package/build/cjs/type/return-type/return-type.js +3 -1
  40. package/build/cjs/type/type/javascript.d.ts +10 -4
  41. package/build/cjs/type/type/javascript.js +44 -34
  42. package/build/cjs/type/type/type.d.ts +3 -0
  43. package/build/cjs/type/type/type.js +123 -117
  44. package/build/cjs/value/check/check.js +5 -0
  45. package/build/cjs/value/create/create.js +5 -0
  46. package/build/esm/compiler/compiler.mjs +5 -0
  47. package/build/esm/errors/errors.mjs +3 -0
  48. package/build/esm/index.d.mts +3 -0
  49. package/build/esm/index.mjs +3 -0
  50. package/build/esm/syntax/index.d.mts +1 -1
  51. package/build/esm/syntax/index.mjs +1 -1
  52. package/build/esm/syntax/runtime.d.mts +40 -54
  53. package/build/esm/syntax/runtime.mjs +91 -203
  54. package/build/esm/syntax/static.d.mts +80 -146
  55. package/build/esm/syntax/syntax.d.mts +33 -0
  56. package/build/esm/syntax/syntax.mjs +30 -0
  57. package/build/esm/type/argument/argument.d.mts +9 -0
  58. package/build/esm/type/argument/argument.mjs +6 -0
  59. package/build/esm/type/argument/index.d.mts +1 -0
  60. package/build/esm/type/argument/index.mjs +1 -0
  61. package/build/esm/type/constructor-parameters/constructor-parameters.d.mts +3 -3
  62. package/build/esm/type/constructor-parameters/constructor-parameters.mjs +3 -1
  63. package/build/esm/type/guard/kind.d.mts +9 -6
  64. package/build/esm/type/guard/kind.mjs +5 -0
  65. package/build/esm/type/guard/type.d.mts +9 -6
  66. package/build/esm/type/guard/type.mjs +8 -0
  67. package/build/esm/type/index.d.mts +2 -0
  68. package/build/esm/type/index.mjs +2 -0
  69. package/build/esm/type/instance-type/instance-type.d.mts +5 -4
  70. package/build/esm/type/instance-type/instance-type.mjs +3 -1
  71. package/build/esm/type/instantiate/index.d.mts +1 -0
  72. package/build/esm/type/instantiate/index.mjs +1 -0
  73. package/build/esm/type/instantiate/instantiate.d.mts +25 -0
  74. package/build/esm/type/instantiate/instantiate.mjs +28 -0
  75. package/build/esm/type/parameters/parameters.d.mts +3 -3
  76. package/build/esm/type/parameters/parameters.mjs +3 -1
  77. package/build/esm/type/record/record.d.mts +16 -1
  78. package/build/esm/type/record/record.mjs +35 -8
  79. package/build/esm/type/remap/index.d.mts +1 -0
  80. package/build/esm/type/remap/index.mjs +1 -0
  81. package/build/esm/type/remap/remap.d.mts +19 -0
  82. package/build/esm/type/remap/remap.mjs +31 -0
  83. package/build/esm/type/return-type/return-type.d.mts +5 -4
  84. package/build/esm/type/return-type/return-type.mjs +3 -1
  85. package/build/esm/type/type/javascript.d.mts +10 -4
  86. package/build/esm/type/type/javascript.mjs +10 -0
  87. package/build/esm/type/type/type.d.mts +3 -0
  88. package/build/esm/type/type/type.mjs +3 -0
  89. package/build/esm/value/check/check.mjs +5 -0
  90. package/build/esm/value/create/create.mjs +5 -0
  91. package/package.json +11 -1
  92. package/parser/package.json +4 -0
  93. package/readme.md +107 -184
  94. package/build/cjs/syntax/parse.d.ts +0 -15
  95. package/build/cjs/syntax/parse.js +0 -19
  96. package/build/esm/syntax/parse.d.mts +0 -15
  97. package/build/esm/syntax/parse.mjs +0 -14
  98. /package/build/cjs/{syntax/parsebox → parser}/index.d.ts +0 -0
  99. /package/build/cjs/{syntax/parsebox → parser}/index.js +0 -0
  100. /package/build/cjs/{syntax/parsebox → parser}/runtime/guard.d.ts +0 -0
  101. /package/build/cjs/{syntax/parsebox → parser}/runtime/guard.js +0 -0
  102. /package/build/cjs/{syntax/parsebox → parser}/runtime/index.d.ts +0 -0
  103. /package/build/cjs/{syntax/parsebox → parser}/runtime/index.js +0 -0
  104. /package/build/cjs/{syntax/parsebox → parser}/runtime/module.d.ts +0 -0
  105. /package/build/cjs/{syntax/parsebox → parser}/runtime/module.js +0 -0
  106. /package/build/cjs/{syntax/parsebox → parser}/runtime/parse.d.ts +0 -0
  107. /package/build/cjs/{syntax/parsebox → parser}/runtime/parse.js +0 -0
  108. /package/build/cjs/{syntax/parsebox → parser}/runtime/token.d.ts +0 -0
  109. /package/build/cjs/{syntax/parsebox → parser}/runtime/token.js +0 -0
  110. /package/build/cjs/{syntax/parsebox → parser}/runtime/types.d.ts +0 -0
  111. /package/build/cjs/{syntax/parsebox → parser}/runtime/types.js +0 -0
  112. /package/build/cjs/{syntax/parsebox → parser}/static/index.d.ts +0 -0
  113. /package/build/cjs/{syntax/parsebox → parser}/static/index.js +0 -0
  114. /package/build/cjs/{syntax/parsebox → parser}/static/parse.d.ts +0 -0
  115. /package/build/cjs/{syntax/parsebox → parser}/static/parse.js +0 -0
  116. /package/build/cjs/{syntax/parsebox → parser}/static/token.d.ts +0 -0
  117. /package/build/cjs/{syntax/parsebox → parser}/static/token.js +0 -0
  118. /package/build/cjs/{syntax/parsebox → parser}/static/types.d.ts +0 -0
  119. /package/build/cjs/{syntax/parsebox → parser}/static/types.js +0 -0
  120. /package/build/esm/{syntax/parsebox → parser}/index.d.mts +0 -0
  121. /package/build/esm/{syntax/parsebox → parser}/index.mjs +0 -0
  122. /package/build/esm/{syntax/parsebox → parser}/runtime/guard.d.mts +0 -0
  123. /package/build/esm/{syntax/parsebox → parser}/runtime/guard.mjs +0 -0
  124. /package/build/esm/{syntax/parsebox → parser}/runtime/index.d.mts +0 -0
  125. /package/build/esm/{syntax/parsebox → parser}/runtime/index.mjs +0 -0
  126. /package/build/esm/{syntax/parsebox → parser}/runtime/module.d.mts +0 -0
  127. /package/build/esm/{syntax/parsebox → parser}/runtime/module.mjs +0 -0
  128. /package/build/esm/{syntax/parsebox → parser}/runtime/parse.d.mts +0 -0
  129. /package/build/esm/{syntax/parsebox → parser}/runtime/parse.mjs +0 -0
  130. /package/build/esm/{syntax/parsebox → parser}/runtime/token.d.mts +0 -0
  131. /package/build/esm/{syntax/parsebox → parser}/runtime/token.mjs +0 -0
  132. /package/build/esm/{syntax/parsebox → parser}/runtime/types.d.mts +0 -0
  133. /package/build/esm/{syntax/parsebox → parser}/runtime/types.mjs +0 -0
  134. /package/build/esm/{syntax/parsebox → parser}/static/index.d.mts +0 -0
  135. /package/build/esm/{syntax/parsebox → parser}/static/index.mjs +0 -0
  136. /package/build/esm/{syntax/parsebox → parser}/static/parse.d.mts +0 -0
  137. /package/build/esm/{syntax/parsebox → parser}/static/parse.mjs +0 -0
  138. /package/build/esm/{syntax/parsebox → parser}/static/token.d.mts +0 -0
  139. /package/build/esm/{syntax/parsebox → parser}/static/token.mjs +0 -0
  140. /package/build/esm/{syntax/parsebox → parser}/static/types.d.mts +0 -0
  141. /package/build/esm/{syntax/parsebox → parser}/static/types.mjs +0 -0
@@ -209,6 +209,9 @@ var TypeCompiler;
209
209
  function* FromAny(schema, references, value) {
210
210
  yield 'true';
211
211
  }
212
+ function* FromArgument(schema, references, value) {
213
+ yield 'true';
214
+ }
212
215
  function* FromArray(schema, references, value) {
213
216
  yield `Array.isArray(${value})`;
214
217
  const [parameter, accumulator] = [CreateParameter('value', 'any'), CreateParameter('acc', 'number')];
@@ -493,6 +496,8 @@ var TypeCompiler;
493
496
  switch (schema_[index_7.Kind]) {
494
497
  case 'Any':
495
498
  return yield* FromAny(schema_, references_, value);
499
+ case 'Argument':
500
+ return yield* FromArgument(schema_, references_, value);
496
501
  case 'Array':
497
502
  return yield* FromArray(schema_, references_, value);
498
503
  case 'AsyncIterator':
@@ -145,6 +145,7 @@ function Create(errorType, schema, path, value, errors = []) {
145
145
  // Types
146
146
  // --------------------------------------------------------------------------
147
147
  function* FromAny(schema, references, path, value) { }
148
+ function* FromArgument(schema, references, path, value) { }
148
149
  function* FromArray(schema, references, path, value) {
149
150
  if (!(0, index_10.IsArray)(value)) {
150
151
  return yield Create(ValueErrorType.Array, schema, path, value);
@@ -521,6 +522,8 @@ function* Visit(schema, references, path, value) {
521
522
  switch (schema_[index_8.Kind]) {
522
523
  case 'Any':
523
524
  return yield* FromAny(schema_, references_, path, value);
525
+ case 'Argument':
526
+ return yield* FromArgument(schema_, references_, path, value);
524
527
  case 'Array':
525
528
  return yield* FromArray(schema_, references_, path, value);
526
529
  case 'AsyncIterator':
@@ -9,6 +9,7 @@ export * from './type/sets/index';
9
9
  export * from './type/symbols/index';
10
10
  export * from './type/any/index';
11
11
  export * from './type/array/index';
12
+ export * from './type/argument/index';
12
13
  export * from './type/async-iterator/index';
13
14
  export * from './type/awaited/index';
14
15
  export * from './type/bigint/index';
@@ -25,6 +26,7 @@ export * from './type/extract/index';
25
26
  export * from './type/function/index';
26
27
  export * from './type/indexed/index';
27
28
  export * from './type/instance-type/index';
29
+ export * from './type/instantiate/index';
28
30
  export * from './type/integer/index';
29
31
  export * from './type/intersect/index';
30
32
  export * from './type/iterator/index';
@@ -50,6 +52,7 @@ export * from './type/record/index';
50
52
  export * from './type/recursive/index';
51
53
  export * from './type/ref/index';
52
54
  export * from './type/regexp/index';
55
+ export * from './type/remap/index';
53
56
  export * from './type/required/index';
54
57
  export * from './type/rest/index';
55
58
  export * from './type/return-type/index';
@@ -32,6 +32,7 @@ __exportStar(require("./type/symbols/index"), exports);
32
32
  // ------------------------------------------------------------------
33
33
  __exportStar(require("./type/any/index"), exports);
34
34
  __exportStar(require("./type/array/index"), exports);
35
+ __exportStar(require("./type/argument/index"), exports);
35
36
  __exportStar(require("./type/async-iterator/index"), exports);
36
37
  __exportStar(require("./type/awaited/index"), exports);
37
38
  __exportStar(require("./type/bigint/index"), exports);
@@ -48,6 +49,7 @@ __exportStar(require("./type/extract/index"), exports);
48
49
  __exportStar(require("./type/function/index"), exports);
49
50
  __exportStar(require("./type/indexed/index"), exports);
50
51
  __exportStar(require("./type/instance-type/index"), exports);
52
+ __exportStar(require("./type/instantiate/index"), exports);
51
53
  __exportStar(require("./type/integer/index"), exports);
52
54
  __exportStar(require("./type/intersect/index"), exports);
53
55
  __exportStar(require("./type/iterator/index"), exports);
@@ -73,6 +75,7 @@ __exportStar(require("./type/record/index"), exports);
73
75
  __exportStar(require("./type/recursive/index"), exports);
74
76
  __exportStar(require("./type/ref/index"), exports);
75
77
  __exportStar(require("./type/regexp/index"), exports);
78
+ __exportStar(require("./type/remap/index"), exports);
76
79
  __exportStar(require("./type/required/index"), exports);
77
80
  __exportStar(require("./type/rest/index"), exports);
78
81
  __exportStar(require("./type/return-type/index"), exports);
@@ -1 +1 @@
1
- export * from './parse';
1
+ export * from './syntax';
@@ -15,4 +15,4 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
15
15
  for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
16
16
  };
17
17
  Object.defineProperty(exports, "__esModule", { value: true });
18
- __exportStar(require("./parse"), exports);
18
+ __exportStar(require("./syntax"), exports);
@@ -1,71 +1,57 @@
1
- import { Runtime } from './parsebox/index';
2
- import * as Types from '../type/index';
1
+ import { Runtime } from '../parser/index';
2
+ import * as t from '../type/index';
3
3
  export declare const Module: Runtime.Module<{
4
- ExportModifier: Runtime.IUnion<boolean>;
5
- HeritageList: Runtime.IUnion<Types.TSchema[]>;
6
- Heritage: Runtime.IUnion<unknown[]>;
7
- InterfaceDeclaration: Runtime.ITuple<{
8
- [x: string]: Types.TIntersect<[...Types.TRef<string>[], Types.TObject<Types.TProperties>]>;
9
- }>;
10
- TypeAliasDeclaration: Runtime.ITuple<{
11
- [x: string]: Types.TSchema;
12
- }>;
13
- ModuleType: Runtime.IUnion<unknown>;
14
- ModuleProperties: Runtime.IUnion<Types.TProperties>;
15
- ModuleDeclaration: Runtime.ITuple<Types.TModule<Types.TProperties, {
16
- [x: string]: Types.TSchema;
17
- [x: number]: Types.TSchema;
18
- }>>;
19
- Literal: Runtime.IUnion<Types.TLiteral<string> | Types.TLiteral<number> | Types.TLiteral<boolean>>;
20
- Keyword: Runtime.IUnion<Types.TAny | Types.TNever | Types.TString | Types.TBoolean | Types.TNumber | Types.TInteger | Types.TBigInt | Types.TNull | Types.TSymbol | Types.TUndefined | Types.TUnknown | Types.TVoid>;
4
+ Literal: Runtime.IUnion<t.TLiteral<string> | t.TLiteral<number> | t.TLiteral<boolean>>;
5
+ Keyword: Runtime.IUnion<t.TAny | t.TBoolean | t.TBigInt | t.TNever | t.TString | t.TNumber | t.TInteger | t.TNull | t.TSymbol | t.TUndefined | t.TUnknown | t.TVoid>;
21
6
  KeyOf: Runtime.IUnion<boolean>;
22
7
  IndexArray: Runtime.IUnion<unknown[]>;
23
8
  Extends: Runtime.IUnion<unknown[]>;
24
9
  Base: Runtime.IUnion<unknown>;
25
- Factor: Runtime.ITuple<Types.TSchema>;
10
+ Factor: Runtime.ITuple<t.TSchema>;
26
11
  ExprTermTail: Runtime.IUnion<[] | ["&", unknown, unknown]>;
27
- ExprTerm: Runtime.ITuple<Types.TSchema>;
12
+ ExprTerm: Runtime.ITuple<t.TSchema>;
28
13
  ExprTail: Runtime.IUnion<[] | ["|", unknown, unknown]>;
29
- Expr: Runtime.ITuple<Types.TSchema>;
14
+ Expr: Runtime.ITuple<t.TSchema>;
30
15
  Type: Runtime.IRef<unknown>;
31
16
  PropertyKey: Runtime.IUnion<string>;
32
17
  Readonly: Runtime.IUnion<boolean>;
33
18
  Optional: Runtime.IUnion<boolean>;
34
19
  Property: Runtime.ITuple<{
35
- [x: string]: Types.TSchema;
20
+ [x: string]: t.TSchema;
36
21
  }>;
37
22
  PropertyDelimiter: Runtime.IUnion<[","] | [",", "\n"] | [";"] | [";", "\n"] | ["\n"]>;
38
- Properties: Runtime.IUnion<Types.TProperties>;
39
- Object: Runtime.ITuple<Types.TObject<Types.TProperties>>;
23
+ Properties: Runtime.IUnion<t.TProperties>;
24
+ Object: Runtime.ITuple<t.TObject<t.TProperties>>;
40
25
  Elements: Runtime.IUnion<unknown[]>;
41
- Tuple: Runtime.ITuple<Types.TTuple<Types.TSchema[]>>;
42
- Parameter: Runtime.ITuple<Types.TSchema>;
43
- Function: Runtime.ITuple<Types.TFunction<Types.TSchema[], Types.TSchema>>;
26
+ Tuple: Runtime.ITuple<t.TTuple<t.TSchema[]>>;
27
+ Parameter: Runtime.ITuple<t.TSchema>;
28
+ Function: Runtime.ITuple<t.TFunction<t.TSchema[], t.TSchema>>;
44
29
  Parameters: Runtime.IUnion<unknown[]>;
45
- Constructor: Runtime.ITuple<Types.TConstructor<Types.TSchema[], Types.TSchema>>;
46
- Mapped: Runtime.ITuple<Types.TLiteral<"Mapped types not supported">>;
47
- AsyncIterator: Runtime.ITuple<Types.TAsyncIterator<Types.TSchema>>;
48
- Iterator: Runtime.ITuple<Types.TIterator<Types.TSchema>>;
49
- Awaited: Runtime.ITuple<Types.TSchema>;
50
- Array: Runtime.ITuple<Types.TArray<Types.TSchema>>;
51
- Record: Runtime.ITuple<Types.TNever>;
52
- Promise: Runtime.ITuple<Types.TPromise<Types.TSchema>>;
53
- ConstructorParameters: Runtime.ITuple<Types.TTuple<Types.TSchema[]>>;
54
- FunctionParameters: Runtime.ITuple<Types.TTuple<Types.TSchema[]>>;
55
- InstanceType: Runtime.ITuple<Types.TSchema>;
56
- ReturnType: Runtime.ITuple<Types.TSchema>;
57
- Partial: Runtime.ITuple<Types.TObject<{}>>;
58
- Required: Runtime.ITuple<Types.TObject<{}>>;
59
- Pick: Runtime.ITuple<Types.TObject<{}>>;
60
- Omit: Runtime.ITuple<Types.TObject<{}>>;
61
- Exclude: Runtime.ITuple<Types.TNever>;
62
- Extract: Runtime.ITuple<Types.TSchema>;
63
- Uppercase: Runtime.ITuple<Types.TSchema>;
64
- Lowercase: Runtime.ITuple<Types.TSchema>;
65
- Capitalize: Runtime.ITuple<Types.TSchema>;
66
- Uncapitalize: Runtime.ITuple<Types.TSchema>;
67
- Date: Runtime.IConst<Types.TDate>;
68
- Uint8Array: Runtime.IConst<Types.TUint8Array>;
69
- Reference: Runtime.IIdent<Types.TSchema>;
70
- Main: Runtime.IUnion<unknown>;
30
+ Constructor: Runtime.ITuple<t.TConstructor<t.TSchema[], t.TSchema>>;
31
+ Mapped: Runtime.ITuple<t.TLiteral<"Mapped types not supported">>;
32
+ AsyncIterator: Runtime.ITuple<t.TAsyncIterator<t.TSchema>>;
33
+ Iterator: Runtime.ITuple<t.TIterator<t.TSchema>>;
34
+ Argument: Runtime.ITuple<t.TNever | t.TArgument<number>>;
35
+ Awaited: Runtime.ITuple<t.TSchema>;
36
+ Array: Runtime.ITuple<t.TArray<t.TSchema>>;
37
+ Record: Runtime.ITuple<t.TNever>;
38
+ Promise: Runtime.ITuple<t.TPromise<t.TSchema>>;
39
+ ConstructorParameters: Runtime.ITuple<t.TTuple<t.TSchema[]>>;
40
+ FunctionParameters: Runtime.ITuple<t.TTuple<t.TSchema[]>>;
41
+ InstanceType: Runtime.ITuple<t.TSchema>;
42
+ ReturnType: Runtime.ITuple<t.TSchema>;
43
+ Partial: Runtime.ITuple<t.TObject<{}>>;
44
+ Required: Runtime.ITuple<t.TObject<{}>>;
45
+ Pick: Runtime.ITuple<t.TObject<{}>>;
46
+ Omit: Runtime.ITuple<t.TObject<{}>>;
47
+ Exclude: Runtime.ITuple<t.TNever>;
48
+ Extract: Runtime.ITuple<t.TSchema>;
49
+ Uppercase: Runtime.ITuple<t.TSchema>;
50
+ Lowercase: Runtime.ITuple<t.TSchema>;
51
+ Capitalize: Runtime.ITuple<t.TSchema>;
52
+ Uncapitalize: Runtime.ITuple<t.TSchema>;
53
+ Date: Runtime.IConst<t.TDate>;
54
+ Uint8Array: Runtime.IConst<t.TUint8Array>;
55
+ GenericReference: Runtime.ITuple<t.TSchema>;
56
+ Reference: Runtime.IIdent<t.TSchema>;
71
57
  }>;