@duckmind/dm-darwin-arm64 0.36.5 → 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 (168) hide show
  1. package/dm +0 -0
  2. package/extensions/.dm-extensions.json +1 -1
  3. package/extensions/dm-9router-ext/package.json +1 -1
  4. package/extensions/dm-9router-ext/src/index.ts +1 -1
  5. package/extensions/dm-ask-user/README.md +3 -3
  6. package/extensions/dm-ask-user/index.ts +2 -2
  7. package/extensions/dm-ask-user/package.json +4 -4
  8. package/extensions/dm-cli-anything/package.json +1 -1
  9. package/extensions/dm-context/package.json +1 -1
  10. package/extensions/dm-context/src/context.ts +2 -2
  11. package/extensions/dm-context/src/index.ts +3 -3
  12. package/extensions/dm-cua/package.json +2 -2
  13. package/extensions/dm-goal/package.json +6 -6
  14. package/extensions/dm-goal/src/commands.ts +1 -1
  15. package/extensions/dm-goal/src/index.ts +1 -1
  16. package/extensions/dm-goal/src/tools.ts +2 -2
  17. package/extensions/dm-goal/test/index.test.ts +1 -1
  18. package/extensions/dm-image2/index.js +1 -1
  19. package/extensions/dm-image2/package.json +2 -2
  20. package/extensions/dm-image2/src/image-lib.mjs +1 -1
  21. package/extensions/dm-last30days/package.json +1 -1
  22. package/extensions/dm-subagents/CHANGELOG.md +2 -2
  23. package/extensions/dm-subagents/node_modules/.package-lock.json +9 -0
  24. package/extensions/dm-subagents/package-lock.json +136 -2935
  25. package/extensions/dm-subagents/package.json +6 -6
  26. package/extensions/dm-subagents/src/agent-manager.ts +2 -2
  27. package/extensions/dm-subagents/src/agent-record.ts +1 -1
  28. package/extensions/dm-subagents/src/agent-runner.ts +2 -2
  29. package/extensions/dm-subagents/src/context.ts +1 -1
  30. package/extensions/dm-subagents/src/custom-agents.ts +1 -1
  31. package/extensions/dm-subagents/src/execution-state.ts +1 -1
  32. package/extensions/dm-subagents/src/index.ts +2 -2
  33. package/extensions/dm-subagents/src/parent-snapshot.ts +1 -1
  34. package/extensions/dm-subagents/src/renderer.ts +1 -1
  35. package/extensions/dm-subagents/src/service-adapter.ts +1 -1
  36. package/extensions/dm-subagents/src/settings.ts +1 -1
  37. package/extensions/dm-subagents/src/skill-loader.ts +1 -1
  38. package/extensions/dm-subagents/src/tools/agent-tool.ts +2 -2
  39. package/extensions/dm-subagents/src/tools/foreground-runner.ts +1 -1
  40. package/extensions/dm-subagents/src/tools/get-result-tool.ts +1 -1
  41. package/extensions/dm-subagents/src/tools/spawn-config.ts +1 -1
  42. package/extensions/dm-subagents/src/tools/steer-tool.ts +1 -1
  43. package/extensions/dm-subagents/src/types.ts +1 -1
  44. package/extensions/dm-subagents/src/ui/agent-config-editor.ts +1 -1
  45. package/extensions/dm-subagents/src/ui/agent-creation-wizard.ts +1 -1
  46. package/extensions/dm-subagents/src/ui/agent-menu.ts +1 -1
  47. package/extensions/dm-subagents/src/ui/conversation-viewer.ts +2 -2
  48. package/extensions/dm-subagents/src/ui/widget-renderer.ts +1 -1
  49. package/extensions/dm-subagents/test/agent-runner.test.ts +1 -1
  50. package/extensions/dm-subagents/test/conversation-viewer.test.ts +6 -6
  51. package/extensions/dm-subagents/test/custom-agents.test.ts +6 -6
  52. package/extensions/dm-subagents/test/helpers/mock-session.ts +1 -1
  53. package/extensions/dm-subagents/test/helpers/stub-ctx.ts +1 -1
  54. package/extensions/dm-subagents/test/parent-snapshot.test.ts +1 -1
  55. package/extensions/dm-subagents/test/settings.test.ts +5 -5
  56. package/extensions/dm-subagents/test/skill-loader.test.ts +5 -5
  57. package/extensions/dm-subagents/test/unit/subagent-contract.test.ts +5 -3
  58. package/extensions/dm-tasks/node_modules/.package-lock.json +3 -3
  59. package/extensions/dm-tasks/node_modules/typebox/build/schema/types/dependencies.mjs +1 -1
  60. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_immutable.d.mts +11 -0
  61. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_immutable.mjs +11 -0
  62. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_optional.d.mts +11 -0
  63. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_optional.mjs +11 -0
  64. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_readonly.d.mts +11 -0
  65. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_add_readonly.mjs +11 -0
  66. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_immutable.d.mts +11 -0
  67. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_immutable.mjs +11 -0
  68. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_optional.d.mts +11 -0
  69. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_optional.mjs +11 -0
  70. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_readonly.d.mts +11 -0
  71. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_remove_readonly.mjs +11 -0
  72. package/extensions/dm-tasks/node_modules/typebox/build/type/action/conditional.d.mts +2 -3
  73. package/extensions/dm-tasks/node_modules/typebox/build/type/action/conditional.mjs +2 -1
  74. package/extensions/dm-tasks/node_modules/typebox/build/type/action/index.d.mts +6 -2
  75. package/extensions/dm-tasks/node_modules/typebox/build/type/action/index.mjs +6 -2
  76. package/extensions/dm-tasks/node_modules/typebox/build/type/action/mapped.d.mts +2 -3
  77. package/extensions/dm-tasks/node_modules/typebox/build/type/action/mapped.mjs +2 -1
  78. package/extensions/dm-tasks/node_modules/typebox/build/type/action/module.d.mts +8 -7
  79. package/extensions/dm-tasks/node_modules/typebox/build/type/action/module.mjs +7 -6
  80. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/call/instantiate.d.mts +1 -3
  81. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/call/instantiate.mjs +3 -2
  82. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/constructor_parameters/instantiate.d.mts +3 -4
  83. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/constructor_parameters/instantiate.mjs +2 -1
  84. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/cyclic/instantiate.d.mts +2 -5
  85. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/cyclic/instantiate.mjs +3 -2
  86. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/evaluate/composite.d.mts +10 -6
  87. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/evaluate/composite.mjs +10 -6
  88. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_add.d.mts +10 -0
  89. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_add.mjs +14 -0
  90. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_remove.d.mts +10 -0
  91. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/immutable/instantiate_remove.mjs +14 -0
  92. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/instantiate.d.mts +38 -21
  93. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/instantiate.mjs +65 -62
  94. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/interface/instantiate.d.mts +3 -6
  95. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/module/instantiate.d.mts +7 -9
  96. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/module/instantiate.mjs +17 -15
  97. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_add.d.mts +10 -0
  98. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_add.mjs +14 -0
  99. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_remove.d.mts +10 -0
  100. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/optional/instantiate_remove.mjs +14 -0
  101. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/parameters/instantiate.d.mts +3 -4
  102. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/parameters/instantiate.mjs +2 -1
  103. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/partial/from_object.d.mts +2 -2
  104. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/partial/from_object.mjs +2 -2
  105. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_add.d.mts +10 -0
  106. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_add.mjs +14 -0
  107. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_remove.d.mts +10 -0
  108. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly/instantiate_remove.mjs +14 -0
  109. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_array.d.mts +2 -2
  110. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_array.mjs +2 -2
  111. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_object.d.mts +2 -2
  112. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_object.mjs +2 -2
  113. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_tuple.d.mts +2 -2
  114. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/readonly_object/from_tuple.mjs +2 -2
  115. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/ref/instantiate.d.mts +3 -3
  116. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/ref/instantiate.mjs +6 -6
  117. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/required/from_object.d.mts +2 -2
  118. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/required/from_object.mjs +2 -2
  119. package/extensions/dm-tasks/node_modules/typebox/build/type/engine/template_literal/is_pattern.mjs +1 -0
  120. package/extensions/dm-tasks/node_modules/typebox/build/type/extends/tuple.d.mts +3 -6
  121. package/extensions/dm-tasks/node_modules/typebox/build/type/extends/tuple.mjs +3 -2
  122. package/extensions/dm-tasks/node_modules/typebox/build/type/script/mapping.d.mts +68 -64
  123. package/extensions/dm-tasks/node_modules/typebox/build/type/script/mapping.mjs +64 -58
  124. package/extensions/dm-tasks/node_modules/typebox/build/type/script/parser.d.mts +29 -25
  125. package/extensions/dm-tasks/node_modules/typebox/build/type/script/parser.mjs +15 -13
  126. package/extensions/dm-tasks/node_modules/typebox/build/type/script/script.d.mts +3 -4
  127. package/extensions/dm-tasks/node_modules/typebox/build/type/script/script.mjs +3 -2
  128. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_immutable.d.mts +2 -9
  129. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_immutable.mjs +2 -10
  130. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_optional.d.mts +2 -9
  131. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_optional.mjs +2 -11
  132. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_readonly.d.mts +2 -9
  133. package/extensions/dm-tasks/node_modules/typebox/build/type/types/_readonly.mjs +2 -10
  134. package/extensions/dm-tasks/node_modules/typebox/build/type/types/call.d.mts +3 -3
  135. package/extensions/dm-tasks/node_modules/typebox/build/type/types/call.mjs +3 -2
  136. package/extensions/dm-tasks/node_modules/typebox/build/type/types/deferred.d.mts +1 -0
  137. package/extensions/dm-tasks/node_modules/typebox/build/type/types/deferred.mjs +1 -1
  138. package/extensions/dm-tasks/node_modules/typebox/package.json +1 -1
  139. package/extensions/dm-tasks/package-lock.json +3 -3
  140. package/extensions/dm-tasks/src/index.ts +1 -1
  141. package/extensions/dm-tasks/src/ui/settings-menu.ts +2 -2
  142. package/extensions/dm-tasks/src/ui/task-widget.ts +1 -1
  143. package/extensions/dm-ultradex/AGENTS.md +2 -2
  144. package/extensions/dm-ultradex/account-manager.test.ts +1 -1
  145. package/extensions/dm-ultradex/account-manager.ts +1 -1
  146. package/extensions/dm-ultradex/auth.ts +1 -1
  147. package/extensions/dm-ultradex/browser.ts +1 -1
  148. package/extensions/dm-ultradex/commands.ts +4 -4
  149. package/extensions/dm-ultradex/extension.ts +2 -2
  150. package/extensions/dm-ultradex/index.test.ts +5 -3
  151. package/extensions/dm-ultradex/node_modules/.package-lock.json +9 -0
  152. package/extensions/dm-ultradex/package-lock.json +130 -2526
  153. package/extensions/dm-ultradex/package.json +7 -7
  154. package/extensions/dm-ultradex/provider.ts +2 -2
  155. package/extensions/dm-ultradex/refresh-race.test.ts +2 -2
  156. package/extensions/dm-ultradex/status.ts +4 -4
  157. package/extensions/dm-ultradex/stream-wrapper.ts +1 -1
  158. package/extensions/dm-usage/index.ts +3 -3
  159. package/extensions/dm-usage/package.json +4 -4
  160. package/extensions/greedysearch-dm/index.ts +1 -1
  161. package/extensions/greedysearch-dm/package-lock.json +2 -2
  162. package/extensions/greedysearch-dm/package.json +2 -2
  163. package/extensions/greedysearch-dm/src/tools/greedy-search-handler.ts +2 -2
  164. package/package.json +1 -1
  165. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_optional.d.mts +0 -19
  166. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_optional.mjs +0 -40
  167. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_readonly.d.mts +0 -19
  168. package/extensions/dm-tasks/node_modules/typebox/build/type/action/_readonly.mjs +0 -40
@@ -2,12 +2,6 @@
2
2
  // deno-lint-ignore-file
3
3
  import { Guard } from '../../guard/index.mjs';
4
4
  // ------------------------------------------------------------------
5
- // Modifiers
6
- // ------------------------------------------------------------------
7
- import { IsImmutable, Immutable } from '../types/_immutable.mjs';
8
- import { IsOptional, OptionalAdd, OptionalRemove } from '../types/_optional.mjs';
9
- import { IsReadonly, ReadonlyAdd, ReadonlyRemove } from '../types/_readonly.mjs';
10
- // ------------------------------------------------------------------
11
5
  // Types
12
6
  // ------------------------------------------------------------------
13
7
  import { IsBase } from '../types/base.mjs';
@@ -28,10 +22,17 @@ import { Union, IsUnion, UnionOptions } from '../types/union.mjs';
28
22
  import { IsRef } from '../types/ref.mjs';
29
23
  import { Rest, IsRest } from '../types/rest.mjs';
30
24
  // ------------------------------------------------------------------
31
- // Modifier Actions
25
+ // Modifier Instantiate
32
26
  // ------------------------------------------------------------------
33
- import { IsReadonlyAddAction, IsReadonlyRemoveAction } from '../action/_readonly.mjs';
34
- import { IsOptionalAddAction, IsOptionalRemoveAction } from '../action/_optional.mjs';
27
+ import { AddImmutableInstantiate } from './immutable/instantiate_add.mjs';
28
+ import { RemoveImmutableInstantiate } from './immutable/instantiate_remove.mjs';
29
+ import { AddReadonlyInstantiate } from './readonly/instantiate_add.mjs';
30
+ import { RemoveReadonlyInstantiate } from './readonly/instantiate_remove.mjs';
31
+ import { AddOptionalInstantiate } from './optional/instantiate_add.mjs';
32
+ import { RemoveOptionalInstantiate } from './optional/instantiate_remove.mjs';
33
+ import { Optional, IsOptional } from '../types/_optional.mjs';
34
+ import { Immutable, IsImmutable } from '../types/_immutable.mjs';
35
+ import { Readonly, IsReadonly } from '../types/_readonly.mjs';
35
36
  // ------------------------------------------------------------------
36
37
  // Instantiate
37
38
  // ------------------------------------------------------------------
@@ -65,28 +66,14 @@ import { UncapitalizeInstantiate } from './intrinsics/instantiate.mjs';
65
66
  import { UppercaseInstantiate } from './intrinsics/instantiate.mjs';
66
67
  import { WithInstantiate } from './with/instantiate.mjs';
67
68
  import { RestSpread } from './rest/index.mjs';
69
+ export function State(callstack, visited) {
70
+ return { callstack, visited };
71
+ }
68
72
  export function CanInstantiate(types) {
69
73
  return Guard.TakeLeft(types, (left, right) => IsRef(left)
70
74
  ? false
71
75
  : CanInstantiate(right), () => true);
72
76
  }
73
- function ModifierActions(type, readonly, optional) {
74
- return (IsReadonlyRemoveAction(type) ? ModifierActions(type.type, 'remove', optional) :
75
- IsOptionalRemoveAction(type) ? ModifierActions(type.type, readonly, 'remove') :
76
- IsReadonlyAddAction(type) ? ModifierActions(type.type, 'add', optional) :
77
- IsOptionalAddAction(type) ? ModifierActions(type.type, readonly, 'add') :
78
- [type, readonly, optional]);
79
- }
80
- function ApplyReadonly(action, type) {
81
- return (Guard.IsEqual(action, 'remove') ? ReadonlyRemove(type) :
82
- Guard.IsEqual(action, 'add') ? ReadonlyAdd(type) :
83
- type);
84
- }
85
- function ApplyOptional(action, type) {
86
- return (Guard.IsEqual(action, 'remove') ? OptionalRemove(type) :
87
- Guard.IsEqual(action, 'add') ? OptionalAdd(type) :
88
- type);
89
- }
90
77
  export function InstantiateProperties(context, state, properties) {
91
78
  return Guard.Keys(properties).reduce((result, key) => {
92
79
  return { ...result, [key]: InstantiateType(context, state, properties[key]) };
@@ -101,40 +88,47 @@ export function InstantiateTypes(context, state, types) {
101
88
  return types.map(type => InstantiateType(context, state, type));
102
89
  }
103
90
  function InstantiateDeferred(context, state, action, parameters, options) {
104
- return (Guard.IsEqual(action, 'Awaited') ? AwaitedInstantiate(context, state, parameters[0], options) :
105
- Guard.IsEqual(action, 'Capitalize') ? CapitalizeInstantiate(context, state, parameters[0], options) :
106
- Guard.IsEqual(action, 'Conditional') ? ConditionalInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) :
107
- Guard.IsEqual(action, 'ConstructorParameters') ? ConstructorParametersInstantiate(context, state, parameters[0], options) :
108
- Guard.IsEqual(action, 'Evaluate') ? EvaluateInstantiate(context, state, parameters[0], options) :
109
- Guard.IsEqual(action, 'Exclude') ? ExcludeInstantiate(context, state, parameters[0], parameters[1], options) :
110
- Guard.IsEqual(action, 'Extract') ? ExtractInstantiate(context, state, parameters[0], parameters[1], options) :
111
- Guard.IsEqual(action, 'Index') ? IndexInstantiate(context, state, parameters[0], parameters[1], options) :
112
- Guard.IsEqual(action, 'InstanceType') ? InstanceTypeInstantiate(context, state, parameters[0], options) :
113
- Guard.IsEqual(action, 'Interface') ? InterfaceInstantiate(context, state, parameters[0], parameters[1], options) :
114
- Guard.IsEqual(action, 'KeyOf') ? KeyOfInstantiate(context, state, parameters[0], options) :
115
- Guard.IsEqual(action, 'Lowercase') ? LowercaseInstantiate(context, state, parameters[0], options) :
116
- Guard.IsEqual(action, 'Mapped') ? MappedInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) :
117
- Guard.IsEqual(action, 'Module') ? ModuleInstantiate(context, state, parameters[0], options) :
118
- Guard.IsEqual(action, 'NonNullable') ? NonNullableInstantiate(context, state, parameters[0], options) :
119
- Guard.IsEqual(action, 'Pick') ? PickInstantiate(context, state, parameters[0], parameters[1], options) :
120
- Guard.IsEqual(action, 'Parameters') ? ParametersInstantiate(context, state, parameters[0], options) :
121
- Guard.IsEqual(action, 'Partial') ? PartialInstantiate(context, state, parameters[0], options) :
122
- Guard.IsEqual(action, 'Omit') ? OmitInstantiate(context, state, parameters[0], parameters[1], options) :
123
- Guard.IsEqual(action, 'ReadonlyObject') ? ReadonlyObjectInstantiate(context, state, parameters[0], options) :
124
- Guard.IsEqual(action, 'Record') ? RecordInstantiate(context, state, parameters[0], parameters[1], options) :
125
- Guard.IsEqual(action, 'Required') ? RequiredInstantiate(context, state, parameters[0], options) :
126
- Guard.IsEqual(action, 'ReturnType') ? ReturnTypeInstantiate(context, state, parameters[0], options) :
127
- Guard.IsEqual(action, 'TemplateLiteral') ? TemplateLiteralInstantiate(context, state, parameters[0], options) :
128
- Guard.IsEqual(action, 'Uncapitalize') ? UncapitalizeInstantiate(context, state, parameters[0], options) :
129
- Guard.IsEqual(action, 'Uppercase') ? UppercaseInstantiate(context, state, parameters[0], options) :
130
- Guard.IsEqual(action, 'With') ? WithInstantiate(context, state, parameters[0], parameters[1]) :
131
- Deferred(action, parameters, options));
91
+ return (
92
+ // Modifier Actions
93
+ Guard.IsEqual(action, 'AddImmutable') ? AddImmutableInstantiate(context, state, parameters[0], options) :
94
+ Guard.IsEqual(action, 'RemoveImmutable') ? RemoveImmutableInstantiate(context, state, parameters[0], options) :
95
+ Guard.IsEqual(action, 'AddReadonly') ? AddReadonlyInstantiate(context, state, parameters[0], options) :
96
+ Guard.IsEqual(action, 'RemoveReadonly') ? RemoveReadonlyInstantiate(context, state, parameters[0], options) :
97
+ Guard.IsEqual(action, 'AddOptional') ? AddOptionalInstantiate(context, state, parameters[0], options) :
98
+ Guard.IsEqual(action, 'RemoveOptional') ? RemoveOptionalInstantiate(context, state, parameters[0], options) :
99
+ // Actions
100
+ Guard.IsEqual(action, 'Awaited') ? AwaitedInstantiate(context, state, parameters[0], options) :
101
+ Guard.IsEqual(action, 'Capitalize') ? CapitalizeInstantiate(context, state, parameters[0], options) :
102
+ Guard.IsEqual(action, 'Conditional') ? ConditionalInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) :
103
+ Guard.IsEqual(action, 'ConstructorParameters') ? ConstructorParametersInstantiate(context, state, parameters[0], options) :
104
+ Guard.IsEqual(action, 'Evaluate') ? EvaluateInstantiate(context, state, parameters[0], options) :
105
+ Guard.IsEqual(action, 'Exclude') ? ExcludeInstantiate(context, state, parameters[0], parameters[1], options) :
106
+ Guard.IsEqual(action, 'Extract') ? ExtractInstantiate(context, state, parameters[0], parameters[1], options) :
107
+ Guard.IsEqual(action, 'Index') ? IndexInstantiate(context, state, parameters[0], parameters[1], options) :
108
+ Guard.IsEqual(action, 'InstanceType') ? InstanceTypeInstantiate(context, state, parameters[0], options) :
109
+ Guard.IsEqual(action, 'Interface') ? InterfaceInstantiate(context, state, parameters[0], parameters[1], options) :
110
+ Guard.IsEqual(action, 'KeyOf') ? KeyOfInstantiate(context, state, parameters[0], options) :
111
+ Guard.IsEqual(action, 'Lowercase') ? LowercaseInstantiate(context, state, parameters[0], options) :
112
+ Guard.IsEqual(action, 'Mapped') ? MappedInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) :
113
+ Guard.IsEqual(action, 'Module') ? ModuleInstantiate(context, state, parameters[0], options) :
114
+ Guard.IsEqual(action, 'NonNullable') ? NonNullableInstantiate(context, state, parameters[0], options) :
115
+ Guard.IsEqual(action, 'Pick') ? PickInstantiate(context, state, parameters[0], parameters[1], options) :
116
+ Guard.IsEqual(action, 'Parameters') ? ParametersInstantiate(context, state, parameters[0], options) :
117
+ Guard.IsEqual(action, 'Partial') ? PartialInstantiate(context, state, parameters[0], options) :
118
+ Guard.IsEqual(action, 'Omit') ? OmitInstantiate(context, state, parameters[0], parameters[1], options) :
119
+ Guard.IsEqual(action, 'ReadonlyObject') ? ReadonlyObjectInstantiate(context, state, parameters[0], options) :
120
+ Guard.IsEqual(action, 'Record') ? RecordInstantiate(context, state, parameters[0], parameters[1], options) :
121
+ Guard.IsEqual(action, 'Required') ? RequiredInstantiate(context, state, parameters[0], options) :
122
+ Guard.IsEqual(action, 'ReturnType') ? ReturnTypeInstantiate(context, state, parameters[0], options) :
123
+ Guard.IsEqual(action, 'TemplateLiteral') ? TemplateLiteralInstantiate(context, state, parameters[0], options) :
124
+ Guard.IsEqual(action, 'Uncapitalize') ? UncapitalizeInstantiate(context, state, parameters[0], options) :
125
+ Guard.IsEqual(action, 'Uppercase') ? UppercaseInstantiate(context, state, parameters[0], options) :
126
+ Guard.IsEqual(action, 'With') ? WithInstantiate(context, state, parameters[0], parameters[1]) :
127
+ Deferred(action, parameters, options));
132
128
  }
133
- export function InstantiateType(context, state, input) {
134
- const immutable = IsImmutable(input);
135
- const modifiers = ModifierActions(input, IsReadonly(input) ? 'add' : 'none', IsOptional(input) ? 'add' : 'none');
136
- const type = IsBase(modifiers[0]) ? modifiers[0].Clone() : modifiers[0];
137
- const instantiated = (IsRef(type) ? RefInstantiate(context, state, type, type.$ref) :
129
+ export function InstantiateImmediate(context, state, type) {
130
+ type = (IsBase(type) ? type.Clone() : type);
131
+ const result = (IsRef(type) ? RefInstantiate(context, state, type, type.$ref) :
138
132
  IsArray(type) ? _Array_(InstantiateType(context, state, type.items), ArrayOptions(type)) :
139
133
  IsAsyncIterator(type) ? AsyncIterator(InstantiateType(context, state, type.iteratorItems), AsyncIteratorOptions(type)) :
140
134
  IsCall(type) ? CallInstantiate(context, state, type.target, type.arguments) :
@@ -151,11 +145,20 @@ export function InstantiateType(context, state, input) {
151
145
  IsTuple(type) ? Tuple(InstantiateElements(context, state, type.items), TupleOptions(type)) :
152
146
  IsUnion(type) ? Union(InstantiateTypes(context, state, type.anyOf), UnionOptions(type)) :
153
147
  type);
154
- const withImmutable = immutable ? Immutable(instantiated) : instantiated;
155
- const withModifiers = ApplyReadonly(modifiers[1], ApplyOptional(modifiers[2], withImmutable));
148
+ return result;
149
+ }
150
+ function WithModifiers(type, instantiatedType) {
151
+ const withImmutable = IsImmutable(type) ? Immutable(instantiatedType) : instantiatedType;
152
+ const withReadonly = IsReadonly(type) ? Readonly(withImmutable) : withImmutable;
153
+ const withOptional = IsOptional(type) ? Optional(withReadonly) : withReadonly;
154
+ return withOptional;
155
+ }
156
+ export function InstantiateType(context, state, type) {
157
+ const instantiatedType = InstantiateImmediate(context, state, type);
158
+ const withModifiers = IsDeferred(type) ? instantiatedType : WithModifiers(type, instantiatedType);
156
159
  return withModifiers;
157
160
  }
158
161
  /** Instantiates computed schematics using the given context and type. */
159
162
  export function Instantiate(context, type) {
160
- return InstantiateType(context, { callstack: [] }, type);
163
+ return InstantiateType(context, State([], []), type);
161
164
  }
@@ -3,16 +3,13 @@ import { type TProperties } from '../../types/properties.mjs';
3
3
  import { type TObject } from '../../types/object.mjs';
4
4
  import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
5
5
  import { type TInterfaceDeferred } from '../../action/index.mjs';
6
- import { type TState, type TCanInstantiate } from '../instantiate.mjs';
6
+ import { type TCanInstantiate } from '../instantiate.mjs';
7
7
  import { type TInstantiateProperties } from '../instantiate.mjs';
8
8
  import { type TInstantiateTypes } from '../instantiate.mjs';
9
+ import { type TState } from '../instantiate.mjs';
9
10
  type TInterfaceOperation<Heritage extends TSchema[], Properties extends TProperties, Result extends TSchema = TEvaluateIntersect<[...Heritage, TObject<Properties>]>> = Result;
10
11
  export type TInterfaceAction<Heritage extends TSchema[], Properties extends TProperties, Result extends TSchema = TCanInstantiate<Heritage> extends true ? TInterfaceOperation<Heritage, Properties> : TInterfaceDeferred<Heritage, Properties>> = Result;
11
12
  export declare function InterfaceAction<Heritage extends TSchema[], Properties extends TProperties>(heritage: [...Heritage], properties: Properties, options: TSchemaOptions): TInterfaceAction<Heritage, Properties>;
12
- export type TInterfaceInstantiate<Context extends TProperties, State extends TState, Heritage extends TSchema[], Properties extends TProperties, InstantiatedHeritage extends TSchema[] = TInstantiateTypes<Context, {
13
- callstack: [];
14
- }, Heritage>, InstantiatedProperties extends TProperties = TInstantiateProperties<Context, {
15
- callstack: [];
16
- }, Properties>> = TInterfaceAction<InstantiatedHeritage, InstantiatedProperties>;
13
+ export type TInterfaceInstantiate<Context extends TProperties, State extends TState, Heritage extends TSchema[], Properties extends TProperties, InstantiatedHeritage extends TSchema[] = TInstantiateTypes<Context, State, Heritage>, InstantiatedProperties extends TProperties = TInstantiateProperties<Context, State, Properties>> = TInterfaceAction<InstantiatedHeritage, InstantiatedProperties>;
17
14
  export declare function InterfaceInstantiate<Context extends TProperties, State extends TState, Heritage extends TSchema[], Properties extends TProperties>(context: Context, state: State, heritage: [...Heritage], properties: Properties, options: TSchemaOptions): TInterfaceInstantiate<Context, State, Heritage, Properties>;
18
15
  export {};
@@ -5,17 +5,15 @@ import { type TState } from '../instantiate.mjs';
5
5
  import { type TCyclicCandidates } from '../cyclic/candidates.mjs';
6
6
  import { type TInstantiateCyclic } from '../cyclic/instantiate.mjs';
7
7
  import { type TInstantiateType } from '../instantiate.mjs';
8
- type TInstantiateCyclics<Context extends TProperties, CyclicKeys extends string[], Result extends TProperties = {
9
- [Key in Extract<keyof Context, CyclicKeys[number]>]: TInstantiateCyclic<Context, Key, Context[Key]>;
8
+ type TInstantiateCyclics<Context extends TProperties, Declarations extends TProperties, CyclicKeys extends string[], DeclarationContext extends TProperties = Memory.TAssign<Context, Declarations>, Result extends TProperties = {
9
+ [Key in Extract<keyof Declarations, CyclicKeys[number]>]: TInstantiateCyclic<DeclarationContext, Key, Declarations[Key]>;
10
10
  }> = Result;
11
- type TInstantiateNonCyclics<Context extends TProperties, CyclicKeys extends string[], Result extends TProperties = {
12
- [Key in Exclude<keyof Context, CyclicKeys[number]>]: TInstantiateType<Context, {
13
- callstack: [];
14
- }, Context[Key]>;
11
+ type TInstantiateNonCyclics<Context extends TProperties, Declarations extends TProperties, CyclicKeys extends string[], DeclarationContext extends TProperties = Memory.TAssign<Context, Declarations>, Result extends TProperties = {
12
+ [Key in Exclude<keyof Declarations, CyclicKeys[number]>]: TInstantiateType<DeclarationContext, TState<[], []>, Declarations[Key]>;
15
13
  }> = Result;
16
- type TInstantiateModule<Context extends TProperties, CyclicCandidates extends string[] = TCyclicCandidates<Context>, InstantiatedCyclics extends TProperties = TInstantiateCyclics<Context, CyclicCandidates>, InstantiatedNonCyclics extends TProperties = TInstantiateNonCyclics<Context, CyclicCandidates>, InstantiatedModule extends TProperties = InstantiatedCyclics & InstantiatedNonCyclics> = {
14
+ type TInstantiateModule<Context extends TProperties, Declarations extends TProperties, CyclicCandidates extends string[] = TCyclicCandidates<Declarations>, InstantiatedCyclics extends TProperties = TInstantiateCyclics<Context, Declarations, CyclicCandidates>, InstantiatedNonCyclics extends TProperties = TInstantiateNonCyclics<Context, Declarations, CyclicCandidates>, InstantiatedModule extends TProperties = InstantiatedCyclics & InstantiatedNonCyclics> = {
17
15
  [Key in keyof InstantiatedModule]: InstantiatedModule[Key];
18
16
  } & {};
19
- export type TModuleInstantiate<Context extends TProperties, _State extends TState, Properties extends TProperties, ModuleContext extends TProperties = Memory.TAssign<Context, Properties>, InstantiatedModule extends TProperties = TInstantiateModule<ModuleContext>> = InstantiatedModule;
20
- export declare function ModuleInstantiate<Context extends TProperties, State extends TState, Properties extends TProperties>(context: Context, _state: State, properties: Properties, options: TSchemaOptions): TModuleInstantiate<Context, State, Properties>;
17
+ export type TModuleInstantiate<Context extends TProperties, _State extends TState, Declarations extends TProperties, InstantiatedModule extends TProperties = TInstantiateModule<Context, Declarations>> = InstantiatedModule;
18
+ export declare function ModuleInstantiate<Context extends TProperties, State extends TState, Declarations extends TProperties>(context: Context, _state: State, declarations: Declarations, options: TSchemaOptions): TModuleInstantiate<Context, State, Declarations>;
21
19
  export {};
@@ -2,33 +2,35 @@
2
2
  // deno-fmt-ignore-file
3
3
  import { Guard } from '../../../guard/index.mjs';
4
4
  import { Memory } from '../../../system/memory/index.mjs';
5
+ import { State } from '../instantiate.mjs';
5
6
  // ------------------------------------------------------------------
6
7
  // Module: Instantiation Infrastructure
7
8
  // ------------------------------------------------------------------
8
9
  import { CyclicCandidates } from '../cyclic/candidates.mjs';
9
10
  import { InstantiateCyclic } from '../cyclic/instantiate.mjs';
10
11
  import { InstantiateType } from '../instantiate.mjs';
11
- function InstantiateCyclics(context, cyclicKeys) {
12
- const keys = Guard.Keys(context).filter(key => cyclicKeys.includes(key));
13
- return keys.reduce((result, key) => {
14
- return { ...result, [key]: InstantiateCyclic(context, key, context[key]) };
12
+ function InstantiateCyclics(context, declarations, cyclicKeys) {
13
+ const declarationContext = Memory.Assign(context, declarations);
14
+ const declarationKeys = Guard.Keys(declarations).filter(key => cyclicKeys.includes(key));
15
+ return declarationKeys.reduce((result, key) => {
16
+ return { ...result, [key]: InstantiateCyclic(declarationContext, key, declarations[key]) };
15
17
  }, {});
16
18
  }
17
- function InstantiateNonCyclics(context, cyclicKeys) {
18
- const keys = Guard.Keys(context).filter(key => !cyclicKeys.includes(key));
19
- return keys.reduce((result, key) => {
20
- return { ...result, [key]: InstantiateType(context, { callstack: [] }, context[key]) };
19
+ function InstantiateNonCyclics(context, declarations, cyclicKeys) {
20
+ const declarationContext = Memory.Assign(context, declarations);
21
+ const declarationKeys = Guard.Keys(declarations).filter(key => !cyclicKeys.includes(key));
22
+ return declarationKeys.reduce((result, key) => {
23
+ return { ...result, [key]: InstantiateType(declarationContext, State([], []), declarations[key]) };
21
24
  }, {});
22
25
  }
23
- function InstantiateModule(context, options) {
24
- const cyclicCandidates = CyclicCandidates(context);
25
- const instantiatedCyclics = InstantiateCyclics(context, cyclicCandidates);
26
- const instantiatedNonCyclics = InstantiateNonCyclics(context, cyclicCandidates);
26
+ function InstantiateModule(context, declarations, options) {
27
+ const cyclicCandidates = CyclicCandidates(declarations);
28
+ const instantiatedCyclics = InstantiateCyclics(context, declarations, cyclicCandidates);
29
+ const instantiatedNonCyclics = InstantiateNonCyclics(context, declarations, cyclicCandidates);
27
30
  const instantiatedModule = { ...instantiatedCyclics, ...instantiatedNonCyclics };
28
31
  return Memory.Update(instantiatedModule, {}, options);
29
32
  }
30
- export function ModuleInstantiate(context, _state, properties, options) {
31
- const moduleContext = Memory.Assign(context, properties);
32
- const instantiatedModule = InstantiateModule(moduleContext, options);
33
+ export function ModuleInstantiate(context, _state, declarations, options) {
34
+ const instantiatedModule = InstantiateModule(context, declarations, options);
33
35
  return instantiatedModule;
34
36
  }
@@ -0,0 +1,10 @@
1
+ import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
2
+ import { type TProperties } from '../../types/properties.mjs';
3
+ import { type TOptional } from '../../types/_optional.mjs';
4
+ import { type TState, type TInstantiateType } from '../instantiate.mjs';
5
+ type TAddOptionalOperation<Type extends TSchema, Result extends TSchema = `~optional` extends keyof Type ? Type : TOptional<Type>> = Result;
6
+ export type TAddOptionalAction<Type extends TSchema, Result extends TSchema = TAddOptionalOperation<Type>> = Result;
7
+ export declare function AddOptionalAction<Type extends TSchema>(type: Type, options: TSchemaOptions): TAddOptionalAction<Type>;
8
+ export type TAddOptionalInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiateType extends TSchema = TInstantiateType<Context, State, Type>> = TAddOptionalAction<InstantiateType>;
9
+ export declare function AddOptionalInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TAddOptionalInstantiate<Context, State, Type>;
10
+ export {};
@@ -0,0 +1,14 @@
1
+ // deno-fmt-ignore-file
2
+ import { Memory } from '../../../system/memory/index.mjs';
3
+ import { InstantiateType } from '../instantiate.mjs';
4
+ function AddOptionalOperation(type) {
5
+ return Memory.Update(type, { '~optional': true }, {});
6
+ }
7
+ export function AddOptionalAction(type, options) {
8
+ const result = Memory.Update(AddOptionalOperation(type), {}, options);
9
+ return result;
10
+ }
11
+ export function AddOptionalInstantiate(context, state, type, options) {
12
+ const instantiatedType = InstantiateType(context, state, type);
13
+ return AddOptionalAction(instantiatedType, options);
14
+ }
@@ -0,0 +1,10 @@
1
+ import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
2
+ import { type TProperties } from '../../types/properties.mjs';
3
+ import { type TOptional } from '../../types/_optional.mjs';
4
+ import { type TState, type TInstantiateType } from '../instantiate.mjs';
5
+ type TRemoveOptionalOperation<Type extends TSchema, Result extends TSchema = Type extends TOptional<infer Type extends TSchema> ? Type : Type> = Result;
6
+ export type TRemoveOptionalAction<Type extends TSchema, Result extends TSchema = TRemoveOptionalOperation<Type>> = Result;
7
+ export declare function RemoveOptionalAction<Type extends TSchema>(type: Type, options: TSchemaOptions): TRemoveOptionalAction<Type>;
8
+ export type TRemoveOptionalInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiateType extends TSchema = TInstantiateType<Context, State, Type>> = TRemoveOptionalAction<InstantiateType>;
9
+ export declare function RemoveOptionalInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TRemoveOptionalInstantiate<Context, State, Type>;
10
+ export {};
@@ -0,0 +1,14 @@
1
+ // deno-fmt-ignore-file
2
+ import { Memory } from '../../../system/memory/index.mjs';
3
+ import { InstantiateType } from '../instantiate.mjs';
4
+ function RemoveOptionalOperation(type) {
5
+ return Memory.Discard(type, ['~optional']);
6
+ }
7
+ export function RemoveOptionalAction(type, options) {
8
+ const result = Memory.Update(RemoveOptionalOperation(type), {}, options);
9
+ return result;
10
+ }
11
+ export function RemoveOptionalInstantiate(context, state, type, options) {
12
+ const instantiatedType = InstantiateType(context, state, type);
13
+ return RemoveOptionalAction(instantiatedType, options);
14
+ }
@@ -3,11 +3,10 @@ import { type TProperties } from '../../types/properties.mjs';
3
3
  import { type TFunction } from '../../types/function.mjs';
4
4
  import { type TTuple } from '../../types/tuple.mjs';
5
5
  import { type TParametersDeferred } from '../../action/parameters.mjs';
6
- import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
6
+ import { type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
7
7
  import { type TInstantiateElements } from '../instantiate.mjs';
8
- type TParametersOperation<Type extends TSchema, Parameters extends TSchema[] = Type extends TFunction ? Type['parameters'] : [], InstantiatedParameters extends TSchema[] = TInstantiateElements<{}, {
9
- callstack: [];
10
- }, Parameters>, Result extends TSchema = TTuple<InstantiatedParameters>> = Result;
8
+ import { type TState } from '../instantiate.mjs';
9
+ type TParametersOperation<Type extends TSchema, Parameters extends TSchema[] = Type extends TFunction ? Type['parameters'] : [], InstantiatedParameters extends TSchema[] = TInstantiateElements<{}, TState<[], []>, Parameters>, Result extends TSchema = TTuple<InstantiatedParameters>> = Result;
11
10
  export type TParametersAction<Type extends TSchema, Result extends TSchema = TCanInstantiate<[Type]> extends true ? TParametersOperation<Type> : TParametersDeferred<Type>> = Result;
12
11
  export declare function ParametersAction<Type extends TSchema>(type: Type, options: TSchemaOptions): TParametersAction<Type>;
13
12
  export type TParametersInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TParametersAction<InstantiatedType>;
@@ -6,9 +6,10 @@ import { Tuple } from '../../types/tuple.mjs';
6
6
  import { ParametersDeferred } from '../../action/parameters.mjs';
7
7
  import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
8
8
  import { InstantiateElements } from '../instantiate.mjs';
9
+ import { State } from '../instantiate.mjs';
9
10
  function ParametersOperation(type) {
10
11
  const parameters = IsFunction(type) ? type['parameters'] : [];
11
- const instantiatedParameters = InstantiateElements({}, { callstack: [] }, parameters);
12
+ const instantiatedParameters = InstantiateElements({}, State([], []), parameters);
12
13
  const result = Tuple(instantiatedParameters);
13
14
  return result;
14
15
  }
@@ -1,8 +1,8 @@
1
1
  import { type TSchema } from '../../types/schema.mjs';
2
2
  import { type TObject } from '../../types/object.mjs';
3
- import { type TOptionalAdd } from '../../types/_optional.mjs';
3
+ import { type TAddOptional } from '../../action/_add_optional.mjs';
4
4
  import { type TProperties } from '../../types/properties.mjs';
5
5
  export type TFromObject<Properties extends TProperties, Mapped extends TProperties = {
6
- [Key in keyof Properties]: TOptionalAdd<Properties[Key]>;
6
+ [Key in keyof Properties]: TAddOptional<Properties[Key]>;
7
7
  }, Result extends TSchema = TObject<Mapped>> = Result;
8
8
  export declare function FromObject<Properties extends TProperties>(properties: Properties): TFromObject<Properties>;
@@ -1,10 +1,10 @@
1
1
  // deno-fmt-ignore-file
2
2
  import { Guard } from '../../../guard/index.mjs';
3
3
  import { Object } from '../../types/object.mjs';
4
- import { Optional } from '../../types/_optional.mjs';
4
+ import { AddOptional } from '../../action/_add_optional.mjs';
5
5
  export function FromObject(properties) {
6
6
  const mapped = Guard.Keys(properties).reduce((result, left) => {
7
- return { ...result, [left]: Optional(properties[left]) };
7
+ return { ...result, [left]: AddOptional(properties[left]) };
8
8
  }, {});
9
9
  const result = Object(mapped);
10
10
  return result;
@@ -0,0 +1,10 @@
1
+ import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
2
+ import { type TProperties } from '../../types/properties.mjs';
3
+ import { type TReadonly } from '../../types/_readonly.mjs';
4
+ import { type TState, type TInstantiateType } from '../instantiate.mjs';
5
+ type TAddReadonlyOperation<Type extends TSchema, Result extends TSchema = `~readonly` extends keyof Type ? Type : TReadonly<Type>> = Result;
6
+ export type TAddReadonlyAction<Type extends TSchema, Result extends TSchema = TAddReadonlyOperation<Type>> = Result;
7
+ export declare function AddReadonlyAction<Type extends TSchema>(type: Type, options: TSchemaOptions): TAddReadonlyAction<Type>;
8
+ export type TAddReadonlyInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiateType extends TSchema = TInstantiateType<Context, State, Type>> = TAddReadonlyAction<InstantiateType>;
9
+ export declare function AddReadonlyInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TAddReadonlyInstantiate<Context, State, Type>;
10
+ export {};
@@ -0,0 +1,14 @@
1
+ // deno-fmt-ignore-file
2
+ import { Memory } from '../../../system/memory/index.mjs';
3
+ import { InstantiateType } from '../instantiate.mjs';
4
+ function AddReadonlyOperation(type) {
5
+ return Memory.Update(type, { '~readonly': true }, {});
6
+ }
7
+ export function AddReadonlyAction(type, options) {
8
+ const result = Memory.Update(AddReadonlyOperation(type), {}, options);
9
+ return result;
10
+ }
11
+ export function AddReadonlyInstantiate(context, state, type, options) {
12
+ const instantiatedType = InstantiateType(context, state, type);
13
+ return AddReadonlyAction(instantiatedType, options);
14
+ }
@@ -0,0 +1,10 @@
1
+ import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
2
+ import { type TProperties } from '../../types/properties.mjs';
3
+ import { type TReadonly } from '../../types/_readonly.mjs';
4
+ import { type TState, type TInstantiateType } from '../instantiate.mjs';
5
+ type TRemoveReadonlyOperation<Type extends TSchema, Result extends TSchema = Type extends TReadonly<infer Type extends TSchema> ? Type : Type> = Result;
6
+ export type TRemoveReadonlyAction<Type extends TSchema, Result extends TSchema = TRemoveReadonlyOperation<Type>> = Result;
7
+ export declare function RemoveReadonlyAction<Type extends TSchema>(type: Type, options: TSchemaOptions): TRemoveReadonlyAction<Type>;
8
+ export type TRemoveReadonlyInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiateType extends TSchema = TInstantiateType<Context, State, Type>> = TRemoveReadonlyAction<InstantiateType>;
9
+ export declare function RemoveReadonlyInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TRemoveReadonlyInstantiate<Context, State, Type>;
10
+ export {};
@@ -0,0 +1,14 @@
1
+ // deno-fmt-ignore-file
2
+ import { Memory } from '../../../system/memory/index.mjs';
3
+ import { InstantiateType } from '../instantiate.mjs';
4
+ function RemoveReadonlyOperation(type) {
5
+ return Memory.Discard(type, ['~readonly']);
6
+ }
7
+ export function RemoveReadonlyAction(type, options) {
8
+ const result = Memory.Update(RemoveReadonlyOperation(type), {}, options);
9
+ return result;
10
+ }
11
+ export function RemoveReadonlyInstantiate(context, state, type, options) {
12
+ const instantiatedType = InstantiateType(context, state, type);
13
+ return RemoveReadonlyAction(instantiatedType, options);
14
+ }
@@ -1,5 +1,5 @@
1
1
  import { type TSchema } from '../../types/schema.mjs';
2
2
  import { type TArray } from '../../types/array.mjs';
3
- import { type TImmutableAdd } from '../../types/_immutable.mjs';
4
- export type TFromArray<Type extends TSchema, Result extends TSchema = TImmutableAdd<TArray<Type>>> = Result;
3
+ import { type TAddImmutable } from '../../action/_add_immutable.mjs';
4
+ export type TFromArray<Type extends TSchema, Result extends TSchema = TAddImmutable<TArray<Type>>> = Result;
5
5
  export declare function FromArray<Type extends TSchema>(type: Type): TFromArray<Type>;
@@ -1,7 +1,7 @@
1
1
  // deno-fmt-ignore-file
2
2
  import { Array } from '../../types/array.mjs';
3
- import { Immutable } from '../../types/_immutable.mjs';
3
+ import { AddImmutable } from '../../action/_add_immutable.mjs';
4
4
  export function FromArray(type) {
5
- const result = Immutable(Array(type));
5
+ const result = AddImmutable(Array(type));
6
6
  return result;
7
7
  }
@@ -1,8 +1,8 @@
1
1
  import { type TSchema } from '../../types/schema.mjs';
2
2
  import { type TObject } from '../../types/object.mjs';
3
- import { type TReadonlyAdd } from '../../types/_readonly.mjs';
3
+ import { type TAddReadonly } from '../../action/_add_readonly.mjs';
4
4
  import { type TProperties } from '../../types/properties.mjs';
5
5
  export type TFromObject<Properties extends TProperties, Mapped extends TProperties = {
6
- [Key in keyof Properties]: TReadonlyAdd<Properties[Key]>;
6
+ [Key in keyof Properties]: TAddReadonly<Properties[Key]>;
7
7
  }, Result extends TSchema = TObject<Mapped>> = Result;
8
8
  export declare function FromObject<Properties extends TProperties>(properties: Properties): TFromObject<Properties>;
@@ -1,10 +1,10 @@
1
1
  // deno-fmt-ignore-file
2
2
  import { Guard } from '../../../guard/index.mjs';
3
3
  import { Object } from '../../types/object.mjs';
4
- import { Readonly } from '../../types/_readonly.mjs';
4
+ import { AddReadonly } from '../../action/_add_readonly.mjs';
5
5
  export function FromObject(properties) {
6
6
  const mapped = Guard.Keys(properties).reduce((result, left) => {
7
- return { ...result, [left]: Readonly(properties[left]) };
7
+ return { ...result, [left]: AddReadonly(properties[left]) };
8
8
  }, {});
9
9
  const result = Object(mapped);
10
10
  return result;
@@ -1,5 +1,5 @@
1
1
  import { type TSchema } from '../../types/schema.mjs';
2
2
  import { type TTuple } from '../../types/tuple.mjs';
3
- import { type TImmutableAdd } from '../../types/_immutable.mjs';
4
- export type TFromTuple<Types extends TSchema[], Result extends TSchema = TImmutableAdd<TTuple<Types>>> = Result;
3
+ import { type TAddImmutable } from '../../action/_add_immutable.mjs';
4
+ export type TFromTuple<Types extends TSchema[], Result extends TSchema = TAddImmutable<TTuple<Types>>> = Result;
5
5
  export declare function FromTuple<Types extends TSchema[]>(types: [...Types]): TFromTuple<Types>;
@@ -1,7 +1,7 @@
1
1
  // deno-fmt-ignore-file
2
2
  import { Tuple } from '../../types/tuple.mjs';
3
- import { Immutable } from '../../types/_immutable.mjs';
3
+ import { AddImmutable } from '../../action/_add_immutable.mjs';
4
4
  export function FromTuple(types) {
5
- const result = Immutable(Tuple(types));
5
+ const result = AddImmutable(Tuple(types));
6
6
  return result;
7
7
  }
@@ -1,6 +1,6 @@
1
1
  import { type TProperties } from '../../types/properties.mjs';
2
- import { type TState, type TInstantiateType } from '../instantiate.mjs';
3
- import { type TCyclicCheck } from '../cyclic/check.mjs';
2
+ import { type TInstantiateType } from '../instantiate.mjs';
4
3
  import { type TRef } from '../../types/ref.mjs';
5
- export type TRefInstantiate<Context extends TProperties, State extends TState, Type extends TRef, Ref extends string> = (Ref extends keyof Context ? TCyclicCheck<[Ref], Context, Context[Ref]> extends true ? Type : TInstantiateType<Context, State, Context[Ref]> : Type);
4
+ import { type TState } from '../instantiate.mjs';
5
+ export type TRefInstantiate<Context extends TProperties, State extends TState, Type extends TRef, Ref extends string> = (Ref extends State['visited'][number] ? Type : Ref extends keyof Context ? TInstantiateType<Context, TState<State['callstack'], [...State['visited'], Ref]>, Context[Ref]> : Type);
6
6
  export declare function RefInstantiate<Context extends TProperties, State extends TState, Type extends TRef, Ref extends string>(context: Context, state: State, type: Type, ref: Ref): TRefInstantiate<Context, State, Type, Ref>;
@@ -1,10 +1,10 @@
1
1
  // deno-fmt-ignore-file
2
2
  import { InstantiateType } from '../instantiate.mjs';
3
- import { CyclicCheck } from '../cyclic/check.mjs';
3
+ import { State } from '../instantiate.mjs';
4
4
  export function RefInstantiate(context, state, type, ref) {
5
- return (ref in context
6
- ? CyclicCheck([ref], context, context[ref])
7
- ? type
8
- : InstantiateType(context, state, context[ref])
9
- : type);
5
+ return (state.visited.includes(ref)
6
+ ? type
7
+ : ref in context
8
+ ? InstantiateType(context, State(state['callstack'], [...state['visited'], ref]), context[ref])
9
+ : type);
10
10
  }
@@ -1,8 +1,8 @@
1
1
  import { type TSchema } from '../../types/schema.mjs';
2
2
  import { type TObject } from '../../types/object.mjs';
3
- import { type TOptionalRemove } from '../../types/_optional.mjs';
3
+ import { type TRemoveOptional } from '../../action/_remove_optional.mjs';
4
4
  import { type TProperties } from '../../types/properties.mjs';
5
5
  export type TFromObject<Properties extends TProperties, Mapped extends TProperties = {
6
- [Key in keyof Properties]: TOptionalRemove<Properties[Key]>;
6
+ [Key in keyof Properties]: TRemoveOptional<Properties[Key]>;
7
7
  }, Result extends TSchema = TObject<Mapped>> = Result;
8
8
  export declare function FromObject<Properties extends TProperties>(properties: Properties): TFromObject<Properties>;
@@ -1,10 +1,10 @@
1
1
  // deno-fmt-ignore-file
2
2
  import { Guard } from '../../../guard/index.mjs';
3
3
  import { Object } from '../../types/object.mjs';
4
- import { OptionalRemove } from '../../types/_optional.mjs';
4
+ import { RemoveOptional } from '../../action/_remove_optional.mjs';
5
5
  export function FromObject(properties) {
6
6
  const mapped = Guard.Keys(properties).reduce((result, left) => {
7
- return { ...result, [left]: OptionalRemove(properties[left]) };
7
+ return { ...result, [left]: RemoveOptional(properties[left]) };
8
8
  }, {});
9
9
  const result = Object(mapped);
10
10
  return result;
@@ -7,3 +7,4 @@ export function IsTemplateLiteralPattern(pattern) {
7
7
  const result = Guard.IsEqual(types.length, 0) ? false : true;
8
8
  return result;
9
9
  }
10
+ // deno-coverage-ignore-stop