liminal 0.5.2 → 0.5.4

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 (668) hide show
  1. package/Agent.ts +25 -7
  2. package/CHANGELOG.md +19 -0
  3. package/EventBase.ts +13 -0
  4. package/Fiber.ts +67 -0
  5. package/Globals.ts +10 -0
  6. package/Handler.ts +0 -0
  7. package/L/L.ts +12 -0
  8. package/L/_infer.ts +40 -0
  9. package/L/_message.ts +16 -0
  10. package/L/all.ts +11 -0
  11. package/L/assistant.ts +27 -0
  12. package/L/branch.ts +51 -0
  13. package/L/emit.ts +10 -0
  14. package/L/fork.ts +20 -0
  15. package/L/join.ts +9 -0
  16. package/L/model.ts +12 -0
  17. package/L/namespace.ts +11 -0
  18. package/L/rune.ts +19 -0
  19. package/L/self.ts +13 -0
  20. package/L/system.ts +13 -0
  21. package/L/user.ts +13 -0
  22. package/LEvent.ts +58 -0
  23. package/Message.ts +11 -90
  24. package/Model.ts +10 -23
  25. package/Rune.ts +17 -0
  26. package/Runic.ts +22 -0
  27. package/cli/main.ts +1 -24
  28. package/dist/Agent.d.ts +12 -7
  29. package/dist/Agent.js +14 -1
  30. package/dist/Agent.js.map +1 -1
  31. package/dist/EventBase.d.ts +7 -0
  32. package/dist/EventBase.js +14 -0
  33. package/dist/EventBase.js.map +1 -0
  34. package/dist/Fiber.d.ts +24 -0
  35. package/dist/Fiber.js +37 -0
  36. package/dist/Fiber.js.map +1 -0
  37. package/dist/Globals.d.ts +6 -0
  38. package/dist/Globals.js +2 -0
  39. package/dist/Globals.js.map +1 -0
  40. package/dist/Handler.js +2 -0
  41. package/dist/Handler.js.map +1 -0
  42. package/dist/L/L.d.ts +12 -0
  43. package/dist/L/L.js +13 -0
  44. package/dist/L/L.js.map +1 -0
  45. package/dist/L/_infer.d.ts +4 -0
  46. package/dist/L/_infer.js +32 -0
  47. package/dist/L/_infer.js.map +1 -0
  48. package/dist/L/_message.d.ts +6 -0
  49. package/dist/L/_message.js +12 -0
  50. package/dist/L/_message.js.map +1 -0
  51. package/dist/L/all.d.ts +7 -0
  52. package/dist/L/all.js +5 -0
  53. package/dist/L/all.js.map +1 -0
  54. package/dist/L/assistant.d.ts +7 -0
  55. package/dist/L/assistant.js +18 -0
  56. package/dist/L/assistant.js.map +1 -0
  57. package/dist/L/branch.d.ts +11 -0
  58. package/dist/L/branch.js +41 -0
  59. package/dist/L/branch.js.map +1 -0
  60. package/dist/L/emit.d.ts +5 -0
  61. package/dist/L/emit.js +6 -0
  62. package/dist/L/emit.js.map +1 -0
  63. package/dist/L/fork.js +20 -0
  64. package/dist/L/fork.js.map +1 -0
  65. package/dist/L/join.d.ts +5 -0
  66. package/dist/L/join.js +5 -0
  67. package/dist/L/join.js.map +1 -0
  68. package/dist/L/model.d.ts +5 -0
  69. package/dist/L/model.js +8 -0
  70. package/dist/L/model.js.map +1 -0
  71. package/dist/L/namespace.js +12 -0
  72. package/dist/L/namespace.js.map +1 -0
  73. package/dist/L/rune.d.ts +6 -0
  74. package/dist/L/rune.js +11 -0
  75. package/dist/L/rune.js.map +1 -0
  76. package/dist/L/self.d.ts +6 -0
  77. package/dist/L/self.js +7 -0
  78. package/dist/L/self.js.map +1 -0
  79. package/dist/L/system.d.ts +6 -0
  80. package/dist/L/system.js +7 -0
  81. package/dist/L/system.js.map +1 -0
  82. package/dist/L/user.d.ts +6 -0
  83. package/dist/L/user.js +7 -0
  84. package/dist/L/user.js.map +1 -0
  85. package/dist/LEvent.d.ts +31 -0
  86. package/dist/LEvent.js +49 -0
  87. package/dist/LEvent.js.map +1 -0
  88. package/dist/Message.d.ts +12 -81
  89. package/dist/Model.d.ts +4 -20
  90. package/dist/Model.js +6 -0
  91. package/dist/Model.js.map +1 -1
  92. package/dist/Rune.d.ts +11 -0
  93. package/dist/Rune.js +5 -0
  94. package/dist/Rune.js.map +1 -0
  95. package/dist/Runic.d.ts +9 -0
  96. package/dist/Runic.js +18 -0
  97. package/dist/Runic.js.map +1 -0
  98. package/dist/cli/main.d.ts +0 -1
  99. package/dist/cli/main.js +2 -19
  100. package/dist/cli/main.js.map +1 -1
  101. package/dist/index.d.ts +10 -38
  102. package/dist/index.js +10 -38
  103. package/dist/index.js.map +1 -1
  104. package/dist/run.d.ts +3 -0
  105. package/dist/run.js +35 -0
  106. package/dist/run.js.map +1 -0
  107. package/dist/state/Context.d.ts +8 -0
  108. package/dist/state/Context.js +17 -0
  109. package/dist/state/Context.js.map +1 -0
  110. package/dist/state/MessageRegistry.d.ts +8 -0
  111. package/dist/state/MessageRegistry.js +17 -0
  112. package/dist/state/MessageRegistry.js.map +1 -0
  113. package/dist/state/ModelConfig.d.ts +49 -0
  114. package/dist/state/ModelConfig.js +18 -0
  115. package/dist/state/ModelConfig.js.map +1 -0
  116. package/dist/state/ModelRegistry.d.ts +16 -0
  117. package/dist/state/ModelRegistry.js +52 -0
  118. package/dist/state/ModelRegistry.js.map +1 -0
  119. package/dist/state/StateMap.d.ts +8 -0
  120. package/dist/state/StateMap.js +18 -0
  121. package/dist/state/StateMap.js.map +1 -0
  122. package/dist/tsconfig.tsbuildinfo +1 -1
  123. package/index.ts +10 -38
  124. package/package.json +6 -10
  125. package/run.ts +39 -0
  126. package/state/Context.ts +19 -0
  127. package/state/MessageRegistry.ts +21 -0
  128. package/state/ModelConfig.ts +49 -0
  129. package/state/ModelRegistry.ts +65 -0
  130. package/state/StateMap.ts +24 -0
  131. package/tsconfig.json +5 -1
  132. package/Action.ts +0 -29
  133. package/Exec.ts +0 -51
  134. package/L.ts +0 -24
  135. package/LiminalAssertionError.ts +0 -3
  136. package/LiminalConfig.ts +0 -7
  137. package/PathLike.ts +0 -17
  138. package/Scope.ts +0 -152
  139. package/Spec.ts +0 -29
  140. package/Tool.ts +0 -58
  141. package/_.ts +0 -11
  142. package/actions/abort.ts +0 -23
  143. package/actions/actions_common/updateModels.ts +0 -23
  144. package/actions/actions_derived/__snapshots__/declareModel.test.ts.snap +0 -89
  145. package/actions/actions_derived/clear.ts +0 -6
  146. package/actions/actions_derived/declareModel.test.ts +0 -36
  147. package/actions/actions_derived/declareModel.ts +0 -9
  148. package/actions/actions_derived/declareModel.type-test.ts +0 -70
  149. package/actions/actions_derived/messages.test.ts +0 -88
  150. package/actions/actions_derived/messages.ts +0 -18
  151. package/actions/actions_derived/metatype.ts +0 -9
  152. package/actions/actions_derived/readers_derived.ts +0 -15
  153. package/actions/appendMessage.ts +0 -54
  154. package/actions/await.ts +0 -13
  155. package/actions/branch.ts +0 -106
  156. package/actions/catch.ts +0 -42
  157. package/actions/declareArg.ts +0 -14
  158. package/actions/disableTool.ts +0 -26
  159. package/actions/embed.ts +0 -29
  160. package/actions/emit.ts +0 -21
  161. package/actions/enableTool.ts +0 -75
  162. package/actions/enableTool.type-test.ts +0 -118
  163. package/actions/infer.ts +0 -49
  164. package/actions/messages.ts +0 -62
  165. package/actions/pushModel.ts +0 -52
  166. package/actions/scope.ts +0 -13
  167. package/actions/section.ts +0 -105
  168. package/actions/throw.ts +0 -18
  169. package/cli/WriteHandler.ts +0 -35
  170. package/cli/cli_common.ts +0 -4
  171. package/cli/runExec.ts +0 -72
  172. package/dist/Action.d.ts +0 -15
  173. package/dist/Action.js +0 -13
  174. package/dist/Action.js.map +0 -1
  175. package/dist/Exec.d.ts +0 -25
  176. package/dist/Exec.js +0 -19
  177. package/dist/Exec.js.map +0 -1
  178. package/dist/L.d.ts +0 -23
  179. package/dist/L.js +0 -24
  180. package/dist/L.js.map +0 -1
  181. package/dist/LiminalAssertionError.d.ts +0 -3
  182. package/dist/LiminalAssertionError.js +0 -4
  183. package/dist/LiminalAssertionError.js.map +0 -1
  184. package/dist/LiminalConfig.d.ts +0 -6
  185. package/dist/LiminalConfig.js +0 -2
  186. package/dist/LiminalConfig.js.map +0 -1
  187. package/dist/PathLike.d.ts +0 -11
  188. package/dist/PathLike.js +0 -2
  189. package/dist/PathLike.js.map +0 -1
  190. package/dist/Scope.d.ts +0 -42
  191. package/dist/Scope.js +0 -93
  192. package/dist/Scope.js.map +0 -1
  193. package/dist/Spec.d.ts +0 -20
  194. package/dist/Spec.js +0 -2
  195. package/dist/Spec.js.map +0 -1
  196. package/dist/Tool.d.ts +0 -21
  197. package/dist/Tool.js +0 -32
  198. package/dist/Tool.js.map +0 -1
  199. package/dist/_.d.ts +0 -5
  200. package/dist/_.js +0 -7
  201. package/dist/_.js.map +0 -1
  202. package/dist/actions/abort.d.ts +0 -9
  203. package/dist/actions/abort.js +0 -15
  204. package/dist/actions/abort.js.map +0 -1
  205. package/dist/actions/actions_common/updateModels.d.ts +0 -3
  206. package/dist/actions/actions_common/updateModels.js +0 -17
  207. package/dist/actions/actions_common/updateModels.js.map +0 -1
  208. package/dist/actions/actions_derived/clear.d.ts +0 -8
  209. package/dist/actions/actions_derived/clear.js +0 -5
  210. package/dist/actions/actions_derived/clear.js.map +0 -1
  211. package/dist/actions/actions_derived/declareModel.d.ts +0 -5
  212. package/dist/actions/actions_derived/declareModel.js +0 -7
  213. package/dist/actions/actions_derived/declareModel.js.map +0 -1
  214. package/dist/actions/actions_derived/declareModel.test.js +0 -35
  215. package/dist/actions/actions_derived/declareModel.test.js.map +0 -1
  216. package/dist/actions/actions_derived/declareModel.type-test.js +0 -66
  217. package/dist/actions/actions_derived/declareModel.type-test.js.map +0 -1
  218. package/dist/actions/actions_derived/messages.d.ts +0 -6
  219. package/dist/actions/actions_derived/messages.js +0 -15
  220. package/dist/actions/actions_derived/messages.js.map +0 -1
  221. package/dist/actions/actions_derived/messages.test.js +0 -72
  222. package/dist/actions/actions_derived/messages.test.js.map +0 -1
  223. package/dist/actions/actions_derived/metatype.d.ts +0 -9
  224. package/dist/actions/actions_derived/metatype.js +0 -7
  225. package/dist/actions/actions_derived/metatype.js.map +0 -1
  226. package/dist/actions/actions_derived/readers_derived.d.ts +0 -6
  227. package/dist/actions/actions_derived/readers_derived.js +0 -14
  228. package/dist/actions/actions_derived/readers_derived.js.map +0 -1
  229. package/dist/actions/appendMessage.d.ts +0 -14
  230. package/dist/actions/appendMessage.js +0 -41
  231. package/dist/actions/appendMessage.js.map +0 -1
  232. package/dist/actions/await.d.ts +0 -5
  233. package/dist/actions/await.js +0 -10
  234. package/dist/actions/await.js.map +0 -1
  235. package/dist/actions/branch.d.ts +0 -39
  236. package/dist/actions/branch.js +0 -40
  237. package/dist/actions/branch.js.map +0 -1
  238. package/dist/actions/catch.d.ts +0 -10
  239. package/dist/actions/catch.js +0 -27
  240. package/dist/actions/catch.js.map +0 -1
  241. package/dist/actions/declareArg.d.ts +0 -8
  242. package/dist/actions/declareArg.js +0 -10
  243. package/dist/actions/declareArg.js.map +0 -1
  244. package/dist/actions/disableTool.d.ts +0 -10
  245. package/dist/actions/disableTool.js +0 -17
  246. package/dist/actions/disableTool.js.map +0 -1
  247. package/dist/actions/embed.d.ts +0 -9
  248. package/dist/actions/embed.js +0 -24
  249. package/dist/actions/embed.js.map +0 -1
  250. package/dist/actions/emit.d.ts +0 -9
  251. package/dist/actions/emit.js +0 -14
  252. package/dist/actions/emit.js.map +0 -1
  253. package/dist/actions/enableTool.d.ts +0 -20
  254. package/dist/actions/enableTool.js +0 -26
  255. package/dist/actions/enableTool.js.map +0 -1
  256. package/dist/actions/enableTool.type-test.d.ts +0 -1
  257. package/dist/actions/enableTool.type-test.js +0 -30
  258. package/dist/actions/enableTool.type-test.js.map +0 -1
  259. package/dist/actions/infer.d.ts +0 -15
  260. package/dist/actions/infer.js +0 -29
  261. package/dist/actions/infer.js.map +0 -1
  262. package/dist/actions/messages.d.ts +0 -24
  263. package/dist/actions/messages.js +0 -35
  264. package/dist/actions/messages.js.map +0 -1
  265. package/dist/actions/pushModel.d.ts +0 -15
  266. package/dist/actions/pushModel.js +0 -36
  267. package/dist/actions/pushModel.js.map +0 -1
  268. package/dist/actions/scope.d.ts +0 -7
  269. package/dist/actions/scope.js +0 -10
  270. package/dist/actions/scope.js.map +0 -1
  271. package/dist/actions/section.d.ts +0 -23
  272. package/dist/actions/section.js +0 -64
  273. package/dist/actions/section.js.map +0 -1
  274. package/dist/actions/throw.d.ts +0 -9
  275. package/dist/actions/throw.js +0 -13
  276. package/dist/actions/throw.js.map +0 -1
  277. package/dist/cli/WriteHandler.d.ts +0 -9
  278. package/dist/cli/WriteHandler.js +0 -24
  279. package/dist/cli/WriteHandler.js.map +0 -1
  280. package/dist/cli/cli_common.d.ts +0 -4
  281. package/dist/cli/cli_common.js +0 -2
  282. package/dist/cli/cli_common.js.map +0 -1
  283. package/dist/cli/runExec.d.ts +0 -2
  284. package/dist/cli/runExec.js +0 -74
  285. package/dist/cli/runExec.js.map +0 -1
  286. package/dist/events/Aborted.d.ts +0 -4
  287. package/dist/events/Aborted.js +0 -2
  288. package/dist/events/Aborted.js.map +0 -1
  289. package/dist/events/Embedded.d.ts +0 -5
  290. package/dist/events/Embedded.js +0 -2
  291. package/dist/events/Embedded.js.map +0 -1
  292. package/dist/events/EmbeddingRequested.d.ts +0 -4
  293. package/dist/events/EmbeddingRequested.js +0 -2
  294. package/dist/events/EmbeddingRequested.js.map +0 -1
  295. package/dist/events/Emitted.d.ts +0 -4
  296. package/dist/events/Emitted.js +0 -2
  297. package/dist/events/Emitted.js.map +0 -1
  298. package/dist/events/EventBase.d.ts +0 -3
  299. package/dist/events/EventBase.js +0 -2
  300. package/dist/events/EventBase.js.map +0 -1
  301. package/dist/events/EventHandler.d.ts +0 -2
  302. package/dist/events/EventHandler.js +0 -2
  303. package/dist/events/EventHandler.js.map +0 -1
  304. package/dist/events/EventResolved.d.ts +0 -19
  305. package/dist/events/EventResolved.js +0 -2
  306. package/dist/events/EventResolved.js.map +0 -1
  307. package/dist/events/Forked.d.ts +0 -3
  308. package/dist/events/Forked.js +0 -2
  309. package/dist/events/Forked.js.map +0 -1
  310. package/dist/events/InferenceRequested.d.ts +0 -3
  311. package/dist/events/InferenceRequested.js +0 -2
  312. package/dist/events/InferenceRequested.js.map +0 -1
  313. package/dist/events/Inferred.d.ts +0 -5
  314. package/dist/events/Inferred.js +0 -2
  315. package/dist/events/Inferred.js.map +0 -1
  316. package/dist/events/LEvent.d.ts +0 -20
  317. package/dist/events/LEvent.js +0 -2
  318. package/dist/events/LEvent.js.map +0 -1
  319. package/dist/events/MessageAppended.d.ts +0 -5
  320. package/dist/events/MessageAppended.js +0 -2
  321. package/dist/events/MessageAppended.js.map +0 -1
  322. package/dist/events/MessageRemoved.d.ts +0 -5
  323. package/dist/events/MessageRemoved.js +0 -2
  324. package/dist/events/MessageRemoved.js.map +0 -1
  325. package/dist/events/MessagesSet.d.ts +0 -5
  326. package/dist/events/MessagesSet.js +0 -2
  327. package/dist/events/MessagesSet.js.map +0 -1
  328. package/dist/events/ModelPushed.d.ts +0 -7
  329. package/dist/events/ModelPushed.js +0 -2
  330. package/dist/events/ModelPushed.js.map +0 -1
  331. package/dist/events/ModelRemoved.d.ts +0 -7
  332. package/dist/events/ModelRemoved.js +0 -2
  333. package/dist/events/ModelRemoved.js.map +0 -1
  334. package/dist/events/Returned.d.ts +0 -4
  335. package/dist/events/Returned.js +0 -2
  336. package/dist/events/Returned.js.map +0 -1
  337. package/dist/events/SectionCleared.d.ts +0 -5
  338. package/dist/events/SectionCleared.js +0 -2
  339. package/dist/events/SectionCleared.js.map +0 -1
  340. package/dist/events/Sectioned.d.ts +0 -5
  341. package/dist/events/Sectioned.js +0 -2
  342. package/dist/events/Sectioned.js.map +0 -1
  343. package/dist/events/Threw.d.ts +0 -4
  344. package/dist/events/Threw.js +0 -2
  345. package/dist/events/Threw.js.map +0 -1
  346. package/dist/events/ToolCalled.d.ts +0 -6
  347. package/dist/events/ToolCalled.js +0 -2
  348. package/dist/events/ToolCalled.js.map +0 -1
  349. package/dist/events/ToolDisabled.d.ts +0 -5
  350. package/dist/events/ToolDisabled.js +0 -2
  351. package/dist/events/ToolDisabled.js.map +0 -1
  352. package/dist/events/ToolEnabled.d.ts +0 -7
  353. package/dist/events/ToolEnabled.js +0 -2
  354. package/dist/events/ToolEnabled.js.map +0 -1
  355. package/dist/events/isScopeChildEvent.d.ts +0 -6
  356. package/dist/events/isScopeChildEvent.js +0 -9
  357. package/dist/events/isScopeChildEvent.js.map +0 -1
  358. package/dist/events/isScopeDescendantEvent.d.ts +0 -14
  359. package/dist/events/isScopeDescendantEvent.js +0 -12
  360. package/dist/events/isScopeDescendantEvent.js.map +0 -1
  361. package/dist/testing/AgentAssertions.d.ts +0 -9
  362. package/dist/testing/AgentAssertions.js +0 -6
  363. package/dist/testing/AgentAssertions.js.map +0 -1
  364. package/dist/testing/TestEmbeddingModel.d.ts +0 -6
  365. package/dist/testing/TestEmbeddingModel.js +0 -11
  366. package/dist/testing/TestEmbeddingModel.js.map +0 -1
  367. package/dist/testing/TestLanguageModel.d.ts +0 -8
  368. package/dist/testing/TestLanguageModel.js +0 -22
  369. package/dist/testing/TestLanguageModel.js.map +0 -1
  370. package/dist/testing/index.d.ts +0 -4
  371. package/dist/testing/index.js +0 -5
  372. package/dist/testing/index.js.map +0 -1
  373. package/dist/testing/takeFirstAction.d.ts +0 -3
  374. package/dist/testing/takeFirstAction.js +0 -6
  375. package/dist/testing/takeFirstAction.js.map +0 -1
  376. package/dist/types/AssertDiagnostics.d.ts +0 -18
  377. package/dist/types/AssertDiagnostics.js +0 -152
  378. package/dist/types/AssertDiagnostics.js.map +0 -1
  379. package/dist/types/JSONRootType.d.ts +0 -6
  380. package/dist/types/JSONRootType.js +0 -2
  381. package/dist/types/JSONRootType.js.map +0 -1
  382. package/dist/types/JSONType.d.ts +0 -16
  383. package/dist/types/JSONType.js +0 -2
  384. package/dist/types/JSONType.js.map +0 -1
  385. package/dist/types/JSONTypeBase.d.ts +0 -3
  386. package/dist/types/JSONTypeBase.js +0 -2
  387. package/dist/types/JSONTypeBase.js.map +0 -1
  388. package/dist/types/Metatype/MetatypeDescriptor.d.ts +0 -41
  389. package/dist/types/Metatype/MetatypeDescriptor.js +0 -38
  390. package/dist/types/Metatype/MetatypeDescriptor.js.map +0 -1
  391. package/dist/types/Metatype/fromMetatypeDescriptor.d.ts +0 -6
  392. package/dist/types/Metatype/fromMetatypeDescriptor.js +0 -43
  393. package/dist/types/Metatype/fromMetatypeDescriptor.js.map +0 -1
  394. package/dist/types/Type.d.ts +0 -31
  395. package/dist/types/Type.js +0 -5
  396. package/dist/types/Type.js.map +0 -1
  397. package/dist/types/TypeContext.d.ts +0 -7
  398. package/dist/types/TypeContext.js +0 -17
  399. package/dist/types/TypeContext.js.map +0 -1
  400. package/dist/types/TypeLike.d.ts +0 -23
  401. package/dist/types/TypeLike.js +0 -23
  402. package/dist/types/TypeLike.js.map +0 -1
  403. package/dist/types/TypeVisitor.d.ts +0 -14
  404. package/dist/types/TypeVisitor.js +0 -12
  405. package/dist/types/TypeVisitor.js.map +0 -1
  406. package/dist/types/array.d.ts +0 -10
  407. package/dist/types/array.js +0 -9
  408. package/dist/types/array.js.map +0 -1
  409. package/dist/types/boolean.d.ts +0 -6
  410. package/dist/types/boolean.js +0 -3
  411. package/dist/types/boolean.js.map +0 -1
  412. package/dist/types/const.d.ts +0 -8
  413. package/dist/types/const.js +0 -7
  414. package/dist/types/const.js.map +0 -1
  415. package/dist/types/enum.d.ts +0 -8
  416. package/dist/types/enum.js +0 -7
  417. package/dist/types/enum.js.map +0 -1
  418. package/dist/types/factories.d.ts +0 -8
  419. package/dist/types/factories.js +0 -9
  420. package/dist/types/factories.js.map +0 -1
  421. package/dist/types/index.d.ts +0 -2
  422. package/dist/types/index.js +0 -3
  423. package/dist/types/index.js.map +0 -1
  424. package/dist/types/integer.d.ts +0 -6
  425. package/dist/types/integer.js +0 -3
  426. package/dist/types/integer.js.map +0 -1
  427. package/dist/types/intrinsics.d.ts +0 -11
  428. package/dist/types/intrinsics.js +0 -12
  429. package/dist/types/intrinsics.js.map +0 -1
  430. package/dist/types/makeType.d.ts +0 -2
  431. package/dist/types/makeType.js +0 -58
  432. package/dist/types/makeType.js.map +0 -1
  433. package/dist/types/match.d.ts +0 -3
  434. package/dist/types/match.js +0 -11
  435. package/dist/types/match.js.map +0 -1
  436. package/dist/types/non_factories.d.ts +0 -21
  437. package/dist/types/non_factories.js +0 -9
  438. package/dist/types/non_factories.js.map +0 -1
  439. package/dist/types/null.d.ts +0 -7
  440. package/dist/types/null.js +0 -4
  441. package/dist/types/null.js.map +0 -1
  442. package/dist/types/number.d.ts +0 -6
  443. package/dist/types/number.js +0 -3
  444. package/dist/types/number.js.map +0 -1
  445. package/dist/types/object.d.ts +0 -16
  446. package/dist/types/object.js +0 -10
  447. package/dist/types/object.js.map +0 -1
  448. package/dist/types/ref.d.ts +0 -7
  449. package/dist/types/ref.js +0 -5
  450. package/dist/types/ref.js.map +0 -1
  451. package/dist/types/string.d.ts +0 -6
  452. package/dist/types/string.js +0 -3
  453. package/dist/types/string.js.map +0 -1
  454. package/dist/types/toJSON.d.ts +0 -5
  455. package/dist/types/toJSON.js +0 -97
  456. package/dist/types/toJSON.js.map +0 -1
  457. package/dist/types/type_common.d.ts +0 -10
  458. package/dist/types/type_common.js +0 -12
  459. package/dist/types/type_common.js.map +0 -1
  460. package/dist/types/types_derived/option.d.ts +0 -5
  461. package/dist/types/types_derived/option.js +0 -6
  462. package/dist/types/types_derived/option.js.map +0 -1
  463. package/dist/types/types_derived/taggedUnion.d.ts +0 -19
  464. package/dist/types/types_derived/taggedUnion.js +0 -8
  465. package/dist/types/types_derived/taggedUnion.js.map +0 -1
  466. package/dist/types/types_derived/wrapper.d.ts +0 -8
  467. package/dist/types/types_derived/wrapper.js +0 -5
  468. package/dist/types/types_derived/wrapper.js.map +0 -1
  469. package/dist/types/union.d.ts +0 -9
  470. package/dist/types/union.js +0 -9
  471. package/dist/types/union.js.map +0 -1
  472. package/dist/util/ArrayOfLength.d.ts +0 -1
  473. package/dist/util/ArrayOfLength.js +0 -2
  474. package/dist/util/ArrayOfLength.js.map +0 -1
  475. package/dist/util/DeferredOr.d.ts +0 -1
  476. package/dist/util/DeferredOr.js +0 -2
  477. package/dist/util/DeferredOr.js.map +0 -1
  478. package/dist/util/EnsureNarrow.d.ts +0 -2
  479. package/dist/util/EnsureNarrow.js +0 -2
  480. package/dist/util/EnsureNarrow.js.map +0 -1
  481. package/dist/util/EnsureRecord.d.ts +0 -2
  482. package/dist/util/EnsureRecord.js +0 -2
  483. package/dist/util/EnsureRecord.js.map +0 -1
  484. package/dist/util/Expand.d.ts +0 -3
  485. package/dist/util/Expand.js +0 -2
  486. package/dist/util/Expand.js.map +0 -1
  487. package/dist/util/Falsy.d.ts +0 -1
  488. package/dist/util/Falsy.js +0 -2
  489. package/dist/util/Falsy.js.map +0 -1
  490. package/dist/util/FromEntries.d.ts +0 -3
  491. package/dist/util/FromEntries.js +0 -2
  492. package/dist/util/FromEntries.js.map +0 -1
  493. package/dist/util/IteratorLike.d.ts +0 -1
  494. package/dist/util/IteratorLike.js +0 -2
  495. package/dist/util/IteratorLike.js.map +0 -1
  496. package/dist/util/JSONEntry.d.ts +0 -2
  497. package/dist/util/JSONEntry.js +0 -2
  498. package/dist/util/JSONEntry.js.map +0 -1
  499. package/dist/util/JSONKey.d.ts +0 -1
  500. package/dist/util/JSONKey.js +0 -2
  501. package/dist/util/JSONKey.js.map +0 -1
  502. package/dist/util/JSONObject.d.ts +0 -5
  503. package/dist/util/JSONObject.js +0 -2
  504. package/dist/util/JSONObject.js.map +0 -1
  505. package/dist/util/JSONSchemaMemo.d.ts +0 -2
  506. package/dist/util/JSONSchemaMemo.js +0 -13
  507. package/dist/util/JSONSchemaMemo.js.map +0 -1
  508. package/dist/util/JSONValue.d.ts +0 -2
  509. package/dist/util/JSONValue.js +0 -2
  510. package/dist/util/JSONValue.js.map +0 -1
  511. package/dist/util/PromiseOr.d.ts +0 -1
  512. package/dist/util/PromiseOr.js +0 -2
  513. package/dist/util/PromiseOr.js.map +0 -1
  514. package/dist/util/Result.d.ts +0 -7
  515. package/dist/util/Result.js +0 -2
  516. package/dist/util/Result.js.map +0 -1
  517. package/dist/util/Taggable.d.ts +0 -9
  518. package/dist/util/Taggable.js +0 -8
  519. package/dist/util/Taggable.js.map +0 -1
  520. package/dist/util/TupleToRecord.d.ts +0 -5
  521. package/dist/util/TupleToRecord.js +0 -2
  522. package/dist/util/TupleToRecord.js.map +0 -1
  523. package/dist/util/assert.d.ts +0 -1
  524. package/dist/util/assert.js +0 -7
  525. package/dist/util/assert.js.map +0 -1
  526. package/dist/util/dedent.d.ts +0 -1
  527. package/dist/util/dedent.js +0 -5
  528. package/dist/util/dedent.js.map +0 -1
  529. package/dist/util/fixTemplateStrings.d.ts +0 -11
  530. package/dist/util/fixTemplateStrings.js +0 -83
  531. package/dist/util/fixTemplateStrings.js.map +0 -1
  532. package/dist/util/fixTemplateStrings.test.d.ts +0 -1
  533. package/dist/util/fixTemplateStrings.test.js +0 -221
  534. package/dist/util/fixTemplateStrings.test.js.map +0 -1
  535. package/dist/util/isAsyncIterator.d.ts +0 -1
  536. package/dist/util/isAsyncIterator.js +0 -7
  537. package/dist/util/isAsyncIterator.js.map +0 -1
  538. package/dist/util/isIterator.d.ts +0 -1
  539. package/dist/util/isIterator.js +0 -7
  540. package/dist/util/isIterator.js.map +0 -1
  541. package/dist/util/isJSONValue.d.ts +0 -2
  542. package/dist/util/isJSONValue.js +0 -16
  543. package/dist/util/isJSONValue.js.map +0 -1
  544. package/dist/util/isPropertyKey.d.ts +0 -1
  545. package/dist/util/isPropertyKey.js +0 -4
  546. package/dist/util/isPropertyKey.js.map +0 -1
  547. package/dist/util/isTemplateStringsArray.d.ts +0 -1
  548. package/dist/util/isTemplateStringsArray.js +0 -4
  549. package/dist/util/isTemplateStringsArray.js.map +0 -1
  550. package/dist/util/jsonEquals.d.ts +0 -2
  551. package/dist/util/jsonEquals.js +0 -33
  552. package/dist/util/jsonEquals.js.map +0 -1
  553. package/dist/util/nullaryMemo.d.ts +0 -1
  554. package/dist/util/nullaryMemo.js +0 -12
  555. package/dist/util/nullaryMemo.js.map +0 -1
  556. package/dist/util/peekLast.d.ts +0 -1
  557. package/dist/util/peekLast.js +0 -4
  558. package/dist/util/peekLast.js.map +0 -1
  559. package/dist/util/unimplemented.d.ts +0 -1
  560. package/dist/util/unimplemented.js +0 -5
  561. package/dist/util/unimplemented.js.map +0 -1
  562. package/dist/util/unreachable.d.ts +0 -1
  563. package/dist/util/unreachable.js +0 -5
  564. package/dist/util/unreachable.js.map +0 -1
  565. package/dist/util/unwrapDeferred.d.ts +0 -2
  566. package/dist/util/unwrapDeferred.js +0 -4
  567. package/dist/util/unwrapDeferred.js.map +0 -1
  568. package/dist/util/util.d.ts +0 -10
  569. package/dist/util/util.js +0 -11
  570. package/dist/util/util.js.map +0 -1
  571. package/events/Aborted.ts +0 -5
  572. package/events/Embedded.ts +0 -6
  573. package/events/EmbeddingRequested.ts +0 -5
  574. package/events/Emitted.ts +0 -5
  575. package/events/EventBase.ts +0 -3
  576. package/events/EventHandler.ts +0 -3
  577. package/events/EventResolved.ts +0 -30
  578. package/events/Forked.ts +0 -3
  579. package/events/InferenceRequested.ts +0 -3
  580. package/events/Inferred.ts +0 -6
  581. package/events/LEvent.ts +0 -40
  582. package/events/MessageAppended.ts +0 -6
  583. package/events/MessageRemoved.ts +0 -6
  584. package/events/MessagesSet.ts +0 -6
  585. package/events/ModelPushed.ts +0 -10
  586. package/events/ModelRemoved.ts +0 -10
  587. package/events/Returned.ts +0 -5
  588. package/events/SectionCleared.ts +0 -6
  589. package/events/Sectioned.ts +0 -6
  590. package/events/Threw.ts +0 -5
  591. package/events/ToolCalled.ts +0 -7
  592. package/events/ToolDisabled.ts +0 -6
  593. package/events/ToolEnabled.ts +0 -8
  594. package/events/isScopeChildEvent.ts +0 -15
  595. package/events/isScopeDescendantEvent.ts +0 -30
  596. package/testing/AgentAssertions.ts +0 -17
  597. package/testing/TestEmbeddingModel.ts +0 -19
  598. package/testing/TestLanguageModel.ts +0 -33
  599. package/testing/index.ts +0 -4
  600. package/testing/takeFirstAction.ts +0 -8
  601. package/types/AssertDiagnostics.ts +0 -183
  602. package/types/JSONRootType.ts +0 -8
  603. package/types/JSONType.ts +0 -27
  604. package/types/JSONTypeBase.ts +0 -3
  605. package/types/Metatype/MetatypeDescriptor.ts +0 -80
  606. package/types/Metatype/fromMetatypeDescriptor.ts +0 -52
  607. package/types/Type.ts +0 -47
  608. package/types/TypeContext.ts +0 -19
  609. package/types/TypeLike.ts +0 -60
  610. package/types/TypeVisitor.ts +0 -49
  611. package/types/array.ts +0 -20
  612. package/types/boolean.ts +0 -9
  613. package/types/const.ts +0 -17
  614. package/types/enum.ts +0 -14
  615. package/types/factories.ts +0 -8
  616. package/types/index.ts +0 -2
  617. package/types/integer.ts +0 -9
  618. package/types/intrinsics.ts +0 -11
  619. package/types/makeType.ts +0 -72
  620. package/types/match.ts +0 -13
  621. package/types/non_factories.ts +0 -26
  622. package/types/null.ts +0 -10
  623. package/types/number.ts +0 -9
  624. package/types/object.ts +0 -27
  625. package/types/ref.ts +0 -12
  626. package/types/string.ts +0 -9
  627. package/types/toJSON.ts +0 -111
  628. package/types/type_common.ts +0 -21
  629. package/types/types_derived/option.ts +0 -10
  630. package/types/types_derived/taggedUnion.ts +0 -30
  631. package/types/types_derived/wrapper.ts +0 -10
  632. package/types/union.ts +0 -19
  633. package/util/ArrayOfLength.ts +0 -5
  634. package/util/DeferredOr.ts +0 -1
  635. package/util/EnsureNarrow.ts +0 -5
  636. package/util/EnsureRecord.ts +0 -3
  637. package/util/Expand.ts +0 -1
  638. package/util/Falsy.ts +0 -1
  639. package/util/FromEntries.ts +0 -3
  640. package/util/IteratorLike.ts +0 -1
  641. package/util/JSONEntry.ts +0 -3
  642. package/util/JSONKey.ts +0 -1
  643. package/util/JSONObject.ts +0 -6
  644. package/util/JSONSchemaMemo.ts +0 -15
  645. package/util/JSONValue.ts +0 -3
  646. package/util/PromiseOr.ts +0 -1
  647. package/util/Result.ts +0 -7
  648. package/util/Taggable.ts +0 -18
  649. package/util/TupleToRecord.ts +0 -5
  650. package/util/assert.ts +0 -7
  651. package/util/dedent.ts +0 -5
  652. package/util/fixTemplateStrings.test.ts +0 -250
  653. package/util/fixTemplateStrings.ts +0 -99
  654. package/util/isAsyncIterator.ts +0 -6
  655. package/util/isIterator.ts +0 -6
  656. package/util/isJSONValue.ts +0 -20
  657. package/util/isPropertyKey.ts +0 -3
  658. package/util/isTemplateStringsArray.ts +0 -3
  659. package/util/jsonEquals.ts +0 -41
  660. package/util/nullaryMemo.ts +0 -11
  661. package/util/peekLast.ts +0 -3
  662. package/util/unimplemented.ts +0 -5
  663. package/util/unreachable.ts +0 -5
  664. package/util/unwrapDeferred.ts +0 -5
  665. package/util/util.ts +0 -10
  666. /package/dist/{actions/actions_derived/declareModel.test.d.ts → Handler.d.ts} +0 -0
  667. /package/dist/{actions/actions_derived/declareModel.type-test.d.ts → L/fork.d.ts} +0 -0
  668. /package/dist/{actions/actions_derived/messages.test.d.ts → L/namespace.d.ts} +0 -0
@@ -1,152 +0,0 @@
1
- import { assert } from "../util/assert.js";
2
- import { isJSONValue } from "../util/isJSONValue.js";
3
- import { jsonEquals } from "../util/jsonEquals.js";
4
- import { TypeVisitor } from "./TypeVisitor.js";
5
- export function Diagnostic(path, type, error) {
6
- return {
7
- path,
8
- type,
9
- error,
10
- message,
11
- formatPath,
12
- };
13
- function message() {
14
- return error instanceof Error ? error.message : JSON.stringify(error);
15
- }
16
- function formatPath() {
17
- let formatted = "";
18
- for (let i = 0; i < path.length; i++) {
19
- const key = path[i];
20
- if (typeof key === "string") {
21
- try {
22
- const int = parseInt(key);
23
- if (Number.isInteger(int)) {
24
- formatted += `[${int}]`;
25
- }
26
- else {
27
- formatted += `.${key}`;
28
- }
29
- }
30
- catch (_e) {
31
- formatted += `.${key}`;
32
- }
33
- }
34
- else {
35
- formatted += `[${key}]`;
36
- }
37
- }
38
- return formatted;
39
- }
40
- }
41
- export function AssertDiagnostics(config, type, value) {
42
- const state = ValueVisitorState();
43
- visit([config, false], type)(value, state);
44
- return state.diagnostics;
45
- }
46
- function ValueVisitorState(diagnostics = [], path = []) {
47
- return {
48
- diagnostics,
49
- path,
50
- next,
51
- };
52
- function next(key) {
53
- return ValueVisitorState(diagnostics, [...path, ...key !== undefined ? [key] : []]);
54
- }
55
- }
56
- const visit = TypeVisitor({
57
- hook(next, tState, type) {
58
- return (value, vState) => {
59
- try {
60
- next(tState, type)(value, vState);
61
- }
62
- catch (error) {
63
- vState.diagnostics.push(Diagnostic(vState.path, type, error));
64
- }
65
- };
66
- },
67
- null() {
68
- return (value) => {
69
- assert(value === null);
70
- };
71
- },
72
- boolean() {
73
- return (value) => {
74
- assert(typeof value === "boolean");
75
- };
76
- },
77
- integer() {
78
- return (value) => {
79
- assert(typeof value === "number" && Number.isInteger(value));
80
- };
81
- },
82
- number() {
83
- return (value) => {
84
- assert(typeof value === "number");
85
- };
86
- },
87
- string() {
88
- return (value) => {
89
- assert(typeof value === "string");
90
- };
91
- },
92
- const(_tState, _type, _valueType, value_) {
93
- return (value) => {
94
- assert(isJSONValue(value) && jsonEquals(value_, value));
95
- };
96
- },
97
- _array(tState, _type, element) {
98
- const visitElement = visit(tState, element);
99
- return (value, vState) => {
100
- assert(Array.isArray(value));
101
- value.forEach((e, i) => visitElement(e, vState.next(i)));
102
- };
103
- },
104
- enum(_tState, _type, ...values) {
105
- return (value) => {
106
- assert(typeof value == "string");
107
- assert(values.includes(value));
108
- };
109
- },
110
- _union(tState, _type, ...members) {
111
- return (value, vState) => {
112
- assert(members.some((member) => {
113
- const memberState = vState.next();
114
- visit(tState, member)(value, memberState);
115
- return !memberState.diagnostics.length;
116
- }));
117
- };
118
- },
119
- _object(tState, _type, fields) {
120
- return (value, vState) => {
121
- assert(typeof value === "object" && value !== null);
122
- if (Array.isArray(fields)) {
123
- fields.forEach((v, i) => {
124
- visitField(tState, vState, value, i, v);
125
- });
126
- }
127
- else {
128
- Object.entries(fields).forEach(([k, v]) => {
129
- visitField(tState, vState, value, k, v);
130
- });
131
- }
132
- };
133
- },
134
- ref(tState, _type, getType) {
135
- return (value, vState) => {
136
- visit(tState, getType())(value, vState);
137
- };
138
- },
139
- });
140
- function visitField(tState, vState, value, key, type) {
141
- assert(key in value);
142
- const childValue = value[key];
143
- assert(childValue !== undefined);
144
- visit(tState, type)(childValue, vState.next(key));
145
- }
146
- // TODO: serialize signature
147
- export function formatAssertDiagnostics(diagnostics) {
148
- return diagnostics
149
- .map((diagnostic) => `Error "${diagnostic.message()}"; encountered at ${diagnostic.formatPath()}`)
150
- .join("\n");
151
- }
152
- //# sourceMappingURL=AssertDiagnostics.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"AssertDiagnostics.js","sourceRoot":"","sources":["../../types/AssertDiagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAKlD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAK9C,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,IAAU,EAAE,KAAc;IACrE,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,KAAK;QACL,OAAO;QACP,UAAU;KACX,CAAA;IAED,SAAS,OAAO;QACd,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACvE,CAAC;IAED,SAAS,UAAU;QACjB,IAAI,SAAS,GAAG,EAAE,CAAA;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;YACpB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;oBACzB,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC1B,SAAS,IAAI,IAAI,GAAG,GAAG,CAAA;oBACzB,CAAC;yBAAM,CAAC;wBACN,SAAS,IAAI,IAAI,GAAG,EAAE,CAAA;oBACxB,CAAC;gBACH,CAAC;gBAAC,OAAO,EAAW,EAAE,CAAC;oBACrB,SAAS,IAAI,IAAI,GAAG,EAAE,CAAA;gBACxB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,SAAS,IAAI,IAAI,GAAG,GAAG,CAAA;YACzB,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAOD,MAAM,UAAU,iBAAiB,CAC/B,MAA+B,EAC/B,IAAgB,EAChB,KAAc;IAEd,MAAM,KAAK,GAAG,iBAAiB,EAAE,CAAA;IACjC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC1C,OAAO,KAAK,CAAC,WAAW,CAAA;AAC1B,CAAC;AAGD,SAAS,iBAAiB,CACxB,cAAiC,EAAE,EACnC,OAA+B,EAAE;IAEjC,OAAO;QACL,WAAW;QACX,IAAI;QACJ,IAAI;KACL,CAAA;IAED,SAAS,IAAI,CAAC,GAAa;QACzB,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACrF,CAAC;AACH,CAAC;AAED,MAAM,KAAK,GAA8F,WAAW,CAClH;IACE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI;QACrB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YACvB,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;YACnC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;YAC/D,CAAC;QACH,CAAC,CAAA;IACH,CAAC;IACD,IAAI;QACF,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;QACxB,CAAC,CAAA;IACH,CAAC;IACD,OAAO;QACL,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAA;QACpC,CAAC,CAAA;IACH,CAAC;IACD,OAAO;QACL,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9D,CAAC,CAAA;IACH,CAAC;IACD,MAAM;QACJ,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;QACnC,CAAC,CAAA;IACH,CAAC;IACD,MAAM;QACJ,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;QACnC,CAAC,CAAA;IACH,CAAC;IACD,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM;QACtC,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;QACzD,CAAC,CAAA;IACH,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO;QAC3B,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAC3C,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YACvB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;YAC5B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1D,CAAC,CAAA;IACH,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM;QAC5B,OAAO,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,OAAO,KAAK,IAAI,QAAQ,CAAC,CAAA;YAChC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;QAChC,CAAC,CAAA;IACH,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO;QAC9B,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;gBACjC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;gBACzC,OAAO,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAA;YACxC,CAAC,CAAC,CAAC,CAAA;QACL,CAAC,CAAA;IACH,CAAC;IACD,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM;QAC3B,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YACvB,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAA;YACnD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACtB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;gBACzC,CAAC,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;oBACxC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;gBACzC,CAAC,CAAC,CAAA;YACJ,CAAC;QACH,CAAC,CAAA;IACH,CAAC;IACD,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO;QACxB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YACvB,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACzC,CAAC,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,SAAS,UAAU,CACjB,MAA+B,EAC/B,MAAyB,EACzB,KAAa,EACb,GAAY,EACZ,IAAU;IAEV,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,CAAA;IACpB,MAAM,UAAU,GAAG,KAAK,CAAC,GAAY,CAAC,CAAA;IACtC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAA;IAChC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AACnD,CAAC;AAED,4BAA4B;AAC5B,MAAM,UAAU,uBAAuB,CAAC,WAA8B;IACpE,OAAO,WAAW;SACf,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,UAAU,CAAC,OAAO,EAAE,qBAAqB,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC;SACjG,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC"}
@@ -1,6 +0,0 @@
1
- import type { JSONIdentifiedType, JSONType } from "./JSONType.ts";
2
- export declare const JSONSchema$schema = "http://json-schema.org/draft-07/schema#";
3
- export type JSONRootType<J extends JSONType> = J & {
4
- $schema: typeof JSONSchema$schema;
5
- $defs: Record<string, JSONIdentifiedType | undefined>;
6
- };
@@ -1,2 +0,0 @@
1
- export const JSONSchema$schema = "http://json-schema.org/draft-07/schema#";
2
- //# sourceMappingURL=JSONRootType.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"JSONRootType.js","sourceRoot":"","sources":["../../types/JSONRootType.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAAG,yCAAyC,CAAA"}
@@ -1,16 +0,0 @@
1
- import type { JSONArrayType } from "./array.ts";
2
- import type { JSONBooleanType } from "./boolean.ts";
3
- import type { JSONConstType } from "./const.ts";
4
- import type { JSONEnumType } from "./enum.ts";
5
- import type { JSONIntegerType } from "./integer.ts";
6
- import type { JSONNullType } from "./null.ts";
7
- import type { JSONNumberType } from "./number.ts";
8
- import type { JSONObjectType } from "./object.ts";
9
- import type { JSONRefType } from "./ref.ts";
10
- import type { JSONStringType } from "./string.ts";
11
- import type { JSONUnionType } from "./union.ts";
12
- export type JSONIdentifiedType = JSONArrayType | JSONObjectType | JSONUnionType;
13
- export type JSONAnonymousType = JSONNullType | JSONBooleanType | JSONIntegerType | JSONNumberType | JSONStringType | JSONEnumType;
14
- export type ConstableType = JSONAnonymousType | JSONIdentifiedType;
15
- export type JSONRootableType = ConstableType | JSONConstType;
16
- export type JSONType = JSONRootableType | JSONRefType;
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=JSONType.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"JSONType.js","sourceRoot":"","sources":["../../types/JSONType.ts"],"names":[],"mappings":""}
@@ -1,3 +0,0 @@
1
- export interface JSONTypeBase {
2
- description?: string;
3
- }
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=JSONTypeBase.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"JSONTypeBase.js","sourceRoot":"","sources":["../../types/JSONTypeBase.ts"],"names":[],"mappings":""}
@@ -1,41 +0,0 @@
1
- import { type JSONObjectType } from "../object.ts";
2
- import type { Type } from "../Type.ts";
3
- import type { JSONUnionType } from "../union.ts";
4
- export type MetatypeRootDescriptor = {
5
- type: "record";
6
- value: {
7
- description: string;
8
- fields: Array<{
9
- description: string;
10
- key: string;
11
- value: MetatypeDescriptor;
12
- }>;
13
- };
14
- };
15
- export declare const MetatypeRootDescriptor: Type<MetatypeRootDescriptor, JSONObjectType>;
16
- export type MetatypeDescriptor = MetatypeRootDescriptor | {
17
- type: "atom";
18
- value: {
19
- description: string;
20
- atomType: "boolean" | "integer" | "number" | "string";
21
- };
22
- } | {
23
- type: "enum";
24
- value: {
25
- description: string;
26
- variants: Array<string>;
27
- };
28
- } | {
29
- type: "array";
30
- value: {
31
- description: string;
32
- items: MetatypeDescriptor;
33
- };
34
- } | {
35
- type: "union";
36
- value: {
37
- description: string;
38
- members: Array<MetatypeDescriptor>;
39
- };
40
- };
41
- export declare const MetatypeDescriptor: Type<MetatypeDescriptor, JSONUnionType>;
@@ -1,38 +0,0 @@
1
- import { array } from "../array.js";
2
- import { enum as enum_ } from "../enum.js";
3
- import { object } from "../object.js";
4
- import { ref } from "../ref.js";
5
- import { string } from "../string.js";
6
- import { taggedUnion } from "../types_derived/taggedUnion.js";
7
- const recordFields = {
8
- description: string,
9
- fields: array({
10
- description: string,
11
- key: string,
12
- value: ref(() => MetatypeDescriptor),
13
- }),
14
- };
15
- export const MetatypeRootDescriptor = object({
16
- type: "record",
17
- value: recordFields,
18
- });
19
- export const MetatypeDescriptor = taggedUnion({
20
- atom: {
21
- description: string,
22
- atomType: enum_("boolean", "integer", "number", "string"),
23
- },
24
- enum: {
25
- description: string,
26
- variants: array(string),
27
- },
28
- array: {
29
- description: string,
30
- items: ref(() => MetatypeDescriptor),
31
- },
32
- record: recordFields,
33
- union: {
34
- description: string,
35
- members: array(ref(() => MetatypeDescriptor)),
36
- },
37
- });
38
- //# sourceMappingURL=MetatypeDescriptor.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"MetatypeDescriptor.js","sourceRoot":"","sources":["../../../types/Metatype/MetatypeDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAuB,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC/B,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAA;AAe7D,MAAM,YAAY,GAAG;IACnB,WAAW,EAAE,MAAM;IACnB,MAAM,EAAE,KAAK,CAAC;QACZ,WAAW,EAAE,MAAM;QACnB,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC;KACrC,CAAC;CACH,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAiD,MAAM,CAAC;IACzF,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,YAAY;CACpB,CAAC,CAAA;AA4BF,MAAM,CAAC,MAAM,kBAAkB,GAA4C,WAAW,CAAC;IACrF,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM;QACnB,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC;KAC1D;IACD,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM;QACnB,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;KACxB;IACD,KAAK,EAAE;QACL,WAAW,EAAE,MAAM;QACnB,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC;KACrC;IACD,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE;QACL,WAAW,EAAE,MAAM;QACnB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;KAC9C;CACF,CAAC,CAAA"}
@@ -1,6 +0,0 @@
1
- import type { JSONObject } from "../../util/JSONObject.ts";
2
- import { type JSONObjectType } from "../object.ts";
3
- import type { Type } from "../Type.ts";
4
- import type { MetatypeDescriptor, MetatypeRootDescriptor } from "./MetatypeDescriptor.ts";
5
- export declare function fromMetatypeRootDescriptor(descriptor: MetatypeRootDescriptor): Type<JSONObject, JSONObjectType>;
6
- export declare function fromMetatypeDescriptor(descriptor: MetatypeDescriptor): Type;
@@ -1,43 +0,0 @@
1
- import { array } from "../array.js";
2
- import { boolean } from "../boolean.js";
3
- import { enum as enum_ } from "../enum.js";
4
- import { integer } from "../integer.js";
5
- import { number } from "../number.js";
6
- import { object } from "../object.js";
7
- import { string } from "../string.js";
8
- import { union } from "../union.js";
9
- export function fromMetatypeRootDescriptor(descriptor) {
10
- return fromMetatypeDescriptor(descriptor);
11
- }
12
- export function fromMetatypeDescriptor(descriptor) {
13
- return make(descriptor)(descriptor.value.description);
14
- }
15
- function make(descriptor) {
16
- switch (descriptor.type) {
17
- case "atom": {
18
- switch (descriptor.value.atomType) {
19
- case "boolean":
20
- return boolean;
21
- case "integer":
22
- return integer;
23
- case "number":
24
- return number;
25
- case "string":
26
- return string;
27
- }
28
- }
29
- case "array": {
30
- return array(fromMetatypeDescriptor(descriptor.value.items));
31
- }
32
- case "enum": {
33
- return enum_(...descriptor.value.variants);
34
- }
35
- case "record": {
36
- return object(Object.fromEntries(descriptor.value.fields.map(({ key, value, description, }) => [key, fromMetatypeDescriptor(value)(description)])));
37
- }
38
- case "union": {
39
- return union(...descriptor.value.members.map(fromMetatypeDescriptor));
40
- }
41
- }
42
- }
43
- //# sourceMappingURL=fromMetatypeDescriptor.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"fromMetatypeDescriptor.js","sourceRoot":"","sources":["../../../types/Metatype/fromMetatypeDescriptor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AACrC,OAAO,EAAuB,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAGnC,MAAM,UAAU,0BAA0B,CAAC,UAAkC;IAC3E,OAAO,sBAAsB,CAAC,UAAU,CAAU,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,UAA8B;IACnE,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,IAAI,CAAC,UAA8B;IAC1C,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,QAAQ,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAClC,KAAK,SAAS;oBACZ,OAAO,OAAO,CAAA;gBAChB,KAAK,SAAS;oBACZ,OAAO,OAAO,CAAA;gBAChB,KAAK,QAAQ;oBACX,OAAO,MAAM,CAAA;gBACf,KAAK,QAAQ;oBACX,OAAO,MAAM,CAAA;YACjB,CAAC;QACH,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,KAAK,CAAC,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9D,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC5C,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAC5D,GAAG,EACH,KAAK,EACL,WAAW,GACZ,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,sBAAsB,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;AACH,CAAC"}
@@ -1,31 +0,0 @@
1
- import type { StandardSchemaV1 } from "@standard-schema/spec";
2
- import type { Action } from "../Action.ts";
3
- import type { InferenceRequested } from "../events/InferenceRequested.ts";
4
- import type { Inferred } from "../events/Inferred.ts";
5
- import type { Spec } from "../Spec.ts";
6
- import type { Falsy } from "../util/Falsy.ts";
7
- import type { JSONValue } from "../util/JSONValue.ts";
8
- import type { Taggable } from "../util/Taggable.ts";
9
- import type { JSONRootType } from "./JSONRootType.ts";
10
- import type { JSONType } from "./JSONType.ts";
11
- import type { JSONObjectType } from "./object.ts";
12
- export interface Type<T extends JSONValue = JSONValue, J extends JSONType = JSONType> extends Taggable<Array<string | Falsy>>, TypeMembers<T, J> {
13
- T: T;
14
- J: J;
15
- [Symbol.iterator]: J extends JSONObjectType ? () => Iterator<Action<"infer", Spec.Make<{
16
- Event: InferenceRequested | Inferred;
17
- }>>, T> : never;
18
- }
19
- export interface TypeMembers<T extends JSONValue, J extends JSONType> extends StandardSchemaV1<T> {
20
- [TypeKey]: true;
21
- declaration: () => Type<T, J> | ((...args: any) => Type<T, J>);
22
- args?: Array<any>;
23
- descriptions: Array<string>;
24
- trace: string | undefined;
25
- description(): string;
26
- toJSON(): JSONRootType<J>;
27
- assert(value: unknown): T;
28
- }
29
- export type TypeKey = typeof TypeKey;
30
- export declare const TypeKey: unique symbol;
31
- export declare function isType(value: unknown): value is Type;
@@ -1,5 +0,0 @@
1
- export const TypeKey = Symbol.for("Liminal/Type");
2
- export function isType(value) {
3
- return typeof value === "function" && TypeKey in value;
4
- }
5
- //# sourceMappingURL=Type.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Type.js","sourceRoot":"","sources":["../../types/Type.ts"],"names":[],"mappings":"AA0CA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;AAEjD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,IAAI,KAAK,CAAA;AACxD,CAAC"}
@@ -1,7 +0,0 @@
1
- import type { Type } from "./Type.js";
2
- export declare class TypeContext {
3
- root: Type;
4
- ids: Map<Type, string>;
5
- constructor(root: Type, ids?: Map<Type, string>);
6
- id(type: Type): string;
7
- }
@@ -1,17 +0,0 @@
1
- export class TypeContext {
2
- root;
3
- ids;
4
- constructor(root, ids = new Map()) {
5
- this.root = root;
6
- this.ids = ids;
7
- }
8
- id(type) {
9
- let id = this.ids.get(type);
10
- if (id === undefined) {
11
- id = this.ids.size.toString();
12
- this.ids.set(type, id);
13
- }
14
- return id;
15
- }
16
- }
17
- //# sourceMappingURL=TypeContext.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"TypeContext.js","sourceRoot":"","sources":["../../types/TypeContext.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,WAAW;IACtB,IAAI,CAAM;IACV,GAAG,CAAmB;IACtB,YAAY,IAAU,EAAE,MAAyB,IAAI,GAAG,EAAE;QACxD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;IAChB,CAAC;IAED,EAAE,CAAC,IAAU;QACX,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAA;YAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACxB,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;CACF"}
@@ -1,23 +0,0 @@
1
- import type { Falsy } from "../util/Falsy.ts";
2
- import type { JSONKey } from "../util/JSONKey.ts";
3
- import { type JSONConstType } from "./const.ts";
4
- import { type JSONNullType } from "./null.ts";
5
- import { type JSONObjectType } from "./object.ts";
6
- import { type JSONStringType } from "./string.ts";
7
- import { type Type } from "./Type.ts";
8
- export type TypeLike = Type | TypeLikes | string | Falsy;
9
- export type TypeLikes = TypeLikeArray | TypeLikeRecord;
10
- export type TypeLikeArray = Array<TypeLike>;
11
- export type TypeLikeRecord = {
12
- [key: JSONKey]: TypeLike;
13
- };
14
- export type NormalizeTypeLikesT<F extends TypeLikes> = {
15
- -readonly [K in keyof F as F extends TypeLikeArray ? K extends `${number}` ? K : never : K]: NormalizeTypeLikeT<Extract<F[K], TypeLike>>;
16
- } & {};
17
- export type NormalizeTypeLikeT<V extends TypeLike> = V extends TypeLikes ? NormalizeTypeLikesT<V> : V extends string ? V : V extends Type<infer T> ? T : null;
18
- export type NormalizeTypeLikesJ<F extends TypeLikes> = {
19
- -readonly [K in keyof F as F extends TypeLikeArray ? K extends `${number}` ? K : never : K]: NormalizeTypeLikeJ<Extract<F[K], TypeLike>>;
20
- } & {};
21
- export type NormalizeTypeLikeJ<V extends TypeLike> = V extends TypeLikes ? JSONObjectType<NormalizeTypeLikesJ<V>> : V extends string ? JSONConstType<JSONStringType, V> : V extends Type<any, infer J> ? J : JSONNullType;
22
- export declare function normalizeTypeLikes(fields: TypeLikes): Type;
23
- export declare function normalizeTypeLike(value: TypeLike): Type;
@@ -1,23 +0,0 @@
1
- import { const as const_ } from "./const.js";
2
- import { null as null_ } from "./null.js";
3
- import { _object } from "./object.js";
4
- import { string } from "./string.js";
5
- import { isType } from "./Type.js";
6
- export function normalizeTypeLikes(fields) {
7
- return (Array.isArray(fields)
8
- ? _object(fields.map(normalizeTypeLike))
9
- : _object(Object.fromEntries(Object.entries(fields).map(([k, v]) => [k, normalizeTypeLike(v)]))));
10
- }
11
- export function normalizeTypeLike(value) {
12
- if (!value) {
13
- return null_;
14
- }
15
- if (typeof value === "string") {
16
- return const_(string, value);
17
- }
18
- if (isType(value)) {
19
- return value;
20
- }
21
- return normalizeTypeLikes(value);
22
- }
23
- //# sourceMappingURL=TypeLike.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"TypeLike.js","sourceRoot":"","sources":["../../types/TypeLike.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,MAAM,EAAsB,MAAM,YAAY,CAAA;AAChE,OAAO,EAAqB,IAAI,IAAI,KAAK,EAAE,MAAM,WAAW,CAAA;AAC5D,OAAO,EAAE,OAAO,EAAuB,MAAM,aAAa,CAAA;AAC1D,OAAO,EAAuB,MAAM,EAAE,MAAM,aAAa,CAAA;AACzD,OAAO,EAAE,MAAM,EAAa,MAAM,WAAW,CAAA;AAoC7C,MAAM,UAAU,kBAAkB,CAAC,MAAiB;IAClD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACxC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACrG,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAe;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAClC,CAAC"}
@@ -1,14 +0,0 @@
1
- import type { Type } from "./Type.ts";
2
- import { type IntrinsicTypes } from "./type_common.ts";
3
- export type VisitorArms<S, R> = {
4
- hook?: (next: (state: S, type: Type) => R, state: S, type: Type) => R;
5
- } & ((IntrinsicVisitorArms<S, R> & {
6
- fallback?: never;
7
- }) | (Partial<IntrinsicVisitorArms<S, R>> & {
8
- fallback: () => R;
9
- }));
10
- export type IntrinsicVisitorArms<S, R> = {
11
- [K in keyof IntrinsicTypes]: (state: S, ...args: IntrinsicTypes[K] extends Type ? [IntrinsicTypes[K]] : IntrinsicTypes[K] extends (...args: infer A) => infer T ? [T, ...A] : never) => R;
12
- };
13
- export type TypeVisitor<S, R> = (state: S, type: Type) => R;
14
- export declare function TypeVisitor<S, R>(arms: VisitorArms<S, R>): (state: S, type: Type) => R;
@@ -1,12 +0,0 @@
1
- import { typeName } from "./type_common.js";
2
- export function TypeVisitor(arms) {
3
- const { hook } = arms;
4
- if (hook) {
5
- return (state, type) => hook(next, state, type);
6
- }
7
- return next;
8
- function next(state, type) {
9
- return (arms[typeName(type)] ?? arms.fallback)(state, type, ...(type.args ?? []));
10
- }
11
- }
12
- //# sourceMappingURL=TypeVisitor.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"TypeVisitor.js","sourceRoot":"","sources":["../../types/TypeVisitor.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAgChE,MAAM,UAAU,WAAW,CAAO,IAAuB;IACvD,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;IACrB,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACjD,CAAC;IAED,OAAO,IAAI,CAAA;IAEX,SAAS,IAAI,CAAC,KAAQ,EAAE,IAAU;QAChC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,CACnD,KAAK,EACL,IAAI,EACJ,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CACrB,CAAA;IACH,CAAC;AACH,CAAC"}
@@ -1,10 +0,0 @@
1
- import type { JSONType } from "./JSONType.ts";
2
- import type { JSONTypeBase } from "./JSONTypeBase.ts";
3
- import type { Type } from "./Type.ts";
4
- import { type NormalizeTypeLikeJ, type NormalizeTypeLikeT, type TypeLike } from "./TypeLike.ts";
5
- export declare function array<const F extends TypeLike>(element: F): Type<Array<NormalizeTypeLikeT<F>>, JSONArrayType<NormalizeTypeLikeJ<F>>>;
6
- export declare function _array(element: Type): Type;
7
- export interface JSONArrayType<E extends JSONType = any> extends JSONTypeBase {
8
- type: "array";
9
- items: E;
10
- }
@@ -1,9 +0,0 @@
1
- import { makeType } from "./makeType.js";
2
- import { normalizeTypeLike } from "./TypeLike.js";
3
- export function array(element) {
4
- return _array(normalizeTypeLike(element));
5
- }
6
- export function _array(element) {
7
- return makeType(() => _array, [element]);
8
- }
9
- //# sourceMappingURL=array.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"array.js","sourceRoot":"","sources":["../../types/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,OAAU;IAEV,OAAO,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAU,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAa;IAClC,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC1C,CAAC"}
@@ -1,6 +0,0 @@
1
- import type { JSONTypeBase } from "./JSONTypeBase.ts";
2
- import type { Type } from "./Type.ts";
3
- export declare const boolean: Type<boolean, JSONBooleanType>;
4
- export interface JSONBooleanType extends JSONTypeBase {
5
- type: "boolean";
6
- }
@@ -1,3 +0,0 @@
1
- import { makeType } from "./makeType.js";
2
- export const boolean = makeType(() => boolean);
3
- //# sourceMappingURL=boolean.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../types/boolean.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,OAAO,GAAmC,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA"}
@@ -1,8 +0,0 @@
1
- import type { JSONValue } from "../util/JSONValue.ts";
2
- import type { ConstableType } from "./JSONType.ts";
3
- import type { Type } from "./Type.ts";
4
- declare function const_<T extends JSONValue, J extends ConstableType, const V extends T>(type: Type<T, J>, value: V): Type<V, JSONConstType<J, V>>;
5
- export { const_ as const };
6
- export type JSONConstType<J extends ConstableType = any, V extends JSONValue = JSONValue> = J & {
7
- const: V;
8
- };
@@ -1,7 +0,0 @@
1
- import { makeType } from "./makeType.js";
2
- function const_(type, value) {
3
- return makeType(() => const_, [type, value]);
4
- }
5
- Object.defineProperty(const_, "name", { value: "const" });
6
- export { const_ as const };
7
- //# sourceMappingURL=const.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"const.js","sourceRoot":"","sources":["../../types/const.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,SAAS,MAAM,CACb,IAAgB,EAChB,KAAQ;IAER,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAe,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AACvD,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;AACzD,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA"}
@@ -1,8 +0,0 @@
1
- import type { JSONTypeBase } from "./JSONTypeBase.ts";
2
- import type { Type } from "./Type.ts";
3
- export { enum_ as enum };
4
- declare function enum_<A extends Array<string>>(...values: A): Type<A[number], JSONEnumType<A[number]>>;
5
- export interface JSONEnumType<K extends string = string> extends JSONTypeBase {
6
- type: "string";
7
- enum: Array<K>;
8
- }
@@ -1,7 +0,0 @@
1
- import { makeType } from "./makeType.js";
2
- export { enum_ as enum };
3
- function enum_(...values) {
4
- return makeType(() => enum_, values);
5
- }
6
- Object.defineProperty(enum_, "name", { value: "enum" });
7
- //# sourceMappingURL=enum.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"enum.js","sourceRoot":"","sources":["../../types/enum.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,SAAS,KAAK,CAA0B,GAAG,MAAS;IAClD,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAQ,EAAE,MAAM,CAAC,CAAA;AACzC,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA"}
@@ -1,8 +0,0 @@
1
- export { array } from "./array.ts";
2
- export { boolean, const, enum, integer, null, number, ref, string } from "./intrinsics.ts";
3
- export { MetatypeDescriptor, MetatypeRootDescriptor } from "./Metatype/MetatypeDescriptor.ts";
4
- export { object } from "./object.ts";
5
- export { option } from "./types_derived/option.ts";
6
- export { taggedUnion } from "./types_derived/taggedUnion.ts";
7
- export { wrapper } from "./types_derived/wrapper.ts";
8
- export { union } from "./union.ts";
@@ -1,9 +0,0 @@
1
- export { array } from "./array.js";
2
- export { boolean, const, enum, integer, null, number, ref, string } from "./intrinsics.js";
3
- export { MetatypeDescriptor, MetatypeRootDescriptor } from "./Metatype/MetatypeDescriptor.js";
4
- export { object } from "./object.js";
5
- export { option } from "./types_derived/option.js";
6
- export { taggedUnion } from "./types_derived/taggedUnion.js";
7
- export { wrapper } from "./types_derived/wrapper.js";
8
- export { union } from "./union.js";
9
- //# sourceMappingURL=factories.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"factories.js","sourceRoot":"","sources":["../../types/factories.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAC7F,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAA;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA"}