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

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # @effect-app/prelude
 
+## 4.0.0-beta.281
+
+### Patch Changes
+
+- ffd140f: Update effect packages to `4.0.0-beta.86` (from `beta.84`): `effect`, `@effect/platform-node`, `@effect/platform-browser`, `@effect/atom-vue`, `@effect/sql-sqlite-node`, `@effect/vitest`. No source changes required — typecheck and tests pass unchanged.
+
 ## 4.0.0-beta.280
 
 ### Patch Changes

package/dist/RequestContext.d.ts

@@ -74,18 +74,21 @@ declare const __RequestContext_base: S.OpaqueFacade<RequestContext, RequestConte
         readonly unsafePreserveChecks?: boolean | undefined;
     } | undefined) => S.Struct<{ [K in keyof Readonly<To>]: Readonly<To>[K]; }>;
     readonly copy: import("./utils.js").StructuralCopyOrigin<{
-        readonly span: {
-            readonly traceId: string;
-            readonly spanId: string;
-            readonly sampled: boolean;
-        };
+        readonly span: import("effect/Schema").Struct.ReadonlySide<{
+            readonly traceId: S.String;
+            readonly spanId: S.String;
+            readonly sampled: import("effect/Schema").Boolean & {
+                withConstructorDefault: S.withConstructorDefault<import("effect/Schema").Boolean>;
+                withDecodingDefaultType: S.withDecodingDefaultType<import("effect/Schema").Boolean, never>;
+            };
+        }, "Type">;
         readonly name: NonEmptyString255;
         readonly locale: "de" | "en";
         readonly sourceId?: NonEmptyString255 | undefined;
         readonly namespace: NonEmptyString255;
-        readonly userProfile?: {
-            readonly sub: UserProfileId;
-        } | undefined;
+        readonly userProfile?: import("effect/Schema").Struct.ReadonlySide<{
+            readonly sub: S.BrandedStringIdSchema<UserProfileId>;
+        }, "Type"> | undefined;
     }>;
 };
 declare class __RequestContext extends __RequestContext_base {

package/dist/RequestContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RequestContext.d.ts","sourceRoot":"","sources":["../src/RequestContext.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,CAAC,MAAM,aAAa,CAAA;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAE/C,eAAO,MAAM,MAAM;;;;;;;;;CAA2B,CAAA;AAC9C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;;AAEvC,qBAAa,SAAU,SAAQ,cAAiE;CAAG;;;;;;;;;;;;;;;;;;;;;;;;QAYjG,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;QAAlB,kBAAkB;;;;;;;;;;;;;;;;;;;;;;AAKpB,cAAM,gBAAiB,SAAQ,qBAMX;CAAG;AAIvB,qBAAa,cAAe,SAAQ,gBAAgB;IAClD,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc;QAEhD,aAAa;QACb,MAAM;MAET;CACF;AAED,eAAO,MAAM,cAAc,QAAS,IAAI,CAAC,cAAc,EAAE,QAAQ,GAAG,WAAW,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC;;;;;;;CAgBxG,CAAA;AAIF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IAC/F,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,iBAAiB,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAA;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,iBAAiB,CAAA;IACnD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG;QAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;KAAE,CAAA;CACnE;AACD,yBAAiB,cAAc,CAAC;IAC9B,UAAiB,OAAO;QACtB,QAAQ,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;QAC/F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;QAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,MAAM,CAAA;QACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG;YAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAA;KAC5D;IACD,UAAiB,IAAI;QACnB,QAAQ,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;QAC/F,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,iBAAiB,CAAA;QAClC,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;QAC5B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAA;QACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,iBAAiB,CAAA;QACnD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG;YAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;SAAE,CAAA;KACnE;IACD,KAAY,gBAAgB,GAAG,KAAK,CAAA;IACpC,KAAY,gBAAgB,GAAG,KAAK,CAAA;CACrC"}
+{"version":3,"file":"RequestContext.d.ts","sourceRoot":"","sources":["../src/RequestContext.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,CAAC,MAAM,aAAa,CAAA;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAE/C,eAAO,MAAM,MAAM;;;;;;;;;CAA2B,CAAA;AAC9C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;;AAEvC,qBAAa,SAAU,SAAQ,cAAiE;CAAG;;;;;;;;;;;;;;;;;;;;;;;;QAYjG,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;QAAlB,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;AAKpB,cAAM,gBAAiB,SAAQ,qBAMX;CAAG;AAIvB,qBAAa,cAAe,SAAQ,gBAAgB;IAClD,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc;QAEhD,aAAa;QACb,MAAM;MAET;CACF;AAED,eAAO,MAAM,cAAc,QAAS,IAAI,CAAC,cAAc,EAAE,QAAQ,GAAG,WAAW,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC;;;;;;;CAgBxG,CAAA;AAIF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IAC/F,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,iBAAiB,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAA;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,iBAAiB,CAAA;IACnD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG;QAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;KAAE,CAAA;CACnE;AACD,yBAAiB,cAAc,CAAC;IAC9B,UAAiB,OAAO;QACtB,QAAQ,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;QAC/F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;QAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,MAAM,CAAA;QACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG;YAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAA;KAC5D;IACD,UAAiB,IAAI;QACnB,QAAQ,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;QAC/F,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,iBAAiB,CAAA;QAClC,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;QAC5B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAA;QACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,iBAAiB,CAAA;QACnD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG;YAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;SAAE,CAAA;KACnE;IACD,KAAY,gBAAgB,GAAG,KAAK,CAAA;IACpC,KAAY,gBAAgB,GAAG,KAAK,CAAA;CACrC"}

package/dist/ids.d.ts

@@ -27,7 +27,7 @@ export declare const RequestId: S.WithDefaults<Codec<NonEmptyString255, string,
      * cannot be used to JIT-migrate database fields. See `./Schema/ext.ts`
      * file-level note.
      */
-    withConstructorDefault: S.withConstructorDefault<S.Top & S.WithoutConstructorDefault>;
+    withConstructorDefault: S.withConstructorDefault<S.Constraint & S.WithoutConstructorDefault>;
 }> & Codec<NonEmptyString255, string, never, never> & {
     make: {
         (): NonEmptyString255;
@@ -39,7 +39,7 @@ export declare const RequestId: S.WithDefaults<Codec<NonEmptyString255, string,
      * cannot be used to JIT-migrate database fields. See `./Schema/ext.ts`
      * file-level note.
      */
-    withConstructorDefault: S.withConstructorDefault<S.Top & S.WithoutConstructorDefault>;
+    withConstructorDefault: S.withConstructorDefault<S.Constraint & S.WithoutConstructorDefault>;
 };
 export interface UserProfileIdBrand extends Simplify<B.Brand<"UserProfileId"> & StringIdBrand> {
 }

package/dist/rpc/Invalidation.d.ts

@@ -339,7 +339,7 @@ export declare const makeCommandRpc: <const Tag extends string, Payload extends
     readonly error?: Error;
     readonly defect?: Rpc.DefectSchema;
     readonly stream?: Stream;
-    readonly primaryKey?: [Payload] extends [import("effect/Schema").Struct.Fields] ? (payload: Payload extends import("effect/Schema").Struct.Fields ? (import("effect/Schema").Struct.Type_<Payload, import("effect/Schema").Struct.TypeOptionalKeys<Payload>, import("effect/Schema").Struct.TypeMutableKeys<Payload>> extends infer T_1 ? { [K in keyof T_1]: T_1[K]; } : never) extends infer T ? { [K in keyof T]: T[K]; } : never : Payload["Type"]) => string : never;
+    readonly primaryKey?: [Payload] extends [import("effect/Schema").Struct.Fields] ? (payload: Payload extends import("effect/Schema").Struct.Fields ? import("effect/Schema").Struct.View<Payload, "Type", import("effect/Schema").Struct.TypeOptionalKeys<Payload>, import("effect/Schema").Struct.TypeMutableKeys<Payload>> extends infer T ? { [K in keyof T]: T[K]; } : never : Payload["Type"]) => string : never;
 } | undefined) => Rpc.Rpc<Tag, Payload extends import("effect/Schema").Struct.Fields ? import("effect/Schema").Struct<Payload> : Payload, Stream extends true ? import("effect/unstable/rpc/RpcSchema").Stream<Out["success"], Out["error"]> : Out["success"], Stream extends true ? S.Never : Out["error"], never, never>;
 /**
  * `Rpc.Custom` definition for stream RPCs that wrap the success/error schemas
@@ -414,7 +414,7 @@ export declare const makeStreamRpc: <const Tag extends string, Payload extends S
     readonly error?: Error;
     readonly defect?: Rpc.DefectSchema;
     readonly stream?: Stream;
-    readonly primaryKey?: [Payload] extends [import("effect/Schema").Struct.Fields] ? (payload: Payload extends import("effect/Schema").Struct.Fields ? (import("effect/Schema").Struct.Type_<Payload, import("effect/Schema").Struct.TypeOptionalKeys<Payload>, import("effect/Schema").Struct.TypeMutableKeys<Payload>> extends infer T_1 ? { [K in keyof T_1]: T_1[K]; } : never) extends infer T ? { [K in keyof T]: T[K]; } : never : Payload["Type"]) => string : never;
+    readonly primaryKey?: [Payload] extends [import("effect/Schema").Struct.Fields] ? (payload: Payload extends import("effect/Schema").Struct.Fields ? import("effect/Schema").Struct.View<Payload, "Type", import("effect/Schema").Struct.TypeOptionalKeys<Payload>, import("effect/Schema").Struct.TypeMutableKeys<Payload>> extends infer T ? { [K in keyof T]: T[K]; } : never : Payload["Type"]) => string : never;
 } | undefined) => Rpc.Rpc<Tag, Payload extends import("effect/Schema").Struct.Fields ? import("effect/Schema").Struct<Payload> : Payload, Stream extends true ? import("effect/unstable/rpc/RpcSchema").Stream<Out["success"], Out["error"]> : Out["success"], Stream extends true ? S.Never : Out["error"], never, never>;
 export {};
 //# sourceMappingURL=Invalidation.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect-app",
-  "version": "4.0.0-beta.280",
+  "version": "4.0.0-beta.281",
   "license": "MIT",
   "type": "module",
   "dependencies": {
@@ -21,7 +21,7 @@
     "vitest": "^4.1.7"
   },
   "peerDependencies": {
-    "effect": "^4.0.0-beta.84"
+    "effect": "^4.0.0-beta.86"
   },
   "typesVersions": {
     "*": {

package/test/dist/rpc.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rpc.test.d.ts","sourceRoot":"","sources":["../rpc.test.ts"],"names":[],"mappings":"AAGA,OAAO,EAAiB,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAErF,OAAO,EAAE,CAAC,EAAE,MAAM,iBAAiB,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;;;;;;;;;;;;;;;;;;;;;;;;AAE7C,qBAAa,iBAAkB,SAAQ,sBAIrC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAI0B,KAAK;;;;AAKpC,qBAAa,KAAM,SAAQ,UAQzB;CAAG"}
+{"version":3,"file":"rpc.test.d.ts","sourceRoot":"","sources":["../rpc.test.ts"],"names":[],"mappings":"AAGA,OAAO,EAAiB,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAErF,OAAO,EAAE,CAAC,EAAE,MAAM,iBAAiB,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;;;;;;;;;;;;;;;;;;;;;;;;AAE7C,qBAAa,iBAAkB,SAAQ,sBAIrC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAI0B,KAAK;;;;AAKpC,qBAAa,KAAM,SAAQ,UAQzB;CAAG"}