effect-app 4.0.0-beta.28 → 4.0.0-beta.281

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 (347) hide show
  1. package/CHANGELOG.md +1318 -0
  2. package/dist/Array.d.ts +2 -1
  3. package/dist/Array.d.ts.map +1 -1
  4. package/dist/Array.js +4 -4
  5. package/dist/Chunk.d.ts.map +1 -1
  6. package/dist/Config/SecretURL.d.ts +3 -1
  7. package/dist/Config/SecretURL.d.ts.map +1 -1
  8. package/dist/Config/SecretURL.js +3 -6
  9. package/dist/Config/internal/configSecretURL.d.ts.map +1 -1
  10. package/dist/Config/internal/configSecretURL.js +2 -2
  11. package/dist/Config.d.ts +2 -0
  12. package/dist/Config.d.ts.map +1 -0
  13. package/dist/Config.js +8 -0
  14. package/dist/ConfigProvider.d.ts +2 -0
  15. package/dist/ConfigProvider.d.ts.map +1 -0
  16. package/dist/ConfigProvider.js +6 -0
  17. package/dist/{ServiceMap.d.ts → Context.d.ts} +18 -20
  18. package/dist/Context.d.ts.map +1 -0
  19. package/dist/Context.js +67 -0
  20. package/dist/Effect.d.ts +10 -9
  21. package/dist/Effect.d.ts.map +1 -1
  22. package/dist/Effect.js +5 -8
  23. package/dist/Emailer.d.ts +51 -0
  24. package/dist/Emailer.d.ts.map +1 -0
  25. package/dist/Emailer.js +7 -0
  26. package/dist/Function.d.ts.map +1 -1
  27. package/dist/Layer.d.ts +10 -6
  28. package/dist/Layer.d.ts.map +1 -1
  29. package/dist/Layer.js +3 -2
  30. package/dist/Model/Repository/Registry.d.ts +22 -0
  31. package/dist/Model/Repository/Registry.d.ts.map +1 -0
  32. package/dist/Model/Repository/Registry.js +18 -0
  33. package/dist/Model/Repository/ext.d.ts +60 -0
  34. package/dist/Model/Repository/ext.d.ts.map +1 -0
  35. package/dist/Model/Repository/ext.js +122 -0
  36. package/dist/Model/Repository/internal/internal.d.ts +63 -0
  37. package/dist/Model/Repository/internal/internal.d.ts.map +1 -0
  38. package/dist/Model/Repository/internal/internal.js +430 -0
  39. package/dist/Model/Repository/legacy.d.ts +21 -0
  40. package/dist/Model/Repository/legacy.d.ts.map +1 -0
  41. package/dist/Model/Repository/legacy.js +2 -0
  42. package/dist/Model/Repository/makeRepo.d.ts +54 -0
  43. package/dist/Model/Repository/makeRepo.d.ts.map +1 -0
  44. package/dist/Model/Repository/makeRepo.js +27 -0
  45. package/dist/Model/Repository/service.d.ts +121 -0
  46. package/dist/Model/Repository/service.d.ts.map +1 -0
  47. package/dist/Model/Repository/service.js +2 -0
  48. package/dist/Model/Repository/validation.d.ts +58 -0
  49. package/dist/Model/Repository/validation.d.ts.map +1 -0
  50. package/dist/Model/Repository/validation.js +32 -0
  51. package/dist/Model/Repository.d.ts +7 -0
  52. package/dist/Model/Repository.d.ts.map +1 -0
  53. package/dist/Model/Repository.js +7 -0
  54. package/dist/Model/dsl.d.ts +33 -0
  55. package/dist/Model/dsl.d.ts.map +1 -0
  56. package/dist/Model/dsl.js +43 -0
  57. package/dist/Model/filter/filterApi.d.ts +30 -0
  58. package/dist/Model/filter/filterApi.d.ts.map +1 -0
  59. package/dist/Model/filter/filterApi.js +2 -0
  60. package/dist/Model/filter/types/errors.d.ts +29 -0
  61. package/dist/Model/filter/types/errors.d.ts.map +1 -0
  62. package/dist/Model/filter/types/errors.js +2 -0
  63. package/dist/Model/filter/types/fields.d.ts +15 -0
  64. package/dist/Model/filter/types/fields.d.ts.map +1 -0
  65. package/dist/Model/filter/types/fields.js +2 -0
  66. package/dist/Model/filter/types/path/common.d.ts +316 -0
  67. package/dist/Model/filter/types/path/common.d.ts.map +1 -0
  68. package/dist/Model/filter/types/path/common.js +2 -0
  69. package/dist/Model/filter/types/path/eager.d.ts +94 -0
  70. package/dist/Model/filter/types/path/eager.d.ts.map +1 -0
  71. package/dist/Model/filter/types/path/eager.js +36 -0
  72. package/dist/Model/filter/types/path/index.d.ts +4 -0
  73. package/dist/Model/filter/types/path/index.d.ts.map +1 -0
  74. package/dist/Model/filter/types/path/index.js +3 -0
  75. package/dist/Model/filter/types/utils.d.ts +79 -0
  76. package/dist/Model/filter/types/utils.d.ts.map +1 -0
  77. package/dist/Model/filter/types/utils.js +2 -0
  78. package/dist/Model/filter/types/validator.d.ts +30 -0
  79. package/dist/Model/filter/types/validator.d.ts.map +1 -0
  80. package/dist/Model/filter/types/validator.js +2 -0
  81. package/dist/Model/filter/types.d.ts +5 -0
  82. package/dist/Model/filter/types.d.ts.map +1 -0
  83. package/dist/Model/filter/types.js +7 -0
  84. package/dist/Model/query/dsl.d.ts +493 -0
  85. package/dist/Model/query/dsl.d.ts.map +1 -0
  86. package/dist/Model/query/dsl.js +376 -0
  87. package/dist/Model/query/new-kid-interpreter.d.ts +136 -0
  88. package/dist/Model/query/new-kid-interpreter.d.ts.map +1 -0
  89. package/dist/Model/query/new-kid-interpreter.js +336 -0
  90. package/dist/Model/query.d.ts +15 -0
  91. package/dist/Model/query.d.ts.map +1 -0
  92. package/dist/Model/query.js +3 -0
  93. package/dist/Model.d.ts +5 -0
  94. package/dist/Model.d.ts.map +1 -0
  95. package/dist/Model.js +5 -0
  96. package/dist/NonEmptySet.d.ts +3 -1
  97. package/dist/NonEmptySet.d.ts.map +1 -1
  98. package/dist/NonEmptySet.js +2 -2
  99. package/dist/Option.d.ts +1 -0
  100. package/dist/Option.d.ts.map +1 -1
  101. package/dist/Option.js +3 -1
  102. package/dist/Pure.d.ts +7 -5
  103. package/dist/Pure.d.ts.map +1 -1
  104. package/dist/Pure.js +7 -4
  105. package/dist/QueueMaker.d.ts +13 -0
  106. package/dist/QueueMaker.d.ts.map +1 -0
  107. package/dist/QueueMaker.js +4 -0
  108. package/dist/RequestContext.d.ts +157 -0
  109. package/dist/RequestContext.d.ts.map +1 -0
  110. package/dist/RequestContext.js +54 -0
  111. package/dist/Schema/Class.d.ts +188 -19
  112. package/dist/Schema/Class.d.ts.map +1 -1
  113. package/dist/Schema/Class.js +260 -17
  114. package/dist/Schema/FastCheck.d.ts.map +1 -1
  115. package/dist/Schema/SchemaParser.d.ts +5 -0
  116. package/dist/Schema/SchemaParser.d.ts.map +1 -0
  117. package/dist/Schema/SchemaParser.js +6 -0
  118. package/dist/Schema/SpecialJsonSchema.d.ts +34 -0
  119. package/dist/Schema/SpecialJsonSchema.d.ts.map +1 -0
  120. package/dist/Schema/SpecialJsonSchema.js +118 -0
  121. package/dist/Schema/SpecialOpenApi.d.ts +32 -0
  122. package/dist/Schema/SpecialOpenApi.d.ts.map +1 -0
  123. package/dist/Schema/SpecialOpenApi.js +123 -0
  124. package/dist/Schema/brand.d.ts +4 -2
  125. package/dist/Schema/brand.d.ts.map +1 -1
  126. package/dist/Schema/brand.js +3 -1
  127. package/dist/Schema/email.d.ts.map +1 -1
  128. package/dist/Schema/email.js +7 -4
  129. package/dist/Schema/ext.d.ts +338 -55
  130. package/dist/Schema/ext.d.ts.map +1 -1
  131. package/dist/Schema/ext.js +358 -53
  132. package/dist/Schema/moreStrings.d.ts +82 -36
  133. package/dist/Schema/moreStrings.d.ts.map +1 -1
  134. package/dist/Schema/moreStrings.js +49 -42
  135. package/dist/Schema/numbers.d.ts +34 -21
  136. package/dist/Schema/numbers.d.ts.map +1 -1
  137. package/dist/Schema/numbers.js +55 -12
  138. package/dist/Schema/phoneNumber.d.ts.map +1 -1
  139. package/dist/Schema/phoneNumber.js +6 -3
  140. package/dist/Schema/strings.d.ts +18 -4
  141. package/dist/Schema/strings.d.ts.map +1 -1
  142. package/dist/Schema/strings.js +1 -5
  143. package/dist/Schema.d.ts +213 -7
  144. package/dist/Schema.d.ts.map +1 -1
  145. package/dist/Schema.js +190 -11
  146. package/dist/Set.d.ts +4 -1
  147. package/dist/Set.d.ts.map +1 -1
  148. package/dist/Set.js +3 -2
  149. package/dist/Store.d.ts +170 -0
  150. package/dist/Store.d.ts.map +1 -0
  151. package/dist/Store.js +121 -0
  152. package/dist/_ext/Array.d.ts +1 -1
  153. package/dist/_ext/Array.d.ts.map +1 -1
  154. package/dist/_ext/Array.js +4 -2
  155. package/dist/_ext/misc.d.ts +4 -1
  156. package/dist/_ext/misc.d.ts.map +1 -1
  157. package/dist/_ext/misc.js +4 -2
  158. package/dist/_ext/ord.ext.d.ts +2 -1
  159. package/dist/_ext/ord.ext.d.ts.map +1 -1
  160. package/dist/_ext/ord.ext.js +2 -2
  161. package/dist/builtin.d.ts +2 -14
  162. package/dist/builtin.d.ts.map +1 -1
  163. package/dist/builtin.js +1 -1
  164. package/dist/client/InvalidationKeys.d.ts +29 -0
  165. package/dist/client/InvalidationKeys.d.ts.map +1 -0
  166. package/dist/client/InvalidationKeys.js +33 -0
  167. package/dist/client/apiClientFactory.d.ts +19 -31
  168. package/dist/client/apiClientFactory.d.ts.map +1 -1
  169. package/dist/client/apiClientFactory.js +104 -34
  170. package/dist/client/clientFor.d.ts +53 -18
  171. package/dist/client/clientFor.d.ts.map +1 -1
  172. package/dist/client/clientFor.js +9 -1
  173. package/dist/client/errors.d.ts +82 -27
  174. package/dist/client/errors.d.ts.map +1 -1
  175. package/dist/client/errors.js +75 -19
  176. package/dist/client/makeClient.d.ts +495 -32
  177. package/dist/client/makeClient.d.ts.map +1 -1
  178. package/dist/client/makeClient.js +66 -24
  179. package/dist/client.d.ts +1 -0
  180. package/dist/client.d.ts.map +1 -1
  181. package/dist/client.js +2 -1
  182. package/dist/faker.d.ts.map +1 -1
  183. package/dist/http/Request.d.ts +1 -1
  184. package/dist/http/Request.d.ts.map +1 -1
  185. package/dist/http/Request.js +2 -2
  186. package/dist/ids.d.ts +42 -14
  187. package/dist/ids.d.ts.map +1 -1
  188. package/dist/ids.js +30 -5
  189. package/dist/index.d.ts +6 -7
  190. package/dist/index.d.ts.map +1 -1
  191. package/dist/index.js +8 -8
  192. package/dist/middleware.d.ts +13 -7
  193. package/dist/middleware.d.ts.map +1 -1
  194. package/dist/middleware.js +14 -8
  195. package/dist/rpc/Invalidation.d.ts +420 -0
  196. package/dist/rpc/Invalidation.d.ts.map +1 -0
  197. package/dist/rpc/Invalidation.js +168 -0
  198. package/dist/rpc/MiddlewareMaker.d.ts +11 -7
  199. package/dist/rpc/MiddlewareMaker.d.ts.map +1 -1
  200. package/dist/rpc/MiddlewareMaker.js +59 -38
  201. package/dist/rpc/RpcContextMap.d.ts +3 -3
  202. package/dist/rpc/RpcContextMap.d.ts.map +1 -1
  203. package/dist/rpc/RpcContextMap.js +4 -4
  204. package/dist/rpc/RpcMiddleware.d.ts +14 -10
  205. package/dist/rpc/RpcMiddleware.d.ts.map +1 -1
  206. package/dist/rpc/RpcMiddleware.js +1 -1
  207. package/dist/rpc.d.ts +1 -1
  208. package/dist/rpc.d.ts.map +1 -1
  209. package/dist/rpc.js +2 -2
  210. package/dist/runtime.d.ts +19 -0
  211. package/dist/runtime.d.ts.map +1 -0
  212. package/dist/runtime.js +40 -0
  213. package/dist/setupRequest.d.ts +19 -0
  214. package/dist/setupRequest.d.ts.map +1 -0
  215. package/dist/setupRequest.js +69 -0
  216. package/dist/toast.d.ts +51 -0
  217. package/dist/toast.d.ts.map +1 -0
  218. package/dist/toast.js +34 -0
  219. package/dist/transform.d.ts +1 -1
  220. package/dist/transform.d.ts.map +1 -1
  221. package/dist/transform.js +4 -5
  222. package/dist/utils/effectify.d.ts +1 -1
  223. package/dist/utils/effectify.d.ts.map +1 -1
  224. package/dist/utils/effectify.js +2 -2
  225. package/dist/utils/extend.d.ts.map +1 -1
  226. package/dist/utils/gen.d.ts +4 -4
  227. package/dist/utils/gen.d.ts.map +1 -1
  228. package/dist/utils/logLevel.d.ts +2 -2
  229. package/dist/utils/logLevel.d.ts.map +1 -1
  230. package/dist/utils/logger.d.ts +4 -3
  231. package/dist/utils/logger.d.ts.map +1 -1
  232. package/dist/utils/logger.js +4 -4
  233. package/dist/utils.d.ts +34 -39
  234. package/dist/utils.d.ts.map +1 -1
  235. package/dist/utils.js +33 -37
  236. package/dist/validation/validators.d.ts.map +1 -1
  237. package/dist/validation.d.ts.map +1 -1
  238. package/dist/withToast.d.ts +30 -0
  239. package/dist/withToast.d.ts.map +1 -0
  240. package/dist/withToast.js +64 -0
  241. package/package.json +22 -251
  242. package/src/Array.ts +5 -5
  243. package/src/Chunk.ts +3 -3
  244. package/src/Config/SecretURL.ts +6 -3
  245. package/src/Config/internal/configSecretURL.ts +2 -2
  246. package/src/Config.ts +7 -0
  247. package/src/ConfigProvider.ts +5 -0
  248. package/src/{ServiceMap.ts → Context.ts} +56 -63
  249. package/src/Effect.ts +14 -16
  250. package/src/Emailer.ts +51 -0
  251. package/src/Inputify.type.ts +1 -1
  252. package/src/Layer.ts +11 -7
  253. package/src/Model/Repository/Registry.ts +35 -0
  254. package/src/Model/Repository/ext.ts +375 -0
  255. package/src/Model/Repository/internal/internal.ts +741 -0
  256. package/src/Model/Repository/legacy.ts +29 -0
  257. package/src/Model/Repository/makeRepo.ts +145 -0
  258. package/src/Model/Repository/service.ts +676 -0
  259. package/src/Model/Repository/validation.ts +31 -0
  260. package/src/Model/Repository.ts +6 -0
  261. package/src/Model/dsl.ts +129 -0
  262. package/src/Model/filter/filterApi.ts +60 -0
  263. package/src/Model/filter/types/errors.ts +47 -0
  264. package/src/Model/filter/types/fields.ts +50 -0
  265. package/src/Model/filter/types/path/common.ts +404 -0
  266. package/src/Model/filter/types/path/eager.ts +329 -0
  267. package/src/Model/filter/types/path/index.ts +4 -0
  268. package/src/Model/filter/types/utils.ts +128 -0
  269. package/src/Model/filter/types/validator.ts +46 -0
  270. package/src/Model/filter/types.ts +6 -0
  271. package/src/Model/query/dsl.ts +2694 -0
  272. package/src/Model/query/new-kid-interpreter.ts +484 -0
  273. package/src/Model/query.ts +13 -0
  274. package/src/Model.ts +4 -0
  275. package/src/NonEmptySet.ts +6 -4
  276. package/src/Option.ts +2 -0
  277. package/src/Pure.ts +10 -7
  278. package/src/QueueMaker.ts +19 -0
  279. package/src/RequestContext.ts +95 -0
  280. package/src/Schema/Class.ts +633 -59
  281. package/src/Schema/SchemaParser.ts +12 -0
  282. package/src/Schema/SpecialJsonSchema.ts +139 -0
  283. package/src/Schema/SpecialOpenApi.ts +130 -0
  284. package/src/Schema/brand.ts +22 -2
  285. package/src/Schema/email.ts +9 -4
  286. package/src/Schema/ext.ts +446 -91
  287. package/src/Schema/moreStrings.ts +147 -68
  288. package/src/Schema/numbers.ts +97 -28
  289. package/src/Schema/phoneNumber.ts +9 -5
  290. package/src/Schema/strings.ts +23 -14
  291. package/src/Schema.ts +389 -25
  292. package/src/Set.ts +6 -2
  293. package/src/Store.ts +277 -0
  294. package/src/_ext/Array.ts +4 -2
  295. package/src/_ext/misc.ts +4 -1
  296. package/src/_ext/ord.ext.ts +2 -1
  297. package/src/builtin-json.d.ts +24 -0
  298. package/src/builtin.ts +16 -21
  299. package/src/client/InvalidationKeys.ts +50 -0
  300. package/src/client/apiClientFactory.ts +234 -135
  301. package/src/client/clientFor.ts +106 -34
  302. package/src/client/errors.ts +100 -29
  303. package/src/client/makeClient.ts +593 -73
  304. package/src/client.ts +5 -4
  305. package/src/http/Request.ts +3 -3
  306. package/src/http.ts +1 -1
  307. package/src/ids.ts +33 -6
  308. package/src/index.ts +20 -23
  309. package/src/middleware.ts +13 -9
  310. package/src/rpc/Invalidation.ts +261 -0
  311. package/src/rpc/MiddlewareMaker.ts +88 -80
  312. package/src/rpc/README.md +2 -2
  313. package/src/rpc/RpcContextMap.ts +7 -6
  314. package/src/rpc/RpcMiddleware.ts +19 -13
  315. package/src/rpc.ts +4 -4
  316. package/src/runtime.ts +56 -0
  317. package/src/setupRequest.ts +134 -0
  318. package/src/toast.ts +54 -0
  319. package/src/transform.ts +4 -4
  320. package/src/utils/effectify.ts +1 -1
  321. package/src/utils/gen.ts +8 -8
  322. package/src/utils/logLevel.ts +1 -1
  323. package/src/utils/logger.ts +4 -3
  324. package/src/utils.ts +85 -158
  325. package/src/validation.ts +2 -2
  326. package/src/withToast.ts +133 -0
  327. package/test/dist/rpc.test.d.ts.map +1 -1
  328. package/test/dist/secretURL.test.d.ts.map +1 -0
  329. package/test/dist/special.test.d.ts.map +1 -0
  330. package/test/moreStrings.test.ts +1 -1
  331. package/test/rpc.test.ts +46 -6
  332. package/test/schema.test.ts +459 -30
  333. package/test/secretURL.test.ts +160 -0
  334. package/test/special.test.ts +1258 -0
  335. package/test/utils.test.ts +7 -7
  336. package/tsconfig.base.json +6 -5
  337. package/tsconfig.json +3 -1
  338. package/tsconfig.src.json +29 -29
  339. package/tsconfig.test.json +2 -2
  340. package/dist/Operations.d.ts +0 -123
  341. package/dist/Operations.d.ts.map +0 -1
  342. package/dist/Operations.js +0 -29
  343. package/dist/ServiceMap.d.ts.map +0 -1
  344. package/dist/ServiceMap.js +0 -91
  345. package/eslint.config.mjs +0 -26
  346. package/src/Operations.ts +0 -55
  347. package/tsconfig.json.bak +0 -12
@@ -0,0 +1,484 @@
1
+ /* eslint-disable @typescript-eslint/no-explicit-any */
2
+ /* eslint-disable @typescript-eslint/no-unsafe-assignment */
3
+ import { identity, pipe } from "effect/Function"
4
+ import * as Match from "effect/Match"
5
+ import * as SchemaAST from "effect/SchemaAST"
6
+ import * as Array from "../../Array.ts"
7
+ import { toNonEmptyArray } from "../../Array.ts"
8
+ import * as Option from "../../Option.ts"
9
+ import * as S from "../../Schema.ts"
10
+ import { dropUndefinedT } from "../../utils.ts"
11
+ import type { FilterResult } from "../filter/filterApi.ts"
12
+ import type { FieldValues } from "../filter/types.ts"
13
+ import type { FieldPath } from "../filter/types/path/eager.ts"
14
+ import { make, type Q, type QAll } from "../query/dsl.ts"
15
+
16
+ export type AggregateIrExpression =
17
+ | { readonly _tag: "agg-count" }
18
+ | { readonly _tag: "agg-count-when"; readonly filter: readonly FilterResult[] }
19
+ | { readonly _tag: "agg-sum"; readonly field: string }
20
+ | { readonly _tag: "agg-min"; readonly field: string }
21
+ | { readonly _tag: "agg-max"; readonly field: string }
22
+
23
+ export type AggregateIrItem =
24
+ | AggregateIrExpression
25
+ | { readonly _tag: "agg-field"; readonly path: string }
26
+
27
+ export type ComputedProjectionMathIrExpression =
28
+ | {
29
+ readonly _tag: "field"
30
+ readonly field: string
31
+ }
32
+ | {
33
+ readonly _tag: "mul"
34
+ readonly left: ComputedProjectionMathIrExpression
35
+ readonly right: ComputedProjectionMathIrExpression
36
+ }
37
+
38
+ export type ComputedProjectionIrExpression =
39
+ | {
40
+ readonly _tag: "relation-count"
41
+ readonly path: string
42
+ readonly filter: readonly FilterResult[]
43
+ }
44
+ | {
45
+ readonly _tag: "relation-any"
46
+ readonly path: string
47
+ readonly filter: readonly FilterResult[]
48
+ }
49
+ | {
50
+ readonly _tag: "relation-every"
51
+ readonly path: string
52
+ readonly filter: readonly FilterResult[]
53
+ }
54
+ | {
55
+ readonly _tag: "relation-distinct-count"
56
+ readonly path: string
57
+ readonly field: string
58
+ readonly filter: readonly FilterResult[]
59
+ }
60
+ | {
61
+ readonly _tag: "relation-sum"
62
+ readonly path: string
63
+ readonly field: string
64
+ readonly filter: readonly FilterResult[]
65
+ }
66
+ | {
67
+ readonly _tag: "relation-sum-expr"
68
+ readonly path: string
69
+ readonly expression: ComputedProjectionMathIrExpression
70
+ readonly filter: readonly FilterResult[]
71
+ }
72
+ | {
73
+ readonly _tag: "relation-sum-expr-by"
74
+ readonly path: string
75
+ readonly expression: ComputedProjectionMathIrExpression
76
+ readonly unit: string
77
+ readonly filter: readonly FilterResult[]
78
+ }
79
+ | {
80
+ readonly _tag: "relation-sum-expr-normalized"
81
+ readonly path: string
82
+ readonly expression: ComputedProjectionMathIrExpression
83
+ readonly unit: string
84
+ readonly toBase: string
85
+ readonly factors: Readonly<Record<string, number>>
86
+ readonly filter: readonly FilterResult[]
87
+ }
88
+ | {
89
+ readonly _tag: "relation-collect"
90
+ readonly path: string
91
+ readonly field: string
92
+ readonly distinct: boolean
93
+ readonly filter: readonly FilterResult[]
94
+ }
95
+ | {
96
+ readonly _tag: "relation-collect-fields"
97
+ readonly path: string
98
+ readonly fields: readonly string[]
99
+ readonly distinct: boolean
100
+ readonly filter: readonly FilterResult[]
101
+ }
102
+ | {
103
+ readonly _tag: "relation-length"
104
+ readonly path: string
105
+ }
106
+
107
+ type Result<TFieldValues extends FieldValues, A = TFieldValues, R = never> = {
108
+ filter: FilterResult[]
109
+ schema: S.Codec<A, TFieldValues, R> | undefined
110
+ limit: number | undefined
111
+ skip: number | undefined
112
+ order: { key: FieldPath<TFieldValues>; direction: "ASC" | "DESC" }[]
113
+ ttype: "one" | "many" | "count" | undefined
114
+ mode: "collect" | "project" | "transform" | "aggregate" | undefined
115
+ computed: Record<string, ComputedProjectionIrExpression> | undefined
116
+ aggregateMap: Record<string, AggregateIrItem> | undefined
117
+ }
118
+
119
+ const interpret = <
120
+ TFieldValues extends FieldValues,
121
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
122
+ A = TFieldValues,
123
+ R = never
124
+ >(_: QAll<TFieldValues, TFieldValuesRefined, A, R>) => {
125
+ const a = _ as Q<TFieldValues>
126
+
127
+ const data: Result<TFieldValues, any, any> = {
128
+ filter: [],
129
+ schema: undefined,
130
+ limit: undefined,
131
+ skip: undefined,
132
+ order: [],
133
+ ttype: undefined,
134
+ mode: undefined,
135
+ computed: undefined,
136
+ aggregateMap: undefined
137
+ }
138
+
139
+ const upd = (
140
+ v: Result<TFieldValues, any, any>
141
+ ) => {
142
+ data.filter.push(...v.filter)
143
+ data.order.push(...v.order)
144
+ if (v.limit !== undefined) data.limit = v.limit
145
+ if (v.skip !== undefined) data.skip = v.skip
146
+ if (v.ttype !== undefined) data.ttype = v.ttype
147
+ if (v.schema !== undefined) data.schema = v.schema
148
+ if (v.mode !== undefined) data.mode = v.mode
149
+ if (v.computed !== undefined) data.computed = v.computed
150
+ if (v.aggregateMap !== undefined) data.aggregateMap = v.aggregateMap
151
+ }
152
+
153
+ const applyPath = (path: string) => (_: FilterResult): FilterResult =>
154
+ _.t === "where" || _.t === "and" || _.t === "or"
155
+ ? { ..._, path: `${path}.-1.${_.path}` }
156
+ : { ..._, result: _.result.map(applyPath(path)) }
157
+
158
+ pipe(
159
+ a,
160
+ Match.valueTags({
161
+ value: () => {
162
+ // data.filter.push(value)
163
+ },
164
+ where: ({ current, operation, relation, subPath }) => {
165
+ upd(interpret(current))
166
+ if (typeof operation === "function") {
167
+ data.filter.push(
168
+ {
169
+ t: "where-scope",
170
+ result: interpret(operation(make())).filter.map(subPath ? applyPath(subPath) : identity),
171
+ relation
172
+ }
173
+ )
174
+ } else {
175
+ data.filter.push(
176
+ {
177
+ t: "where",
178
+ path: operation[0],
179
+ op: operation.length === 2 ? "eq" : operation[1],
180
+ value: operation.length === 2 ? operation[1] : operation[2]
181
+ }
182
+ )
183
+ }
184
+ },
185
+ and: ({ current, operation, relation }) => {
186
+ upd(interpret(current))
187
+ if (typeof operation === "function") {
188
+ data.filter.push(
189
+ { t: "and-scope", result: interpret(operation(make())).filter, relation }
190
+ )
191
+ } else {
192
+ data.filter.push(
193
+ {
194
+ t: "and",
195
+ path: operation[0],
196
+ op: operation.length === 2 ? "eq" : operation[1],
197
+ value: operation.length === 2 ? operation[1] : operation[2]
198
+ }
199
+ )
200
+ }
201
+ },
202
+ or: ({ current, operation, relation }) => {
203
+ upd(interpret(current))
204
+ if (typeof operation === "function") {
205
+ data.filter.push(
206
+ { t: "or-scope", result: interpret(operation(make())).filter, relation }
207
+ )
208
+ } else {
209
+ data.filter.push(
210
+ {
211
+ t: "or",
212
+ path: operation[0],
213
+ op: operation.length === 2 ? "eq" : operation[1],
214
+ value: operation.length === 2 ? operation[1] : operation[2]
215
+ }
216
+ )
217
+ }
218
+ },
219
+ one: ({ current }) => {
220
+ upd(interpret(current))
221
+ data.limit = 1
222
+ data.ttype = "one"
223
+ },
224
+ count: ({ current }) => {
225
+ upd(interpret(current))
226
+ data.ttype = "count"
227
+ data.schema = S.Struct({ id: S.String }) as any
228
+ },
229
+ order: ({ current, direction, field }) => {
230
+ upd(interpret(current))
231
+ data.order.push({ key: field, direction })
232
+ },
233
+ page: (v) => {
234
+ upd(interpret(v.current))
235
+ data.limit = v.take
236
+ data.skip = v.skip
237
+ },
238
+ project: (v) => {
239
+ upd(interpret(v.current))
240
+ if (v.mode === "aggregate" && v.aggregateMap) {
241
+ data.schema = v.schema
242
+ data.mode = "aggregate"
243
+ data.aggregateMap = Object.fromEntries(
244
+ Object.entries(v.aggregateMap).map(([key, expression]) => {
245
+ switch (expression._tag) {
246
+ case "agg-field":
247
+ return [key, { _tag: "agg-field" as const, path: expression.path }]
248
+ case "agg-count":
249
+ return [key, { _tag: "agg-count" as const }]
250
+ case "agg-count-when": {
251
+ const filter = interpret(expression.operation(make())).filter
252
+ return [key, { _tag: "agg-count-when" as const, filter }]
253
+ }
254
+ case "agg-sum":
255
+ return [key, { _tag: "agg-sum" as const, field: expression.field }]
256
+ case "agg-min":
257
+ return [key, { _tag: "agg-min" as const, field: expression.field }]
258
+ case "agg-max":
259
+ return [key, { _tag: "agg-max" as const, field: expression.field }]
260
+ }
261
+ })
262
+ )
263
+ return
264
+ }
265
+ if (v.computed && v.mode === "transform") {
266
+ throw new Error("Computed projections require mode 'project' or 'collect', not 'transform'")
267
+ }
268
+ data.schema = v.schema
269
+ data.mode = v.computed
270
+ ? v.mode === "collect" ? "collect" : "project"
271
+ : v.mode
272
+ data.computed = v.computed
273
+ ? Object.fromEntries(
274
+ Object.entries(v.computed).map(([key, expression]) => {
275
+ const e = expression
276
+ const op = "operation" in e ? e.operation : undefined
277
+ const filter = op ? interpret(op(make())).filter.map(applyPath(e.path)) : []
278
+ switch (e._tag) {
279
+ case "relation-count":
280
+ case "relation-any":
281
+ case "relation-every":
282
+ return [key, { _tag: e._tag, path: e.path, filter } as ComputedProjectionIrExpression]
283
+ case "relation-distinct-count":
284
+ case "relation-sum":
285
+ return [
286
+ key,
287
+ { _tag: e._tag, path: e.path, field: e.field, filter } as ComputedProjectionIrExpression
288
+ ]
289
+ case "relation-sum-expr":
290
+ return [
291
+ key,
292
+ { _tag: e._tag, path: e.path, expression: e.expression, filter } as ComputedProjectionIrExpression
293
+ ]
294
+ case "relation-sum-expr-by":
295
+ return [
296
+ key,
297
+ {
298
+ _tag: e._tag,
299
+ path: e.path,
300
+ expression: e.expression,
301
+ unit: e.unit,
302
+ filter
303
+ } as ComputedProjectionIrExpression
304
+ ]
305
+ case "relation-sum-expr-normalized":
306
+ return [
307
+ key,
308
+ {
309
+ _tag: e._tag,
310
+ path: e.path,
311
+ expression: e.expression,
312
+ unit: e.unit,
313
+ toBase: e.toBase,
314
+ factors: e.factors,
315
+ filter
316
+ } as ComputedProjectionIrExpression
317
+ ]
318
+ case "relation-collect":
319
+ return [
320
+ key,
321
+ {
322
+ _tag: e._tag,
323
+ path: e.path,
324
+ field: e.field,
325
+ distinct: e.distinct,
326
+ filter
327
+ } as ComputedProjectionIrExpression
328
+ ]
329
+ case "relation-collect-fields":
330
+ return [
331
+ key,
332
+ {
333
+ _tag: e._tag,
334
+ path: e.path,
335
+ fields: e.fields,
336
+ distinct: e.distinct,
337
+ filter
338
+ } as ComputedProjectionIrExpression
339
+ ]
340
+ case "relation-length":
341
+ return [key, { _tag: e._tag, path: e.path } as ComputedProjectionIrExpression]
342
+ }
343
+ })
344
+ )
345
+ : undefined
346
+ }
347
+ })
348
+ )
349
+
350
+ return data
351
+ }
352
+
353
+ const walkTransformation = (t: S.AST.AST): S.AST.AST => {
354
+ if (S.AST.isDeclaration(t) && t.typeParameters.length > 0) {
355
+ return walkTransformation(t.typeParameters[0]!)
356
+ }
357
+ return t
358
+ }
359
+
360
+ export const toFilter = <
361
+ TFieldValues extends FieldValues,
362
+ A,
363
+ R,
364
+ TFieldValuesRefined extends TFieldValues = TFieldValues
365
+ >(
366
+ q: QAll<TFieldValues, TFieldValuesRefined, A, R>,
367
+ baseSchema?: S.Schema<unknown>
368
+ ) => {
369
+ // TODO: Native interpreter for each db adapter, instead of the intermediate "new-kid" format
370
+ const a = interpret(q)
371
+
372
+ // Aggregate mode: build select entirely from aggregateMap (no schema-driven field list)
373
+ if (a.mode === "aggregate" && a.aggregateMap) {
374
+ const aggSelect = Object.entries(a.aggregateMap).map(([key, item]) => {
375
+ if (item._tag === "agg-field") {
376
+ return { key, path: item.path }
377
+ }
378
+ return { key, aggregate: item }
379
+ })
380
+ return dropUndefinedT({
381
+ t: null as unknown as TFieldValues,
382
+ limit: a.limit,
383
+ skip: a.skip,
384
+ select: Option.getOrUndefined(toNonEmptyArray(aggSelect)) as any,
385
+ schema: a.schema,
386
+ computed: undefined,
387
+ order: Option.getOrUndefined(toNonEmptyArray(a.order)),
388
+ ttype: a.ttype,
389
+ mode: "aggregate" as const,
390
+ filter: a.filter.length ? a.filter : undefined
391
+ })
392
+ }
393
+
394
+ const schema = a.schema
395
+ let select: (keyof TFieldValues | { key: string; subKeys: string[] } | {
396
+ key: string
397
+ computed: ComputedProjectionIrExpression
398
+ })[] = []
399
+ // TODO: support more complex (nested) schemas?
400
+ if (schema) {
401
+ const t = walkTransformation(SchemaAST.toEncoded(schema.ast))
402
+ if (S.AST.isObjects(t)) {
403
+ select = t.propertySignatures.map((_) => _.name as string)
404
+ for (const prop of t.propertySignatures) {
405
+ if (S.AST.isArrays(prop.type)) {
406
+ // make sure we only select when there are actually type literals in the tuple...
407
+ // otherwise we might be dealing with strings etc.
408
+ // TODO; be more strict, can't support arrays with unions that have non TypeLiteral members etc..
409
+ const arraySelect = {
410
+ key: prop.name as string,
411
+ subKeys: Array.flatMap(
412
+ prop.type.rest,
413
+ (x) => {
414
+ const t = walkTransformation(x)
415
+ return S.AST.isObjects(t) ? t.propertySignatures.map((y) => y.name as string) : []
416
+ }
417
+ )
418
+ }
419
+ if (arraySelect.subKeys.length > 0) {
420
+ select.push(arraySelect)
421
+ // make sure we don't double select?
422
+ if (select.includes(prop.name as string)) {
423
+ select.splice(select.indexOf(prop.name as string), 1)
424
+ }
425
+ }
426
+ }
427
+ }
428
+ }
429
+ }
430
+ const computed = a.computed
431
+ const getSelectKey = (_: (typeof select)[number]) => {
432
+ if (typeof _ === "string") {
433
+ return _
434
+ }
435
+ if (typeof _ === "object" && _ !== null && "key" in _) {
436
+ return _.key
437
+ }
438
+ return String(_)
439
+ }
440
+ const schemaKeys = select.map(getSelectKey)
441
+ const nonEncodedSchemaKeys = (() => {
442
+ if (!baseSchema) {
443
+ return [] as string[]
444
+ }
445
+ const encoded = walkTransformation(SchemaAST.toEncoded(baseSchema.ast))
446
+ if (!S.AST.isObjects(encoded)) {
447
+ return [] as string[]
448
+ }
449
+ const encodedKeys = encoded.propertySignatures.map((_) => _.name as string)
450
+ return schemaKeys.filter((key) => !encodedKeys.includes(key))
451
+ })()
452
+ const missingComputedKeys = nonEncodedSchemaKeys.filter((key) => !(computed && key in computed))
453
+
454
+ if (Array.isArrayNonEmpty(missingComputedKeys)) {
455
+ throw new Error(`Missing computed projections for schema keys: ${missingComputedKeys.join(", ")}`)
456
+ }
457
+
458
+ if (computed) {
459
+ const computedKeys = Object.keys(computed)
460
+ const extraComputedKeys = computedKeys.filter((key) => !schemaKeys.includes(key))
461
+ if (Array.isArrayNonEmpty(extraComputedKeys)) {
462
+ throw new Error(`Computed projection keys must exist in projection schema: ${extraComputedKeys.join(", ")}`)
463
+ }
464
+ select = select.filter((_) => {
465
+ const key = getSelectKey(_)
466
+ return !(key in computed)
467
+ })
468
+ select.push(...Object.entries(computed).map(([key, expression]) => ({ key, computed: expression })))
469
+ }
470
+ return dropUndefinedT({
471
+ t: null as unknown as TFieldValues,
472
+ limit: a.limit,
473
+ skip: a.skip,
474
+ select: Option.getOrUndefined(toNonEmptyArray(select)),
475
+ schema,
476
+ computed,
477
+ order: Option.getOrUndefined(toNonEmptyArray(a.order)),
478
+ ttype: a.ttype,
479
+ mode: a.mode ?? "transform",
480
+ filter: a.filter.length
481
+ ? a.filter
482
+ : undefined
483
+ })
484
+ }
@@ -0,0 +1,13 @@
1
+ export * from "./query/dsl.ts"
2
+ export * from "./query/new-kid-interpreter.ts"
3
+
4
+ export interface RawQuery<Encoded, Out> {
5
+ cosmos: (vals: { name: string }) => {
6
+ query: string
7
+ parameters: {
8
+ name: string
9
+ value: any
10
+ }[]
11
+ }
12
+ memory: (t: readonly Encoded[]) => readonly Out[]
13
+ }
package/src/Model.ts ADDED
@@ -0,0 +1,4 @@
1
+ export * from "./Model/dsl.ts"
2
+ export * as Q from "./Model/query.ts"
3
+ export { makeRepo } from "./Model/Repository.ts"
4
+ export { type RegisteredRepository, RepositoryRegistry, RepositoryRegistryLive } from "./Model/Repository.ts"
@@ -1,7 +1,9 @@
1
- import { type Equivalence, Option, type Order } from "effect"
2
1
  import type { NonEmptyReadonlyArray } from "effect/Array"
3
- import { flow, pipe } from "./Function.js"
4
- import { filter_, filterMap, filterMap_, fromArray as fromArrayOriginal, insert as insertOriginal, insert_ as insert_Original, map, map_, reduce, reduce_, remove, remove_, type Set, toArray as toArrayOriginal } from "./Set.js"
2
+ import type * as Equivalence from "effect/Equivalence"
3
+ import * as Option from "effect/Option"
4
+ import type * as Order from "effect/Order"
5
+ import { flow, pipe } from "./Function.ts"
6
+ import { filter_, filterMap, filterMap_, fromArray as fromArrayOriginal, insert as insertOriginal, insert_ as insert_Original, map, map_, reduce, reduce_, remove, remove_, type Set, toArray as toArrayOriginal } from "./Set.ts"
5
7
 
6
8
  export interface NonEmptyBrand {
7
9
  readonly NonEmpty: unique symbol
@@ -87,4 +89,4 @@ export function fromSet<A>(set: Set<A>) {
87
89
  }
88
90
 
89
91
  // TODO
90
- export * from "./Set.js"
92
+ export * from "./Set.ts"
package/src/Option.ts CHANGED
@@ -2,6 +2,8 @@
2
2
  /* eslint-disable @typescript-eslint/no-unsafe-member-access */
3
3
  /* eslint-disable @typescript-eslint/no-unsafe-return */
4
4
  /* eslint-disable @typescript-eslint/no-unsafe-assignment */
5
+ // eslint-disable-next-line import/no-unassigned-import
6
+ import "./builtin.ts"
5
7
  import { getOrUndefined as value, type Some } from "effect/Option"
6
8
  import * as Option from "effect/Option"
7
9
 
package/src/Pure.ts CHANGED
@@ -1,7 +1,10 @@
1
1
  /* eslint-disable @typescript-eslint/no-explicit-any */
2
- import { Chunk, Effect, Layer, Result } from "effect"
3
- import { tuple } from "./Function.js"
4
- import * as ServiceMap from "./ServiceMap.js"
2
+ import * as Chunk from "effect/Chunk"
3
+ import * as Effect from "effect/Effect"
4
+ import * as Layer from "effect/Layer"
5
+ import * as Result from "effect/Result"
6
+ import * as Context from "./Context.ts"
7
+ import { tuple } from "./Function.ts"
5
8
 
6
9
  const S1 = Symbol()
7
10
  const S2 = Symbol()
@@ -86,9 +89,9 @@ export function GMU<W, S, S2, GA, MR, ME>(modify: (i: GA) => Pure<W, S, S2, MR,
86
89
  ) => GMU_(get, modify, update)
87
90
  }
88
91
 
89
- const tagg = ServiceMap.Service<{ env: PureEnv<never, unknown, never> }>("PureEnv")
92
+ const tagg = Context.Service<{ env: PureEnv<never, unknown, never> }>("PureEnv")
90
93
  function castTag<W, S, S2>() {
91
- return tagg as any as ServiceMap.Service<PureEnvEnv<W, S, S2>, PureEnvEnv<W, S, S2>>
94
+ return tagg as any as Context.Service<PureEnvEnv<W, S, S2>, PureEnvEnv<W, S, S2>>
92
95
  }
93
96
 
94
97
  export const ServiceTag = Symbol()
@@ -100,9 +103,9 @@ export abstract class PhantomTypeParameter<Identifier extends keyof any, Instant
100
103
  }
101
104
  }
102
105
 
103
- export type ServiceShape<T extends ServiceMap.ServiceClass.Shape<any, any>> = Omit<
106
+ export type ServiceShape<T extends Context.ServiceClass.Shape<any, any>> = Omit<
104
107
  T,
105
- keyof ServiceMap.ServiceClass.Shape<any, any>
108
+ keyof Context.ServiceClass.Shape<any, any>
106
109
  >
107
110
 
108
111
  export abstract class ServiceTagged<ServiceKey> extends PhantomTypeParameter<string, ServiceKey> {}
@@ -0,0 +1,19 @@
1
+ import type * as Scope from "effect/Scope"
2
+ import type { NonEmptyReadonlyArray } from "./Array.ts"
3
+ import type * as Effect from "./Effect.ts"
4
+ import { RequestContext } from "./RequestContext.ts"
5
+
6
+ export interface QueueBase<Evt, DrainEvt> {
7
+ drain: <DrainE, DrainR>(
8
+ makeHandleEvent: (ks: DrainEvt) => Effect.Effect<void, DrainE, DrainR>,
9
+ sessionId?: string
10
+ ) => Effect.Effect<never, never, Scope.Scope | DrainR>
11
+ publish: (
12
+ ...messages: NonEmptyReadonlyArray<Evt>
13
+ ) => Effect.Effect<void>
14
+ }
15
+
16
+ export interface QueueMakerOps {}
17
+ export const QueueMaker: QueueMakerOps = {}
18
+
19
+ export const QueueMeta = RequestContext
@@ -0,0 +1,95 @@
1
+ import * as Context from "./Context.ts"
2
+ import { UserProfileId } from "./ids.ts"
3
+ import * as S from "./Schema.ts"
4
+ import { NonEmptyString255 } from "./Schema.ts"
5
+
6
+ export const Locale = S.Literals(["en", "de"])
7
+ export type Locale = typeof Locale.Type
8
+
9
+ export class LocaleRef extends Context.Reference("Locale", { defaultValue: (): Locale => "en" }) {}
10
+
11
+ const _RequestContext = S.Struct({
12
+ span: S.Struct({
13
+ traceId: S.String,
14
+ spanId: S.String,
15
+ sampled: S.Boolean
16
+ }),
17
+ name: NonEmptyString255,
18
+ locale: Locale,
19
+ sourceId: S.optional(NonEmptyString255), // TODO?
20
+ namespace: NonEmptyString255,
21
+ /** @deprecated */
22
+ userProfile: S.optional(S.Struct({ sub: UserProfileId })) //
23
+ })
24
+
25
+ // codegen:start {preset: modelFacade, className: _RequestContext, schema: S, base: true}
26
+ class __RequestContext extends S.OpaqueFacade<
27
+ RequestContext,
28
+ RequestContext.Encoded,
29
+ RequestContext.Make,
30
+ RequestContext.DecodingServices,
31
+ RequestContext.EncodingServices
32
+ >()(_RequestContext) {}
33
+ // codegen:end
34
+
35
+ // eslint-disable-next-line typescript/no-unsafe-declaration-merging
36
+ export class RequestContext extends __RequestContext {
37
+ static toMonitoring(this: void, self: RequestContext) {
38
+ return {
39
+ operationName: self.name,
40
+ locale: self.locale
41
+ }
42
+ }
43
+ }
44
+
45
+ export const spanAttributes = (ctx: Pick<RequestContext, "locale" | "namespace"> & Partial<RequestContext>) => ({
46
+ "code.function.name": ctx.name,
47
+ "app.locale": ctx.locale,
48
+ "app.tenant.id": ctx.namespace,
49
+ ...ctx.sourceId ? { "client.id": ctx.sourceId } : {},
50
+ ...(ctx.userProfile?.sub
51
+ ? {
52
+ "user.id": ctx
53
+ .userProfile
54
+ .sub,
55
+ "user.roles": "roles" in ctx
56
+ .userProfile
57
+ ? ctx.userProfile.roles
58
+ : undefined
59
+ }
60
+ : {})
61
+ })
62
+
63
+ // codegen:start {preset: model, static: true, facade: true}
64
+ //
65
+ export interface RequestContext {
66
+ readonly span: { readonly traceId: string; readonly spanId: string; readonly sampled: boolean }
67
+ readonly name: S.NonEmptyString255
68
+ readonly locale: "en" | "de"
69
+ readonly namespace: S.NonEmptyString255
70
+ readonly sourceId?: undefined | S.NonEmptyString255
71
+ readonly userProfile?: undefined | { readonly sub: UserProfileId }
72
+ }
73
+ export namespace RequestContext {
74
+ export interface Encoded {
75
+ readonly span: { readonly traceId: string; readonly spanId: string; readonly sampled: boolean }
76
+ readonly name: string
77
+ readonly locale: "en" | "de"
78
+ readonly namespace: string
79
+ readonly sourceId?: undefined | string
80
+ readonly userProfile?: undefined | { readonly sub: string }
81
+ }
82
+ export interface Make {
83
+ readonly span: { readonly traceId: string; readonly spanId: string; readonly sampled: boolean }
84
+ readonly name: S.NonEmptyString255
85
+ readonly locale: "en" | "de"
86
+ readonly namespace: S.NonEmptyString255
87
+ readonly sourceId?: undefined | S.NonEmptyString255
88
+ readonly userProfile?: undefined | { readonly sub: UserProfileId }
89
+ }
90
+ export type DecodingServices = never
91
+ export type EncodingServices = never
92
+ }
93
+ //
94
+ // codegen:end
95
+ //