effect-app 4.0.0-beta.22 → 4.0.0-beta.221

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 (244) hide show
  1. package/CHANGELOG.md +992 -0
  2. package/dist/Array.d.ts +3 -2
  3. package/dist/Array.d.ts.map +1 -1
  4. package/dist/Array.js +4 -4
  5. package/dist/Chunk.d.ts +1 -1
  6. package/dist/Chunk.d.ts.map +1 -1
  7. package/dist/Config/SecretURL.d.ts +4 -2
  8. package/dist/Config/SecretURL.d.ts.map +1 -1
  9. package/dist/Config/SecretURL.js +3 -6
  10. package/dist/Config/internal/configSecretURL.d.ts +1 -1
  11. package/dist/Config/internal/configSecretURL.d.ts.map +1 -1
  12. package/dist/Config/internal/configSecretURL.js +2 -2
  13. package/dist/Config.d.ts +7 -0
  14. package/dist/Config.d.ts.map +1 -0
  15. package/dist/Config.js +6 -0
  16. package/dist/ConfigProvider.d.ts +39 -0
  17. package/dist/ConfigProvider.d.ts.map +1 -0
  18. package/dist/ConfigProvider.js +42 -0
  19. package/dist/Context.d.ts +43 -0
  20. package/dist/Context.d.ts.map +1 -0
  21. package/dist/Context.js +67 -0
  22. package/dist/Effect.d.ts +11 -10
  23. package/dist/Effect.d.ts.map +1 -1
  24. package/dist/Effect.js +6 -7
  25. package/dist/Function.d.ts +1 -1
  26. package/dist/Function.d.ts.map +1 -1
  27. package/dist/Inputify.type.d.ts +1 -1
  28. package/dist/Layer.d.ts +11 -6
  29. package/dist/Layer.d.ts.map +1 -1
  30. package/dist/Layer.js +3 -2
  31. package/dist/NonEmptySet.d.ts +4 -2
  32. package/dist/NonEmptySet.d.ts.map +1 -1
  33. package/dist/NonEmptySet.js +2 -2
  34. package/dist/Option.d.ts +2 -1
  35. package/dist/Option.d.ts.map +1 -1
  36. package/dist/Option.js +3 -1
  37. package/dist/Pure.d.ts +8 -6
  38. package/dist/Pure.d.ts.map +1 -1
  39. package/dist/Pure.js +17 -14
  40. package/dist/Schema/Class.d.ts +66 -20
  41. package/dist/Schema/Class.d.ts.map +1 -1
  42. package/dist/Schema/Class.js +192 -23
  43. package/dist/Schema/FastCheck.d.ts +1 -1
  44. package/dist/Schema/FastCheck.d.ts.map +1 -1
  45. package/dist/Schema/Methods.d.ts +1 -1
  46. package/dist/Schema/SchemaParser.d.ts +5 -0
  47. package/dist/Schema/SchemaParser.d.ts.map +1 -0
  48. package/dist/Schema/SchemaParser.js +6 -0
  49. package/dist/Schema/SpecialJsonSchema.d.ts +34 -0
  50. package/dist/Schema/SpecialJsonSchema.d.ts.map +1 -0
  51. package/dist/Schema/SpecialJsonSchema.js +118 -0
  52. package/dist/Schema/SpecialOpenApi.d.ts +32 -0
  53. package/dist/Schema/SpecialOpenApi.d.ts.map +1 -0
  54. package/dist/Schema/SpecialOpenApi.js +123 -0
  55. package/dist/Schema/brand.d.ts +5 -3
  56. package/dist/Schema/brand.d.ts.map +1 -1
  57. package/dist/Schema/brand.js +3 -1
  58. package/dist/Schema/email.d.ts +1 -1
  59. package/dist/Schema/email.d.ts.map +1 -1
  60. package/dist/Schema/email.js +7 -4
  61. package/dist/Schema/ext.d.ts +339 -56
  62. package/dist/Schema/ext.d.ts.map +1 -1
  63. package/dist/Schema/ext.js +351 -53
  64. package/dist/Schema/moreStrings.d.ts +108 -26
  65. package/dist/Schema/moreStrings.d.ts.map +1 -1
  66. package/dist/Schema/moreStrings.js +45 -16
  67. package/dist/Schema/numbers.d.ts +55 -15
  68. package/dist/Schema/numbers.d.ts.map +1 -1
  69. package/dist/Schema/numbers.js +60 -12
  70. package/dist/Schema/phoneNumber.d.ts +1 -1
  71. package/dist/Schema/phoneNumber.d.ts.map +1 -1
  72. package/dist/Schema/phoneNumber.js +6 -3
  73. package/dist/Schema/schema.d.ts +1 -1
  74. package/dist/Schema/strings.d.ts +5 -5
  75. package/dist/Schema/strings.d.ts.map +1 -1
  76. package/dist/Schema/strings.js +1 -5
  77. package/dist/Schema.d.ts +218 -15
  78. package/dist/Schema.d.ts.map +1 -1
  79. package/dist/Schema.js +222 -17
  80. package/dist/Set.d.ts +5 -2
  81. package/dist/Set.d.ts.map +1 -1
  82. package/dist/Set.js +3 -2
  83. package/dist/TypeTest.d.ts +1 -1
  84. package/dist/Types.d.ts +1 -1
  85. package/dist/Widen.type.d.ts +1 -1
  86. package/dist/_ext/Array.d.ts +2 -2
  87. package/dist/_ext/Array.d.ts.map +1 -1
  88. package/dist/_ext/Array.js +4 -2
  89. package/dist/_ext/date.d.ts +1 -1
  90. package/dist/_ext/misc.d.ts +5 -2
  91. package/dist/_ext/misc.d.ts.map +1 -1
  92. package/dist/_ext/misc.js +4 -2
  93. package/dist/_ext/ord.ext.d.ts +3 -2
  94. package/dist/_ext/ord.ext.d.ts.map +1 -1
  95. package/dist/_ext/ord.ext.js +2 -2
  96. package/dist/builtin.d.ts +1 -1
  97. package/dist/builtin.d.ts.map +1 -1
  98. package/dist/client/InvalidationKeys.d.ts +29 -0
  99. package/dist/client/InvalidationKeys.d.ts.map +1 -0
  100. package/dist/client/InvalidationKeys.js +33 -0
  101. package/dist/client/apiClientFactory.d.ts +20 -32
  102. package/dist/client/apiClientFactory.d.ts.map +1 -1
  103. package/dist/client/apiClientFactory.js +96 -33
  104. package/dist/client/clientFor.d.ts +51 -17
  105. package/dist/client/clientFor.d.ts.map +1 -1
  106. package/dist/client/clientFor.js +9 -1
  107. package/dist/client/errors.d.ts +49 -25
  108. package/dist/client/errors.d.ts.map +1 -1
  109. package/dist/client/errors.js +43 -17
  110. package/dist/client/makeClient.d.ts +481 -33
  111. package/dist/client/makeClient.d.ts.map +1 -1
  112. package/dist/client/makeClient.js +66 -24
  113. package/dist/client.d.ts +2 -1
  114. package/dist/client.d.ts.map +1 -1
  115. package/dist/client.js +2 -1
  116. package/dist/faker.d.ts +1 -1
  117. package/dist/faker.d.ts.map +1 -1
  118. package/dist/http/Request.d.ts +2 -2
  119. package/dist/http/Request.d.ts.map +1 -1
  120. package/dist/http/Request.js +2 -2
  121. package/dist/http/internal/lib.d.ts +1 -1
  122. package/dist/http.d.ts +1 -1
  123. package/dist/ids.d.ts +40 -12
  124. package/dist/ids.d.ts.map +1 -1
  125. package/dist/ids.js +25 -3
  126. package/dist/index.d.ts +5 -8
  127. package/dist/index.d.ts.map +1 -1
  128. package/dist/index.js +6 -8
  129. package/dist/logger.d.ts +1 -1
  130. package/dist/middleware.d.ts +14 -8
  131. package/dist/middleware.d.ts.map +1 -1
  132. package/dist/middleware.js +14 -8
  133. package/dist/rpc/Invalidation.d.ts +402 -0
  134. package/dist/rpc/Invalidation.d.ts.map +1 -0
  135. package/dist/rpc/Invalidation.js +150 -0
  136. package/dist/rpc/MiddlewareMaker.d.ts +11 -7
  137. package/dist/rpc/MiddlewareMaker.d.ts.map +1 -1
  138. package/dist/rpc/MiddlewareMaker.js +59 -38
  139. package/dist/rpc/RpcContextMap.d.ts +4 -4
  140. package/dist/rpc/RpcContextMap.d.ts.map +1 -1
  141. package/dist/rpc/RpcContextMap.js +4 -4
  142. package/dist/rpc/RpcMiddleware.d.ts +14 -10
  143. package/dist/rpc/RpcMiddleware.d.ts.map +1 -1
  144. package/dist/rpc/RpcMiddleware.js +1 -1
  145. package/dist/rpc.d.ts +2 -2
  146. package/dist/rpc.d.ts.map +1 -1
  147. package/dist/rpc.js +2 -2
  148. package/dist/transform.d.ts +2 -2
  149. package/dist/transform.d.ts.map +1 -1
  150. package/dist/transform.js +4 -5
  151. package/dist/utils/effectify.d.ts +2 -2
  152. package/dist/utils/effectify.d.ts.map +1 -1
  153. package/dist/utils/effectify.js +2 -2
  154. package/dist/utils/extend.d.ts +1 -1
  155. package/dist/utils/extend.d.ts.map +1 -1
  156. package/dist/utils/gen.d.ts +2 -2
  157. package/dist/utils/gen.d.ts.map +1 -1
  158. package/dist/utils/logLevel.d.ts +3 -3
  159. package/dist/utils/logLevel.d.ts.map +1 -1
  160. package/dist/utils/logger.d.ts +5 -4
  161. package/dist/utils/logger.d.ts.map +1 -1
  162. package/dist/utils/logger.js +4 -4
  163. package/dist/utils.d.ts +35 -40
  164. package/dist/utils.d.ts.map +1 -1
  165. package/dist/utils.js +19 -27
  166. package/dist/validation/validators.d.ts +1 -1
  167. package/dist/validation/validators.d.ts.map +1 -1
  168. package/dist/validation.d.ts +1 -1
  169. package/dist/validation.d.ts.map +1 -1
  170. package/package.json +46 -24
  171. package/src/Array.ts +3 -3
  172. package/src/Config/SecretURL.ts +5 -2
  173. package/src/Config/internal/configSecretURL.ts +1 -1
  174. package/src/Config.ts +14 -0
  175. package/src/ConfigProvider.ts +48 -0
  176. package/src/{ServiceMap.ts → Context.ts} +56 -60
  177. package/src/Effect.ts +14 -14
  178. package/src/Layer.ts +10 -5
  179. package/src/NonEmptySet.ts +3 -1
  180. package/src/Option.ts +2 -0
  181. package/src/Pure.ts +21 -19
  182. package/src/Schema/Class.ts +274 -64
  183. package/src/Schema/SchemaParser.ts +12 -0
  184. package/src/Schema/SpecialJsonSchema.ts +139 -0
  185. package/src/Schema/SpecialOpenApi.ts +130 -0
  186. package/src/Schema/brand.ts +22 -2
  187. package/src/Schema/email.ts +7 -2
  188. package/src/Schema/ext.ts +432 -88
  189. package/src/Schema/moreStrings.ts +93 -37
  190. package/src/Schema/numbers.ts +64 -16
  191. package/src/Schema/phoneNumber.ts +5 -1
  192. package/src/Schema/strings.ts +4 -8
  193. package/src/Schema.ts +412 -21
  194. package/src/Set.ts +5 -1
  195. package/src/_ext/Array.ts +3 -1
  196. package/src/_ext/misc.ts +4 -1
  197. package/src/_ext/ord.ext.ts +2 -1
  198. package/src/client/InvalidationKeys.ts +50 -0
  199. package/src/client/apiClientFactory.ts +224 -130
  200. package/src/client/clientFor.ts +95 -29
  201. package/src/client/errors.ts +52 -26
  202. package/src/client/makeClient.ts +572 -71
  203. package/src/client.ts +1 -0
  204. package/src/http/Request.ts +1 -1
  205. package/src/ids.ts +25 -3
  206. package/src/index.ts +5 -10
  207. package/src/middleware.ts +13 -9
  208. package/src/rpc/Invalidation.ts +226 -0
  209. package/src/rpc/MiddlewareMaker.ts +82 -74
  210. package/src/rpc/README.md +2 -2
  211. package/src/rpc/RpcContextMap.ts +6 -5
  212. package/src/rpc/RpcMiddleware.ts +14 -11
  213. package/src/rpc.ts +1 -1
  214. package/src/transform.ts +3 -3
  215. package/src/utils/effectify.ts +1 -1
  216. package/src/utils/gen.ts +1 -1
  217. package/src/utils/logLevel.ts +1 -1
  218. package/src/utils/logger.ts +4 -3
  219. package/src/utils.ts +57 -134
  220. package/test/dist/rpc.test.d.ts.map +1 -1
  221. package/test/dist/secretURL.test.d.ts.map +1 -0
  222. package/test/dist/special.test.d.ts.map +1 -0
  223. package/test/dist/stream-error.types.d.ts +2 -0
  224. package/test/dist/stream-error.types.d.ts.map +1 -0
  225. package/test/dist/stream-error.types.js +27 -0
  226. package/test/moreStrings.test.ts +1 -1
  227. package/test/rpc.test.ts +46 -6
  228. package/test/schema.test.ts +585 -10
  229. package/test/secretURL.test.ts +160 -0
  230. package/test/special.test.ts +1026 -0
  231. package/test/utils.test.ts +7 -7
  232. package/tsconfig.base.json +3 -4
  233. package/tsconfig.json +0 -1
  234. package/tsconfig.json.bak +2 -2
  235. package/tsconfig.src.json +29 -29
  236. package/tsconfig.test.json +2 -2
  237. package/dist/Operations.d.ts +0 -123
  238. package/dist/Operations.d.ts.map +0 -1
  239. package/dist/Operations.js +0 -29
  240. package/dist/ServiceMap.d.ts +0 -44
  241. package/dist/ServiceMap.d.ts.map +0 -1
  242. package/dist/ServiceMap.js +0 -91
  243. package/eslint.config.mjs +0 -26
  244. package/src/Operations.ts +0 -55
package/CHANGELOG.md CHANGED
@@ -1,5 +1,997 @@
1
1
  # @effect-app/prelude
2
2
 
3
+ ## 4.0.0-beta.221
4
+
5
+ ### Patch Changes
6
+
7
+ - 439cbeb: Adopt module system from effect-smol: replace barrel imports with specific submodule imports (`import * as X from "effect-app/X"` / `import * as X from "effect/X"`).
8
+
9
+ ## 4.0.0-beta.220
10
+
11
+ ## 4.0.0-beta.219
12
+
13
+ ### Patch Changes
14
+
15
+ - d738811: remove double prefix
16
+
17
+ ## 4.0.0-beta.218
18
+
19
+ ## 4.0.0-beta.217
20
+
21
+ ### Patch Changes
22
+
23
+ - 0e824ef: add missing Brand
24
+
25
+ ## 4.0.0-beta.216
26
+
27
+ ## 4.0.0-beta.215
28
+
29
+ ## 4.0.0-beta.214
30
+
31
+ ## 4.0.0-beta.213
32
+
33
+ ## 4.0.0-beta.212
34
+
35
+ ### Patch Changes
36
+
37
+ - 8792221: Rename `withDefault` schema extensions to `withConstructorDefault` for clarity.
38
+
39
+ Document that `.withConstructorDefault` is **construction-only** (applied during `.make(...)` when a field is omitted) and is **not** applied during decode — it cannot be used to JIT-migrate database fields. Per-property JSDoc on every `.withConstructorDefault` / `.withDecodingDefaultType` exposed by `Schema/ext.ts`, `Schema/numbers.ts`, `Schema/moreStrings.ts`, and `ids.ts` so the caveat is visible on hover.
40
+
41
+ Re-export `withConstructorDefault`, `withDecodingDefault`, `withDecodingDefaultKey`, `withDecodingDefaultType`, and `withDecodingDefaultTypeKey` from `effect-app/Schema` with explicit JSDoc. `withDecodingDefault*` is discouraged for persisted data: a missing field may be data corruption rather than an old-shape document, and silently substituting a default hides the problem. Prefer an explicit, preferably versioned migration of database data over decode-time fallbacks.
42
+
43
+ ## 4.0.0-beta.211
44
+
45
+ ## 4.0.0-beta.210
46
+
47
+ ## 4.0.0-beta.209
48
+
49
+ ### Patch Changes
50
+
51
+ - c991be1: update packages
52
+ - 3bae238: Remove lodash type imports from utils.ts, replacing with native TypeScript equivalents.
53
+
54
+ ## 4.0.0-beta.208
55
+
56
+ ## 4.0.0-beta.207
57
+
58
+ ### Patch Changes
59
+
60
+ - 8fffc3c: cleanup
61
+
62
+ ## 4.0.0-beta.206
63
+
64
+ ### Patch Changes
65
+
66
+ - 54bfc59: Require middleware to flow through `makeRpcClient` and the live layer through `makeRouter`.
67
+
68
+ ### `makeRpcClient(middleware, generalErrors?)`
69
+
70
+ Signature drops the `rcs` (request-context map wrapper) parameter. `rcs` was only load-bearing on the type side for `RequestConfig` inference; that information is now derived from `middleware.requestContextMap`. `middleware` is required — the previous "rcs + optional middleware" overload is gone.
71
+
72
+ **Migration**:
73
+
74
+ ```diff
75
+ -makeRpcClient(RequestContextMap, undefined, AppMiddleware)
76
+ +makeRpcClient(AppMiddleware)
77
+ ```
78
+
79
+ For tests/clients without a real middleware, build a minimal stub (`{ requestContextMap, requestContext }`) or pass any value satisfying `ClientMiddleware<RCM>`.
80
+
81
+ ### `makeRouter(middlewareLive)`
82
+
83
+ `makeRouter()` no longer infers the live middleware layer from `meta.middleware.Default`. The Live layer is now passed explicitly to `makeRouter`, and the request classes only carry the middleware tag (schema-only). This decouples the router from any assumption that the middleware tag exposes a `Default` static.
84
+
85
+ **Migration**:
86
+
87
+ ```diff
88
+ -export const { Router, matchAll } = makeRouter()
89
+ +export const { Router, matchAll } = makeRouter(AppMiddleware.Default)
90
+ ```
91
+
92
+ ## 4.0.0-beta.205
93
+
94
+ ### Patch Changes
95
+
96
+ - f313973: fix type make interface
97
+
98
+ ## 4.0.0-beta.204
99
+
100
+ ### Patch Changes
101
+
102
+ - 0a0030f: fix missing overloads
103
+
104
+ ## 4.0.0-beta.203
105
+
106
+ ### Patch Changes
107
+
108
+ - 992d9fa: fix more branded types
109
+
110
+ ## 4.0.0-beta.202
111
+
112
+ ### Patch Changes
113
+
114
+ - 1186b09: improve branded types, keep types through Rebuild
115
+
116
+ ## 4.0.0-beta.201
117
+
118
+ ### Patch Changes
119
+
120
+ - d67d17a: Source middleware errors exclusively from the rpc middleware tag, and move command/stream invalidation wrap/unwrap entirely into the routing layer (server) and `apiClientFactory` (client). `InvalidationMiddleware` and `InvalidationMiddlewareLive` are removed.
121
+
122
+ ### Resource error schemas
123
+
124
+ Three sites that used to fold `RequestContextMap[*].error` into a request's own error schema now stop doing so:
125
+
126
+ - `makeRpcClient` / `makeRequestClass` — `failureSchema` is just `config.error` (still merged with the optional `generalErrors` parameter, which is the only remaining error mix on both type and runtime levels).
127
+ - `MiddlewareMaker.rpc()` — `error: options.error` only; the previous union with `rcm.config[*].error` is gone.
128
+ - Routing and `apiClientFactory.makeRpcGroupFromRequestsAndModuleName` — `Invalidation.makeCommandRpc` is called with `error: resource.error` (no widening with the composite middleware error union).
129
+
130
+ Middleware errors reach the client through the rpc's `middlewares[*].error` failure-union channel of `Rpc.exitSchema`, exposed by attaching the middleware tag to the rpc on both sides:
131
+
132
+ - **Server**: `makeRouter(middleware)` attaches the live composite tag (existing behavior).
133
+ - **Client**: new `middleware` option on `ClientForOptions` / `ApiClientFactory.makeFor(layer, { middleware })` attaches the same tag schema-only (no Live invoked). Threaded through `makeRpcGroupFromRequestsAndModuleName` to `RpcGroup.middleware(tag)`. Without it, stream rpcs (whose top-level `errorSchema` is forced to `Never` by effect-rpc) hit `SchemaError: Expected never | { _tag: "error", ... }` decoding middleware-thrown errors that bypass the in-stream `Stream.catch` wrap.
134
+
135
+ **Migration**: handlers that yield errors previously sourced from rcm (e.g. `yield* new UnauthorizedError()`) now require those errors to be declared explicitly on the resource — `Req.Query<T>()("...", fields, { success, error: UnauthorizedError })`. The handler error type no longer auto-includes the rcm union.
136
+
137
+ ### Invalidation wrap/unwrap
138
+
139
+ - `routing.ts` (server) provides a per-request `InvalidationSet` for commands, wraps the success value as `CommandResponseWithMetaData`, and converts handler-thrown failures into `CommandFailureWithMetaData` so accumulated invalidation keys reach the client on either path. Stream wrap (per-chunk envelope + final `done` chunk) was already in routing and is unchanged.
140
+ - `apiClientFactory.ts` (client) `unwrapCommand` strips both envelopes and forwards keys to `InvalidationKeysFromServer`.
141
+ - `InvalidationMiddleware` (the tag) and `InvalidationMiddlewareLive` (the layer) are **removed**. The middleware was the previous home of the wrap; with the wrap moved to routing/apiClientFactory, the middleware became a thin pass-through and is no longer needed. `DefaultGenericMiddlewares` and `DefaultGenericMiddlewaresLive` shrink accordingly — no migration needed for callers that used the defaults; callers that referenced `InvalidationMiddleware` / `InvalidationMiddlewareLive` directly should drop those imports.
142
+
143
+ Middleware-thrown errors are never wrapped: by definition the handler never ran, so there is nothing to invalidate. They flow raw on the Cause and the client decodes them via the middleware-tag failure-union channel described above.
144
+
145
+ ## 4.0.0-beta.200
146
+
147
+ ### Patch Changes
148
+
149
+ - 8f1cf6a: able to configure schema concurrency
150
+ - 0cff7c1: workaround middleware error issue
151
+
152
+ ## 4.0.0-beta.199
153
+
154
+ ## 4.0.0-beta.198
155
+
156
+ ### Patch Changes
157
+
158
+ - 32dbc54: fix stream type when no success specified
159
+
160
+ ## 4.0.0-beta.197
161
+
162
+ ### Minor Changes
163
+
164
+ - 3dc0d2a: Add streaming as a `stream: true` config option on `Query` / `Command` instead of a separate request type.
165
+
166
+ `TaggedRequestFor` now exposes only `Query` and `Command` factories — the standalone `Stream` factory is removed. To produce a Stream of `success` values, pass `stream: true` in the request config. The request `type` field stays `"command" | "query"`; a new `stream: boolean` field carries the streaming flag (stripped from the stored handler config).
167
+
168
+ ```ts
169
+ // Query that streams results
170
+ Req.Query<T>()("Tag", {}, { stream: true, success: ... })
171
+
172
+ // Command that streams results
173
+ Req.Command<T>()("Tag", {}, { stream: true, success: ... })
174
+ ```
175
+
176
+ Vue client mapping (per-handler properties mirror the non-stream API — `.query`, `.fn`, `.mutate`):
177
+
178
+ - `query` + `stream: true` → exposes `.query` (read-only streaming, tracked Vue Query). Helper map key: `${name}Query`.
179
+ - `command` + `stream: true` → exposes `.fn` and `.mutate` (mutating streaming).
180
+ - Plain `query` / `command` unchanged.
181
+
182
+ Server routing dispatches via the new `stream` flag (`makeStreamRpc` for streaming commands/queries, `makeCommandRpc` / `Rpc.make` otherwise).
183
+
184
+ Also lifts the `Struct` / `TaggedStruct` and `Opaque` definitions in `effect-app/Schema` to use `S.Bottom` / `S.Opaque` directly, exposing `fields`, `mapFields`, and a `MakeIn` that allows `void` when all fields are optional. `TaggedRequestFor` request classes now use `Opaque(TaggedStruct(...))` instead of `TaggedClass`, and decoding/encoding services are derived from `success` / `error` rather than stored on the request.
185
+
186
+ **Migration**: replace `Req.Stream` with `Req.Query` or `Req.Command` and add `stream: true` to the config — `Query` for read-only streams, `Command` for mutating streams.
187
+
188
+ ## 4.0.0-beta.196
189
+
190
+ ## 4.0.0-beta.195
191
+
192
+ ### Patch Changes
193
+
194
+ - 774a9b3: `MiddlewareMaker.makeMiddlewareBasic` now derives each middleware's effective error from both the static `error` field on the tag AND the `rcm` config entry referenced by `dynamic.key`, rather than relying on the static field alone.
195
+
196
+ Middlewares declared with `dynamic: RequestContextMap.get("foo")` (instead of an explicit static `error: ...`) end up with `tag.error = Schema.Never` at runtime — `RpcMiddleware.Tag` defaults the static error to `Never` when not provided. The composite `MiddlewareMaker.Tag(...).middleware(...)` walked `make[*].error` to build its own error union, collapsing to `Union<Never, ...> ≡ Never`.
197
+
198
+ `Rpc.exitSchema` walks `rpc.middlewares[*].error` when building the wire-level failure union for every rpc kind. Empty-union meant middleware-thrown errors (`NotLoggedInError`, `UnauthorizedError`, etc.) never reached the wire schema. Query/command happened to work because their wire `errorSchema = resource.error` already covered the merge from `makeRpcClient`. Stream rpcs have `errorSchema` force-set to `Schema.Never` by effect-rpc, so the resource-level merge never reached the wire — middleware errors decoded as "Expected never, got X".
199
+
200
+ Per middleware, the new logic pushes both the static `_.error` (if non-`Never`) and `rcm[_.dynamic.key].error` (if non-`Never`) into the composite's failure union.
201
+
202
+ ## 4.0.0-beta.194
203
+
204
+ ## 4.0.0-beta.193
205
+
206
+ ## 4.0.0-beta.192
207
+
208
+ ## 4.0.0-beta.191
209
+
210
+ ### Patch Changes
211
+
212
+ - 50ce7e6: Replace typescript-eslint with oxlint-tsgolint for type-aware lint. Drop ESLint entirely from non-vue packages (cli, effect-app, infra) — they now use only `oxlint --type-aware`. Vue packages keep ESLint to run `@effect-app/no-await-effect` (no tsgolint equivalent) via `@typescript-eslint/parser` + `vue-eslint-parser`.
213
+
214
+ ## 4.0.0-beta.190
215
+
216
+ ### Patch Changes
217
+
218
+ - 985176b: Align request handler input typing with the request's `make` signature. Handlers are now classified as no-input only when the request schema declares no payload fields; any payload (even fully-optional) yields a function handler whose input matches `make`'s first parameter. Adds `HandlerInput<I>` and threads it through `CommandFromRequest`.
219
+
220
+ ## 4.0.0-beta.189
221
+
222
+ ### Patch Changes
223
+
224
+ - ea32222: Update to effect 4.0.0-beta.60 and use native `Rpc.custom` constructors (`makeCommandRpc`, `makeStreamRpc`) for metadata-wrapped RPC schemas instead of manually wrapping/unwrapping schemas inline.
225
+
226
+ ## 4.0.0-beta.188
227
+
228
+ ### Patch Changes
229
+
230
+ - b2e438f: Remove Operations service and repo
231
+
232
+ ## 4.0.0-beta.187
233
+
234
+ ### Patch Changes
235
+
236
+ - 0d4e0b8: Fix `isGeneratorFunction` using `isObject` instead of `isFunction`: generator functions have `typeof === "function"`, not `"object"`, so the check always returned `false`. This caused `Command.streamFn` generator-form handlers to silently pass a raw `Generator` object rather than an `Effect<Stream>`, meaning the mutation was never executed.
237
+
238
+ ## 4.0.0-beta.186
239
+
240
+ ## 4.0.0-beta.185
241
+
242
+ ## 4.0.0-beta.184
243
+
244
+ ## 4.0.0-beta.183
245
+
246
+ ## 4.0.0-beta.182
247
+
248
+ ## 4.0.0-beta.181
249
+
250
+ ### Patch Changes
251
+
252
+ - 583393f: Default the stream `mutateStream` execute resolved value to the request's success type when no `final` schema is declared.
253
+
254
+ Previously the type defaulted to `void`, but the runtime already resolves with the last emitted value. Types now match runtime behaviour: `execute` returns `Final` if a `final` schema is set, otherwise the success type.
255
+
256
+ ## 4.0.0-beta.180
257
+
258
+ ### Minor Changes
259
+
260
+ - 7fa3045: V1/V2/V3: stream and command requests carry invalidation metadata
261
+
262
+ **V1** – stream final response includes metadata
263
+
264
+ - `Invalidation.StreamResponseChunk` wraps each stream item as `{ _tag: "value", value }` and appends `{ _tag: "done", metadata }` at the end carrying all accumulated invalidation keys.
265
+
266
+ **V2** – invalidation keys included in failures
267
+
268
+ - `Invalidation.CommandFailureWithMetaData` and `Invalidation.StreamFailureChunk` carry keys accumulated up to the point of failure, so clients can invalidate queries even when a command or stream errors.
269
+ - `InvalidationMiddlewareLive` wraps command failures; `routing.ts` wraps stream failures.
270
+ - `apiClientFactory.ts` unwraps both on the client side, forwarding keys before re-failing with the original error.
271
+
272
+ **V3** – mid-stream metadata chunks
273
+
274
+ - `Invalidation.StreamResponseChunk` now also includes `{ _tag: "metadata", metadata }` for mid-stream invalidation.
275
+ - After each emitted value, the server drains accumulated keys and emits a "metadata" chunk if any keys were collected since the last drain (bucket reset via `InvalidationSet.drain`).
276
+ - `apiClientFactory.ts` processes "metadata" chunks the same as "done" chunks, forwarding keys to `InvalidationKeysFromServer` immediately.
277
+ - `makeInvalidationKeysService` accepts an optional `onAdded` callback that fires after each key addition, enabling `mutate.ts` to trigger query invalidation mid-stream without waiting for the stream to complete.
278
+
279
+ ## 4.0.0-beta.179
280
+
281
+ ### Minor Changes
282
+
283
+ - 828d264: Stream requests now support an optional `final` schema that models the final success type of the stream. When declared, `mutateStream`'s execute effect resolves with the last emitted value typed as `Final` instead of `void`.
284
+
285
+ ```ts
286
+ class MyStream extends SomethingStream<MyStream>()(
287
+ "MyStream",
288
+ { id: S.String },
289
+ {
290
+ success: S.Union([OperationProgress, ExportComplete]),
291
+ final: ExportComplete, // execute now resolves with ExportComplete
292
+ }
293
+ ) {}
294
+ ```
295
+
296
+ ## 4.0.0-beta.178
297
+
298
+ ## 4.0.0-beta.177
299
+
300
+ ### Minor Changes
301
+
302
+ - 89d8b3a: Add Effect RPC `Stream` support to the wrapper.
303
+
304
+ - New `Stream` request constructor on `TaggedRequestFor` parallel to `Query`/`Command`. Emits resources with `type: "stream"`.
305
+ - Server router (`@effect-app/infra` `routing.ts`) accepts stream resources whose handlers return a `Stream.Stream<A, E, R>` (or a function from input to one). Forwards `stream: true` to `Rpc.make` so `RpcSchema.Stream` wrapping is applied. Streams bypass `applyRequestTypeInterruptibility` and the `Effect.withSpan` wrapping (the RPC server adds its own span).
306
+ - Client (`apiClientFactory.ts`) detects stream resources, forwards `stream: true` when constructing `RpcGroup`, and exposes the per-request `handler` as a `Stream.Stream` (via `Stream.unwrap` over the `ManagedRuntime` context) instead of an `Effect`. `Invalidation.CommandResponseWithMetaData` continues to apply only to commands.
307
+ - New `RequestStreamHandler` / `RequestStreamHandlerWithInput` shapes in `clientFor.ts`; `RequestHandlers` dispatches on `type: "stream"`.
308
+
309
+ ## 4.0.0-beta.176
310
+
311
+ ### Patch Changes
312
+
313
+ - pass options
314
+
315
+ ## 4.0.0-beta.175
316
+
317
+ ## 4.0.0-beta.174
318
+
319
+ ### Minor Changes
320
+
321
+ - 821468d: Add server-driven cache invalidation via RPC response headers.
322
+
323
+ - `effect-app/rpc`: new `Invalidation` module with `InvalidationKey` / `InvalidationKeys` schemas, `Invalidates` annotation (for declaring static invalidation on Rpc definitions), `InvalidationSet` reference (request-scoped accumulator), and `makeInvalidationSet` helper.
324
+ - `effect-app/middleware`: new `InvalidationMiddleware` RPC middleware tag; included in `DefaultGenericMiddlewares`.
325
+ - `effect-app/client`: new `InvalidationKeys` module with `InvalidationKeysFromServer` reference and `makeInvalidationKeysService` helper; `apiClientFactory` now taps HTTP responses to read the `x-invalidate` header and forward keys to `InvalidationKeysFromServer`.
326
+ - `@effect-app/infra`: new `InvalidationMiddlewareLive` RPC middleware implementation that owns the full lifecycle — creates a request-scoped `InvalidationSet` (backed by a `Ref`), pre-populates it from the `Invalidates` annotation, provides it to the handler, and after the handler completes registers an HTTP pre-response handler (via `appendPreResponseHandlerUnsafe`) to write the accumulated keys as an `x-invalidate` response header. No separate HTTP middleware is needed.
327
+ - `@effect-app/vue`: `invalidateQueries` / `useMutation` now reads server-provided invalidation keys from `InvalidationKeysFromServer` after each mutation and applies them alongside the client-side invalidation.
328
+
329
+ ## 4.0.0-beta.173
330
+
331
+ ## 4.0.0-beta.172
332
+
333
+ ## 4.0.0-beta.171
334
+
335
+ ### Patch Changes
336
+
337
+ - d71d976: fix
338
+
339
+ ## 4.0.0-beta.170
340
+
341
+ ### Patch Changes
342
+
343
+ - 8f09f77: fix
344
+
345
+ ## 4.0.0-beta.169
346
+
347
+ ### Patch Changes
348
+
349
+ - 8ae8b53: input mess
350
+
351
+ ## 4.0.0-beta.168
352
+
353
+ ### Patch Changes
354
+
355
+ - 178480a: Fix request handler input classification to use request schema fields instead of `make` parameters, preventing defaulted/nullable input fields from being treated as no-input handlers.
356
+
357
+ ## 4.0.0-beta.167
358
+
359
+ ### Patch Changes
360
+
361
+ - 140e192: Relax invalidation resource value constraints to allow arbitrary values while preserving query-only filtering in invalidation handling.
362
+
363
+ ## 4.0.0-beta.166
364
+
365
+ ### Patch Changes
366
+
367
+ - dbcc53b: Refactor command invalidation typing: declare resources via `Command<Self, Resources>()`, pass `invalidatesQueries` as the optional 4th argument, and enforce exact `clientFor` invalidation resources when required.
368
+
369
+ ## 4.0.0-beta.165
370
+
371
+ ### Minor Changes
372
+
373
+ - f88ea34: Move `makeQueryKey` into `effect-app/client` and update Vue source and tests to import it from the shared client module. Vue still re-exports `makeQueryKey` from `src/lib` for compatibility.
374
+
375
+ ## 4.0.0-beta.164
376
+
377
+ ### Minor Changes
378
+
379
+ - 8cb3de4: Add command invalidation helpers that preserve query-only resource types and pass mutation input and `Exit` results into invalidation callbacks. Update Vue `clientFor` to merge request-level invalidation config with call-site invalidation and require matching invalidation resources.
380
+
381
+ ## 4.0.0-beta.163
382
+
383
+ ### Patch Changes
384
+
385
+ - b952f19: bye cruft
386
+
387
+ ## 4.0.0-beta.162
388
+
389
+ ### Patch Changes
390
+
391
+ - b52b424: restore annotations for now
392
+
393
+ ## 4.0.0-beta.161
394
+
395
+ ## 4.0.0-beta.160
396
+
397
+ ### Patch Changes
398
+
399
+ - 505bfa9: Add concurrent decode helper APIs and migrate decode callsites to use them.
400
+
401
+ - Add `withDefaultParseOptions` and keep `DefaultParseOptions` centralized.
402
+ - Export `decodeEffectConcurrently` and `decodeUnknownEffectConcurrently` from Schema and SchemaParser modules.
403
+ - Update repository, queue, client, form, and CLI decode paths to use concurrent decode helpers.
404
+ - Keep schema constructors free of hardcoded parse concurrency overrides.
405
+
406
+ ## 4.0.0-beta.159
407
+
408
+ ### Patch Changes
409
+
410
+ - c1e73de:
411
+
412
+ ## 4.0.0-beta.158
413
+
414
+ ### Patch Changes
415
+
416
+ - 3c1f52d: improve: class strictness enabled by default again, allow `strict: false` as opt out for now.
417
+ - 6ae3050: Preserve class annotation parseOptions in relaxed declaration struct decoding so custom parse options (including concurrency defaults) are applied consistently.
418
+
419
+ ## 4.0.0-beta.157
420
+
421
+ ### Patch Changes
422
+
423
+ - 6fff09c: unify encoded function for when you use encodedKeys
424
+
425
+ ## 4.0.0-beta.156
426
+
427
+ ## 4.0.0-beta.155
428
+
429
+ ### Patch Changes
430
+
431
+ - c215db8: align TaggedUnion with array arg
432
+
433
+ ## 4.0.0-beta.154
434
+
435
+ ## 4.0.0-beta.153
436
+
437
+ ## 4.0.0-beta.152
438
+
439
+ ## 4.0.0-beta.151
440
+
441
+ ## 4.0.0-beta.150
442
+
443
+ ### Patch Changes
444
+
445
+ - 85a8275: Expose `make`, `makeOption`, and `makeEffect` static helpers on request classes created via `Query`/`Command`.
446
+
447
+ ## 4.0.0-beta.149
448
+
449
+ ### Patch Changes
450
+
451
+ - f317c5e: Preserve omitted-input make helpers through Schema.Opaque when the wrapped schema allows optional or default-only constructor input.
452
+
453
+ ## 4.0.0-beta.148
454
+
455
+ ### Patch Changes
456
+
457
+ - 199e9a5: Allow Struct and TaggedStruct make helpers to omit input when every constructor field is optional or defaulted, and preserve widening copy typings through a lighter named public type to improve TypeScript editor responsiveness.
458
+
459
+ ## 4.0.0-beta.147
460
+
461
+ ### Patch Changes
462
+
463
+ - 47e3742: Preserve Struct.copy through `annotate`, `annotateKey`, and `mapFields` chains, and add tests covering chained copy behavior on Struct schemas.
464
+
465
+ ## 4.0.0-beta.146
466
+
467
+ ### Patch Changes
468
+
469
+ - a4dff57: Adjust Struct and TaggedStruct copy typing to follow class-style widening constraints while keeping structural copy runtime behavior.
470
+
471
+ ## 4.0.0-beta.145
472
+
473
+ ### Patch Changes
474
+
475
+ - 12abb55: Refine schema copy behavior by keeping class copy constructor-based while using structural copy for Struct and TaggedStruct helpers.
476
+
477
+ ## 4.0.0-beta.144
478
+
479
+ ### Patch Changes
480
+
481
+ - 11422f8: Update request helper typing and runtime invocation to rely on schema `.make` instead of class constructors, avoiding `new`-based assumptions for request schemas.
482
+ - d31253f: Refactor eligible schema classes and tagged classes to Opaque schemas, and migrate constructor call sites to use `.make` for those models.
483
+
484
+ ## 4.0.0-beta.143
485
+
486
+ ### Patch Changes
487
+
488
+ - 79eb019: Remove redundant schema `title` annotations when they duplicate the schema `identifier`.
489
+
490
+ ## 4.0.0-beta.142
491
+
492
+ ### Minor Changes
493
+
494
+ - 025de47: Fold the encoded-override support from `ExtendedClass` and `ExtendedTaggedClass` into `Class`, `TaggedClass`, `ErrorClass`, and `TaggedErrorClass`, and update model codegen to detect the new second-generic form.
495
+
496
+ ### Patch Changes
497
+
498
+ - 3436d44: Extend `Schema.Opaque` in `effect-app/Schema` to support an optional encoded-type generic while preserving the original single-generic behavior.
499
+
500
+ ## 4.0.0-beta.141
501
+
502
+ ### Patch Changes
503
+
504
+ - 7c25dbb: Add relaxed wrapper support for `ErrorClass` and `TaggedErrorClass` in `effect-app/Schema`, matching the existing class wrapper behavior (`copy`, cached `ast`, and unbounded parse concurrency).
505
+
506
+ ## 4.0.0-beta.140
507
+
508
+ ## 4.0.0-beta.139
509
+
510
+ ## 4.0.0-beta.138
511
+
512
+ ## 4.0.0-beta.137
513
+
514
+ ## 4.0.0-beta.136
515
+
516
+ ## 4.0.0-beta.135
517
+
518
+ ### Patch Changes
519
+
520
+ - c7bbc41: fix - class should check type side
521
+
522
+ ## 4.0.0-beta.134
523
+
524
+ ### Patch Changes
525
+
526
+ - 9d3495e: Preserve field-level schema decode errors for relaxed Class and TaggedClass declarations so decode failures report nested constraints (for example min-length violations) instead of only a generic class-type mismatch.
527
+ - f353d48: Rename the Class/TaggedClass relaxed declaration option to `strict` (default `false`) and apply it to `Class`, `TaggedClass`, `ExtendedClass`, and `ExtendedTaggedClass`.
528
+
529
+ When `strict: true`, class decoding keeps strict class-level declaration behavior; by default, decoding remains relaxed and preserves field-level schema errors.
530
+
531
+ ## 4.0.0-beta.133
532
+
533
+ ### Patch Changes
534
+
535
+ - c3299f7: update packages
536
+
537
+ ## 4.0.0-beta.132
538
+
539
+ ## 4.0.0-beta.131
540
+
541
+ ## 4.0.0-beta.130
542
+
543
+ ### Patch Changes
544
+
545
+ - ea1bd46: fix: prevent expansion of nominal brands
546
+
547
+ ## 4.0.0-beta.129
548
+
549
+ ## 4.0.0-beta.128
550
+
551
+ ### Patch Changes
552
+
553
+ - 57db551: Split `TaggedRequestFor` into `Query` and `Command` factories, and mark generated request classes with `type: "query" | "command"`.
554
+
555
+ Vue client helpers now expose query-only helpers (`query`, `suspense`, `fetch`) for query requests and mutation-only helpers (`mutate`, `fetch`) for command requests.
556
+
557
+ ## 4.0.0-beta.127
558
+
559
+ ## 4.0.0-beta.126
560
+
561
+ ### Patch Changes
562
+
563
+ - 458bb1b: fix type
564
+
565
+ ## 4.0.0-beta.125
566
+
567
+ ## 4.0.0-beta.124
568
+
569
+ ### Patch Changes
570
+
571
+ - 256ae85: cleanup
572
+
573
+ ## 4.0.0-beta.123
574
+
575
+ ### Patch Changes
576
+
577
+ - 14aba14: fix: clientFor
578
+
579
+ ## 4.0.0-beta.122
580
+
581
+ ### Patch Changes
582
+
583
+ - f052d38: Replace `(...) => Effect.gen` with `Effect.fnUntraced` in `apiClientFactory`.
584
+
585
+ ## 4.0.0-beta.121
586
+
587
+ ### Patch Changes
588
+
589
+ - 5ac46cb: Make `Schema.provide` dual (pipeable)
590
+
591
+ ## 4.0.0-beta.120
592
+
593
+ ### Minor Changes
594
+
595
+ - f21190c: Add `copy` property to `Class` and `TaggedClass` for creating modified instances with updated fields. The `copy` method is cached per-class and supports both object and function-based updates, with pipeline support.
596
+
597
+ ## 4.0.0-beta.119
598
+
599
+ ## 4.0.0-beta.118
600
+
601
+ ### Minor Changes
602
+
603
+ - 08d2e70: Add `concurrency: "unbounded"` parseOptions annotation to Schema constructors (Struct, Array, NonEmptyArray, Record, TaggedStruct, ReadonlySet, ReadonlyMap, Class, TaggedClass) so all encode/decode operations automatically run with unbounded concurrency. Also override `mapFields` on Struct and Class/TaggedClass to preserve the annotation.
604
+
605
+ ### Patch Changes
606
+
607
+ - bd26832: Add nested anyOf flattening to JSON Schema post-processing
608
+ - Update effect packages to 4.0.0-beta.52
609
+
610
+ ## 4.0.0-beta.117
611
+
612
+ ## 4.0.0-beta.116
613
+
614
+ ## 4.0.0-beta.115
615
+
616
+ ## 4.0.0-beta.114
617
+
618
+ ## 4.0.0-beta.113
619
+
620
+ ## 4.0.0-beta.112
621
+
622
+ ## 4.0.0-beta.111
623
+
624
+ ### Patch Changes
625
+
626
+ - ca94edf: fix typo
627
+
628
+ ## 4.0.0-beta.110
629
+
630
+ ## 4.0.0-beta.109
631
+
632
+ ## 4.0.0-beta.108
633
+
634
+ ### Patch Changes
635
+
636
+ - 3e46e7b: allow excess props in openapi schemas
637
+
638
+ ## 4.0.0-beta.107
639
+
640
+ ## 4.0.0-beta.106
641
+
642
+ ## 4.0.0-beta.105
643
+
644
+ ## 4.0.0-beta.104
645
+
646
+ ### Minor Changes
647
+
648
+ - e944bca: Add `generateGuards` and `generateGuardsFor` to `TaggedUnion` / `ExtendTaggedUnion` for property-scoped type guards.
649
+
650
+ - `generateGuards("key")` — generic per-guard, no need to specify the container type
651
+ - `generateGuardsFor<A>()("key")` — curried, fixes `A` for concrete guard signatures
652
+
653
+ Both return `{ is{Tag}, isAnyOf }` guards that narrow the container type by its tagged union property.
654
+
655
+ ## 4.0.0-beta.103
656
+
657
+ ### Minor Changes
658
+
659
+ - 7119320: Add `generateGuards` to `TaggedUnion` / `ExtendTaggedUnion` for generating property-scoped type guards.
660
+
661
+ Usage: `MyUnion.generateGuards<MyType>()("propertyKey")` returns `{ is{Tag}, isAnyOf }` guards that narrow the container type by its tagged union property.
662
+
663
+ ## 4.0.0-beta.102
664
+
665
+ ## 4.0.0-beta.101
666
+
667
+ ## 4.0.0-beta.100
668
+
669
+ ## 4.0.0-beta.99
670
+
671
+ ## 4.0.0-beta.98
672
+
673
+ ## 4.0.0-beta.97
674
+
675
+ ## 4.0.0-beta.96
676
+
677
+ ### Patch Changes
678
+
679
+ - 5615e47: bs
680
+
681
+ ## 4.0.0-beta.95
682
+
683
+ ### Patch Changes
684
+
685
+ - 88838fb: Remove pick/omit customizations from Class/TaggedClass/Struct/TaggedStruct. Use `Struct.pick(X.fields, [...])` from `effect-app` instead.
686
+
687
+ ## 4.0.0-beta.94
688
+
689
+ ## 4.0.0-beta.93
690
+
691
+ ## 4.0.0-beta.92
692
+
693
+ ## 4.0.0-beta.91
694
+
695
+ ### Minor Changes
696
+
697
+ - 738b482: Add pick/omit to Struct and TaggedStruct
698
+
699
+ ## 4.0.0-beta.90
700
+
701
+ ## 4.0.0-beta.89
702
+
703
+ ## 4.0.0-beta.88
704
+
705
+ ## 4.0.0-beta.87
706
+
707
+ ## 4.0.0-beta.86
708
+
709
+ ## 4.0.0-beta.85
710
+
711
+ ## 4.0.0-beta.84
712
+
713
+ ## 4.0.0-beta.83
714
+
715
+ ## 4.0.0-beta.82
716
+
717
+ ## 4.0.0-beta.81
718
+
719
+ ## 4.0.0-beta.80
720
+
721
+ ## 4.0.0-beta.79
722
+
723
+ ### Minor Changes
724
+
725
+ - d16845e: Remove `TaggedRequest` from `makeRpcClient`, now only `TaggedRequestFor` is returned. Remove all legacy `meta.moduleName` support — `id` and `moduleName` are now required on `Req` type. Remove `makeRpcGroup` (use `makeRpcGroupFromRequestsAndModuleName` instead).
726
+
727
+ ## 4.0.0-beta.78
728
+
729
+ ## 4.0.0-beta.77
730
+
731
+ ### Minor Changes
732
+
733
+ - 3613e87: Add `TaggedRequestFor` helper to `makeRpcClient` that curries a `moduleName`, producing request classes with static `id` and `moduleName` properties. This enables passing request classes directly to `makeQueryKey` without going through `clientFor` first. The `clientFor` function no longer requires a `meta` property on the module when requests carry `moduleName`. The meta codegen preset now generates `Req = TaggedRequestFor(moduleName)`. Original `TaggedRequest` remains for backwards compatibility.
734
+
735
+ ## 4.0.0-beta.76
736
+
737
+ ### Patch Changes
738
+
739
+ - a5248a9: use new schema features
740
+ - fac725d: update effect to latest beta
741
+
742
+ ## 4.0.0-beta.75
743
+
744
+ ### Patch Changes
745
+
746
+ - 24f0a5a: rename Literal to Literals, no longer hiding Schema's singular Literal.
747
+
748
+ ## 4.0.0-beta.74
749
+
750
+ ### Patch Changes
751
+
752
+ - 54ec1ef: fix bs
753
+
754
+ ## 4.0.0-beta.73
755
+
756
+ ## 4.0.0-beta.72
757
+
758
+ ### Patch Changes
759
+
760
+ - 0541f0d: fix withDefault types
761
+
762
+ ## 4.0.0-beta.71
763
+
764
+ ### Minor Changes
765
+
766
+ - beae3a0: Remove `withDefaultConstructor` wrapper, use `S.withConstructorDefault` directly with `Effect.succeed`/`Effect.sync`.
767
+
768
+ ## 4.0.0-beta.70
769
+
770
+ ## 4.0.0-beta.69
771
+
772
+ ### Patch Changes
773
+
774
+ - dc465e3: update to latest effect beta
775
+
776
+ ## 4.0.0-beta.68
777
+
778
+ ### Patch Changes
779
+
780
+ - e6f2341: Add SecretURL tests and switch secretURL config to use Config.nonEmptyString
781
+
782
+ ## 4.0.0-beta.67
783
+
784
+ ## 4.0.0-beta.66
785
+
786
+ ### Patch Changes
787
+
788
+ - edc52e4: update
789
+
790
+ ## 4.0.0-beta.65
791
+
792
+ ### Minor Changes
793
+
794
+ - 1f103b2: Replace `proxify` with explicit service accessor helpers: `accessFn`, `accessEffectFn`, `accessCn`, `accessEffectCn`.
795
+
796
+ ### Patch Changes
797
+
798
+ - 31739d7: Fix JSON schema output for Email, Date, PhoneNumber, and Url schemas. The `jsonSchema` annotation key is not recognized by Effect v4's JSON schema generator — use proper v4 annotations (`format`, `description`) and built-in checks (`isMinLength`, `isMaxLength`) instead.
799
+
800
+ ## 4.0.0-beta.64
801
+
802
+ ### Patch Changes
803
+
804
+ - c1a6fdc: fix proxify
805
+
806
+ ## 4.0.0-beta.63
807
+
808
+ ## 4.0.0-beta.62
809
+
810
+ ### Patch Changes
811
+
812
+ - 0b21a02: fix: flatten simple allOf constraints in JSON Schema output for better codegen compatibility
813
+
814
+ ## 4.0.0-beta.61
815
+
816
+ ## 4.0.0-beta.60
817
+
818
+ ## 4.0.0-beta.59
819
+
820
+ ### Patch Changes
821
+
822
+ - cec026d: update packages
823
+
824
+ ## 4.0.0-beta.58
825
+
826
+ ## 4.0.0-beta.57
827
+
828
+ ## 4.0.0-beta.56
829
+
830
+ ## 4.0.0-beta.55
831
+
832
+ ## 4.0.0-beta.54
833
+
834
+ ### Patch Changes
835
+
836
+ - d867272: the return of `Context`
837
+
838
+ ## 4.0.0-beta.53
839
+
840
+ ### Patch Changes
841
+
842
+ - ee9694e: fix type issue?
843
+
844
+ ## 4.0.0-beta.52
845
+
846
+ ### Minor Changes
847
+
848
+ - 6252808: Add `ReadonlySetFromArray` and `ReadonlyMapFromArray` schema transformations that decode from annotated arrays to Set/Map. Update `ReadonlySet` and `ReadonlyMap` to use these internally.
849
+
850
+ ## 4.0.0-beta.51
851
+
852
+ ## 4.0.0-beta.50
853
+
854
+ ## 4.0.0-beta.49
855
+
856
+ ### Patch Changes
857
+
858
+ - e585c9c: fix config nested
859
+
860
+ ## 4.0.0-beta.48
861
+
862
+ ### Patch Changes
863
+
864
+ - 0c88f78: Remove `TaggedError` compatibility re-export, use `TaggedErrorClass` directly
865
+
866
+ ## 4.0.0-beta.47
867
+
868
+ ### Patch Changes
869
+
870
+ - 3365758: workaround effect error messages
871
+
872
+ ## 4.0.0-beta.46
873
+
874
+ ## 4.0.0-beta.45
875
+
876
+ ### Patch Changes
877
+
878
+ - 10b55ff: update packages
879
+
880
+ ## 4.0.0-beta.44
881
+
882
+ ### Patch Changes
883
+
884
+ - a37aa38: Update to effect beta 43
885
+
886
+ ## 4.0.0-beta.43
887
+
888
+ ## 4.0.0-beta.42
889
+
890
+ ## 4.0.0-beta.41
891
+
892
+ ## 4.0.0-beta.40
893
+
894
+ ## 4.0.0-beta.39
895
+
896
+ ### Patch Changes
897
+
898
+ - 10e90d5: fix: TaggedRequest should be an Opaque Schema Class
899
+
900
+ ## 4.0.0-beta.38
901
+
902
+ ### Patch Changes
903
+
904
+ - 0b3e00e: fix bug
905
+
906
+ ## 4.0.0-beta.37
907
+
908
+ ### Patch Changes
909
+
910
+ - 947fe20: fix input date
911
+
912
+ ## 4.0.0-beta.36
913
+
914
+ ## 4.0.0-beta.35
915
+
916
+ ## 4.0.0-beta.34
917
+
918
+ ### Patch Changes
919
+
920
+ - 8c645d5: update to latest effect
921
+
922
+ ## 4.0.0-beta.33
923
+
924
+ ### Patch Changes
925
+
926
+ - 4b95009: use Finite instead of Number
927
+
928
+ ## 4.0.0-beta.32
929
+
930
+ ### Patch Changes
931
+
932
+ - 01d862a: again
933
+
934
+ ## 4.0.0-beta.31
935
+
936
+ ### Patch Changes
937
+
938
+ - 6b6d601: fix ForceVOid
939
+
940
+ ## 4.0.0-beta.30
941
+
942
+ ### Patch Changes
943
+
944
+ - 5ec1f45: fix ForceVoid for real
945
+
946
+ ## 4.0.0-beta.29
947
+
948
+ ### Patch Changes
949
+
950
+ - a899d46: Replace `ForceVoid` in `makeClient` with a typed codec transformation instead of an unsafe cast.
951
+
952
+ ## 4.0.0-beta.28
953
+
954
+ ### Patch Changes
955
+
956
+ - 0099208: Refactor `Pure` helpers to use typed `useSync` calls instead of unsafe casts.
957
+
958
+ ## 4.0.0-beta.27
959
+
960
+ ### Patch Changes
961
+
962
+ - 601a1ff: update effect to 4.0.0-beta.37 and drop the Schema Class disableValidation workaround now that the patched effect schema covers it
963
+
964
+ ## 4.0.0-beta.26
965
+
966
+ ### Patch Changes
967
+
968
+ - 4da28e2: Change `Schema.Class` and `Schema.TaggedClass` wrappers to default constructor options to `{ disableValidation: true }`.
969
+
970
+ This avoids strict class identifier validation by default when constructing wrapper classes (for example passing a compatible view class), while keeping existing behavior when explicit options are provided.
971
+
972
+ ## 4.0.0-beta.25
973
+
974
+ ### Patch Changes
975
+
976
+ - 6282d4b: Update `Effect.allLower` to call `svc.asEffect()` when available, ensuring service entries are normalized before `Effect.all` evaluation.
977
+
978
+ ## 4.0.0-beta.24
979
+
980
+ ### Patch Changes
981
+
982
+ - 32f71bf: Fix `Schema.TaggedUnion(...).tags` extraction for class-based members (for example `TaggedClass`) by using a local AST sentinel walker instead of relying on internal effect APIs.
983
+
984
+ Add tests covering:
985
+
986
+ - `TaggedUnion` with `encodeKeys`-wrapped members
987
+ - `TaggedUnion` with `TaggedClass` members
988
+
989
+ ## 4.0.0-beta.23
990
+
991
+ ### Patch Changes
992
+
993
+ - ea08a79: remove `fields` constraint from TaggedUnion/tags helpers, extract `_tag` via AST walk instead
994
+
3
995
  ## 4.0.0-beta.22
4
996
 
5
997
  ## 4.0.0-beta.21