@duckmind/dm-darwin-arm64 0.36.8 → 0.36.9

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 (68) hide show
  1. package/dm +0 -0
  2. package/extensions/dm-tasks/node_modules/.package-lock.json +3 -3
  3. package/extensions/dm-tasks/node_modules/typebox/build/schema/types/dependencies.mjs +1 -1
  4. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_immutable.d.mts +11 -0
  5. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_immutable.mjs +11 -0
  6. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_optional.d.mts +11 -0
  7. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_optional.mjs +11 -0
  8. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_readonly.d.mts +11 -0
  9. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_readonly.mjs +11 -0
  10. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_immutable.d.mts +11 -0
  11. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_immutable.mjs +11 -0
  12. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_optional.d.mts +11 -0
  13. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_optional.mjs +11 -0
  14. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_readonly.d.mts +11 -0
  15. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_readonly.mjs +11 -0
  16. package/extensions/dm-tasks/node_modules/typebox/build/type/action/index.d.mts +6 -2
  17. package/extensions/dm-tasks/node_modules/typebox/build/type/action/index.mjs +6 -2
  18. package/extensions/dm-tasks/node_modules/typebox/build/type/action/module.d.mts +8 -7
  19. package/extensions/dm-tasks/node_modules/typebox/build/type/action/module.mjs +7 -6
  20. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/evaluate/composite.d.mts +10 -6
  21. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/evaluate/composite.mjs +10 -6
  22. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_add.d.mts +10 -0
  23. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_add.mjs +14 -0
  24. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_remove.d.mts +10 -0
  25. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_remove.mjs +14 -0
  26. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/instantiate.d.mts +33 -16
  27. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/instantiate.mjs +61 -61
  28. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/module/instantiate.d.mts +7 -7
  29. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/module/instantiate.mjs +16 -15
  30. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_add.d.mts +10 -0
  31. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_add.mjs +14 -0
  32. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_remove.d.mts +10 -0
  33. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_remove.mjs +14 -0
  34. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/partial/from_object.d.mts +2 -2
  35. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/partial/from_object.mjs +2 -2
  36. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_add.d.mts +10 -0
  37. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_add.mjs +14 -0
  38. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_remove.d.mts +10 -0
  39. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_remove.mjs +14 -0
  40. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_array.d.mts +2 -2
  41. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_array.mjs +2 -2
  42. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_object.d.mts +2 -2
  43. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_object.mjs +2 -2
  44. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_tuple.d.mts +2 -2
  45. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_tuple.mjs +2 -2
  46. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/required/from_object.d.mts +2 -2
  47. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/required/from_object.mjs +2 -2
  48. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/template_literal/is_pattern.mjs +1 -0
  49. package/extensions/dm-tasks/node_modules/typebox/build/type/script/mapping.d.mts +68 -64
  50. package/extensions/dm-tasks/node_modules/typebox/build/type/script/mapping.mjs +64 -58
  51. package/extensions/dm-tasks/node_modules/typebox/build/type/script/parser.d.mts +29 -25
  52. package/extensions/dm-tasks/node_modules/typebox/build/type/script/parser.mjs +15 -13
  53. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_immutable.d.mts +2 -9
  54. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_immutable.mjs +2 -10
  55. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_optional.d.mts +2 -9
  56. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_optional.mjs +2 -11
  57. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_readonly.d.mts +2 -9
  58. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_readonly.mjs +2 -10
  59. package/extensions/dm-tasks/node_modules/typebox/build/type/types/deferred.d.mts +1 -0
  60. package/extensions/dm-tasks/node_modules/typebox/build/type/types/deferred.mjs +1 -1
  61. package/extensions/dm-tasks/node_modules/typebox/package.json +1 -1
  62. package/extensions/dm-tasks/package-lock.json +3 -3
  63. package/extensions/dm-ultradex/package-lock.json +6 -6
  64. package/package.json +1 -1
  65. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_optional.d.mts +0 -19
  66. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_optional.mjs +0 -40
  67. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_readonly.d.mts +0 -19
  68. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_readonly.mjs +0 -40
@@ -1,6 +1,6 @@
1
1
  import { Memory } from '../../system/memory/index.mjs';
2
- import * as C from '../action/index.mjs';
3
2
  import * as T from '../types/index.mjs';
3
+ import * as S from '../action/index.mjs';
4
4
  type TIntrinsicOrCall<Target extends string, Parameters extends T.TSchema[]> = ([
5
5
  Target,
6
6
  Parameters
@@ -16,67 +16,67 @@ type TIntrinsicOrCall<Target extends string, Parameters extends T.TSchema[]> = (
16
16
  ] extends ['Iterator', [infer Type extends T.TSchema]] ? T.TIterator<Type> : [
17
17
  Target,
18
18
  Parameters
19
- ] extends ['Awaited', [infer Type extends T.TSchema]] ? C.TAwaitedDeferred<Type> : [
19
+ ] extends ['Awaited', [infer Type extends T.TSchema]] ? S.TAwaitedDeferred<Type> : [
20
20
  Target,
21
21
  Parameters
22
- ] extends ['Capitalize', [infer Type extends T.TSchema]] ? C.TCapitalizeDeferred<Type> : [
22
+ ] extends ['Capitalize', [infer Type extends T.TSchema]] ? S.TCapitalizeDeferred<Type> : [
23
23
  Target,
24
24
  Parameters
25
- ] extends ['ConstructorParameters', [infer Type extends T.TSchema]] ? C.TConstructorParametersDeferred<Type> : [
25
+ ] extends ['ConstructorParameters', [infer Type extends T.TSchema]] ? S.TConstructorParametersDeferred<Type> : [
26
26
  Target,
27
27
  Parameters
28
- ] extends ['Evaluate', [infer Type extends T.TSchema]] ? C.TEvaluateDeferred<Type> : [
28
+ ] extends ['Evaluate', [infer Type extends T.TSchema]] ? S.TEvaluateDeferred<Type> : [
29
29
  Target,
30
30
  Parameters
31
- ] extends ['Exclude', [infer Left extends T.TSchema, infer Right extends T.TSchema]] ? C.TExcludeDeferred<Left, Right> : [
31
+ ] extends ['Exclude', [infer Left extends T.TSchema, infer Right extends T.TSchema]] ? S.TExcludeDeferred<Left, Right> : [
32
32
  Target,
33
33
  Parameters
34
- ] extends ['Extract', [infer Left extends T.TSchema, infer Right extends T.TSchema]] ? C.TExtractDeferred<Left, Right> : [
34
+ ] extends ['Extract', [infer Left extends T.TSchema, infer Right extends T.TSchema]] ? S.TExtractDeferred<Left, Right> : [
35
35
  Target,
36
36
  Parameters
37
- ] extends ['Index', [infer Type extends T.TSchema, infer Indexer extends T.TSchema]] ? C.TIndexDeferred<Type, Indexer> : [
37
+ ] extends ['Index', [infer Type extends T.TSchema, infer Indexer extends T.TSchema]] ? S.TIndexDeferred<Type, Indexer> : [
38
38
  Target,
39
39
  Parameters
40
- ] extends ['InstanceType', [infer Type extends T.TSchema]] ? C.TInstanceTypeDeferred<Type> : [
40
+ ] extends ['InstanceType', [infer Type extends T.TSchema]] ? S.TInstanceTypeDeferred<Type> : [
41
41
  Target,
42
42
  Parameters
43
- ] extends ['KeyOf', [infer Type extends T.TSchema]] ? C.TKeyOfDeferred<Type> : [
43
+ ] extends ['KeyOf', [infer Type extends T.TSchema]] ? S.TKeyOfDeferred<Type> : [
44
44
  Target,
45
45
  Parameters
46
- ] extends ['Lowercase', [infer Type extends T.TSchema]] ? C.TLowercaseDeferred<Type> : [
46
+ ] extends ['Lowercase', [infer Type extends T.TSchema]] ? S.TLowercaseDeferred<Type> : [
47
47
  Target,
48
48
  Parameters
49
- ] extends ['NonNullable', [infer Type extends T.TSchema]] ? C.TNonNullableDeferred<Type> : [
49
+ ] extends ['NonNullable', [infer Type extends T.TSchema]] ? S.TNonNullableDeferred<Type> : [
50
50
  Target,
51
51
  Parameters
52
- ] extends ['Omit', [infer Type extends T.TSchema, infer Indexer extends T.TSchema]] ? C.TOmitDeferred<Type, Indexer> : [
52
+ ] extends ['Omit', [infer Type extends T.TSchema, infer Indexer extends T.TSchema]] ? S.TOmitDeferred<Type, Indexer> : [
53
53
  Target,
54
54
  Parameters
55
- ] extends ['Parameters', [infer Type extends T.TSchema]] ? C.TParametersDeferred<Type> : [
55
+ ] extends ['Parameters', [infer Type extends T.TSchema]] ? S.TParametersDeferred<Type> : [
56
56
  Target,
57
57
  Parameters
58
- ] extends ['Partial', [infer Type extends T.TSchema]] ? C.TPartialDeferred<Type> : [
58
+ ] extends ['Partial', [infer Type extends T.TSchema]] ? S.TPartialDeferred<Type> : [
59
59
  Target,
60
60
  Parameters
61
- ] extends ['Pick', [infer Type extends T.TSchema, infer Indexer extends T.TSchema]] ? C.TPickDeferred<Type, Indexer> : [
61
+ ] extends ['Pick', [infer Type extends T.TSchema, infer Indexer extends T.TSchema]] ? S.TPickDeferred<Type, Indexer> : [
62
62
  Target,
63
63
  Parameters
64
- ] extends ['Readonly', [infer Type extends T.TSchema]] ? C.TReadonlyObjectDeferred<Type> : [
64
+ ] extends ['Readonly', [infer Type extends T.TSchema]] ? S.TReadonlyObjectDeferred<Type> : [
65
65
  Target,
66
66
  Parameters
67
67
  ] extends ['Record', [infer Key extends T.TSchema, infer Value extends T.TSchema]] ? T.TRecordDeferred<Key, Value> : [
68
68
  Target,
69
69
  Parameters
70
- ] extends ['Required', [infer Type extends T.TSchema]] ? C.TRequiredDeferred<Type> : [
70
+ ] extends ['Required', [infer Type extends T.TSchema]] ? S.TRequiredDeferred<Type> : [
71
71
  Target,
72
72
  Parameters
73
- ] extends ['ReturnType', [infer Type extends T.TSchema]] ? C.TReturnTypeDeferred<Type> : [
73
+ ] extends ['ReturnType', [infer Type extends T.TSchema]] ? S.TReturnTypeDeferred<Type> : [
74
74
  Target,
75
75
  Parameters
76
- ] extends ['Uncapitalize', [infer Type extends T.TSchema]] ? C.TUncapitalizeDeferred<Type> : [
76
+ ] extends ['Uncapitalize', [infer Type extends T.TSchema]] ? S.TUncapitalizeDeferred<Type> : [
77
77
  Target,
78
78
  Parameters
79
- ] extends ['Uppercase', [infer Type extends T.TSchema]] ? C.TUppercaseDeferred<Type> : T.TCallConstruct<T.TRef<Target>, Parameters>);
79
+ ] extends ['Uppercase', [infer Type extends T.TSchema]] ? S.TUppercaseDeferred<Type> : T.TCallConstruct<T.TRef<Target>, Parameters>);
80
80
  type TDelimitedDecode<Input extends ([unknown, unknown] | unknown)[], Result extends unknown[] = []> = (Input extends [infer Left, ...infer Right] ? Left extends [infer Item, infer _] ? TDelimitedDecode<Right, [...Result, Item]> : TDelimitedDecode<Right, [...Result, Left]> : Result);
81
81
  type TDelimited<Input extends [unknown, unknown]> = Input extends [infer Left extends unknown[], infer Right extends unknown[]] ? TDelimitedDecode<[...Left, ...Right]> : [];
82
82
  export type TGenericParameterExtendsEqualsMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends [infer Name extends string, 'extends', infer Extends extends T.TSchema, '=', infer Equals extends T.TSchema] ? T.TParameter<Name, Extends, Equals> : never);
@@ -159,12 +159,12 @@ export type TExtendsMapping<Input extends [unknown, unknown, unknown, unknown, u
159
159
  export declare function ExtendsMapping(input: [unknown, unknown, unknown, unknown, unknown, unknown] | []): unknown;
160
160
  export type TBaseMapping<Input extends [unknown, unknown, unknown] | unknown> = (Input extends ['(', infer Type extends T.TSchema, ')'] ? Type : Input extends infer Type extends T.TSchema ? Type : never);
161
161
  export declare function BaseMapping(input: [unknown, unknown, unknown] | unknown): unknown;
162
- export type TWithMapping<Input extends [unknown, unknown] | []> = (Input extends ['with', infer JsonObject extends Record<PropertyKey, unknown>] ? JsonObject : []);
162
+ export type TWithMapping<Input extends [unknown, unknown] | []> = (Input extends ['with', infer WithObject extends Record<PropertyKey, unknown>] ? WithObject : []);
163
163
  export declare function WithMapping(input: [unknown, unknown] | []): unknown;
164
- type TFactorIndexArray<Type extends T.TSchema, IndexArray extends unknown[]> = (IndexArray extends [infer Left extends T.TSchema[], ...infer Right extends unknown[]] ? (Left extends [infer Indexer extends T.TSchema] ? TFactorIndexArray<C.TIndexDeferred<Type, Indexer>, Right> : Left extends [] ? TFactorIndexArray<T.TArray<Type>, Right> : T.TNever) : Type);
165
- type TFactorExtends<Type extends T.TSchema, Extends extends unknown[]> = (Extends extends [infer Right extends T.TSchema, infer True extends T.TSchema, infer False extends T.TSchema] ? C.TConditionalDeferred<Type, Right, True, False> : Type);
166
- type TFactorWith<Type extends T.TSchema, With extends unknown> = (With extends Record<PropertyKey, unknown> ? C.TWithDeferred<Type, With> : Type);
167
- export type TFactorMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends [infer KeyOf extends boolean, infer Type extends T.TSchema, infer IndexArray extends unknown[], infer Extend extends unknown[], infer WithClause extends unknown] ? TFactorWith<KeyOf extends true ? TFactorExtends<C.TKeyOfDeferred<TFactorIndexArray<Type, IndexArray>>, Extend> : TFactorExtends<TFactorIndexArray<Type, IndexArray>, Extend>, WithClause> : never);
164
+ type TFactorIndexArray<Type extends T.TSchema, IndexArray extends unknown[]> = (IndexArray extends [infer Left extends T.TSchema[], ...infer Right extends unknown[]] ? (Left extends [infer Indexer extends T.TSchema] ? TFactorIndexArray<S.TIndexDeferred<Type, Indexer>, Right> : Left extends [] ? TFactorIndexArray<T.TArray<Type>, Right> : T.TNever) : Type);
165
+ type TFactorExtends<Type extends T.TSchema, Extends extends unknown[]> = (Extends extends [infer Right extends T.TSchema, infer True extends T.TSchema, infer False extends T.TSchema] ? S.TConditionalDeferred<Type, Right, True, False> : Type);
166
+ type TFactorWith<Type extends T.TSchema, With extends unknown> = (With extends Record<PropertyKey, unknown> ? S.TWithDeferred<Type, With> : Type);
167
+ export type TFactorMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends [infer KeyOf extends boolean, infer Type extends T.TSchema, infer IndexArray extends unknown[], infer Extend extends unknown[], infer WithClause extends unknown] ? TFactorWith<KeyOf extends true ? TFactorExtends<S.TKeyOfDeferred<TFactorIndexArray<Type, IndexArray>>, Extend> : TFactorExtends<TFactorIndexArray<Type, IndexArray>, Extend>, WithClause> : never);
168
168
  export declare function FactorMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown;
169
169
  type TExprBinaryMapping<Left extends T.TSchema, Rest extends unknown[]> = (Rest extends [infer Operator extends unknown, infer Right extends T.TSchema, infer Next extends unknown[]] ? (TExprBinaryMapping<Right, Next> extends infer Schema extends T.TSchema ? (Operator extends '&' ? (Schema extends T.TIntersect<infer Types extends T.TSchema[]> ? T.TIntersect<[Left, ...Types]> : T.TIntersect<[Left, Schema]>) : Operator extends '|' ? (Schema extends T.TUnion<infer Types extends T.TSchema[]> ? T.TUnion<[Left, ...Types]> : T.TUnion<[Left, Schema]>) : never) : never) : Left);
170
170
  export type TExprTermTailMapping<Input extends [unknown, unknown, unknown] | []> = (Input);
@@ -175,7 +175,7 @@ export type TExprTailMapping<Input extends [unknown, unknown, unknown] | []> = (
175
175
  export declare function ExprTailMapping(input: [unknown, unknown, unknown] | []): unknown;
176
176
  export type TExprMapping<Input extends [unknown, unknown]> = (Input extends [infer Left extends T.TSchema, infer Rest extends unknown[]] ? TExprBinaryMapping<Left, Rest> : []);
177
177
  export declare function ExprMapping(input: [unknown, unknown]): unknown;
178
- export type TExprReadonlyMapping<Input extends [unknown, unknown]> = (Input extends ['readonly', infer Type extends T.TSchema] ? T.TImmutableAdd<Type> : never);
178
+ export type TExprReadonlyMapping<Input extends [unknown, unknown]> = (Input extends ['readonly', infer Type extends T.TSchema] ? S.TAddImmutableDeferred<Type> : never);
179
179
  export declare function ExprReadonlyMapping(input: [unknown, unknown]): unknown;
180
180
  export type TExprPipeMapping<Input extends [unknown, unknown]> = (Input extends ['|', infer Type extends T.TSchema] ? Type : never);
181
181
  export declare function ExprPipeMapping(input: [unknown, unknown]): unknown;
@@ -203,13 +203,13 @@ export type TPropertyMapping<Input extends [unknown, unknown, unknown, unknown,
203
203
  [_ in Key]: ([
204
204
  IsReadonly,
205
205
  IsOptional
206
- ] extends [true, true] ? T.TReadonlyAdd<T.TOptionalAdd<Type>> : [
206
+ ] extends [true, true] ? S.TAddReadonlyDeferred<S.TAddOptionalDeferred<Type>> : [
207
207
  IsReadonly,
208
208
  IsOptional
209
- ] extends [true, false] ? T.TReadonlyAdd<Type> : [
209
+ ] extends [true, false] ? S.TAddReadonlyDeferred<Type> : [
210
210
  IsReadonly,
211
211
  IsOptional
212
- ] extends [false, true] ? T.TOptionalAdd<Type> : Type);
212
+ ] extends [false, true] ? S.TAddOptionalDeferred<Type> : Type);
213
213
  } : never);
214
214
  export declare function PropertyMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown;
215
215
  export type TPropertyDelimiterMapping<Input extends [unknown, unknown] | [unknown]> = (Input);
@@ -229,13 +229,13 @@ export type TPropertiesMapping<Input extends [unknown, unknown, unknown], Result
229
229
  export declare function PropertiesMapping(input: [unknown, unknown, unknown]): unknown;
230
230
  export type T_Object_Mapping<Input extends unknown> = (Input extends [infer Properties extends T.TProperties, infer _PatternProperties extends T.TProperties] ? T.TObject<Properties> : never);
231
231
  export declare function _Object_Mapping(input: unknown): unknown;
232
- export type TElementNamedMapping<Input extends [unknown, unknown, unknown, unknown, unknown] | [unknown, unknown, unknown, unknown] | [unknown, unknown, unknown]> = (Input extends [string, '?', ':', 'readonly', infer Type extends T.TSchema] ? T.TReadonlyAdd<T.TOptionalAdd<Type>> : Input extends [string, /**/ ':', 'readonly', infer Type extends T.TSchema] ? T.TReadonlyAdd<Type> : Input extends [string, '?', ':', /* */ infer Type extends T.TSchema] ? T.TOptionalAdd<Type> : Input extends [string, /**/ ':', /* */ infer Type extends T.TSchema] ? Type : never);
232
+ export type TElementNamedMapping<Input extends [unknown, unknown, unknown, unknown, unknown] | [unknown, unknown, unknown, unknown] | [unknown, unknown, unknown]> = (Input extends [string, '?', ':', 'readonly', infer Type extends T.TSchema] ? S.TAddReadonlyDeferred<S.TAddOptionalDeferred<Type>> : Input extends [string, /**/ ':', 'readonly', infer Type extends T.TSchema] ? S.TAddReadonlyDeferred<Type> : Input extends [string, '?', ':', /* */ infer Type extends T.TSchema] ? S.TAddOptionalDeferred<Type> : Input extends [string, /**/ ':', /* */ infer Type extends T.TSchema] ? Type : never);
233
233
  export declare function ElementNamedMapping(input: [unknown, unknown, unknown, unknown, unknown] | [unknown, unknown, unknown, unknown] | [unknown, unknown, unknown]): unknown;
234
- export type TElementReadonlyOptionalMapping<Input extends [unknown, unknown, unknown]> = (Input extends ['readonly', infer Type extends T.TSchema, '?'] ? T.TReadonlyAdd<T.TOptionalAdd<Type>> : never);
234
+ export type TElementReadonlyOptionalMapping<Input extends [unknown, unknown, unknown]> = (Input extends ['readonly', infer Type extends T.TSchema, '?'] ? S.TAddReadonlyDeferred<S.TAddOptionalDeferred<Type>> : never);
235
235
  export declare function ElementReadonlyOptionalMapping(input: [unknown, unknown, unknown]): unknown;
236
- export type TElementReadonlyMapping<Input extends [unknown, unknown]> = (Input extends ['readonly', infer Type extends T.TSchema] ? T.TReadonlyAdd<Type> : never);
236
+ export type TElementReadonlyMapping<Input extends [unknown, unknown]> = (Input extends ['readonly', infer Type extends T.TSchema] ? S.TAddReadonlyDeferred<Type> : never);
237
237
  export declare function ElementReadonlyMapping(input: [unknown, unknown]): unknown;
238
- export type TElementOptionalMapping<Input extends [unknown, unknown]> = (Input extends [infer Type extends T.TSchema, '?'] ? T.TOptionalAdd<Type> : never);
238
+ export type TElementOptionalMapping<Input extends [unknown, unknown]> = (Input extends [infer Type extends T.TSchema, '?'] ? S.TAddOptionalDeferred<Type> : never);
239
239
  export declare function ElementOptionalMapping(input: [unknown, unknown]): unknown;
240
240
  export type TElementBaseMapping<Input extends unknown> = (Input);
241
241
  export declare function ElementBaseMapping(input: unknown): unknown;
@@ -245,11 +245,11 @@ export type TElementListMapping<Input extends [unknown, unknown]> = (TDelimited<
245
245
  export declare function ElementListMapping(input: [unknown, unknown]): unknown;
246
246
  export type T_Tuple_Mapping<Input extends [unknown, unknown, unknown]> = (Input extends ['[', infer Types extends T.TSchema[], ']'] ? T.TTuple<Types> : never);
247
247
  export declare function _Tuple_Mapping(input: [unknown, unknown, unknown]): unknown;
248
- export type TParameterReadonlyOptionalMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends [string, '?', ':', 'readonly', infer Type extends T.TSchema] ? T.TReadonlyAdd<T.TOptionalAdd<Type>> : never);
248
+ export type TParameterReadonlyOptionalMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends [string, '?', ':', 'readonly', infer Type extends T.TSchema] ? S.TAddReadonlyDeferred<S.TAddOptionalDeferred<Type>> : never);
249
249
  export declare function ParameterReadonlyOptionalMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown;
250
- export type TParameterReadonlyMapping<Input extends [unknown, unknown, unknown, unknown]> = (Input extends [string, ':', 'readonly', infer Type extends T.TSchema] ? T.TReadonlyAdd<Type> : never);
250
+ export type TParameterReadonlyMapping<Input extends [unknown, unknown, unknown, unknown]> = (Input extends [string, ':', 'readonly', infer Type extends T.TSchema] ? S.TAddReadonlyDeferred<Type> : never);
251
251
  export declare function ParameterReadonlyMapping(input: [unknown, unknown, unknown, unknown]): unknown;
252
- export type TParameterOptionalMapping<Input extends [unknown, unknown, unknown, unknown]> = (Input extends [string, '?', ':', infer Type extends T.TSchema] ? T.TOptionalAdd<Type> : never);
252
+ export type TParameterOptionalMapping<Input extends [unknown, unknown, unknown, unknown]> = (Input extends [string, '?', ':', infer Type extends T.TSchema] ? S.TAddOptionalDeferred<Type> : never);
253
253
  export declare function ParameterOptionalMapping(input: [unknown, unknown, unknown, unknown]): unknown;
254
254
  export type TParameterTypeMapping<Input extends [unknown, unknown, unknown]> = (Input extends [string, ':', infer Type extends T.TSchema] ? Type : never);
255
255
  export declare function ParameterTypeMapping(input: [unknown, unknown, unknown]): unknown;
@@ -264,43 +264,47 @@ export declare function _Function_Mapping(input: [unknown, unknown, unknown, unk
264
264
  export type T_Constructor_Mapping<Input extends [unknown, unknown, unknown, unknown, unknown, unknown]> = (Input extends ['new', '(', infer ParameterList extends T.TSchema[], ')', '=>', infer InstanceType extends T.TSchema] ? T.TConstructor<ParameterList, InstanceType> : never);
265
265
  export declare function _Constructor_Mapping(input: [unknown, unknown, unknown, unknown, unknown, unknown]): unknown;
266
266
  type TModifierOperation = 'add' | 'remove' | 'none';
267
- type TApplyReadonly<Readonly extends TModifierOperation, Type extends T.TSchema> = (Readonly extends 'remove' ? C.TReadonlyRemoveAction<Type> : Readonly extends 'add' ? C.TReadonlyAddAction<Type> : Type);
267
+ type TApplyReadonly<Readonly extends TModifierOperation, Type extends T.TSchema> = (Readonly extends 'remove' ? S.TRemoveReadonlyDeferred<Type> : Readonly extends 'add' ? S.TAddReadonlyDeferred<Type> : Type);
268
268
  export type TMappedReadonlyMapping<Input extends [unknown, unknown] | [unknown] | []> = (Input extends ['-', 'readonly'] ? 'remove' : Input extends ['+', 'readonly'] ? 'add' : Input extends ['readonly'] ? 'add' : 'none');
269
269
  export declare function MappedReadonlyMapping(input: [unknown, unknown] | [unknown] | []): unknown;
270
- type TApplyOptional<Optional extends TModifierOperation, Type extends T.TSchema> = (Optional extends 'remove' ? C.TOptionalRemoveAction<Type> : Optional extends 'add' ? C.TOptionalAddAction<Type> : Type);
270
+ type TApplyOptional<Optional extends TModifierOperation, Type extends T.TSchema> = (Optional extends 'remove' ? S.TRemoveOptionalDeferred<Type> : Optional extends 'add' ? S.TAddOptionalDeferred<Type> : Type);
271
271
  export type TMappedOptionalMapping<Input extends [unknown, unknown] | [unknown] | []> = (Input extends ['-', '?'] ? 'remove' : Input extends ['+', '?'] ? 'add' : Input extends ['?'] ? 'add' : 'none');
272
272
  export declare function MappedOptionalMapping(input: [unknown, unknown] | [unknown] | []): unknown;
273
273
  export type TMappedAsMapping<Input extends [unknown, unknown] | []> = (Input extends ['as', infer Type extends T.TSchema] ? [Type] : []);
274
274
  export declare function MappedAsMapping(input: [unknown, unknown] | []): unknown;
275
- export type T_Mapped_Mapping<Input extends [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]> = (Input extends ['{', infer Readonly extends TModifierOperation, '[', infer Key extends string, 'in', infer Type extends T.TSchema, infer As extends T.TSchema[], ']', infer Optional extends TModifierOperation, ':', infer Property extends T.TSchema, null, '}'] ? (As extends [infer As extends T.TSchema] ? C.TMappedDeferred<T.TIdentifier<Key>, Type, As, TApplyReadonly<Readonly, TApplyOptional<Optional, Property>>> : C.TMappedDeferred<T.TIdentifier<Key>, Type, T.TRef<Key>, TApplyReadonly<Readonly, TApplyOptional<Optional, Property>>>) : never);
275
+ export type T_Mapped_Mapping<Input extends [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]> = (Input extends ['{', infer Readonly extends TModifierOperation, '[', infer Key extends string, 'in', infer Type extends T.TSchema, infer As extends T.TSchema[], ']', infer Optional extends TModifierOperation, ':', infer Property extends T.TSchema, null, '}'] ? (As extends [infer As extends T.TSchema] ? S.TMappedDeferred<T.TIdentifier<Key>, Type, As, TApplyReadonly<Readonly, TApplyOptional<Optional, Property>>> : S.TMappedDeferred<T.TIdentifier<Key>, Type, T.TRef<Key>, TApplyReadonly<Readonly, TApplyOptional<Optional, Property>>>) : never);
276
276
  export declare function _Mapped_Mapping(input: [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown]): unknown;
277
277
  export type TReferenceMapping<Input extends string, Result extends T.TSchema = T.TRef<Input>> = Result;
278
278
  export declare function ReferenceMapping(input: string): unknown;
279
- export type TJsonNumberMapping<Input extends string> = (Input extends `${infer Value extends number}` ? Value : never);
280
- export declare function JsonNumberMapping(input: string): unknown;
281
- export type TJsonBooleanMapping<Input extends 'true' | 'false'> = (Input extends 'true' ? true : false);
282
- export declare function JsonBooleanMapping(input: 'true' | 'false'): unknown;
283
- export type TJsonStringMapping<Input extends string> = (Input);
284
- export declare function JsonStringMapping(input: string): unknown;
285
- export type TJsonNullMapping<Input extends 'null'> = (null);
286
- export declare function JsonNullMapping(input: 'null'): unknown;
287
- export type TJsonPropertyMapping<Input extends [unknown, unknown, unknown]> = (Input extends [infer Key extends string, ':', infer Value extends unknown] ? {
279
+ export type TWithBigIntMapping<Input extends string> = (Input extends `${infer Value extends bigint}` ? Value : never);
280
+ export declare function WithBigIntMapping(input: string): unknown;
281
+ export type TWithNumberMapping<Input extends string> = (Input extends `${infer Value extends number}` ? Value : never);
282
+ export declare function WithNumberMapping(input: string): unknown;
283
+ export type TWithBooleanMapping<Input extends 'true' | 'false'> = (Input extends 'true' ? true : false);
284
+ export declare function WithBooleanMapping(input: 'true' | 'false'): unknown;
285
+ export type TWithStringMapping<Input extends string> = (Input);
286
+ export declare function WithStringMapping(input: string): unknown;
287
+ export type TWithNullMapping<Input extends 'null'> = (null);
288
+ export declare function WithNullMapping(input: 'null'): unknown;
289
+ export type TWithUndefinedMapping<Input extends 'undefined'> = undefined;
290
+ export declare function WithUndefinedMapping(input: 'undefined'): unknown;
291
+ export type TWithPropertyMapping<Input extends [unknown, unknown, unknown]> = (Input extends [infer Key extends string, ':', infer Value extends unknown] ? {
288
292
  [_ in Key]: Value;
289
293
  } : never);
290
- export declare function JsonPropertyMapping(input: [unknown, unknown, unknown]): unknown;
291
- export type TJsonPropertyListMapping<Input extends [unknown, unknown]> = (TDelimited<Input>);
292
- export declare function JsonPropertyListMapping(input: [unknown, unknown]): unknown;
293
- type TJsonObjectMappingReduce<PropertyList extends Record<PropertyKey, unknown>[], Result extends Record<PropertyKey, unknown> = {}> = (PropertyList extends [infer Left extends Record<PropertyKey, unknown>, ...infer Right extends Record<PropertyKey, unknown>[]] ? TJsonObjectMappingReduce<Right, Memory.TAssign<Result, Left>> : {
294
+ export declare function WithPropertyMapping(input: [unknown, unknown, unknown]): unknown;
295
+ export type TWithPropertyListMapping<Input extends [unknown, unknown]> = (TDelimited<Input>);
296
+ export declare function WithPropertyListMapping(input: [unknown, unknown]): unknown;
297
+ type TWithObjectMappingReduce<PropertyList extends Record<PropertyKey, unknown>[], Result extends Record<PropertyKey, unknown> = {}> = (PropertyList extends [infer Left extends Record<PropertyKey, unknown>, ...infer Right extends Record<PropertyKey, unknown>[]] ? TWithObjectMappingReduce<Right, Memory.TAssign<Result, Left>> : {
294
298
  [Key in keyof Result]: Result[Key];
295
299
  });
296
- export type TJsonObjectMapping<Input extends [unknown, unknown, unknown]> = (Input extends ['{', infer PropertyList extends Record<PropertyKey, unknown>[], '}'] ? TJsonObjectMappingReduce<PropertyList> : {});
297
- export declare function JsonObjectMapping(input: [unknown, unknown, unknown]): unknown;
298
- export type TJsonElementListMapping<Input extends [unknown, unknown]> = (TDelimited<Input>);
299
- export declare function JsonElementListMapping(input: [unknown, unknown]): unknown;
300
- export type TJsonArrayMapping<Input extends [unknown, unknown, unknown]> = (Input extends ['[', infer Elements extends unknown[], ']'] ? Elements : never);
301
- export declare function JsonArrayMapping(input: [unknown, unknown, unknown]): unknown;
302
- export type TJsonMapping<Input extends unknown> = (Input);
303
- export declare function JsonMapping(input: unknown): unknown;
300
+ export type TWithObjectMapping<Input extends [unknown, unknown, unknown]> = (Input extends ['{', infer PropertyList extends Record<PropertyKey, unknown>[], '}'] ? TWithObjectMappingReduce<PropertyList> : {});
301
+ export declare function WithObjectMapping(input: [unknown, unknown, unknown]): unknown;
302
+ export type TWithElementListMapping<Input extends [unknown, unknown]> = (TDelimited<Input>);
303
+ export declare function WithElementListMapping(input: [unknown, unknown]): unknown;
304
+ export type TWithArrayMapping<Input extends [unknown, unknown, unknown]> = (Input extends ['[', infer Elements extends unknown[], ']'] ? Elements : never);
305
+ export declare function WithArrayMapping(input: [unknown, unknown, unknown]): unknown;
306
+ export type TWithValueMapping<Input extends unknown> = (Input);
307
+ export declare function WithValueMapping(input: unknown): unknown;
304
308
  export type TPatternBigIntMapping<Input extends '-?(?:0|[1-9][0-9]*)n'> = (T.TBigInt);
305
309
  export declare function PatternBigIntMapping(input: '-?(?:0|[1-9][0-9]*)n'): unknown;
306
310
  export type TPatternStringMapping<Input extends '.*'> = (T.TString);
@@ -331,11 +335,11 @@ export declare function InterfaceDeclarationHeritageListMapping(input: [unknown,
331
335
  export type TInterfaceDeclarationHeritageMapping<Input extends [unknown, unknown] | []> = (Input extends ['extends', infer Heritage extends T.TSchema[]] ? Heritage : []);
332
336
  export declare function InterfaceDeclarationHeritageMapping(input: [unknown, unknown] | []): unknown;
333
337
  export type TInterfaceDeclarationGenericMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends ['interface', infer Name extends string, infer Parameters extends T.TParameter[], infer Heritage extends T.TSchema[], infer Properties extends [T.TProperties, T.TProperties]] ? {
334
- [_ in Name]: T.TGeneric<Parameters, C.TInterfaceDeferred<Heritage, Properties[0]>>;
338
+ [_ in Name]: T.TGeneric<Parameters, S.TInterfaceDeferred<Heritage, Properties[0]>>;
335
339
  } : never);
336
340
  export declare function InterfaceDeclarationGenericMapping(input: [unknown, unknown, unknown, unknown, unknown]): unknown;
337
341
  export type TInterfaceDeclarationMapping<Input extends [unknown, unknown, unknown, unknown]> = (Input extends ['interface', infer Name extends string, infer Heritage extends T.TSchema[], infer Properties extends [T.TProperties, T.TProperties]] ? {
338
- [_ in Name]: C.TInterfaceDeferred<Heritage, Properties[0]>;
342
+ [_ in Name]: S.TInterfaceDeferred<Heritage, Properties[0]>;
339
343
  } : never);
340
344
  export declare function InterfaceDeclarationMapping(input: [unknown, unknown, unknown, unknown]): unknown;
341
345
  export type TTypeAliasDeclarationGenericMapping<Input extends [unknown, unknown, unknown, unknown, unknown]> = (Input extends ['type', infer Name extends string, infer Parameters extends T.TParameter[], '=', infer Type extends T.TSchema] ? {
@@ -354,7 +358,7 @@ export type TModuleDeclarationListMapping<Input extends [unknown, unknown]> = (T
354
358
  export declare function ModuleDeclarationListMapping(input: [unknown, unknown]): unknown;
355
359
  export type TModuleDeclarationMapping<Input extends [unknown, unknown, unknown]> = (Input extends [null, infer ModuleDeclaration extends T.TProperties, null] ? ModuleDeclaration : never);
356
360
  export declare function ModuleDeclarationMapping(input: [unknown, unknown, unknown]): unknown;
357
- export type TModuleMapping<Input extends [unknown, unknown]> = (Input extends [infer ModuleDeclaration extends T.TProperties, infer ModuleDeclarationList extends [T.TProperties, T.TProperties]] ? C.TModuleDeferred<Memory.TAssign<ModuleDeclaration, ModuleDeclarationList[0]>> : never);
361
+ export type TModuleMapping<Input extends [unknown, unknown]> = (Input extends [infer ModuleDeclaration extends T.TProperties, infer ModuleDeclarationList extends [T.TProperties, T.TProperties]] ? S.TModuleDeferred<Memory.TAssign<ModuleDeclaration, ModuleDeclarationList[0]>> : never);
358
362
  export declare function ModuleMapping(input: [unknown, unknown]): unknown;
359
363
  export type TScriptMapping<Input extends unknown> = (Input);
360
364
  export declare function ScriptMapping(input: unknown): unknown;
@@ -2,8 +2,8 @@
2
2
  // deno-lint-ignore-file
3
3
  import { Memory } from '../../system/memory/index.mjs';
4
4
  import { Guard } from '../../guard/index.mjs';
5
- import * as C from '../action/index.mjs';
6
5
  import * as T from '../types/index.mjs';
6
+ import * as S from '../action/index.mjs';
7
7
  function IntrinsicOrCall(ref, parameters) {
8
8
  // deno-coverage-ignore-start
9
9
  //
@@ -12,27 +12,27 @@ function IntrinsicOrCall(ref, parameters) {
12
12
  Guard.IsEqual(ref, 'AsyncIterator') ? T.AsyncIterator(parameters[0]) :
13
13
  Guard.IsEqual(ref, 'Iterator') ? T.Iterator(parameters[0]) :
14
14
  Guard.IsEqual(ref, 'Promise') ? T.Promise(parameters[0]) :
15
- Guard.IsEqual(ref, 'Awaited') ? C.AwaitedDeferred(parameters[0]) :
16
- Guard.IsEqual(ref, 'Capitalize') ? C.CapitalizeDeferred(parameters[0]) :
17
- Guard.IsEqual(ref, 'ConstructorParameters') ? C.ConstructorParametersDeferred(parameters[0]) :
18
- Guard.IsEqual(ref, 'Evaluate') ? C.EvaluateDeferred(parameters[0]) :
19
- Guard.IsEqual(ref, 'Exclude') ? C.ExcludeDeferred(parameters[0], parameters[1]) :
20
- Guard.IsEqual(ref, 'Extract') ? C.ExtractDeferred(parameters[0], parameters[1]) :
21
- Guard.IsEqual(ref, 'Index') ? C.IndexDeferred(parameters[0], parameters[1]) :
22
- Guard.IsEqual(ref, 'InstanceType') ? C.InstanceTypeDeferred(parameters[0]) :
23
- Guard.IsEqual(ref, 'Lowercase') ? C.LowercaseDeferred(parameters[0]) :
24
- Guard.IsEqual(ref, 'NonNullable') ? C.NonNullableDeferred(parameters[0]) :
25
- Guard.IsEqual(ref, 'Omit') ? C.OmitDeferred(parameters[0], parameters[1]) :
26
- Guard.IsEqual(ref, 'Parameters') ? C.ParametersDeferred(parameters[0]) :
27
- Guard.IsEqual(ref, 'Partial') ? C.PartialDeferred(parameters[0]) :
28
- Guard.IsEqual(ref, 'Pick') ? C.PickDeferred(parameters[0], parameters[1]) :
29
- Guard.IsEqual(ref, 'Readonly') ? C.ReadonlyObjectDeferred(parameters[0]) :
30
- Guard.IsEqual(ref, 'KeyOf') ? C.KeyOfDeferred(parameters[0]) :
15
+ Guard.IsEqual(ref, 'Awaited') ? S.AwaitedDeferred(parameters[0]) :
16
+ Guard.IsEqual(ref, 'Capitalize') ? S.CapitalizeDeferred(parameters[0]) :
17
+ Guard.IsEqual(ref, 'ConstructorParameters') ? S.ConstructorParametersDeferred(parameters[0]) :
18
+ Guard.IsEqual(ref, 'Evaluate') ? S.EvaluateDeferred(parameters[0]) :
19
+ Guard.IsEqual(ref, 'Exclude') ? S.ExcludeDeferred(parameters[0], parameters[1]) :
20
+ Guard.IsEqual(ref, 'Extract') ? S.ExtractDeferred(parameters[0], parameters[1]) :
21
+ Guard.IsEqual(ref, 'Index') ? S.IndexDeferred(parameters[0], parameters[1]) :
22
+ Guard.IsEqual(ref, 'InstanceType') ? S.InstanceTypeDeferred(parameters[0]) :
23
+ Guard.IsEqual(ref, 'Lowercase') ? S.LowercaseDeferred(parameters[0]) :
24
+ Guard.IsEqual(ref, 'NonNullable') ? S.NonNullableDeferred(parameters[0]) :
25
+ Guard.IsEqual(ref, 'Omit') ? S.OmitDeferred(parameters[0], parameters[1]) :
26
+ Guard.IsEqual(ref, 'Parameters') ? S.ParametersDeferred(parameters[0]) :
27
+ Guard.IsEqual(ref, 'Partial') ? S.PartialDeferred(parameters[0]) :
28
+ Guard.IsEqual(ref, 'Pick') ? S.PickDeferred(parameters[0], parameters[1]) :
29
+ Guard.IsEqual(ref, 'Readonly') ? S.ReadonlyObjectDeferred(parameters[0]) :
30
+ Guard.IsEqual(ref, 'KeyOf') ? S.KeyOfDeferred(parameters[0]) :
31
31
  Guard.IsEqual(ref, 'Record') ? T.RecordDeferred(parameters[0], parameters[1]) :
32
- Guard.IsEqual(ref, 'Required') ? C.RequiredDeferred(parameters[0]) :
33
- Guard.IsEqual(ref, 'ReturnType') ? C.ReturnTypeDeferred(parameters[0]) :
34
- Guard.IsEqual(ref, 'Uncapitalize') ? C.UncapitalizeDeferred(parameters[0]) :
35
- Guard.IsEqual(ref, 'Uppercase') ? C.UppercaseDeferred(parameters[0]) :
32
+ Guard.IsEqual(ref, 'Required') ? S.RequiredDeferred(parameters[0]) :
33
+ Guard.IsEqual(ref, 'ReturnType') ? S.ReturnTypeDeferred(parameters[0]) :
34
+ Guard.IsEqual(ref, 'Uncapitalize') ? S.UncapitalizeDeferred(parameters[0]) :
35
+ Guard.IsEqual(ref, 'Uppercase') ? S.UppercaseDeferred(parameters[0]) :
36
36
  T.CallConstruct(T.Ref(ref), parameters));
37
37
  // deno-coverage-ignore-stop
38
38
  }
@@ -189,7 +189,7 @@ export function WithMapping(input) {
189
189
  function FactorIndexArray(Type, indexArray) {
190
190
  return indexArray.reduce((result, left) => {
191
191
  const _left = left;
192
- return (Guard.IsEqual(_left.length, 1) ? C.IndexDeferred(result, _left[0]) :
192
+ return (Guard.IsEqual(_left.length, 1) ? S.IndexDeferred(result, _left[0]) :
193
193
  Guard.IsEqual(_left.length, 0) ? T.Array(result) :
194
194
  Unreachable());
195
195
  }, Type);
@@ -197,18 +197,18 @@ function FactorIndexArray(Type, indexArray) {
197
197
  // deno-coverage-ignore-stop
198
198
  function FactorExtends(type, extend) {
199
199
  return Guard.IsEqual(extend.length, 3)
200
- ? C.ConditionalDeferred(type, extend[0], extend[1], extend[2])
200
+ ? S.ConditionalDeferred(type, extend[0], extend[1], extend[2])
201
201
  : type;
202
202
  }
203
203
  function FactorWith(type, withClause) {
204
204
  return Guard.IsArray(withClause) && Guard.IsEqual(withClause.length, 0)
205
205
  ? type
206
- : C.WithDeferred(type, withClause);
206
+ : S.WithDeferred(type, withClause);
207
207
  }
208
208
  export function FactorMapping(input) {
209
209
  const [keyOf, type, indexArray, extend, withClause] = input;
210
210
  return FactorWith(keyOf
211
- ? FactorExtends(C.KeyOfDeferred(FactorIndexArray(type, indexArray)), extend)
211
+ ? FactorExtends(S.KeyOfDeferred(FactorIndexArray(type, indexArray)), extend)
212
212
  : FactorExtends(FactorIndexArray(type, indexArray), extend), withClause);
213
213
  }
214
214
  // deno-coverage-ignore-start
@@ -244,7 +244,7 @@ export function ExprMapping(input) {
244
244
  return ExprBinaryMapping(left, rest);
245
245
  }
246
246
  export function ExprReadonlyMapping(input) {
247
- return T.ImmutableAdd(input[1]);
247
+ return S.AddImmutableDeferred(input[1]);
248
248
  }
249
249
  export function ExprPipeMapping(input) {
250
250
  return input[1];
@@ -290,9 +290,9 @@ export function OptionalMapping(input) {
290
290
  export function PropertyMapping(input) {
291
291
  const [isReadonly, key, isOptional, _colon, type] = input;
292
292
  return {
293
- [key]: (isReadonly && isOptional ? T.ReadonlyAdd(T.OptionalAdd(type)) :
294
- isReadonly && !isOptional ? T.ReadonlyAdd(type) :
295
- !isReadonly && isOptional ? T.OptionalAdd(type) :
293
+ [key]: (isReadonly && isOptional ? S.AddReadonlyDeferred(S.AddOptionalDeferred(type)) :
294
+ isReadonly && !isOptional ? S.AddReadonlyDeferred(type) :
295
+ !isReadonly && isOptional ? S.AddOptionalDeferred(type) :
296
296
  type)
297
297
  };
298
298
  }
@@ -321,19 +321,19 @@ export function _Object_Mapping(input) {
321
321
  }
322
322
  // deno-coverage-ignore-start
323
323
  export function ElementNamedMapping(input) {
324
- return (Guard.IsEqual(input.length, 5) ? T.ReadonlyAdd(T.OptionalAdd(input[4])) :
324
+ return (Guard.IsEqual(input.length, 5) ? S.AddReadonlyDeferred(S.AddOptionalDeferred(input[4])) :
325
325
  Guard.IsEqual(input.length, 3) ? input[2] :
326
- Guard.IsEqual(input.length, 4) ? (Guard.IsEqual(input[2], 'readonly') ? T.ReadonlyAdd(input[3]) : T.OptionalAdd(input[3])) :
326
+ Guard.IsEqual(input.length, 4) ? (Guard.IsEqual(input[2], 'readonly') ? S.AddReadonlyDeferred(input[3]) : S.AddOptionalDeferred(input[3])) :
327
327
  Unreachable());
328
328
  }
329
329
  export function ElementReadonlyOptionalMapping(input) {
330
- return T.ReadonlyAdd(T.OptionalAdd(input[1]));
330
+ return S.AddReadonlyDeferred(S.AddOptionalDeferred(input[1]));
331
331
  }
332
332
  export function ElementReadonlyMapping(input) {
333
- return T.ReadonlyAdd(input[1]);
333
+ return S.AddReadonlyDeferred(input[1]);
334
334
  }
335
335
  export function ElementOptionalMapping(input) {
336
- return T.OptionalAdd(input[0]);
336
+ return S.AddOptionalDeferred(input[0]);
337
337
  }
338
338
  export function ElementBaseMapping(input) {
339
339
  return input;
@@ -351,13 +351,13 @@ export function _Tuple_Mapping(input) {
351
351
  return T.Tuple(input[1]);
352
352
  }
353
353
  export function ParameterReadonlyOptionalMapping(input) {
354
- return T.ReadonlyAdd(T.OptionalAdd(input[4]));
354
+ return S.AddReadonlyDeferred(S.AddOptionalDeferred(input[4]));
355
355
  }
356
356
  export function ParameterReadonlyMapping(input) {
357
- return T.ReadonlyAdd(input[3]);
357
+ return S.AddReadonlyDeferred(input[3]);
358
358
  }
359
359
  export function ParameterOptionalMapping(input) {
360
- return T.OptionalAdd(input[3]);
360
+ return S.AddOptionalDeferred(input[3]);
361
361
  }
362
362
  export function ParameterTypeMapping(input) {
363
363
  return input[2];
@@ -381,8 +381,8 @@ export function _Constructor_Mapping(input) {
381
381
  return T.Constructor(input[2], input[5]);
382
382
  }
383
383
  function ApplyReadonly(state, type) {
384
- return (Guard.IsEqual(state, 'remove') ? C.ReadonlyRemoveAction(type) :
385
- Guard.IsEqual(state, 'add') ? C.ReadonlyAddAction(type) :
384
+ return (Guard.IsEqual(state, 'remove') ? S.RemoveReadonlyDeferred(type) :
385
+ Guard.IsEqual(state, 'add') ? S.AddReadonlyDeferred(type) :
386
386
  type);
387
387
  }
388
388
  export function MappedReadonlyMapping(input) {
@@ -392,8 +392,8 @@ export function MappedReadonlyMapping(input) {
392
392
  'none');
393
393
  }
394
394
  function ApplyOptional(state, type) {
395
- return (Guard.IsEqual(state, 'remove') ? C.OptionalRemoveAction(type) :
396
- Guard.IsEqual(state, 'add') ? C.OptionalAddAction(type) :
395
+ return (Guard.IsEqual(state, 'remove') ? S.RemoveOptionalDeferred(type) :
396
+ Guard.IsEqual(state, 'add') ? S.AddOptionalDeferred(type) :
397
397
  type);
398
398
  }
399
399
  export function MappedOptionalMapping(input) {
@@ -407,45 +407,51 @@ export function MappedAsMapping(input) {
407
407
  }
408
408
  export function _Mapped_Mapping(input) {
409
409
  return (Guard.IsArray(input[6]) && Guard.IsEqual(input[6].length, 1)
410
- ? C.MappedDeferred(T.Identifier(input[3]), input[5], input[6][0], ApplyReadonly(input[1], ApplyOptional(input[8], input[10])))
411
- : C.MappedDeferred(T.Identifier(input[3]), input[5], T.Ref(input[3]), ApplyReadonly(input[1], ApplyOptional(input[8], input[10]))));
410
+ ? S.MappedDeferred(T.Identifier(input[3]), input[5], input[6][0], ApplyReadonly(input[1], ApplyOptional(input[8], input[10])))
411
+ : S.MappedDeferred(T.Identifier(input[3]), input[5], T.Ref(input[3]), ApplyReadonly(input[1], ApplyOptional(input[8], input[10]))));
412
412
  }
413
413
  export function ReferenceMapping(input) {
414
414
  return T.Ref(input);
415
415
  }
416
- export function JsonNumberMapping(input) {
416
+ export function WithBigIntMapping(input) {
417
+ return BigInt(input);
418
+ }
419
+ export function WithNumberMapping(input) {
417
420
  return parseFloat(input);
418
421
  }
419
- export function JsonBooleanMapping(input) {
422
+ export function WithBooleanMapping(input) {
420
423
  return Guard.IsEqual(input, 'true');
421
424
  }
422
- export function JsonStringMapping(input) {
425
+ export function WithStringMapping(input) {
423
426
  return input;
424
427
  }
425
- export function JsonNullMapping(input) {
428
+ export function WithNullMapping(input) {
426
429
  return null;
427
430
  }
428
- export function JsonPropertyMapping(input) {
431
+ export function WithUndefinedMapping(input) {
432
+ return undefined;
433
+ }
434
+ export function WithPropertyMapping(input) {
429
435
  return { [input[0]]: input[2] };
430
436
  }
431
- export function JsonPropertyListMapping(input) {
437
+ export function WithPropertyListMapping(input) {
432
438
  return Delimited(input);
433
439
  }
434
- function JsonObjectMappingReduce(propertyList) {
440
+ function WithObjectMappingReduce(propertyList) {
435
441
  return propertyList.reduce((result, left) => {
436
442
  return Memory.Assign(result, left);
437
443
  }, {});
438
444
  }
439
- export function JsonObjectMapping(input) {
440
- return JsonObjectMappingReduce(input[1]);
445
+ export function WithObjectMapping(input) {
446
+ return WithObjectMappingReduce(input[1]);
441
447
  }
442
- export function JsonElementListMapping(input) {
448
+ export function WithElementListMapping(input) {
443
449
  return Delimited(input);
444
450
  }
445
- export function JsonArrayMapping(input) {
451
+ export function WithArrayMapping(input) {
446
452
  return input[1];
447
453
  }
448
- export function JsonMapping(input) {
454
+ export function WithValueMapping(input) {
449
455
  return input;
450
456
  }
451
457
  export function PatternBigIntMapping(input) {
@@ -497,13 +503,13 @@ export function InterfaceDeclarationGenericMapping(input) {
497
503
  const heritage = input[3];
498
504
  const [properties, patternProperties] = input[4];
499
505
  const options = Guard.IsEqual(Guard.Keys(patternProperties).length, 0) ? {} : { patternProperties };
500
- return { [input[1]]: T.Generic(parameters, C.InterfaceDeferred(heritage, properties, options)) };
506
+ return { [input[1]]: T.Generic(parameters, S.InterfaceDeferred(heritage, properties, options)) };
501
507
  }
502
508
  export function InterfaceDeclarationMapping(input) {
503
509
  const heritage = input[2];
504
510
  const [properties, patternProperties] = input[3];
505
511
  const options = Guard.IsEqual(Guard.Keys(patternProperties).length, 0) ? {} : { patternProperties };
506
- return { [input[1]]: C.InterfaceDeferred(heritage, properties, options) };
512
+ return { [input[1]]: S.InterfaceDeferred(heritage, properties, options) };
507
513
  }
508
514
  export function TypeAliasDeclarationGenericMapping(input) {
509
515
  return { [input[1]]: T.Generic(input[2], input[4]) };
@@ -526,7 +532,7 @@ export function ModuleDeclarationMapping(input) {
526
532
  export function ModuleMapping(input) {
527
533
  const moduleDeclaration = input[0];
528
534
  const moduleDeclarationList = input[1];
529
- return C.ModuleDeferred(Memory.Assign(moduleDeclaration, moduleDeclarationList[0]));
535
+ return S.ModuleDeferred(Memory.Assign(moduleDeclaration, moduleDeclarationList[0]));
530
536
  }
531
537
  export function ScriptMapping(input) {
532
538
  return input;