effect 4.0.3 → 4.0.5

package/dist/Scheduler.js

@@ -100,6 +100,15 @@ class PriorityBuckets {
  * operation counts to decide when fibers should yield, and is the default
  * scheduler implementation.
  *
+ * **Gotchas**
+ *
+ * On Cloudflare Workers, request-owned scheduler timers can be discarded,
+ * leaving shared fibers suspended. Use `new MixedScheduler("sync")` for the
+ * whole application; see `HttpRouter.toWebHandler` for a recipe.
+ * Sync mode does not yield to the event loop: CPU-heavy work delays other
+ * requests, and I/O-polling loops can exhaust the CPU limit. It does not fix
+ * request-owned timers (such as `Effect.sleep`) or request-bound async contexts.
+ *
  * @stability stable
  * @category models
  * @since 2.0.0

package/dist/Scheduler.js.map

@@ -1 +1 @@
-{"version":3,"file":"Scheduler.js","names":[],"sources":["../src/Scheduler.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;AAYA,OAAO,KAAK,OAAO,MAAM,cAAc;AAoDvC;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAM,SAAS,gBAAiC,OAAO,CAAC,SAAS,CAAY,kBAAkB,EAAE;EACtG,WAAW,EAAE,IAAI;EACjB,YAAY,EAAE,MAAM,IAAI,cAAc;CACvC,CAAC;AAEF,MAAM,YAAY,GAAI,CAAa,IAAI;EACrC,IAAI,SAAS,GAAG,KAAK;EACrB,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,MAAK;IAC1B,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE;EACrB,CAAC,CAAC;EACF,OAAO,MAAW;IAChB,SAAS,GAAG,IAAI;EAClB,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAkC,cAAc,IAAI,UAAU,GACvE,CAAC,IAAI;EACN;EACA,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;EACxC;EACA,OAAO,MAAY,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC;AACrD,CAAC,GACE,CAAC,IAAI;EACN,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;EAC9B,OAAO,MAAY,YAAY,CAAC,KAAK,CAAC;AACxC,CAAC;AAEH;AACA;AACA,MAAM,YAAY,GAAI,CAAa,IAAI;EACrC,IAAI;IACF,OAAO,QAAQ,CAAC,CAAC,CAAC;EACpB,CAAC,CAAC,MAAM;IACN,OAAO,YAAY,CAAC,CAAC,CAAC;EACxB;AACF,CAAC;AAED,MAAM,eAAe;EACnB,OAAO,GAAwD,EAAE;EAEjE,YAAY,CAAC,IAAgB,EAAE,QAAgB;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;IAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM;IAC1B,IAAI,MAA+C;IACnD,IAAI,KAAK,GAAG,CAAC;IACb,OAAO,KAAK,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE;MAC3B,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE;MAClC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;IACzB;IACA,IAAI,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE;MACpC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACtB,CAAC,MAAM,IAAI,KAAK,KAAK,GAAG,EAAE;MACxB,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAClC,CAAC,MAAM;MACL,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C;EACF;EAEA,KAAK;IACH,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;IAC5B,IAAI,CAAC,OAAO,GAAG,EAAE;IACjB,OAAO,OAAO;EAChB;;AAGF;;;;;;;;;;;;;;;;;;;;AAoBA,OAAM,MAAO,cAAc;EAChB,aAAa;EACb,YAAY;EAErB,YACE,aAAa,GAAqB,OAAO,EACzC,cAA8C;IAE9C,IAAI,CAAC,aAAa,GAAG,aAAa;IAClC,IAAI,CAAC,YAAY,GAAG,cAAc,KAAK,aAAa,KAAK,MAAM,GAAG,YAAY,GAAG,YAAY,CAAC;EAChG;EAEA;;;;;;;;;;EAUA,WAAW,CAAC,KAAoC;IAC9C,OAAO,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,iBAAiB;EAC9D;EAEA;;;;;;;;;;EAUA,cAAc;IACZ,OAAO,IAAI,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC;EACxD;;AAGF,MAAM,wBAAwB;EACpB,KAAK,gBAAG,IAAI,eAAe,EAAE;EAC7B,OAAO,GAA6B,SAAS;EAC5C,YAAY;EAErB,YACE,cAAc,GAAkC,YAAY;IAE5D,IAAI,CAAC,YAAY,GAAG,cAAc;EACpC;EAEA;;;EAGA,YAAY,CAAC,IAAgB,EAAE,QAAgB;IAC7C,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;IACvC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;MAC9B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC;IACvD;EACF;EAEA;;;EAGA,cAAc,GAAG,MAAK;IACpB,IAAI,CAAC,OAAO,GAAG,SAAS;IACxB,IAAI,CAAC,QAAQ,EAAE;EACjB,CAAC;EAED;;;EAGA,QAAQ;IACN,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;MACvC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;MAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,KAAK,CAAC,CAAC,CAAC,EAAE;MACZ;IACF;EACF;EAEA;;;EAGA,KAAK;IACH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;MACpC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;QAC9B,IAAI,CAAC,OAAO,EAAE;QACd,IAAI,CAAC,OAAO,GAAG,SAAS;MAC1B;MACA,IAAI,CAAC,QAAQ,EAAE;IACjB;EACF;;AAGF;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAM,iBAAiB,gBAAG,OAAO,CAAC,SAAS,CAAS,oCAAoC,EAAE;EAC/F,WAAW,EAAE,IAAI;EACjB,YAAY,EAAE,MAAM;CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAM,qBAAqB,gBAAG,OAAO,CAAC,SAAS,CAAU,wCAAwC,EAAE;EACxG,WAAW,EAAE,IAAI;EACjB,YAAY,EAAE,MAAM;CACrB,CAAC","ignoreList":[]}
+{"version":3,"file":"Scheduler.js","names":[],"sources":["../src/Scheduler.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;AAYA,OAAO,KAAK,OAAO,MAAM,cAAc;AAoDvC;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAM,SAAS,gBAAiC,OAAO,CAAC,SAAS,CAAY,kBAAkB,EAAE;EACtG,WAAW,EAAE,IAAI;EACjB,YAAY,EAAE,MAAM,IAAI,cAAc;CACvC,CAAC;AAEF,MAAM,YAAY,GAAI,CAAa,IAAI;EACrC,IAAI,SAAS,GAAG,KAAK;EACrB,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,MAAK;IAC1B,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE;EACrB,CAAC,CAAC;EACF,OAAO,MAAW;IAChB,SAAS,GAAG,IAAI;EAClB,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAkC,cAAc,IAAI,UAAU,GACvE,CAAC,IAAI;EACN;EACA,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;EACxC;EACA,OAAO,MAAY,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC;AACrD,CAAC,GACE,CAAC,IAAI;EACN,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;EAC9B,OAAO,MAAY,YAAY,CAAC,KAAK,CAAC;AACxC,CAAC;AAEH;AACA;AACA,MAAM,YAAY,GAAI,CAAa,IAAI;EACrC,IAAI;IACF,OAAO,QAAQ,CAAC,CAAC,CAAC;EACpB,CAAC,CAAC,MAAM;IACN,OAAO,YAAY,CAAC,CAAC,CAAC;EACxB;AACF,CAAC;AAED,MAAM,eAAe;EACnB,OAAO,GAAwD,EAAE;EAEjE,YAAY,CAAC,IAAgB,EAAE,QAAgB;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;IAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM;IAC1B,IAAI,MAA+C;IACnD,IAAI,KAAK,GAAG,CAAC;IACb,OAAO,KAAK,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE;MAC3B,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE;MAClC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;IACzB;IACA,IAAI,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE;MACpC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACtB,CAAC,MAAM,IAAI,KAAK,KAAK,GAAG,EAAE;MACxB,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAClC,CAAC,MAAM;MACL,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C;EACF;EAEA,KAAK;IACH,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;IAC5B,IAAI,CAAC,OAAO,GAAG,EAAE;IACjB,OAAO,OAAO;EAChB;;AAGF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,OAAM,MAAO,cAAc;EAChB,aAAa;EACb,YAAY;EAErB,YACE,aAAa,GAAqB,OAAO,EACzC,cAA8C;IAE9C,IAAI,CAAC,aAAa,GAAG,aAAa;IAClC,IAAI,CAAC,YAAY,GAAG,cAAc,KAAK,aAAa,KAAK,MAAM,GAAG,YAAY,GAAG,YAAY,CAAC;EAChG;EAEA;;;;;;;;;;EAUA,WAAW,CAAC,KAAoC;IAC9C,OAAO,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,iBAAiB;EAC9D;EAEA;;;;;;;;;;EAUA,cAAc;IACZ,OAAO,IAAI,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC;EACxD;;AAGF,MAAM,wBAAwB;EACpB,KAAK,gBAAG,IAAI,eAAe,EAAE;EAC7B,OAAO,GAA6B,SAAS;EAC5C,YAAY;EAErB,YACE,cAAc,GAAkC,YAAY;IAE5D,IAAI,CAAC,YAAY,GAAG,cAAc;EACpC;EAEA;;;EAGA,YAAY,CAAC,IAAgB,EAAE,QAAgB;IAC7C,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;IACvC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;MAC9B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC;IACvD;EACF;EAEA;;;EAGA,cAAc,GAAG,MAAK;IACpB,IAAI,CAAC,OAAO,GAAG,SAAS;IACxB,IAAI,CAAC,QAAQ,EAAE;EACjB,CAAC;EAED;;;EAGA,QAAQ;IACN,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;MACvC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;MAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,KAAK,CAAC,CAAC,CAAC,EAAE;MACZ;IACF;EACF;EAEA;;;EAGA,KAAK;IACH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;MACpC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;QAC9B,IAAI,CAAC,OAAO,EAAE;QACd,IAAI,CAAC,OAAO,GAAG,SAAS;MAC1B;MACA,IAAI,CAAC,QAAQ,EAAE;IACjB;EACF;;AAGF;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAM,iBAAiB,gBAAG,OAAO,CAAC,SAAS,CAAS,oCAAoC,EAAE;EAC/F,WAAW,EAAE,IAAI;EACjB,YAAY,EAAE,MAAM;CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAM,qBAAqB,gBAAG,OAAO,CAAC,SAAS,CAAU,wCAAwC,EAAE;EACxG,WAAW,EAAE,IAAI;EACjB,YAAY,EAAE,MAAM;CACrB,CAAC","ignoreList":[]}

package/dist/Schema.d.ts

@@ -3357,6 +3357,7 @@ export declare namespace StructWithRest {
      */
     type Objects = Constraint & {
         readonly ast: SchemaAST.Objects;
+        readonly Encoded: object;
     };
     /**
      * Readonly list of record schemas that provide the additional index signatures
@@ -3493,6 +3494,13 @@ export interface StructWithRest<S extends StructWithRest.Objects, Records extend
  *
  * **Gotchas**
  *
+ * The base schema must have an object-shaped encoded type. Whole-object
+ * transformations are not supported, even with an empty rest array. Apply
+ * transformations such as `Schema.fromJsonString` to the completed
+ * `StructWithRest` schema instead. Object-shaped encoded types alone do not
+ * guarantee compatibility: unsupported encodings are still rejected at runtime.
+ * Transformations on individual fields remain supported.
+ *
  * TypeScript index signatures also apply to fixed keys. `StructWithRest` does
  * not reject incompatible fixed fields at the call site; use
  * `StructWithRest.ValidateRecords` when you want an explicit type-level
@@ -5137,6 +5145,8 @@ export declare function TaggedStruct<const Tag extends SchemaAST.LiteralValue, c
  * Recursively flatten any nested Schema.Union members into a single tuple of leaf schemas.
  */
 type Flatten<Schemas> = Schemas extends readonly [infer Head, ...infer Tail] ? Head extends Union<infer Inner> ? [...Flatten<Inner>, ...Flatten<Tail>] : [Head, ...Flatten<Tail>] : [];
+type DiscriminantKey<T extends PropertyKey> = T extends number ? `${T}` : T;
+type EnsureUniqueDiscriminants<Tags extends ReadonlyArray<PropertyKey>, Seen = never> = Tags extends readonly [infer Head extends PropertyKey, ...infer Tail extends ReadonlyArray<PropertyKey>] ? [DiscriminantKey<Head> & Seen] extends [never] ? EnsureUniqueDiscriminants<Tail, Seen | DiscriminantKey<Head>> : never : unknown;
 type MatchCasesResult<Cases> = {
     [K in keyof Cases]-?: NonNullable<Cases[K]> extends (...args: Array<any>) => infer R ? R : never;
 }[keyof Cases];
@@ -5212,7 +5222,10 @@ export type toTaggedUnion<Tag extends PropertyKey, Members extends ReadonlyArray
  *
  * **Gotchas**
  *
- * Throws if multiple members use the same discriminant property key.
+ * Rejects overlapping discriminant types in known member tuples at compile
+ * time, including nested unions. Numeric and string values such as `1` and
+ * `"1"` count as duplicates. Also throws at runtime if multiple members use the
+ * same discriminant property key.
  *
  * **Example** (Adding tagged-union utilities to an existing union)
  *
@@ -5239,7 +5252,7 @@ export type toTaggedUnion<Tag extends PropertyKey, Members extends ReadonlyArray
  */
 export declare function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag): <const Members extends ReadonlyArray<Constraint & {
     readonly Type: { readonly [K in Tag]: PropertyKey; };
-}>>(self: Union<Members>) => toTaggedUnion<Tag, Members>;
+}>>(self: Union<Members> & NoInfer<EnsureUniqueDiscriminants<TaggedUnionUtils<Tag, Members>["discriminants"]>>) => toTaggedUnion<Tag, Members>;
 /**
  * Type-level representation returned by {@link TaggedUnion}.
  *