@yaag/cli 0.1.0

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 (768) hide show
  1. package/assets/types/runtime/agent-names.d.ts +8 -0
  2. package/assets/types/runtime/agent-usage.d.ts +16 -0
  3. package/assets/types/runtime/agent.d.ts +36 -0
  4. package/assets/types/runtime/args-validation.d.ts +3 -0
  5. package/assets/types/runtime/ask-activity.d.ts +9 -0
  6. package/assets/types/runtime/ask-contract-identity.d.ts +25 -0
  7. package/assets/types/runtime/ask-exchange-events.d.ts +13 -0
  8. package/assets/types/runtime/ask-exchange-options.d.ts +30 -0
  9. package/assets/types/runtime/ask-exchange.d.ts +4 -0
  10. package/assets/types/runtime/ask-hash.d.ts +32 -0
  11. package/assets/types/runtime/ask-limit.d.ts +46 -0
  12. package/assets/types/runtime/ask-output-steering.d.ts +28 -0
  13. package/assets/types/runtime/ask-output-tail.d.ts +28 -0
  14. package/assets/types/runtime/ask-output.d.ts +29 -0
  15. package/assets/types/runtime/ask-settlement.d.ts +11 -0
  16. package/assets/types/runtime/ask-turn.d.ts +25 -0
  17. package/assets/types/runtime/cassette-loader.d.ts +11 -0
  18. package/assets/types/runtime/cassette-publish.d.ts +11 -0
  19. package/assets/types/runtime/cassette-replay.d.ts +24 -0
  20. package/assets/types/runtime/cassette-schema.d.ts +111 -0
  21. package/assets/types/runtime/cassette.d.ts +118 -0
  22. package/assets/types/runtime/checkpoint-dir.d.ts +30 -0
  23. package/assets/types/runtime/connection.d.ts +29 -0
  24. package/assets/types/runtime/define-agent.d.ts +48 -0
  25. package/assets/types/runtime/define-run.d.ts +40 -0
  26. package/assets/types/runtime/errors.d.ts +50 -0
  27. package/assets/types/runtime/events.d.ts +138 -0
  28. package/assets/types/runtime/extension-package.d.ts +17 -0
  29. package/assets/types/runtime/extension-paths.d.ts +16 -0
  30. package/assets/types/runtime/extension-source.d.ts +28 -0
  31. package/assets/types/runtime/fake-transport.d.ts +78 -0
  32. package/assets/types/runtime/frame-gap.d.ts +23 -0
  33. package/assets/types/runtime/frame-queue.d.ts +15 -0
  34. package/assets/types/runtime/git-facts.d.ts +7 -0
  35. package/assets/types/runtime/idle-watch.d.ts +44 -0
  36. package/assets/types/runtime/index.d.ts +33 -0
  37. package/assets/types/runtime/jsonl.d.ts +13 -0
  38. package/assets/types/runtime/live-transport.d.ts +3 -0
  39. package/assets/types/runtime/node-decoder-subagent.d.ts +7 -0
  40. package/assets/types/runtime/node-decoder-workflow.d.ts +12 -0
  41. package/assets/types/runtime/node-decoder.d.ts +21 -0
  42. package/assets/types/runtime/node-decoders.d.ts +3 -0
  43. package/assets/types/runtime/node-details.d.ts +22 -0
  44. package/assets/types/runtime/node-path.d.ts +19 -0
  45. package/assets/types/runtime/node-tracker.d.ts +30 -0
  46. package/assets/types/runtime/pi-state.d.ts +16 -0
  47. package/assets/types/runtime/prompt-gist.d.ts +8 -0
  48. package/assets/types/runtime/prompt.d.ts +9 -0
  49. package/assets/types/runtime/reap.d.ts +22 -0
  50. package/assets/types/runtime/recording-transport.d.ts +9 -0
  51. package/assets/types/runtime/replay-divergence.d.ts +19 -0
  52. package/assets/types/runtime/replay-transport.d.ts +9 -0
  53. package/assets/types/runtime/resume-preconditions.d.ts +8 -0
  54. package/assets/types/runtime/resume-transport.d.ts +9 -0
  55. package/assets/types/runtime/run-checkpoint.d.ts +28 -0
  56. package/assets/types/runtime/run-context.d.ts +18 -0
  57. package/assets/types/runtime/run.d.ts +60 -0
  58. package/assets/types/runtime/skill-probe.d.ts +71 -0
  59. package/assets/types/runtime/skill-restriction-transport.d.ts +8 -0
  60. package/assets/types/runtime/spawn.d.ts +24 -0
  61. package/assets/types/runtime/summary-agent.d.ts +123 -0
  62. package/assets/types/runtime/summary-nodes.d.ts +28 -0
  63. package/assets/types/runtime/summary.d.ts +55 -0
  64. package/assets/types/runtime/tool-probe-extension.d.ts +12 -0
  65. package/assets/types/runtime/tool-probe.d.ts +30 -0
  66. package/assets/types/runtime/transport.d.ts +143 -0
  67. package/assets/types/runtime/types.d.ts +120 -0
  68. package/assets/types/runtime/validation-errors.d.ts +3 -0
  69. package/assets/types/runtime/wire-constants.d.ts +18 -0
  70. package/assets/types/runtime/worktree-transport.d.ts +9 -0
  71. package/assets/types/typebox/build/compile/code.d.mts +12 -0
  72. package/assets/types/typebox/build/compile/compile.d.mts +6 -0
  73. package/assets/types/typebox/build/compile/index.d.mts +8 -0
  74. package/assets/types/typebox/build/compile/validator.d.mts +35 -0
  75. package/assets/types/typebox/build/error/errors.d.mts +208 -0
  76. package/assets/types/typebox/build/error/index.d.mts +1 -0
  77. package/assets/types/typebox/build/format/_idna.d.mts +2 -0
  78. package/assets/types/typebox/build/format/_puny.d.mts +1 -0
  79. package/assets/types/typebox/build/format/_registry.d.mts +15 -0
  80. package/assets/types/typebox/build/format/date.d.mts +6 -0
  81. package/assets/types/typebox/build/format/date_time.d.mts +6 -0
  82. package/assets/types/typebox/build/format/duration.d.mts +5 -0
  83. package/assets/types/typebox/build/format/email.d.mts +5 -0
  84. package/assets/types/typebox/build/format/format.d.mts +22 -0
  85. package/assets/types/typebox/build/format/hostname.d.mts +7 -0
  86. package/assets/types/typebox/build/format/idn_email.d.mts +5 -0
  87. package/assets/types/typebox/build/format/idn_hostname.d.mts +7 -0
  88. package/assets/types/typebox/build/format/index.d.mts +4 -0
  89. package/assets/types/typebox/build/format/ipv4.d.mts +6 -0
  90. package/assets/types/typebox/build/format/ipv6.d.mts +5 -0
  91. package/assets/types/typebox/build/format/iri.d.mts +5 -0
  92. package/assets/types/typebox/build/format/iri_reference.d.mts +5 -0
  93. package/assets/types/typebox/build/format/json_pointer.d.mts +6 -0
  94. package/assets/types/typebox/build/format/json_pointer_uri_fragment.d.mts +6 -0
  95. package/assets/types/typebox/build/format/regex.d.mts +6 -0
  96. package/assets/types/typebox/build/format/relative_json_pointer.d.mts +6 -0
  97. package/assets/types/typebox/build/format/time.d.mts +5 -0
  98. package/assets/types/typebox/build/format/uri.d.mts +5 -0
  99. package/assets/types/typebox/build/format/uri_reference.d.mts +5 -0
  100. package/assets/types/typebox/build/format/uri_template.d.mts +6 -0
  101. package/assets/types/typebox/build/format/url.d.mts +6 -0
  102. package/assets/types/typebox/build/format/uuid.d.mts +6 -0
  103. package/assets/types/typebox/build/guard/emit.d.mts +54 -0
  104. package/assets/types/typebox/build/guard/globals.d.mts +35 -0
  105. package/assets/types/typebox/build/guard/guard.d.mts +65 -0
  106. package/assets/types/typebox/build/guard/index.d.mts +6 -0
  107. package/assets/types/typebox/build/guard/native.d.mts +20 -0
  108. package/assets/types/typebox/build/guard/string.d.mts +6 -0
  109. package/assets/types/typebox/build/index.d.mts +8 -0
  110. package/assets/types/typebox/build/schema/build.d.mts +39 -0
  111. package/assets/types/typebox/build/schema/check.d.mts +6 -0
  112. package/assets/types/typebox/build/schema/compile.d.mts +22 -0
  113. package/assets/types/typebox/build/schema/engine/_context.d.mts +35 -0
  114. package/assets/types/typebox/build/schema/engine/_exact_optional.d.mts +3 -0
  115. package/assets/types/typebox/build/schema/engine/_externals.d.mts +7 -0
  116. package/assets/types/typebox/build/schema/engine/_functions.d.mts +6 -0
  117. package/assets/types/typebox/build/schema/engine/_reducer.d.mts +4 -0
  118. package/assets/types/typebox/build/schema/engine/_refine.d.mts +6 -0
  119. package/assets/types/typebox/build/schema/engine/_stack.d.mts +18 -0
  120. package/assets/types/typebox/build/schema/engine/_unique.d.mts +2 -0
  121. package/assets/types/typebox/build/schema/engine/additionalItems.d.mts +6 -0
  122. package/assets/types/typebox/build/schema/engine/additionalProperties.d.mts +9 -0
  123. package/assets/types/typebox/build/schema/engine/allOf.d.mts +6 -0
  124. package/assets/types/typebox/build/schema/engine/anyOf.d.mts +6 -0
  125. package/assets/types/typebox/build/schema/engine/boolean.d.mts +5 -0
  126. package/assets/types/typebox/build/schema/engine/const.d.mts +6 -0
  127. package/assets/types/typebox/build/schema/engine/contains.d.mts +6 -0
  128. package/assets/types/typebox/build/schema/engine/dependencies.d.mts +6 -0
  129. package/assets/types/typebox/build/schema/engine/dependentRequired.d.mts +6 -0
  130. package/assets/types/typebox/build/schema/engine/dependentSchemas.d.mts +6 -0
  131. package/assets/types/typebox/build/schema/engine/dynamicRef.d.mts +6 -0
  132. package/assets/types/typebox/build/schema/engine/enum.d.mts +6 -0
  133. package/assets/types/typebox/build/schema/engine/exclusiveMaximum.d.mts +6 -0
  134. package/assets/types/typebox/build/schema/engine/exclusiveMinimum.d.mts +6 -0
  135. package/assets/types/typebox/build/schema/engine/format.d.mts +6 -0
  136. package/assets/types/typebox/build/schema/engine/if.d.mts +6 -0
  137. package/assets/types/typebox/build/schema/engine/index.d.mts +48 -0
  138. package/assets/types/typebox/build/schema/engine/items.d.mts +6 -0
  139. package/assets/types/typebox/build/schema/engine/maxContains.d.mts +6 -0
  140. package/assets/types/typebox/build/schema/engine/maxItems.d.mts +6 -0
  141. package/assets/types/typebox/build/schema/engine/maxLength.d.mts +6 -0
  142. package/assets/types/typebox/build/schema/engine/maxProperties.d.mts +6 -0
  143. package/assets/types/typebox/build/schema/engine/maximum.d.mts +6 -0
  144. package/assets/types/typebox/build/schema/engine/minContains.d.mts +6 -0
  145. package/assets/types/typebox/build/schema/engine/minItems.d.mts +6 -0
  146. package/assets/types/typebox/build/schema/engine/minLength.d.mts +6 -0
  147. package/assets/types/typebox/build/schema/engine/minProperties.d.mts +6 -0
  148. package/assets/types/typebox/build/schema/engine/minimum.d.mts +6 -0
  149. package/assets/types/typebox/build/schema/engine/multipleOf.d.mts +6 -0
  150. package/assets/types/typebox/build/schema/engine/not.d.mts +6 -0
  151. package/assets/types/typebox/build/schema/engine/oneOf.d.mts +6 -0
  152. package/assets/types/typebox/build/schema/engine/pattern.d.mts +6 -0
  153. package/assets/types/typebox/build/schema/engine/patternProperties.d.mts +6 -0
  154. package/assets/types/typebox/build/schema/engine/prefixItems.d.mts +6 -0
  155. package/assets/types/typebox/build/schema/engine/properties.d.mts +6 -0
  156. package/assets/types/typebox/build/schema/engine/propertyNames.d.mts +6 -0
  157. package/assets/types/typebox/build/schema/engine/recursiveRef.d.mts +6 -0
  158. package/assets/types/typebox/build/schema/engine/ref.d.mts +6 -0
  159. package/assets/types/typebox/build/schema/engine/required.d.mts +6 -0
  160. package/assets/types/typebox/build/schema/engine/schema.d.mts +9 -0
  161. package/assets/types/typebox/build/schema/engine/type.d.mts +6 -0
  162. package/assets/types/typebox/build/schema/engine/unevaluatedItems.d.mts +6 -0
  163. package/assets/types/typebox/build/schema/engine/unevaluatedProperties.d.mts +6 -0
  164. package/assets/types/typebox/build/schema/engine/uniqueItems.d.mts +6 -0
  165. package/assets/types/typebox/build/schema/errors.d.mts +6 -0
  166. package/assets/types/typebox/build/schema/index.d.mts +3 -0
  167. package/assets/types/typebox/build/schema/parse.d.mts +13 -0
  168. package/assets/types/typebox/build/schema/pointer/index.d.mts +2 -0
  169. package/assets/types/typebox/build/schema/pointer/pointer.d.mts +10 -0
  170. package/assets/types/typebox/build/schema/pointer/pointer_get.d.mts +9 -0
  171. package/assets/types/typebox/build/schema/resolve/index.d.mts +1 -0
  172. package/assets/types/typebox/build/schema/resolve/ref.d.mts +3 -0
  173. package/assets/types/typebox/build/schema/resolve/resolve.d.mts +1 -0
  174. package/assets/types/typebox/build/schema/schema.d.mts +10 -0
  175. package/assets/types/typebox/build/schema/static/_canonical.d.mts +7 -0
  176. package/assets/types/typebox/build/schema/static/_comparer.d.mts +6 -0
  177. package/assets/types/typebox/build/schema/static/_elements.d.mts +18 -0
  178. package/assets/types/typebox/build/schema/static/additionalProperties.d.mts +7 -0
  179. package/assets/types/typebox/build/schema/static/allOf.d.mts +3 -0
  180. package/assets/types/typebox/build/schema/static/anyOf.d.mts +3 -0
  181. package/assets/types/typebox/build/schema/static/const.d.mts +1 -0
  182. package/assets/types/typebox/build/schema/static/enum.d.mts +1 -0
  183. package/assets/types/typebox/build/schema/static/if.d.mts +15 -0
  184. package/assets/types/typebox/build/schema/static/index.d.mts +1 -0
  185. package/assets/types/typebox/build/schema/static/items.d.mts +7 -0
  186. package/assets/types/typebox/build/schema/static/oneOf.d.mts +3 -0
  187. package/assets/types/typebox/build/schema/static/patternProperties.d.mts +7 -0
  188. package/assets/types/typebox/build/schema/static/prefixItems.d.mts +3 -0
  189. package/assets/types/typebox/build/schema/static/properties.d.mts +32 -0
  190. package/assets/types/typebox/build/schema/static/ref.d.mts +8 -0
  191. package/assets/types/typebox/build/schema/static/required.d.mts +3 -0
  192. package/assets/types/typebox/build/schema/static/schema.d.mts +56 -0
  193. package/assets/types/typebox/build/schema/static/static.d.mts +4 -0
  194. package/assets/types/typebox/build/schema/static/type.d.mts +4 -0
  195. package/assets/types/typebox/build/schema/static/unevaluatedProperties.d.mts +7 -0
  196. package/assets/types/typebox/build/schema/types/_refine.d.mts +13 -0
  197. package/assets/types/typebox/build/schema/types/additionalItems.d.mts +9 -0
  198. package/assets/types/typebox/build/schema/types/additionalProperties.d.mts +9 -0
  199. package/assets/types/typebox/build/schema/types/allOf.d.mts +9 -0
  200. package/assets/types/typebox/build/schema/types/anchor.d.mts +8 -0
  201. package/assets/types/typebox/build/schema/types/anyOf.d.mts +9 -0
  202. package/assets/types/typebox/build/schema/types/const.d.mts +9 -0
  203. package/assets/types/typebox/build/schema/types/contains.d.mts +9 -0
  204. package/assets/types/typebox/build/schema/types/contentEncoding.d.mts +9 -0
  205. package/assets/types/typebox/build/schema/types/contentMediaType.d.mts +9 -0
  206. package/assets/types/typebox/build/schema/types/default.d.mts +9 -0
  207. package/assets/types/typebox/build/schema/types/defs.d.mts +6 -0
  208. package/assets/types/typebox/build/schema/types/dependencies.d.mts +11 -0
  209. package/assets/types/typebox/build/schema/types/dependentRequired.d.mts +9 -0
  210. package/assets/types/typebox/build/schema/types/dependentSchemas.d.mts +9 -0
  211. package/assets/types/typebox/build/schema/types/dynamicAnchor.d.mts +8 -0
  212. package/assets/types/typebox/build/schema/types/dynamicRef.d.mts +8 -0
  213. package/assets/types/typebox/build/schema/types/else.d.mts +9 -0
  214. package/assets/types/typebox/build/schema/types/enum.d.mts +9 -0
  215. package/assets/types/typebox/build/schema/types/exclusiveMaximum.d.mts +9 -0
  216. package/assets/types/typebox/build/schema/types/exclusiveMinimum.d.mts +9 -0
  217. package/assets/types/typebox/build/schema/types/format.d.mts +9 -0
  218. package/assets/types/typebox/build/schema/types/id.d.mts +9 -0
  219. package/assets/types/typebox/build/schema/types/if.d.mts +9 -0
  220. package/assets/types/typebox/build/schema/types/index.d.mts +53 -0
  221. package/assets/types/typebox/build/schema/types/items.d.mts +19 -0
  222. package/assets/types/typebox/build/schema/types/maxContains.d.mts +9 -0
  223. package/assets/types/typebox/build/schema/types/maxItems.d.mts +9 -0
  224. package/assets/types/typebox/build/schema/types/maxLength.d.mts +9 -0
  225. package/assets/types/typebox/build/schema/types/maxProperties.d.mts +9 -0
  226. package/assets/types/typebox/build/schema/types/maximum.d.mts +9 -0
  227. package/assets/types/typebox/build/schema/types/minContains.d.mts +9 -0
  228. package/assets/types/typebox/build/schema/types/minItems.d.mts +9 -0
  229. package/assets/types/typebox/build/schema/types/minLength.d.mts +9 -0
  230. package/assets/types/typebox/build/schema/types/minProperties.d.mts +9 -0
  231. package/assets/types/typebox/build/schema/types/minimum.d.mts +9 -0
  232. package/assets/types/typebox/build/schema/types/multipleOf.d.mts +9 -0
  233. package/assets/types/typebox/build/schema/types/not.d.mts +9 -0
  234. package/assets/types/typebox/build/schema/types/oneOf.d.mts +9 -0
  235. package/assets/types/typebox/build/schema/types/pattern.d.mts +9 -0
  236. package/assets/types/typebox/build/schema/types/patternProperties.d.mts +9 -0
  237. package/assets/types/typebox/build/schema/types/prefixItems.d.mts +8 -0
  238. package/assets/types/typebox/build/schema/types/properties.d.mts +9 -0
  239. package/assets/types/typebox/build/schema/types/propertyNames.d.mts +9 -0
  240. package/assets/types/typebox/build/schema/types/recursiveAnchor.d.mts +12 -0
  241. package/assets/types/typebox/build/schema/types/recursiveRef.d.mts +8 -0
  242. package/assets/types/typebox/build/schema/types/ref.d.mts +9 -0
  243. package/assets/types/typebox/build/schema/types/required.d.mts +9 -0
  244. package/assets/types/typebox/build/schema/types/schema.d.mts +9 -0
  245. package/assets/types/typebox/build/schema/types/then.d.mts +9 -0
  246. package/assets/types/typebox/build/schema/types/type.d.mts +9 -0
  247. package/assets/types/typebox/build/schema/types/unevaluatedItems.d.mts +9 -0
  248. package/assets/types/typebox/build/schema/types/unevaluatedProperties.d.mts +9 -0
  249. package/assets/types/typebox/build/schema/types/uniqueItems.d.mts +9 -0
  250. package/assets/types/typebox/build/system/arguments/arguments.d.mts +5 -0
  251. package/assets/types/typebox/build/system/arguments/index.d.mts +1 -0
  252. package/assets/types/typebox/build/system/environment/environment.d.mts +1 -0
  253. package/assets/types/typebox/build/system/environment/evaluate.d.mts +9 -0
  254. package/assets/types/typebox/build/system/environment/index.d.mts +1 -0
  255. package/assets/types/typebox/build/system/hashing/hash.d.mts +4 -0
  256. package/assets/types/typebox/build/system/hashing/index.d.mts +1 -0
  257. package/assets/types/typebox/build/system/index.d.mts +4 -0
  258. package/assets/types/typebox/build/system/locale/_config.d.mts +7 -0
  259. package/assets/types/typebox/build/system/locale/_locale.d.mts +40 -0
  260. package/assets/types/typebox/build/system/locale/ar_001.d.mts +3 -0
  261. package/assets/types/typebox/build/system/locale/bn_BD.d.mts +3 -0
  262. package/assets/types/typebox/build/system/locale/cs_CZ.d.mts +3 -0
  263. package/assets/types/typebox/build/system/locale/de_DE.d.mts +3 -0
  264. package/assets/types/typebox/build/system/locale/el_GR.d.mts +3 -0
  265. package/assets/types/typebox/build/system/locale/en_US.d.mts +3 -0
  266. package/assets/types/typebox/build/system/locale/es_419.d.mts +3 -0
  267. package/assets/types/typebox/build/system/locale/es_AR.d.mts +3 -0
  268. package/assets/types/typebox/build/system/locale/es_ES.d.mts +3 -0
  269. package/assets/types/typebox/build/system/locale/es_MX.d.mts +3 -0
  270. package/assets/types/typebox/build/system/locale/fa_IR.d.mts +3 -0
  271. package/assets/types/typebox/build/system/locale/fil_PH.d.mts +3 -0
  272. package/assets/types/typebox/build/system/locale/fr_CA.d.mts +3 -0
  273. package/assets/types/typebox/build/system/locale/fr_FR.d.mts +3 -0
  274. package/assets/types/typebox/build/system/locale/ha_NG.d.mts +3 -0
  275. package/assets/types/typebox/build/system/locale/hi_IN.d.mts +3 -0
  276. package/assets/types/typebox/build/system/locale/hu_HU.d.mts +3 -0
  277. package/assets/types/typebox/build/system/locale/id_ID.d.mts +3 -0
  278. package/assets/types/typebox/build/system/locale/index.d.mts +1 -0
  279. package/assets/types/typebox/build/system/locale/it_IT.d.mts +3 -0
  280. package/assets/types/typebox/build/system/locale/ja_JP.d.mts +3 -0
  281. package/assets/types/typebox/build/system/locale/ko_KR.d.mts +3 -0
  282. package/assets/types/typebox/build/system/locale/ms_MY.d.mts +3 -0
  283. package/assets/types/typebox/build/system/locale/nl_NL.d.mts +3 -0
  284. package/assets/types/typebox/build/system/locale/pl_PL.d.mts +3 -0
  285. package/assets/types/typebox/build/system/locale/pt_BR.d.mts +3 -0
  286. package/assets/types/typebox/build/system/locale/pt_PT.d.mts +3 -0
  287. package/assets/types/typebox/build/system/locale/ro_RO.d.mts +3 -0
  288. package/assets/types/typebox/build/system/locale/ru_RU.d.mts +3 -0
  289. package/assets/types/typebox/build/system/locale/sv_SE.d.mts +3 -0
  290. package/assets/types/typebox/build/system/locale/sw_TZ.d.mts +3 -0
  291. package/assets/types/typebox/build/system/locale/th_TH.d.mts +3 -0
  292. package/assets/types/typebox/build/system/locale/tr_TR.d.mts +3 -0
  293. package/assets/types/typebox/build/system/locale/uk_UA.d.mts +3 -0
  294. package/assets/types/typebox/build/system/locale/ur_PK.d.mts +3 -0
  295. package/assets/types/typebox/build/system/locale/vi_VN.d.mts +3 -0
  296. package/assets/types/typebox/build/system/locale/yo_NG.d.mts +3 -0
  297. package/assets/types/typebox/build/system/locale/zh_Hans.d.mts +3 -0
  298. package/assets/types/typebox/build/system/locale/zh_Hant.d.mts +3 -0
  299. package/assets/types/typebox/build/system/memory/assign.d.mts +14 -0
  300. package/assets/types/typebox/build/system/memory/clone.d.mts +5 -0
  301. package/assets/types/typebox/build/system/memory/create.d.mts +8 -0
  302. package/assets/types/typebox/build/system/memory/discard.d.mts +4 -0
  303. package/assets/types/typebox/build/system/memory/index.d.mts +1 -0
  304. package/assets/types/typebox/build/system/memory/memory.d.mts +6 -0
  305. package/assets/types/typebox/build/system/memory/metrics.d.mts +14 -0
  306. package/assets/types/typebox/build/system/memory/update.d.mts +7 -0
  307. package/assets/types/typebox/build/system/settings/index.d.mts +1 -0
  308. package/assets/types/typebox/build/system/settings/settings.d.mts +71 -0
  309. package/assets/types/typebox/build/system/system.d.mts +6 -0
  310. package/assets/types/typebox/build/system/unreachable/index.d.mts +1 -0
  311. package/assets/types/typebox/build/system/unreachable/unreachable.d.mts +3 -0
  312. package/assets/types/typebox/build/type/action/_add_immutable.d.mts +11 -0
  313. package/assets/types/typebox/build/type/action/_add_optional.d.mts +11 -0
  314. package/assets/types/typebox/build/type/action/_add_readonly.d.mts +11 -0
  315. package/assets/types/typebox/build/type/action/_remove_immutable.d.mts +11 -0
  316. package/assets/types/typebox/build/type/action/_remove_optional.d.mts +11 -0
  317. package/assets/types/typebox/build/type/action/_remove_readonly.d.mts +11 -0
  318. package/assets/types/typebox/build/type/action/capitalize.d.mts +11 -0
  319. package/assets/types/typebox/build/type/action/conditional.d.mts +12 -0
  320. package/assets/types/typebox/build/type/action/constructor_parameters.d.mts +11 -0
  321. package/assets/types/typebox/build/type/action/evaluate.d.mts +11 -0
  322. package/assets/types/typebox/build/type/action/exclude.d.mts +11 -0
  323. package/assets/types/typebox/build/type/action/extract.d.mts +11 -0
  324. package/assets/types/typebox/build/type/action/index.d.mts +30 -0
  325. package/assets/types/typebox/build/type/action/indexed.d.mts +14 -0
  326. package/assets/types/typebox/build/type/action/instance_type.d.mts +11 -0
  327. package/assets/types/typebox/build/type/action/interface.d.mts +14 -0
  328. package/assets/types/typebox/build/type/action/keyof.d.mts +11 -0
  329. package/assets/types/typebox/build/type/action/lowercase.d.mts +11 -0
  330. package/assets/types/typebox/build/type/action/mapped.d.mts +13 -0
  331. package/assets/types/typebox/build/type/action/module.d.mts +13 -0
  332. package/assets/types/typebox/build/type/action/non_nullable.d.mts +11 -0
  333. package/assets/types/typebox/build/type/action/omit.d.mts +14 -0
  334. package/assets/types/typebox/build/type/action/parameters.d.mts +11 -0
  335. package/assets/types/typebox/build/type/action/partial.d.mts +11 -0
  336. package/assets/types/typebox/build/type/action/pick.d.mts +14 -0
  337. package/assets/types/typebox/build/type/action/readonly_object.d.mts +16 -0
  338. package/assets/types/typebox/build/type/action/required.d.mts +11 -0
  339. package/assets/types/typebox/build/type/action/return_type.d.mts +11 -0
  340. package/assets/types/typebox/build/type/action/uncapitalize.d.mts +11 -0
  341. package/assets/types/typebox/build/type/action/uppercase.d.mts +11 -0
  342. package/assets/types/typebox/build/type/action/with.d.mts +11 -0
  343. package/assets/types/typebox/build/type/engine/call/distribute_arguments.d.mts +15 -0
  344. package/assets/types/typebox/build/type/engine/call/instantiate.d.mts +21 -0
  345. package/assets/types/typebox/build/type/engine/call/resolve_arguments.d.mts +13 -0
  346. package/assets/types/typebox/build/type/engine/call/resolve_target.d.mts +25 -0
  347. package/assets/types/typebox/build/type/engine/conditional/index.d.mts +1 -0
  348. package/assets/types/typebox/build/type/engine/conditional/instantiate.d.mts +12 -0
  349. package/assets/types/typebox/build/type/engine/constructor_parameters/index.d.mts +1 -0
  350. package/assets/types/typebox/build/type/engine/constructor_parameters/instantiate.d.mts +14 -0
  351. package/assets/types/typebox/build/type/engine/cyclic/candidates.d.mts +8 -0
  352. package/assets/types/typebox/build/type/engine/cyclic/check.d.mts +21 -0
  353. package/assets/types/typebox/build/type/engine/cyclic/dependencies.d.mts +22 -0
  354. package/assets/types/typebox/build/type/engine/cyclic/extends.d.mts +28 -0
  355. package/assets/types/typebox/build/type/engine/cyclic/index.d.mts +6 -0
  356. package/assets/types/typebox/build/type/engine/cyclic/instantiate.d.mts +17 -0
  357. package/assets/types/typebox/build/type/engine/cyclic/target.d.mts +10 -0
  358. package/assets/types/typebox/build/type/engine/enum/index.d.mts +1 -0
  359. package/assets/types/typebox/build/type/engine/enum/typescript_enum_to_enum_values.d.mts +8 -0
  360. package/assets/types/typebox/build/type/engine/evaluate/broaden.d.mts +15 -0
  361. package/assets/types/typebox/build/type/engine/evaluate/compare.d.mts +15 -0
  362. package/assets/types/typebox/build/type/engine/evaluate/composite.d.mts +34 -0
  363. package/assets/types/typebox/build/type/engine/evaluate/distribute.d.mts +28 -0
  364. package/assets/types/typebox/build/type/engine/evaluate/evaluate.d.mts +26 -0
  365. package/assets/types/typebox/build/type/engine/evaluate/flatten.d.mts +6 -0
  366. package/assets/types/typebox/build/type/engine/evaluate/index.d.mts +8 -0
  367. package/assets/types/typebox/build/type/engine/evaluate/instantiate.d.mts +8 -0
  368. package/assets/types/typebox/build/type/engine/evaluate/narrow.d.mts +5 -0
  369. package/assets/types/typebox/build/type/engine/exclude/index.d.mts +1 -0
  370. package/assets/types/typebox/build/type/engine/exclude/instantiate.d.mts +9 -0
  371. package/assets/types/typebox/build/type/engine/exclude/operation.d.mts +10 -0
  372. package/assets/types/typebox/build/type/engine/extract/index.d.mts +1 -0
  373. package/assets/types/typebox/build/type/engine/extract/instantiate.d.mts +9 -0
  374. package/assets/types/typebox/build/type/engine/extract/operation.d.mts +10 -0
  375. package/assets/types/typebox/build/type/engine/helpers/index.d.mts +3 -0
  376. package/assets/types/typebox/build/type/engine/helpers/keys.d.mts +3 -0
  377. package/assets/types/typebox/build/type/engine/helpers/keys_to_indexer.d.mts +7 -0
  378. package/assets/types/typebox/build/type/engine/helpers/union.d.mts +7 -0
  379. package/assets/types/typebox/build/type/engine/immutable/instantiate_add.d.mts +10 -0
  380. package/assets/types/typebox/build/type/engine/immutable/instantiate_remove.d.mts +10 -0
  381. package/assets/types/typebox/build/type/engine/index.d.mts +31 -0
  382. package/assets/types/typebox/build/type/engine/indexable/from_cyclic.d.mts +6 -0
  383. package/assets/types/typebox/build/type/engine/indexable/from_dependent.d.mts +5 -0
  384. package/assets/types/typebox/build/type/engine/indexable/from_enum.d.mts +6 -0
  385. package/assets/types/typebox/build/type/engine/indexable/from_intersect.d.mts +5 -0
  386. package/assets/types/typebox/build/type/engine/indexable/from_literal.d.mts +3 -0
  387. package/assets/types/typebox/build/type/engine/indexable/from_template_literal.d.mts +5 -0
  388. package/assets/types/typebox/build/type/engine/indexable/from_type.d.mts +19 -0
  389. package/assets/types/typebox/build/type/engine/indexable/from_union.d.mts +4 -0
  390. package/assets/types/typebox/build/type/engine/indexable/to_indexable.d.mts +9 -0
  391. package/assets/types/typebox/build/type/engine/indexable/to_indexable_keys.d.mts +10 -0
  392. package/assets/types/typebox/build/type/engine/indexed/array_indexer.d.mts +12 -0
  393. package/assets/types/typebox/build/type/engine/indexed/from_array.d.mts +15 -0
  394. package/assets/types/typebox/build/type/engine/indexed/from_object.d.mts +16 -0
  395. package/assets/types/typebox/build/type/engine/indexed/from_tuple.d.mts +13 -0
  396. package/assets/types/typebox/build/type/engine/indexed/from_type.d.mts +11 -0
  397. package/assets/types/typebox/build/type/engine/indexed/index.d.mts +1 -0
  398. package/assets/types/typebox/build/type/engine/indexed/instantiate.d.mts +16 -0
  399. package/assets/types/typebox/build/type/engine/instance_type/index.d.mts +1 -0
  400. package/assets/types/typebox/build/type/engine/instance_type/instantiate.d.mts +12 -0
  401. package/assets/types/typebox/build/type/engine/instantiate.d.mts +178 -0
  402. package/assets/types/typebox/build/type/engine/interface/index.d.mts +1 -0
  403. package/assets/types/typebox/build/type/engine/interface/instantiate.d.mts +15 -0
  404. package/assets/types/typebox/build/type/engine/intrinsics/from_literal.d.mts +5 -0
  405. package/assets/types/typebox/build/type/engine/intrinsics/from_template_literal.d.mts +6 -0
  406. package/assets/types/typebox/build/type/engine/intrinsics/from_type.d.mts +10 -0
  407. package/assets/types/typebox/build/type/engine/intrinsics/from_union.d.mts +6 -0
  408. package/assets/types/typebox/build/type/engine/intrinsics/index.d.mts +1 -0
  409. package/assets/types/typebox/build/type/engine/intrinsics/instantiate.d.mts +38 -0
  410. package/assets/types/typebox/build/type/engine/intrinsics/mapping.d.mts +9 -0
  411. package/assets/types/typebox/build/type/engine/keyof/from_any.d.mts +6 -0
  412. package/assets/types/typebox/build/type/engine/keyof/from_array.d.mts +4 -0
  413. package/assets/types/typebox/build/type/engine/keyof/from_object.d.mts +10 -0
  414. package/assets/types/typebox/build/type/engine/keyof/from_record.d.mts +4 -0
  415. package/assets/types/typebox/build/type/engine/keyof/from_tuple.d.mts +5 -0
  416. package/assets/types/typebox/build/type/engine/keyof/from_type.d.mts +15 -0
  417. package/assets/types/typebox/build/type/engine/keyof/index.d.mts +1 -0
  418. package/assets/types/typebox/build/type/engine/keyof/instantiate.d.mts +16 -0
  419. package/assets/types/typebox/build/type/engine/mapped/index.d.mts +1 -0
  420. package/assets/types/typebox/build/type/engine/mapped/instantiate.d.mts +10 -0
  421. package/assets/types/typebox/build/type/engine/mapped/mapped_operation.d.mts +22 -0
  422. package/assets/types/typebox/build/type/engine/mapped/mapped_variants.d.mts +17 -0
  423. package/assets/types/typebox/build/type/engine/module/index.d.mts +1 -0
  424. package/assets/types/typebox/build/type/engine/module/instantiate.d.mts +19 -0
  425. package/assets/types/typebox/build/type/engine/non_nullable/index.d.mts +1 -0
  426. package/assets/types/typebox/build/type/engine/non_nullable/instantiate.d.mts +14 -0
  427. package/assets/types/typebox/build/type/engine/object/collapse.d.mts +12 -0
  428. package/assets/types/typebox/build/type/engine/object/from_cyclic.d.mts +6 -0
  429. package/assets/types/typebox/build/type/engine/object/from_dependent.d.mts +5 -0
  430. package/assets/types/typebox/build/type/engine/object/from_intersect.d.mts +17 -0
  431. package/assets/types/typebox/build/type/engine/object/from_object.d.mts +3 -0
  432. package/assets/types/typebox/build/type/engine/object/from_tuple.d.mts +6 -0
  433. package/assets/types/typebox/build/type/engine/object/from_type.d.mts +16 -0
  434. package/assets/types/typebox/build/type/engine/object/from_union.d.mts +12 -0
  435. package/assets/types/typebox/build/type/engine/object/index.d.mts +1 -0
  436. package/assets/types/typebox/build/type/engine/omit/from_type.d.mts +12 -0
  437. package/assets/types/typebox/build/type/engine/omit/index.d.mts +1 -0
  438. package/assets/types/typebox/build/type/engine/omit/instantiate.d.mts +9 -0
  439. package/assets/types/typebox/build/type/engine/optional/instantiate_add.d.mts +10 -0
  440. package/assets/types/typebox/build/type/engine/optional/instantiate_remove.d.mts +10 -0
  441. package/assets/types/typebox/build/type/engine/parameters/index.d.mts +1 -0
  442. package/assets/types/typebox/build/type/engine/parameters/instantiate.d.mts +14 -0
  443. package/assets/types/typebox/build/type/engine/partial/from_cyclic.d.mts +10 -0
  444. package/assets/types/typebox/build/type/engine/partial/from_dependent.d.mts +5 -0
  445. package/assets/types/typebox/build/type/engine/partial/from_intersect.d.mts +5 -0
  446. package/assets/types/typebox/build/type/engine/partial/from_object.d.mts +8 -0
  447. package/assets/types/typebox/build/type/engine/partial/from_type.d.mts +14 -0
  448. package/assets/types/typebox/build/type/engine/partial/from_union.d.mts +5 -0
  449. package/assets/types/typebox/build/type/engine/partial/index.d.mts +1 -0
  450. package/assets/types/typebox/build/type/engine/partial/instantiate.d.mts +9 -0
  451. package/assets/types/typebox/build/type/engine/patterns/index.d.mts +2 -0
  452. package/assets/types/typebox/build/type/engine/patterns/pattern.d.mts +6 -0
  453. package/assets/types/typebox/build/type/engine/patterns/template.d.mts +7 -0
  454. package/assets/types/typebox/build/type/engine/pick/from_type.d.mts +13 -0
  455. package/assets/types/typebox/build/type/engine/pick/index.d.mts +1 -0
  456. package/assets/types/typebox/build/type/engine/pick/instantiate.d.mts +9 -0
  457. package/assets/types/typebox/build/type/engine/priority/index.d.mts +1 -0
  458. package/assets/types/typebox/build/type/engine/priority/priority.d.mts +20 -0
  459. package/assets/types/typebox/build/type/engine/readonly/instantiate_add.d.mts +10 -0
  460. package/assets/types/typebox/build/type/engine/readonly/instantiate_remove.d.mts +10 -0
  461. package/assets/types/typebox/build/type/engine/readonly_object/from_array.d.mts +5 -0
  462. package/assets/types/typebox/build/type/engine/readonly_object/from_cyclic.d.mts +10 -0
  463. package/assets/types/typebox/build/type/engine/readonly_object/from_dependent.d.mts +5 -0
  464. package/assets/types/typebox/build/type/engine/readonly_object/from_intersect.d.mts +5 -0
  465. package/assets/types/typebox/build/type/engine/readonly_object/from_object.d.mts +8 -0
  466. package/assets/types/typebox/build/type/engine/readonly_object/from_tuple.d.mts +5 -0
  467. package/assets/types/typebox/build/type/engine/readonly_object/from_type.d.mts +18 -0
  468. package/assets/types/typebox/build/type/engine/readonly_object/from_union.d.mts +5 -0
  469. package/assets/types/typebox/build/type/engine/readonly_object/index.d.mts +1 -0
  470. package/assets/types/typebox/build/type/engine/readonly_object/instantiate.d.mts +9 -0
  471. package/assets/types/typebox/build/type/engine/record/from_key.d.mts +24 -0
  472. package/assets/types/typebox/build/type/engine/record/from_key_any.d.mts +4 -0
  473. package/assets/types/typebox/build/type/engine/record/from_key_boolean.d.mts +7 -0
  474. package/assets/types/typebox/build/type/engine/record/from_key_enum.d.mts +6 -0
  475. package/assets/types/typebox/build/type/engine/record/from_key_integer.d.mts +5 -0
  476. package/assets/types/typebox/build/type/engine/record/from_key_intersect.d.mts +5 -0
  477. package/assets/types/typebox/build/type/engine/record/from_key_literal.d.mts +11 -0
  478. package/assets/types/typebox/build/type/engine/record/from_key_number.d.mts +5 -0
  479. package/assets/types/typebox/build/type/engine/record/from_key_string.d.mts +5 -0
  480. package/assets/types/typebox/build/type/engine/record/from_key_template_literal.d.mts +8 -0
  481. package/assets/types/typebox/build/type/engine/record/from_key_union.d.mts +20 -0
  482. package/assets/types/typebox/build/type/engine/record/index.d.mts +1 -0
  483. package/assets/types/typebox/build/type/engine/record/instantiate.d.mts +9 -0
  484. package/assets/types/typebox/build/type/engine/record/record_create.d.mts +3 -0
  485. package/assets/types/typebox/build/type/engine/ref/index.d.mts +1 -0
  486. package/assets/types/typebox/build/type/engine/ref/instantiate.d.mts +6 -0
  487. package/assets/types/typebox/build/type/engine/required/from_cyclic.d.mts +10 -0
  488. package/assets/types/typebox/build/type/engine/required/from_dependent.d.mts +5 -0
  489. package/assets/types/typebox/build/type/engine/required/from_intersect.d.mts +5 -0
  490. package/assets/types/typebox/build/type/engine/required/from_object.d.mts +8 -0
  491. package/assets/types/typebox/build/type/engine/required/from_type.d.mts +14 -0
  492. package/assets/types/typebox/build/type/engine/required/from_union.d.mts +5 -0
  493. package/assets/types/typebox/build/type/engine/required/index.d.mts +1 -0
  494. package/assets/types/typebox/build/type/engine/required/instantiate.d.mts +9 -0
  495. package/assets/types/typebox/build/type/engine/rest/index.d.mts +1 -0
  496. package/assets/types/typebox/build/type/engine/rest/spread.d.mts +12 -0
  497. package/assets/types/typebox/build/type/engine/return_type/index.d.mts +1 -0
  498. package/assets/types/typebox/build/type/engine/return_type/instantiate.d.mts +12 -0
  499. package/assets/types/typebox/build/type/engine/template_literal/create.d.mts +1 -0
  500. package/assets/types/typebox/build/type/engine/template_literal/decode.d.mts +30 -0
  501. package/assets/types/typebox/build/type/engine/template_literal/encode.d.mts +33 -0
  502. package/assets/types/typebox/build/type/engine/template_literal/index.d.mts +6 -0
  503. package/assets/types/typebox/build/type/engine/template_literal/instantiate.d.mts +9 -0
  504. package/assets/types/typebox/build/type/engine/template_literal/is_finite.d.mts +12 -0
  505. package/assets/types/typebox/build/type/engine/template_literal/is_pattern.d.mts +6 -0
  506. package/assets/types/typebox/build/type/engine/template_literal/static.d.mts +18 -0
  507. package/assets/types/typebox/build/type/engine/this/expand_this.d.mts +16 -0
  508. package/assets/types/typebox/build/type/engine/tuple/to_object.d.mts +12 -0
  509. package/assets/types/typebox/build/type/engine/with/index.d.mts +1 -0
  510. package/assets/types/typebox/build/type/engine/with/instantiate.d.mts +8 -0
  511. package/assets/types/typebox/build/type/extends/any.d.mts +9 -0
  512. package/assets/types/typebox/build/type/extends/array.d.mts +20 -0
  513. package/assets/types/typebox/build/type/extends/bigint.d.mts +7 -0
  514. package/assets/types/typebox/build/type/extends/boolean.d.mts +7 -0
  515. package/assets/types/typebox/build/type/extends/constructor.d.mts +10 -0
  516. package/assets/types/typebox/build/type/extends/dependent.d.mts +6 -0
  517. package/assets/types/typebox/build/type/extends/enum.d.mts +7 -0
  518. package/assets/types/typebox/build/type/extends/extends.d.mts +13 -0
  519. package/assets/types/typebox/build/type/extends/extends_left.d.mts +53 -0
  520. package/assets/types/typebox/build/type/extends/extends_right.d.mts +27 -0
  521. package/assets/types/typebox/build/type/extends/function.d.mts +10 -0
  522. package/assets/types/typebox/build/type/extends/index.d.mts +2 -0
  523. package/assets/types/typebox/build/type/extends/inference.d.mts +34 -0
  524. package/assets/types/typebox/build/type/extends/integer.d.mts +8 -0
  525. package/assets/types/typebox/build/type/extends/intersect.d.mts +6 -0
  526. package/assets/types/typebox/build/type/extends/literal.d.mts +18 -0
  527. package/assets/types/typebox/build/type/extends/never.d.mts +8 -0
  528. package/assets/types/typebox/build/type/extends/null.d.mts +7 -0
  529. package/assets/types/typebox/build/type/extends/number.d.mts +7 -0
  530. package/assets/types/typebox/build/type/extends/object.d.mts +32 -0
  531. package/assets/types/typebox/build/type/extends/parameters.d.mts +15 -0
  532. package/assets/types/typebox/build/type/extends/record.d.mts +13 -0
  533. package/assets/types/typebox/build/type/extends/result.d.mts +24 -0
  534. package/assets/types/typebox/build/type/extends/return_type.d.mts +7 -0
  535. package/assets/types/typebox/build/type/extends/string.d.mts +7 -0
  536. package/assets/types/typebox/build/type/extends/symbol.d.mts +7 -0
  537. package/assets/types/typebox/build/type/extends/template_literal.d.mts +6 -0
  538. package/assets/types/typebox/build/type/extends/tuple.d.mts +22 -0
  539. package/assets/types/typebox/build/type/extends/undefined.d.mts +8 -0
  540. package/assets/types/typebox/build/type/extends/union.d.mts +11 -0
  541. package/assets/types/typebox/build/type/extends/unknown.d.mts +9 -0
  542. package/assets/types/typebox/build/type/extends/void.d.mts +7 -0
  543. package/assets/types/typebox/build/type/index.d.mts +5 -0
  544. package/assets/types/typebox/build/type/script/index.d.mts +1 -0
  545. package/assets/types/typebox/build/type/script/mapping.d.mts +353 -0
  546. package/assets/types/typebox/build/type/script/parser.d.mts +262 -0
  547. package/assets/types/typebox/build/type/script/script.d.mts +16 -0
  548. package/assets/types/typebox/build/type/script/token/bigint.d.mts +8 -0
  549. package/assets/types/typebox/build/type/script/token/const.d.mts +11 -0
  550. package/assets/types/typebox/build/type/script/token/ident.d.mts +16 -0
  551. package/assets/types/typebox/build/type/script/token/index.d.mts +12 -0
  552. package/assets/types/typebox/build/type/script/token/integer.d.mts +11 -0
  553. package/assets/types/typebox/build/type/script/token/internal/char.d.mts +75 -0
  554. package/assets/types/typebox/build/type/script/token/internal/guard.d.mts +1 -0
  555. package/assets/types/typebox/build/type/script/token/internal/many.d.mts +7 -0
  556. package/assets/types/typebox/build/type/script/token/internal/match.d.mts +6 -0
  557. package/assets/types/typebox/build/type/script/token/internal/optional.d.mts +5 -0
  558. package/assets/types/typebox/build/type/script/token/internal/take.d.mts +6 -0
  559. package/assets/types/typebox/build/type/script/token/internal/trim.d.mts +19 -0
  560. package/assets/types/typebox/build/type/script/token/number.d.mts +11 -0
  561. package/assets/types/typebox/build/type/script/token/rest.d.mts +4 -0
  562. package/assets/types/typebox/build/type/script/token/span.d.mts +11 -0
  563. package/assets/types/typebox/build/type/script/token/string.d.mts +11 -0
  564. package/assets/types/typebox/build/type/script/token/unsigned_integer.d.mts +16 -0
  565. package/assets/types/typebox/build/type/script/token/unsigned_number.d.mts +17 -0
  566. package/assets/types/typebox/build/type/script/token/until.d.mts +7 -0
  567. package/assets/types/typebox/build/type/script/token/until_1.d.mts +5 -0
  568. package/assets/types/typebox/build/type/types/_codec.d.mts +30 -0
  569. package/assets/types/typebox/build/type/types/_immutable.d.mts +9 -0
  570. package/assets/types/typebox/build/type/types/_optional.d.mts +9 -0
  571. package/assets/types/typebox/build/type/types/_readonly.d.mts +9 -0
  572. package/assets/types/typebox/build/type/types/_refine.d.mts +24 -0
  573. package/assets/types/typebox/build/type/types/any.d.mts +10 -0
  574. package/assets/types/typebox/build/type/types/array.d.mts +18 -0
  575. package/assets/types/typebox/build/type/types/bigint.d.mts +12 -0
  576. package/assets/types/typebox/build/type/types/boolean.d.mts +11 -0
  577. package/assets/types/typebox/build/type/types/call.d.mts +16 -0
  578. package/assets/types/typebox/build/type/types/constructor.d.mts +18 -0
  579. package/assets/types/typebox/build/type/types/cyclic.d.mts +16 -0
  580. package/assets/types/typebox/build/type/types/deferred.d.mts +13 -0
  581. package/assets/types/typebox/build/type/types/dependent.d.mts +17 -0
  582. package/assets/types/typebox/build/type/types/enum.d.mts +18 -0
  583. package/assets/types/typebox/build/type/types/function.d.mts +21 -0
  584. package/assets/types/typebox/build/type/types/generic.d.mts +13 -0
  585. package/assets/types/typebox/build/type/types/identifier.d.mts +11 -0
  586. package/assets/types/typebox/build/type/types/index.d.mts +45 -0
  587. package/assets/types/typebox/build/type/types/infer.d.mts +15 -0
  588. package/assets/types/typebox/build/type/types/integer.d.mts +12 -0
  589. package/assets/types/typebox/build/type/types/intersect.d.mts +15 -0
  590. package/assets/types/typebox/build/type/types/literal.d.mts +31 -0
  591. package/assets/types/typebox/build/type/types/never.d.mts +12 -0
  592. package/assets/types/typebox/build/type/types/null.d.mts +11 -0
  593. package/assets/types/typebox/build/type/types/number.d.mts +12 -0
  594. package/assets/types/typebox/build/type/types/object.d.mts +18 -0
  595. package/assets/types/typebox/build/type/types/parameter.d.mts +17 -0
  596. package/assets/types/typebox/build/type/types/properties.d.mts +43 -0
  597. package/assets/types/typebox/build/type/types/record.d.mts +52 -0
  598. package/assets/types/typebox/build/type/types/ref.d.mts +19 -0
  599. package/assets/types/typebox/build/type/types/rest.d.mts +11 -0
  600. package/assets/types/typebox/build/type/types/schema.d.mts +176 -0
  601. package/assets/types/typebox/build/type/types/static.d.mts +45 -0
  602. package/assets/types/typebox/build/type/types/string.d.mts +12 -0
  603. package/assets/types/typebox/build/type/types/symbol.d.mts +11 -0
  604. package/assets/types/typebox/build/type/types/template_literal.d.mts +28 -0
  605. package/assets/types/typebox/build/type/types/this.d.mts +14 -0
  606. package/assets/types/typebox/build/type/types/tuple.d.mts +38 -0
  607. package/assets/types/typebox/build/type/types/undefined.d.mts +11 -0
  608. package/assets/types/typebox/build/type/types/union.d.mts +15 -0
  609. package/assets/types/typebox/build/type/types/unknown.d.mts +10 -0
  610. package/assets/types/typebox/build/type/types/unsafe.d.mts +10 -0
  611. package/assets/types/typebox/build/type/types/void.d.mts +11 -0
  612. package/assets/types/typebox/build/typebox.d.mts +69 -0
  613. package/assets/types/typebox/build/value/assert/assert.d.mts +14 -0
  614. package/assets/types/typebox/build/value/assert/index.d.mts +1 -0
  615. package/assets/types/typebox/build/value/check/check.d.mts +5 -0
  616. package/assets/types/typebox/build/value/check/index.d.mts +1 -0
  617. package/assets/types/typebox/build/value/clean/additional.d.mts +2 -0
  618. package/assets/types/typebox/build/value/clean/clean.d.mts +15 -0
  619. package/assets/types/typebox/build/value/clean/from_array.d.mts +2 -0
  620. package/assets/types/typebox/build/value/clean/from_cyclic.d.mts +2 -0
  621. package/assets/types/typebox/build/value/clean/from_intersect.d.mts +2 -0
  622. package/assets/types/typebox/build/value/clean/from_object.d.mts +2 -0
  623. package/assets/types/typebox/build/value/clean/from_record.d.mts +2 -0
  624. package/assets/types/typebox/build/value/clean/from_ref.d.mts +2 -0
  625. package/assets/types/typebox/build/value/clean/from_tuple.d.mts +2 -0
  626. package/assets/types/typebox/build/value/clean/from_type.d.mts +2 -0
  627. package/assets/types/typebox/build/value/clean/from_union.d.mts +2 -0
  628. package/assets/types/typebox/build/value/clean/index.d.mts +1 -0
  629. package/assets/types/typebox/build/value/clone/clone.d.mts +5 -0
  630. package/assets/types/typebox/build/value/clone/index.d.mts +1 -0
  631. package/assets/types/typebox/build/value/codec/callback.d.mts +2 -0
  632. package/assets/types/typebox/build/value/codec/decode.d.mts +12 -0
  633. package/assets/types/typebox/build/value/codec/encode.d.mts +12 -0
  634. package/assets/types/typebox/build/value/codec/from_array.d.mts +2 -0
  635. package/assets/types/typebox/build/value/codec/from_cyclic.d.mts +2 -0
  636. package/assets/types/typebox/build/value/codec/from_intersect.d.mts +2 -0
  637. package/assets/types/typebox/build/value/codec/from_object.d.mts +2 -0
  638. package/assets/types/typebox/build/value/codec/from_record.d.mts +2 -0
  639. package/assets/types/typebox/build/value/codec/from_ref.d.mts +2 -0
  640. package/assets/types/typebox/build/value/codec/from_tuple.d.mts +2 -0
  641. package/assets/types/typebox/build/value/codec/from_type.d.mts +2 -0
  642. package/assets/types/typebox/build/value/codec/from_union.d.mts +2 -0
  643. package/assets/types/typebox/build/value/codec/has.d.mts +5 -0
  644. package/assets/types/typebox/build/value/codec/index.d.mts +3 -0
  645. package/assets/types/typebox/build/value/convert/convert.d.mts +13 -0
  646. package/assets/types/typebox/build/value/convert/from_additional.d.mts +6 -0
  647. package/assets/types/typebox/build/value/convert/from_array.d.mts +2 -0
  648. package/assets/types/typebox/build/value/convert/from_bigint.d.mts +2 -0
  649. package/assets/types/typebox/build/value/convert/from_boolean.d.mts +2 -0
  650. package/assets/types/typebox/build/value/convert/from_cyclic.d.mts +2 -0
  651. package/assets/types/typebox/build/value/convert/from_enum.d.mts +2 -0
  652. package/assets/types/typebox/build/value/convert/from_integer.d.mts +2 -0
  653. package/assets/types/typebox/build/value/convert/from_intersect.d.mts +2 -0
  654. package/assets/types/typebox/build/value/convert/from_literal.d.mts +2 -0
  655. package/assets/types/typebox/build/value/convert/from_null.d.mts +2 -0
  656. package/assets/types/typebox/build/value/convert/from_number.d.mts +2 -0
  657. package/assets/types/typebox/build/value/convert/from_object.d.mts +2 -0
  658. package/assets/types/typebox/build/value/convert/from_record.d.mts +2 -0
  659. package/assets/types/typebox/build/value/convert/from_ref.d.mts +2 -0
  660. package/assets/types/typebox/build/value/convert/from_string.d.mts +2 -0
  661. package/assets/types/typebox/build/value/convert/from_template_literal.d.mts +2 -0
  662. package/assets/types/typebox/build/value/convert/from_tuple.d.mts +2 -0
  663. package/assets/types/typebox/build/value/convert/from_type.d.mts +2 -0
  664. package/assets/types/typebox/build/value/convert/from_undefined.d.mts +2 -0
  665. package/assets/types/typebox/build/value/convert/from_union.d.mts +2 -0
  666. package/assets/types/typebox/build/value/convert/from_void.d.mts +2 -0
  667. package/assets/types/typebox/build/value/convert/index.d.mts +1 -0
  668. package/assets/types/typebox/build/value/convert/try/index.d.mts +1 -0
  669. package/assets/types/typebox/build/value/convert/try/try.d.mts +8 -0
  670. package/assets/types/typebox/build/value/convert/try/try_array.d.mts +2 -0
  671. package/assets/types/typebox/build/value/convert/try/try_bigint.d.mts +2 -0
  672. package/assets/types/typebox/build/value/convert/try/try_boolean.d.mts +2 -0
  673. package/assets/types/typebox/build/value/convert/try/try_null.d.mts +2 -0
  674. package/assets/types/typebox/build/value/convert/try/try_number.d.mts +2 -0
  675. package/assets/types/typebox/build/value/convert/try/try_result.d.mts +8 -0
  676. package/assets/types/typebox/build/value/convert/try/try_string.d.mts +2 -0
  677. package/assets/types/typebox/build/value/convert/try/try_undefined.d.mts +2 -0
  678. package/assets/types/typebox/build/value/create/create.d.mts +5 -0
  679. package/assets/types/typebox/build/value/create/error.d.mts +5 -0
  680. package/assets/types/typebox/build/value/create/from_array.d.mts +2 -0
  681. package/assets/types/typebox/build/value/create/from_bigint.d.mts +2 -0
  682. package/assets/types/typebox/build/value/create/from_boolean.d.mts +2 -0
  683. package/assets/types/typebox/build/value/create/from_constructor.d.mts +2 -0
  684. package/assets/types/typebox/build/value/create/from_cyclic.d.mts +2 -0
  685. package/assets/types/typebox/build/value/create/from_default.d.mts +3 -0
  686. package/assets/types/typebox/build/value/create/from_enum.d.mts +2 -0
  687. package/assets/types/typebox/build/value/create/from_function.d.mts +2 -0
  688. package/assets/types/typebox/build/value/create/from_integer.d.mts +2 -0
  689. package/assets/types/typebox/build/value/create/from_intersect.d.mts +2 -0
  690. package/assets/types/typebox/build/value/create/from_literal.d.mts +2 -0
  691. package/assets/types/typebox/build/value/create/from_never.d.mts +2 -0
  692. package/assets/types/typebox/build/value/create/from_null.d.mts +2 -0
  693. package/assets/types/typebox/build/value/create/from_number.d.mts +2 -0
  694. package/assets/types/typebox/build/value/create/from_object.d.mts +2 -0
  695. package/assets/types/typebox/build/value/create/from_record.d.mts +2 -0
  696. package/assets/types/typebox/build/value/create/from_ref.d.mts +2 -0
  697. package/assets/types/typebox/build/value/create/from_string.d.mts +2 -0
  698. package/assets/types/typebox/build/value/create/from_symbol.d.mts +2 -0
  699. package/assets/types/typebox/build/value/create/from_template_literal.d.mts +2 -0
  700. package/assets/types/typebox/build/value/create/from_tuple.d.mts +2 -0
  701. package/assets/types/typebox/build/value/create/from_type.d.mts +2 -0
  702. package/assets/types/typebox/build/value/create/from_undefined.d.mts +2 -0
  703. package/assets/types/typebox/build/value/create/from_union.d.mts +2 -0
  704. package/assets/types/typebox/build/value/create/from_void.d.mts +2 -0
  705. package/assets/types/typebox/build/value/create/index.d.mts +2 -0
  706. package/assets/types/typebox/build/value/default/default.d.mts +13 -0
  707. package/assets/types/typebox/build/value/default/from_array.d.mts +2 -0
  708. package/assets/types/typebox/build/value/default/from_cyclic.d.mts +2 -0
  709. package/assets/types/typebox/build/value/default/from_default.d.mts +3 -0
  710. package/assets/types/typebox/build/value/default/from_intersect.d.mts +2 -0
  711. package/assets/types/typebox/build/value/default/from_object.d.mts +2 -0
  712. package/assets/types/typebox/build/value/default/from_record.d.mts +2 -0
  713. package/assets/types/typebox/build/value/default/from_ref.d.mts +2 -0
  714. package/assets/types/typebox/build/value/default/from_tuple.d.mts +2 -0
  715. package/assets/types/typebox/build/value/default/from_type.d.mts +2 -0
  716. package/assets/types/typebox/build/value/default/from_union.d.mts +2 -0
  717. package/assets/types/typebox/build/value/default/index.d.mts +1 -0
  718. package/assets/types/typebox/build/value/delta/diff.d.mts +10 -0
  719. package/assets/types/typebox/build/value/delta/edit.d.mts +24 -0
  720. package/assets/types/typebox/build/value/delta/index.d.mts +3 -0
  721. package/assets/types/typebox/build/value/delta/patch.d.mts +8 -0
  722. package/assets/types/typebox/build/value/equal/equal.d.mts +2 -0
  723. package/assets/types/typebox/build/value/equal/index.d.mts +1 -0
  724. package/assets/types/typebox/build/value/errors/errors.d.mts +16 -0
  725. package/assets/types/typebox/build/value/errors/index.d.mts +1 -0
  726. package/assets/types/typebox/build/value/hash/hash.d.mts +6 -0
  727. package/assets/types/typebox/build/value/hash/index.d.mts +1 -0
  728. package/assets/types/typebox/build/value/index.d.mts +20 -0
  729. package/assets/types/typebox/build/value/parse/index.d.mts +1 -0
  730. package/assets/types/typebox/build/value/parse/parse.d.mts +11 -0
  731. package/assets/types/typebox/build/value/pipeline/index.d.mts +1 -0
  732. package/assets/types/typebox/build/value/pipeline/pipeline.d.mts +10 -0
  733. package/assets/types/typebox/build/value/pointer/index.d.mts +1 -0
  734. package/assets/types/typebox/build/value/repair/error.d.mts +7 -0
  735. package/assets/types/typebox/build/value/repair/from_array.d.mts +2 -0
  736. package/assets/types/typebox/build/value/repair/from_enum.d.mts +2 -0
  737. package/assets/types/typebox/build/value/repair/from_intersect.d.mts +2 -0
  738. package/assets/types/typebox/build/value/repair/from_object.d.mts +2 -0
  739. package/assets/types/typebox/build/value/repair/from_record.d.mts +2 -0
  740. package/assets/types/typebox/build/value/repair/from_ref.d.mts +2 -0
  741. package/assets/types/typebox/build/value/repair/from_template_literal.d.mts +2 -0
  742. package/assets/types/typebox/build/value/repair/from_tuple.d.mts +2 -0
  743. package/assets/types/typebox/build/value/repair/from_type.d.mts +2 -0
  744. package/assets/types/typebox/build/value/repair/from_union.d.mts +2 -0
  745. package/assets/types/typebox/build/value/repair/from_unknown.d.mts +2 -0
  746. package/assets/types/typebox/build/value/repair/index.d.mts +1 -0
  747. package/assets/types/typebox/build/value/repair/repair.d.mts +17 -0
  748. package/assets/types/typebox/build/value/shared/index.d.mts +3 -0
  749. package/assets/types/typebox/build/value/shared/optional_undefined.d.mts +2 -0
  750. package/assets/types/typebox/build/value/shared/union_priority_sort.d.mts +7 -0
  751. package/assets/types/typebox/build/value/shared/union_score_select.d.mts +3 -0
  752. package/assets/types/typebox/build/value/value.d.mts +15 -0
  753. package/assets/types/typebox/package.json +87 -0
  754. package/package.json +28 -0
  755. package/src/alt-screen.ts +46 -0
  756. package/src/argv.ts +147 -0
  757. package/src/cli-tree-host.ts +81 -0
  758. package/src/cli.ts +155 -0
  759. package/src/fatal-signal.ts +45 -0
  760. package/src/final-frame.ts +71 -0
  761. package/src/interactive-run.ts +231 -0
  762. package/src/presenter.ts +31 -0
  763. package/src/render.ts +96 -0
  764. package/src/run-invocation.ts +48 -0
  765. package/src/runtime-alias.ts +64 -0
  766. package/src/setup-workspace.ts +91 -0
  767. package/src/tree-app.ts +178 -0
  768. package/src/tui-test-support.ts +96 -0
@@ -0,0 +1,11 @@
1
+ import { type TTrim } from './internal/trim.mjs';
2
+ import { type TOptional } from './internal/optional.mjs';
3
+ import { type THyphen } from './internal/char.mjs';
4
+ import { type TUnsignedNumber } from './unsigned_number.mjs';
5
+ type TTakeSign<Input extends string> = (TOptional<THyphen, Input>);
6
+ type TTakeSignedNumber<Input extends string> = (TTakeSign<Input> extends [infer Sign extends string, infer SignRest extends string] ? TUnsignedNumber<SignRest> extends [infer UnsignedInteger extends string, infer UnsignedIntegerRest extends string] ? [`${Sign}${UnsignedInteger}`, UnsignedIntegerRest] : [] : []);
7
+ /** Matches if next is a signed or unsigned Number */
8
+ export type TNumber<Input extends string> = (TTakeSignedNumber<TTrim<Input>>);
9
+ /** Matches if next is a signed or unsigned Number */
10
+ export declare function Number<Input extends string>(input: Input): TNumber<Input>;
11
+ export {};
@@ -0,0 +1,4 @@
1
+ /** Match remaining characters in the buffer until end. If no characters are in buffer, no match */
2
+ export type TRest<Input extends string> = (Input extends '' ? [] : [Input, '']);
3
+ /** Match remaining characters in the buffer until end. If no characters are in buffer, no match */
4
+ export declare function Rest<Input extends string>(input: Input): TRest<Input>;
@@ -0,0 +1,11 @@
1
+ import { type TTrim } from './internal/trim.mjs';
2
+ import { type TNewLine } from './internal/char.mjs';
3
+ import { type TTake } from './internal/take.mjs';
4
+ import { type TUntil } from './until.mjs';
5
+ type TMultiLine<Start extends string, End extends string, Input extends string> = (TTake<[Start], Input> extends [infer _, infer Rest extends string] ? TUntil<[End], Rest> extends [infer Until extends string, infer UntilRest extends string] ? TTake<[End], UntilRest> extends [infer _ extends string, infer Rest extends string] ? [`${Until}`, Rest] : [] : [] : []);
6
+ type TSingleLine<Start extends string, End extends string, Input extends string> = (TTake<[Start], Input> extends [infer _ extends string, infer Rest extends string] ? TUntil<[TNewLine, End], Rest> extends [infer Until extends string, infer UntilRest extends string] ? TTake<[End], UntilRest> extends [infer _ extends string, infer EndRest extends string] ? [`${Until}`, EndRest] : [] : [] : []);
7
+ /** Matches from Start and End capturing everything in-between. Start and End are consumed. */
8
+ export type TSpan<Start extends string, End extends string, MultiLine extends boolean, Input extends string> = (MultiLine extends true ? TMultiLine<Start, End, TTrim<Input>> : TSingleLine<Start, End, TTrim<Input>>);
9
+ /** Matches from Start and End capturing everything in-between. Start and End are consumed. */
10
+ export declare function Span<Start extends string, End extends string, MultiLine extends boolean, Input extends string>(start: Start, end: End, multiLine: MultiLine, input: Input): TSpan<Start, End, MultiLine, Input>;
11
+ export {};
@@ -0,0 +1,11 @@
1
+ import { type TTake } from './internal/take.mjs';
2
+ import { type TTrim } from './internal/trim.mjs';
3
+ import { type TSpan } from './span.mjs';
4
+ type TTakeInitial<Quotes extends string[], Input extends string> = (TTake<Quotes, Input>);
5
+ type TTakeSpan<Quote extends string, Input extends string> = (TSpan<Quote, Quote, false, Input>);
6
+ type TTakeString<Quotes extends string[], Input extends string> = (TTakeInitial<Quotes, Input> extends [infer Initial extends string, infer InitialRest extends string] ? TTakeSpan<Initial, `${Initial}${InitialRest}`> : []);
7
+ /** Matches a literal String with the given quotes */
8
+ export type TString<Quotes extends string[], Input extends string> = (TTakeString<Quotes, TTrim<Input>>);
9
+ /** Matches a literal String with the given quotes */
10
+ export declare function String<Quotes extends string[], Input extends string>(quotes: [...Quotes], input: Input): TString<Quotes, Input>;
11
+ export {};
@@ -0,0 +1,16 @@
1
+ import { type TTrim } from './internal/trim.mjs';
2
+ import { type TTake } from './internal/take.mjs';
3
+ import { type TMany } from './internal/many.mjs';
4
+ import { type TDigit } from './internal/char.mjs';
5
+ import { type TZero } from './internal/char.mjs';
6
+ import { type TNonZero } from './internal/char.mjs';
7
+ import { type TUnderScore } from './internal/char.mjs';
8
+ type TTakeNonZero<Input extends string> = (TTake<TNonZero, Input>);
9
+ type TAllowedDigits = [...TDigit, TUnderScore];
10
+ type TTakeDigits<Input extends string> = (TMany<TAllowedDigits, [TUnderScore], Input>);
11
+ type TTakeUnsignedInteger<Input extends string> = (TTake<[TZero], Input> extends [infer Zero extends string, infer ZeroRest extends string] ? [Zero, ZeroRest] : TTakeNonZero<Input> extends [infer NonZero extends string, infer NonZeroRest extends string] ? TTakeDigits<NonZeroRest> extends [infer Digits extends string, infer DigitsRest extends string] ? [`${NonZero}${Digits}`, DigitsRest] : [] : []);
12
+ /** Matches if next is a UnsignedInteger */
13
+ export type TUnsignedInteger<Input extends string> = (TTakeUnsignedInteger<TTrim<Input>>);
14
+ /** Matches if next is a UnsignedInteger */
15
+ export declare function UnsignedInteger<Input extends string>(input: Input): TUnsignedInteger<Input>;
16
+ export {};
@@ -0,0 +1,17 @@
1
+ import { type TTrim } from './internal/trim.mjs';
2
+ import { type TTake } from './internal/take.mjs';
3
+ import { type TMany } from './internal/many.mjs';
4
+ import { type TDigit, type TUnderScore } from './internal/char.mjs';
5
+ import { type TDot } from './internal/char.mjs';
6
+ import { type TUnsignedInteger } from './unsigned_integer.mjs';
7
+ type TAllowedDigits = [...TDigit, TUnderScore];
8
+ type TIsLeadingDot<Input extends string> = (TTake<[TDot], Input> extends [string, string] ? true : false);
9
+ type TTakeFractional<Input extends string> = (TMany<TAllowedDigits, [TUnderScore], Input> extends [infer Digits extends string, infer DigitsRest extends string] ? Digits extends '' ? [] : [Digits, DigitsRest] : []);
10
+ type TLeadingDot<Input extends string> = (TTake<[TDot], Input> extends [infer Dot extends string, infer DotRest extends string] ? TTakeFractional<DotRest> extends [infer Fractional extends string, infer FractionalRest extends string] ? [`0${Dot}${Fractional}`, FractionalRest] : [] : []);
11
+ type TLeadingInteger<Input extends string> = (TUnsignedInteger<Input> extends [infer Integer extends string, infer IntegerRest extends string] ? TTake<[TDot], IntegerRest> extends [infer Dot extends string, infer DotRest extends string] ? TTakeFractional<DotRest> extends [infer Fractional extends string, infer FractionalRest extends string] ? [`${Integer}${Dot}${Fractional}`, FractionalRest] : [`${Integer}`, DotRest] : [`${Integer}`, IntegerRest] : []);
12
+ type TTakeUnsignedNumber<Input extends string> = (TIsLeadingDot<Input> extends true ? TLeadingDot<Input> : TLeadingInteger<Input>);
13
+ /** Matches if next is a UnsignedNumber */
14
+ export type TUnsignedNumber<Input extends string> = (TTakeUnsignedNumber<TTrim<Input>>);
15
+ /** Matches if next is a UnsignedNumber */
16
+ export declare function UnsignedNumber<Input extends string>(input: Input): TUnsignedNumber<Input>;
17
+ export {};
@@ -0,0 +1,7 @@
1
+ type TTakeOne<Input extends string> = (Input extends `${infer Left extends string}${infer Right extends string}` ? [Left, Right] : []);
2
+ type TIsInputMatchSentinal<End extends string[], Input extends string> = (End extends [infer Left extends string, ...infer Right extends string[]] ? Input extends `${Left}${string}` ? true : TIsInputMatchSentinal<Right, Input> : false);
3
+ /** Match Input until but not including End. No match if End not found. */
4
+ export type TUntil<End extends string[], Input extends string, Result extends string = ''> = (TTakeOne<Input> extends [infer One extends string, infer Rest extends string] ? TIsInputMatchSentinal<End, Input> extends true ? [Result, Input] : TUntil<End, Rest, `${Result}${One}`> : []);
5
+ /** Match Input until but not including End. No match if End not found. */
6
+ export declare function Until<End extends string[], Input extends string>(end: [...End], input: Input, result?: string): TUntil<End, Input>;
7
+ export {};
@@ -0,0 +1,5 @@
1
+ import { type TUntil } from './until.mjs';
2
+ /** Match Input until but not including End. No match if End not found or match is zero-length. */
3
+ export type TUntil_1<End extends string[], Input extends string> = (TUntil<End, Input> extends [infer Until extends string, infer UntilRest extends string] ? Until extends '' ? [] : [Until, UntilRest] : []);
4
+ /** Match Input until but not including End. No match if End not found or match is zero-length. */
5
+ export declare function Until_1<End extends string[], Input extends string>(end: [...End], input: Input): TUntil_1<End, Input>;
@@ -0,0 +1,30 @@
1
+ import { type StaticDirection, type StaticDecode, type StaticType } from './static.mjs';
2
+ import { type TSchema } from './schema.mjs';
3
+ import { type TProperties } from './properties.mjs';
4
+ export type StaticCodec<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Decoded extends unknown> = (Direction extends 'Decode' ? Decoded : StaticType<Stack, Direction, Context, This, Omit<Type, '~codec'>>);
5
+ export type TDecodeCallback<Encoded extends unknown, Decoded = unknown> = (input: Encoded) => Decoded;
6
+ export type TEncodeCallback<Encoded extends unknown, Decoded = unknown> = (input: Decoded) => Encoded;
7
+ export type TCodec<Type extends TSchema = TSchema, Decoded extends unknown = unknown> = Type & {
8
+ '~codec': {
9
+ encode: TDecodeCallback<unknown, Decoded>;
10
+ decode: TEncodeCallback<unknown, Decoded>;
11
+ };
12
+ };
13
+ export declare class EncodeBuilder<Type extends TSchema, Encoded extends unknown, Decoded extends unknown> {
14
+ private readonly type;
15
+ private readonly decode;
16
+ constructor(type: Type, decode: globalThis.Function);
17
+ Encode(callback: TEncodeCallback<Encoded, Decoded>): TCodec<Type, Decoded>;
18
+ }
19
+ export declare class DecodeBuilder<Type extends TSchema, Encoded extends unknown> {
20
+ private readonly type;
21
+ constructor(type: Type);
22
+ Decode<Callback extends TDecodeCallback<Encoded, unknown>>(callback: Callback): EncodeBuilder<Type, Encoded, ReturnType<Callback>>;
23
+ }
24
+ /** Creates a bi-directional Codec. Codec functions are called on Value.Decode and Value.Encode. */
25
+ export declare function Codec<Type extends TSchema>(type: Type): DecodeBuilder<Type, StaticDecode<Type>>;
26
+ /** Createsa uni-directional Codec with Decode only. The Decode function is called on Value.Decode */
27
+ export declare function Decode<Type extends TSchema, Callback extends TDecodeCallback<StaticDecode<Type>, unknown>>(type: Type, callback: Callback): TCodec<Type, ReturnType<Callback>>;
28
+ /** Creates a uni-directional Codec with Encode only. The Encode function is called on Value.Encode */
29
+ export declare function Encode<Type extends TSchema>(type: Type, callback: TEncodeCallback<StaticDecode<Type>, unknown>): TCodec<Type, unknown>;
30
+ export declare function IsCodec(value: unknown): value is TCodec;
@@ -0,0 +1,9 @@
1
+ import { type TSchema } from './schema.mjs';
2
+ import { type TAddImmutable } from '../action/_add_immutable.mjs';
3
+ export type TImmutable<Type extends TSchema = TSchema> = (Type & {
4
+ '~immutable': true;
5
+ });
6
+ /** Applies an Immutable modifier to the given type. */
7
+ export declare function Immutable<Type extends TSchema>(type: Type): TAddImmutable<Type>;
8
+ /** Returns true if the given value is a TImmutable */
9
+ export declare function IsImmutable(value: unknown): value is TImmutable<TSchema>;
@@ -0,0 +1,9 @@
1
+ import { type TSchema } from './schema.mjs';
2
+ import { type TAddOptional } from '../action/_add_optional.mjs';
3
+ export type TOptional<Type extends TSchema = TSchema> = (Type & {
4
+ '~optional': true;
5
+ });
6
+ /** Applies an Optional modifier to the given type. */
7
+ export declare function Optional<Type extends TSchema>(type: Type): TAddOptional<Type>;
8
+ /** Returns true if the given value is TOptional */
9
+ export declare function IsOptional(value: unknown): value is TOptional<TSchema>;
@@ -0,0 +1,9 @@
1
+ import { type TSchema } from './schema.mjs';
2
+ import { type TAddReadonly } from '../action/_add_readonly.mjs';
3
+ export type TReadonly<Type extends TSchema = TSchema> = (Type & {
4
+ '~readonly': true;
5
+ });
6
+ /** Applies an Readonly property modifier to the given type. */
7
+ export declare function Readonly<Type extends TSchema>(type: Type): TAddReadonly<Type>;
8
+ /** Returns true if the given value is a TReadonly */
9
+ export declare function IsReadonly(value: unknown): value is TReadonly<TSchema>;
@@ -0,0 +1,24 @@
1
+ import { type TSchema } from './schema.mjs';
2
+ import { type Static } from './static.mjs';
3
+ /** Applies a Refine check to the given type. */
4
+ export type TRefineAdd<Type extends TSchema = TSchema> = ('~refine' extends keyof Type ? Type : TRefine<Type>);
5
+ /** Applies a Refine check to the given type. */
6
+ export declare function RefineAdd<Type extends TSchema>(type: Type, refinement: TRefinement<Type>): TRefineAdd<Type>;
7
+ /** Represents a type with embedded Refine check. */
8
+ export type TRefine<Type extends TSchema = TSchema> = (Type & {
9
+ '~refine': TRefinement<unknown>[];
10
+ });
11
+ export type TRefineCheckCallback<Value extends unknown = unknown> = (value: Value) => boolean;
12
+ export type TRefineErrorCallback<Value extends unknown = unknown> = (value: Value) => string;
13
+ export interface TRefinement<Value extends unknown = unknown> {
14
+ check: TRefineCheckCallback<Value>;
15
+ error: TRefineErrorCallback<Value>;
16
+ }
17
+ /** Refines a type with an explicit check */
18
+ export declare function Refine<Type extends TSchema, Value = Static<Type>>(type: Type, check: TRefineCheckCallback<Value>, error: TRefineErrorCallback<Value>): TRefineAdd<Type>;
19
+ /** Refines a type with an explicit check */
20
+ export declare function Refine<Type extends TSchema, Value = Static<Type>>(type: Type, check: TRefineCheckCallback<Value>): TRefineAdd<Type>;
21
+ /** Returns true if the given value is a TRefinement. */
22
+ export declare function IsRefinement(value: unknown): value is TRefinement;
23
+ /** Returns true if the given value is a TRefine. */
24
+ export declare function IsRefine(value: unknown): value is TRefine;
@@ -0,0 +1,10 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ export type StaticAny = any;
3
+ /** Represents a Any type. */
4
+ export interface TAny extends TSchema {
5
+ '~kind': 'Any';
6
+ }
7
+ /** Creates a Any type. */
8
+ export declare function Any(options?: TSchemaOptions): TAny;
9
+ /** Returns true if the given value is a TAny. */
10
+ export declare function IsAny(value: unknown): value is TAny;
@@ -0,0 +1,18 @@
1
+ import { type StaticType, type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TArrayOptions } from './schema.mjs';
3
+ import { type TImmutable } from './_immutable.mjs';
4
+ import { type TProperties } from './properties.mjs';
5
+ export type StaticArray<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Array extends TSchema, Item extends TSchema, Result extends readonly unknown[] = Array extends TImmutable ? readonly StaticType<Stack, Direction, Context, This, Item>[] : StaticType<Stack, Direction, Context, This, Item>[]> = Result;
6
+ /** Represents an Array type. */
7
+ export interface TArray<Type extends TSchema = TSchema> extends TSchema {
8
+ '~kind': 'Array';
9
+ type: 'array';
10
+ items: Type;
11
+ }
12
+ /** Creates an Array type. */
13
+ export declare function _Array_<Type extends TSchema>(items: Type, options?: TArrayOptions): TArray<Type>;
14
+ export { _Array_ as Array };
15
+ /** Returns true if the given value is a TArray. */
16
+ export declare function IsArray(value: unknown): value is TArray;
17
+ /** Extracts options from a TArray. */
18
+ export declare function ArrayOptions(type: TArray): TArrayOptions;
@@ -0,0 +1,12 @@
1
+ import { type TSchema, type TNumberOptions } from './schema.mjs';
2
+ export declare const BigIntPattern = "-?(?:0|[1-9][0-9]*)n";
3
+ export type StaticBigInt = bigint;
4
+ /** Represents a BigInt type. */
5
+ export interface TBigInt extends TSchema {
6
+ '~kind': 'BigInt';
7
+ type: 'bigint';
8
+ }
9
+ /** Creates a BigInt type. */
10
+ export declare function BigInt(options?: TNumberOptions): TBigInt;
11
+ /** Returns true if the given value is a TBigInt. */
12
+ export declare function IsBigInt(value: unknown): value is TBigInt;
@@ -0,0 +1,11 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ export type StaticBoolean = boolean;
3
+ /** Represents a Boolean type. */
4
+ export interface TBoolean extends TSchema {
5
+ '~kind': 'Boolean';
6
+ type: 'boolean';
7
+ }
8
+ /** Creates a Boolean type. */
9
+ export declare function Boolean(options?: TSchemaOptions): TBoolean;
10
+ /** Returns true if the given value is a TBoolean. */
11
+ export declare function IsBoolean(value: unknown): value is TBoolean;
@@ -0,0 +1,16 @@
1
+ import { type TSchema } from './schema.mjs';
2
+ import { type TCallInstantiate } from '../engine/call/instantiate.mjs';
3
+ import { type TState } from '../engine/instantiate.mjs';
4
+ /** Represents a deferred generic Call */
5
+ export interface TCall<Target extends TSchema = TSchema, Arguments extends TSchema[] = TSchema[]> extends TSchema {
6
+ '~kind': 'Call';
7
+ type: 'call';
8
+ target: Target;
9
+ arguments: Arguments;
10
+ }
11
+ export type TCallConstruct<Target extends TSchema, Arguments extends TSchema[], Result extends TSchema = TCall<Target, Arguments>> = Result;
12
+ export declare function CallConstruct<Target extends TSchema, Arguments extends TSchema[]>(target: Target, arguments_: [...Arguments]): TCallConstruct<Target, Arguments>;
13
+ /** Creates a Call type. */
14
+ export declare function Call<Target extends TSchema, Arguments extends TSchema[]>(target: Target, arguments_: [...Arguments]): TCallInstantiate<{}, TState<[], []>, Target, Arguments>;
15
+ /** Returns true if the given type is a TCall. */
16
+ export declare function IsCall(value: unknown): value is TCall;
@@ -0,0 +1,18 @@
1
+ import { type StaticType, type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
3
+ import { type StaticInstantiatedParameters } from './function.mjs';
4
+ import { type TProperties } from './properties.mjs';
5
+ export type StaticConstructor<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Stack, Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Stack, Direction, Context, This, InstanceType>, Result = new (...args: StaticParameters) => StaticReturnType> = Result;
6
+ /** Represents a Constructor type. */
7
+ export interface TConstructor<Parameters extends TSchema[] = TSchema[], InstanceType extends TSchema = TSchema> extends TSchema {
8
+ '~kind': 'Constructor';
9
+ type: 'constructor';
10
+ parameters: Parameters;
11
+ instanceType: InstanceType;
12
+ }
13
+ /** Creates a Constructor type. */
14
+ export declare function Constructor<Parameters extends TSchema[], InstanceType extends TSchema>(parameters: [...Parameters], instanceType: InstanceType, options?: TSchemaOptions): TConstructor<Parameters, InstanceType>;
15
+ /** Returns true if the given value is a TConstructor. */
16
+ export declare function IsConstructor(value: unknown): value is TConstructor;
17
+ /** Extracts options from a TConstructor. */
18
+ export declare function ConstructorOptions(type: TConstructor): TSchemaOptions;
@@ -0,0 +1,16 @@
1
+ import { type StaticType, type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
3
+ import { type TProperties } from './properties.mjs';
4
+ export type StaticCyclic<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Defs extends TProperties, Ref extends string, Result extends unknown = (Ref extends keyof Defs ? StaticType<[...Stack, Ref], Direction, Defs, This, Defs[Ref]> : never)> = Result;
5
+ /** Represents a Cyclic type. */
6
+ export interface TCyclic<Defs extends TProperties = TProperties, Ref extends string = string> extends TSchema {
7
+ '~kind': 'Cyclic';
8
+ $defs: Defs;
9
+ $ref: Ref;
10
+ }
11
+ /** Creates a Cyclic type. */
12
+ export declare function Cyclic<Defs extends TProperties, Ref extends string>($defs: Defs, $ref: Ref, options?: TSchemaOptions): TCyclic<Defs, Ref>;
13
+ /** Returns true if the given value is a TCyclic. */
14
+ export declare function IsCyclic(value: unknown): value is TCyclic;
15
+ /** Extracts options from a TCyclic. */
16
+ export declare function CyclicOptions(type: TCyclic): TSchemaOptions;
@@ -0,0 +1,13 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ /** Represents a deferred action. */
3
+ export interface TDeferred<Action extends string = string, Types extends TSchema[] = TSchema[]> extends TSchema {
4
+ '~kind': 'Deferred';
5
+ type: 'deferred';
6
+ action: Action;
7
+ parameters: Types;
8
+ options: TSchemaOptions;
9
+ }
10
+ /** Creates a Deferred action. */
11
+ export declare function Deferred<Action extends string, Types extends TSchema[]>(action: Action, parameters: [...Types], options: TSchemaOptions): TDeferred<Action, Types>;
12
+ /** Returns true if the given value is a TDeferred. */
13
+ export declare function IsDeferred(value: unknown): value is TDeferred;
@@ -0,0 +1,17 @@
1
+ import { type StaticType, type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
3
+ import { type TProperties } from './properties.mjs';
4
+ export type StaticDependent<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, If extends TSchema, Then extends TSchema, Else extends TSchema, StaticIf extends unknown = StaticType<Stack, Direction, Context, This, If>, StaticThen extends unknown = StaticType<Stack, Direction, Context, This, Then>, StaticElse extends unknown = StaticType<Stack, Direction, Context, This, Else>, Result extends unknown = (StaticIf & StaticThen) | Exclude<StaticElse, StaticIf>> = Result;
5
+ /** Represents a Dependent Type */
6
+ export interface TDependent<If extends TSchema = TSchema, Then extends TSchema = TSchema, Else extends TSchema = TSchema> extends TSchema {
7
+ '~kind': 'Dependent';
8
+ if: If;
9
+ then: Then;
10
+ else: Else;
11
+ }
12
+ /** Creates a Dependent type */
13
+ export declare function Dependent<If extends TSchema, Then extends TSchema, Else extends TSchema>(if_: If, then_: Then, else_: Else, options?: TSchemaOptions): TDependent<If, Then, Else>;
14
+ /** Returns true if the given value is TDependent. */
15
+ export declare function IsDependent(value: unknown): value is TDependent;
16
+ /** Extracts options from a IsDependent. */
17
+ export declare function DependentOptions(type: TDependent): TSchemaOptions;
@@ -0,0 +1,18 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ import { type TTypeScriptEnumLike } from '../engine/enum/typescript_enum_to_enum_values.mjs';
3
+ import { type TTypeScriptEnumToEnumValues } from '../engine/enum/typescript_enum_to_enum_values.mjs';
4
+ export type StaticEnum<Values extends TEnumValue[]> = (Values[number]);
5
+ export type TEnumValue = string | number;
6
+ /** Returns true if the given value is a EnumValue */
7
+ export declare function IsEnumValue(value: unknown): value is TEnumValue;
8
+ /** Represents an Enum type. */
9
+ export interface TEnum<Values extends TEnumValue[] = TEnumValue[]> extends TSchema {
10
+ '~kind': 'Enum';
11
+ enum: Values;
12
+ }
13
+ /** Creates an Enum type. */
14
+ export declare function Enum<Values extends TEnumValue[]>(values: readonly [...Values], options?: TSchemaOptions): TEnum<Values>;
15
+ /** Creates an Enum type from a TypeScript enum declaration. */
16
+ export declare function Enum<Enum extends TTypeScriptEnumLike>(value: Enum, options?: TSchemaOptions): TEnum<TTypeScriptEnumToEnumValues<Enum>>;
17
+ /** Returns true if the given value is a TEnum. */
18
+ export declare function IsEnum(value: unknown): value is TEnum;
@@ -0,0 +1,21 @@
1
+ import { type StaticType, type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
3
+ import { type TProperties } from './properties.mjs';
4
+ import { type TTuple } from './tuple.mjs';
5
+ import { type TInstantiate } from '../engine/instantiate.mjs';
6
+ export type StaticInstantiatedParameters<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], Evaluated extends TSchema = TInstantiate<Context, TTuple<Parameters>>, Static extends unknown = StaticType<Stack, Direction, Context, This, Evaluated>, Result extends unknown[] = Static extends unknown[] ? Static : []> = Result;
7
+ export type StaticFunction<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Stack, Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Stack, Direction, Context, This, ReturnType>, Result = (...args: StaticParameters) => StaticReturnType> = Result;
8
+ /** Represents a Function type. */
9
+ export interface TFunction<Parameters extends TSchema[] = TSchema[], ReturnType extends TSchema = TSchema> extends TSchema {
10
+ '~kind': 'Function';
11
+ type: 'function';
12
+ parameters: Parameters;
13
+ returnType: ReturnType;
14
+ }
15
+ /** Creates a Function type. */
16
+ export declare function _Function_<Parameters extends TSchema[], ReturnType extends TSchema>(parameters: [...Parameters], returnType: ReturnType, options?: TSchemaOptions): TFunction<Parameters, ReturnType>;
17
+ export { _Function_ as Function };
18
+ /** Returns true if the given value is TFunction. */
19
+ export declare function IsFunction(value: unknown): value is TFunction;
20
+ /** Extracts options from a TFunction. */
21
+ export declare function FunctionOptions(type: TFunction): TSchemaOptions;
@@ -0,0 +1,13 @@
1
+ import { type TSchema } from '../types/schema.mjs';
2
+ import { type TParameter } from './parameter.mjs';
3
+ /** Represents a callable Generic type. */
4
+ export interface TGeneric<Parameters extends TParameter[] = TParameter[], Expression extends TSchema = TSchema> extends TSchema {
5
+ '~kind': 'Generic';
6
+ type: 'generic';
7
+ parameters: Parameters;
8
+ expression: Expression;
9
+ }
10
+ /** Creates a Generic type. */
11
+ export declare function Generic<Parameters extends TParameter[], Expression extends TSchema>(parameters: [...Parameters], expression: Expression): TGeneric<Parameters, Expression>;
12
+ /** Returns true if the given value is a TGeneric. */
13
+ export declare function IsGeneric(value: unknown): value is TGeneric;
@@ -0,0 +1,11 @@
1
+ import { type TSchema } from '../types/schema.mjs';
2
+ /** Represents a Identifier. */
3
+ export interface TIdentifier<Name extends string = string> extends TSchema {
4
+ '~kind': 'Identifier';
5
+ type: 'identifier';
6
+ name: Name;
7
+ }
8
+ /** Creates an Identifier. */
9
+ export declare function Identifier<Name extends string>(name: Name): TIdentifier<Name>;
10
+ /** Returns true if the given value is a TIdentifier. */
11
+ export declare function IsIdentifier(value: unknown): value is TIdentifier;
@@ -0,0 +1,45 @@
1
+ export * from './_codec.mjs';
2
+ export * from './_immutable.mjs';
3
+ export * from './_optional.mjs';
4
+ export * from './_readonly.mjs';
5
+ export * from './_refine.mjs';
6
+ export * from './any.mjs';
7
+ export * from './array.mjs';
8
+ export * from './bigint.mjs';
9
+ export * from './boolean.mjs';
10
+ export * from './call.mjs';
11
+ export * from './constructor.mjs';
12
+ export * from './cyclic.mjs';
13
+ export * from './deferred.mjs';
14
+ export * from './enum.mjs';
15
+ export * from './function.mjs';
16
+ export * from './generic.mjs';
17
+ export * from './identifier.mjs';
18
+ export * from './dependent.mjs';
19
+ export * from './infer.mjs';
20
+ export * from './integer.mjs';
21
+ export * from './intersect.mjs';
22
+ export * from './literal.mjs';
23
+ export * from './never.mjs';
24
+ export * from './null.mjs';
25
+ export * from './number.mjs';
26
+ export * from './unknown.mjs';
27
+ export * from './symbol.mjs';
28
+ export * from './object.mjs';
29
+ export * from './parameter.mjs';
30
+ export * from './properties.mjs';
31
+ export * from './record.mjs';
32
+ export * from './ref.mjs';
33
+ export * from './rest.mjs';
34
+ export * from './schema.mjs';
35
+ export * from './static.mjs';
36
+ export * from './string.mjs';
37
+ export * from './symbol.mjs';
38
+ export * from './template_literal.mjs';
39
+ export * from './this.mjs';
40
+ export * from './tuple.mjs';
41
+ export * from './undefined.mjs';
42
+ export * from './union.mjs';
43
+ export * from './unknown.mjs';
44
+ export * from './unsafe.mjs';
45
+ export * from './void.mjs';
@@ -0,0 +1,15 @@
1
+ import { type TSchema } from '../types/schema.mjs';
2
+ import { type TUnknown } from '../types/unknown.mjs';
3
+ /** Represents an Infer instruction. */
4
+ export interface TInfer<Name extends string = string, Extends extends TSchema = TSchema> extends TSchema {
5
+ '~kind': 'Infer';
6
+ type: 'infer';
7
+ name: Name;
8
+ extends: Extends;
9
+ }
10
+ /** Creates an Infer instruction. */
11
+ export declare function Infer<Name extends string, Extends extends TSchema>(name: Name, extends_: Extends): TInfer<Name, Extends>;
12
+ /** Creates an Infer instruction. */
13
+ export declare function Infer<Name extends string>(name: Name): TInfer<Name, TUnknown>;
14
+ /** Returns true if the given value is TInfer. */
15
+ export declare function IsInfer(value: unknown): value is TInfer;
@@ -0,0 +1,12 @@
1
+ import { type TSchema, type TNumberOptions } from './schema.mjs';
2
+ export declare const IntegerPattern = "-?(?:0|[1-9][0-9]*)";
3
+ export type StaticInteger = number;
4
+ /** Represents an integer type. */
5
+ export interface TInteger extends TSchema {
6
+ '~kind': 'Integer';
7
+ type: 'integer';
8
+ }
9
+ /** Creates a Integer type. */
10
+ export declare function Integer(options?: TNumberOptions): TInteger;
11
+ /** Returns true if the given value is TInteger. */
12
+ export declare function IsInteger(value: unknown): value is TInteger;
@@ -0,0 +1,15 @@
1
+ import { type StaticType, type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TIntersectOptions } from './schema.mjs';
3
+ import { type TProperties } from './properties.mjs';
4
+ export type StaticIntersect<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = unknown> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? StaticIntersect<Stack, Direction, Context, This, Right, Result & StaticType<Stack, Direction, Context, This, Left>> : Result);
5
+ /** Represents a logical Intersect type. */
6
+ export interface TIntersect<Types extends TSchema[] = TSchema[]> extends TSchema {
7
+ '~kind': 'Intersect';
8
+ allOf: Types;
9
+ }
10
+ /** Creates a Intersect type. */
11
+ export declare function Intersect<Types extends TSchema[]>(types: [...Types], options?: TIntersectOptions): TIntersect<Types>;
12
+ /** Returns true if the given value is TIntersect. */
13
+ export declare function IsIntersect(value: unknown): value is TIntersect;
14
+ /** Extracts options from a TIntersect. */
15
+ export declare function IntersectOptions(type: TIntersect): TIntersectOptions;
@@ -0,0 +1,31 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ export declare class InvalidLiteralValue extends Error {
3
+ readonly cause: {
4
+ value: unknown;
5
+ };
6
+ constructor(value: unknown);
7
+ }
8
+ export type StaticLiteral<Value extends TLiteralValue> = (Value);
9
+ export type TLiteralTypeName<Value extends TLiteralValue> = (Value extends bigint ? 'bigint' : Value extends boolean ? 'boolean' : Value extends number ? 'number' : Value extends string ? 'string' : never);
10
+ export declare function LiteralTypeName<Value extends TLiteralValue>(value: Value): TLiteralTypeName<Value>;
11
+ export type TLiteralValue = string | number | boolean | bigint;
12
+ /** Represents a Literal type. */
13
+ export interface TLiteral<Value extends TLiteralValue = TLiteralValue> extends TSchema {
14
+ '~kind': 'Literal';
15
+ type: TLiteralTypeName<Value>;
16
+ const: Value;
17
+ }
18
+ /** Creates a Literal type. */
19
+ export declare function Literal<Value extends TLiteralValue>(value: Value, options?: TSchemaOptions): TLiteral<Value>;
20
+ /** Returns true if the given value is a TLiteralValue. */
21
+ export declare function IsLiteralValue(value: unknown): value is TLiteralValue;
22
+ /** Returns true if the given value is TLiteral<bigint>. */
23
+ export declare function IsLiteralBigInt(value: unknown): value is TLiteral<bigint>;
24
+ /** Returns true if the given value is TLiteral<boolean>. */
25
+ export declare function IsLiteralBoolean(value: unknown): value is TLiteral<boolean>;
26
+ /** Returns true if the given value is TLiteral<number>. */
27
+ export declare function IsLiteralNumber(value: unknown): value is TLiteral<number>;
28
+ /** Returns true if the given value is TLiteral<string>. */
29
+ export declare function IsLiteralString(value: unknown): value is TLiteral<string>;
30
+ /** Returns true if the given value is TLiteral. */
31
+ export declare function IsLiteral(value: unknown): value is TLiteral;
@@ -0,0 +1,12 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ export declare const NeverPattern = "(?!)";
3
+ export type StaticNever = never;
4
+ /** Represents a Never type. */
5
+ export interface TNever extends TSchema {
6
+ '~kind': 'Never';
7
+ not: {};
8
+ }
9
+ /** Creates a Never type. */
10
+ export declare function Never(options?: TSchemaOptions): TNever;
11
+ /** Returns true if the given value is TNever. */
12
+ export declare function IsNever(value: unknown): value is TNever;
@@ -0,0 +1,11 @@
1
+ import { type TSchema, type TSchemaOptions } from './schema.mjs';
2
+ export type StaticNull = null;
3
+ /** Represents a Null type. */
4
+ export interface TNull extends TSchema {
5
+ '~kind': 'Null';
6
+ type: 'null';
7
+ }
8
+ /** Creates a Null type. */
9
+ export declare function Null(options?: TSchemaOptions): TNull;
10
+ /** Returns true if the given value is TNull. */
11
+ export declare function IsNull(value: unknown): value is TNull;
@@ -0,0 +1,12 @@
1
+ import { type TSchema, type TNumberOptions } from './schema.mjs';
2
+ export declare const NumberPattern = "-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?";
3
+ export type StaticNumber = number;
4
+ /** Represents a Number type. */
5
+ export interface TNumber extends TSchema {
6
+ '~kind': 'Number';
7
+ type: 'number';
8
+ }
9
+ /** Creates a Number type. */
10
+ export declare function Number(options?: TNumberOptions): TNumber;
11
+ /** Returns true if the given value is a TNumber. */
12
+ export declare function IsNumber(value: unknown): value is TNumber;
@@ -0,0 +1,18 @@
1
+ import { type StaticDirection } from './static.mjs';
2
+ import { type TSchema, type TObjectOptions } from './schema.mjs';
3
+ import { type TProperties, type TRequiredArray, type StaticProperties } from './properties.mjs';
4
+ export type StaticObject<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, _This extends TProperties, Properties extends TProperties, Result = keyof Properties extends never ? object : StaticProperties<Stack, Direction, Context, Properties, Properties>> = Result;
5
+ /** Represents an Object type. */
6
+ export interface TObject<Properties extends TProperties = TProperties> extends TSchema {
7
+ '~kind': 'Object';
8
+ type: 'object';
9
+ properties: Properties;
10
+ required: TRequiredArray<Properties>;
11
+ }
12
+ /** Creates an Object type. */
13
+ export declare function _Object_<Properties extends TProperties>(properties: Properties, options?: TObjectOptions): TObject<Properties>;
14
+ export { _Object_ as Object };
15
+ /** Returns true if the given value is TObject. */
16
+ export declare function IsObject(value: unknown): value is TObject;
17
+ /** Extracts options from a TObject. */
18
+ export declare function ObjectOptions(type: TObject): TObjectOptions;
@@ -0,0 +1,17 @@
1
+ import { type TSchema } from './schema.mjs';
2
+ import { type TUnknown } from './unknown.mjs';
3
+ /** Represents a Generic parameter. */
4
+ export interface TParameter<Name extends string = string, Extends extends TSchema = TSchema, Equals extends TSchema = TSchema> extends TSchema {
5
+ '~kind': 'Parameter';
6
+ name: Name;
7
+ extends: Extends;
8
+ equals: Equals;
9
+ }
10
+ /** Creates a Parameter type. */
11
+ export declare function Parameter<Name extends string, Extends extends TSchema, Equals extends TSchema>(name: Name, extends_: Extends, equals: Equals): TParameter<Name, Extends, Equals>;
12
+ /** Creates a Parameter type. */
13
+ export declare function Parameter<Name extends string, Extends extends TSchema, Equals extends TSchema>(name: Name, extends_: Extends): TParameter<Name, Extends, Extends>;
14
+ /** Creates a Parameter type. */
15
+ export declare function Parameter<Name extends string>(name: Name): TParameter<Name, TUnknown, TUnknown>;
16
+ /** Returns true if the given value is TParameter. */
17
+ export declare function IsParameter(value: unknown): value is TParameter;