effect 3.1.0 → 3.1.2

package/dist/dts/Data.d.ts

@@ -19,8 +19,7 @@ export declare namespace Case {
 }
 /**
  * @example
- * import * as Data from "effect/Data"
- * import * as Equal from "effect/Equal"
+ * import { Data, Equal } from "effect"
  *
  * const alice = Data.struct({ name: "Alice", age: 30 })
  *
@@ -45,8 +44,7 @@ export declare const struct: <A extends Record<string, any>>(a: A) => {
 export declare const unsafeStruct: <A extends Record<string, any>>(as: A) => { readonly [P in keyof A]: A[P]; };
 /**
  * @example
- * import * as Data from "effect/Data"
- * import * as Equal from "effect/Equal"
+ * import { Data, Equal } from "effect"
  *
  * const alice = Data.tuple("Alice", 30)
  *
@@ -64,8 +62,7 @@ export declare const unsafeStruct: <A extends Record<string, any>>(as: A) => { r
 export declare const tuple: <As extends readonly any[]>(...as: As) => Readonly<As>;
 /**
  * @example
- * import * as Data from "effect/Data"
- * import * as Equal from "effect/Equal"
+ * import { Data, Equal } from "effect"
  *
  * const alice = Data.struct({ name: "Alice", age: 30 })
  * const bob = Data.struct({ name: "Bob", age: 40 })
@@ -98,8 +95,7 @@ export {
  * Provides a constructor for the specified `Case`.
  *
  * @example
- * import * as Data from "effect/Data"
- * import * as Equal from "effect/Equal"
+ * import { Data, Equal } from "effect"
  *
  * interface Person {
  *   readonly name: string
@@ -125,7 +121,7 @@ _case as case };
  * Provides a tagged constructor for the specified `Case`.
  *
  * @example
- * import * as Data from "effect/Data"
+ * import { Data } from "effect"
  *
  * interface Person {
  *   readonly _tag: "Person" // the tag
@@ -148,8 +144,7 @@ export declare const tagged: <A extends {
  * Provides a constructor for a Case Class.
  *
  * @example
- * import * as Data from "effect/Data"
- * import * as Equal from "effect/Equal"
+ * import { Data, Equal } from "effect"
  *
  * class Person extends Data.Class<{ readonly name: string }> {}
  *
@@ -172,8 +167,7 @@ export declare const Class: new <A extends Record<string, any> = {}>(args: Types
  * Provides a Tagged constructor for a Case Class.
  *
  * @example
- * import * as Data from "effect/Data"
- * import * as Equal from "effect/Equal"
+ * import { Data, Equal } from "effect"
  *
  * class Person extends Data.TaggedClass("Person")<{ readonly name: string }> {}
  *
@@ -205,7 +199,7 @@ export declare const Structural: new <A>(args: Types.Equals<A, {}> extends true
  * Create a tagged enum data type, which is a union of `Data` structs.
  *
  * ```ts
- * import * as Data from "effect/Data"
+ * import { Data } from "effect"
  *
  * type HttpError = Data.TaggedEnum<{
  *   BadRequest: { readonly status: 400, readonly message: string }
@@ -309,7 +303,7 @@ export declare namespace TaggedEnum {
  * the constructor.
  *
  * @example
- * import * as Data from "effect/Data"
+ * import { Data } from "effect"
  *
  * const { BadRequest, NotFound } = Data.taggedEnum<
  *   | { readonly _tag: "BadRequest"; readonly status: 400; readonly message: string }
@@ -319,7 +313,7 @@ export declare namespace TaggedEnum {
  * const notFound = NotFound({ status: 404, message: "Not Found" })
  *
  * @example
- * import * as Data from "effect/Data"
+ * import { Data } from "effect"
  *
  * type MyResult<E, A> = Data.TaggedEnum<{
  *   Failure: { readonly error: E }

package/dist/dts/Data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Data.d.ts","sourceRoot":"","sources":["../../src/Data.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAKxC,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;OAGG;IACH,UAAiB,WAAW,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,KAAK;QACzD,CACE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACpD;YAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GACjE,CAAC,CAAA;KACL;CACF;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAoB,CAAA;AAEjH;;;GAGG;AACH,eAAO,MAAM,YAAY,sCAAuC,CAAC,uCACjB,CAAA;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,KAAK,qCAA0C,EAAE,KAAG,SAAS,EAAE,CAAoB,CAAA;AAEhG;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,KAAK,kCAAuC,EAAE,KAAG,SAAS,EAAE,CAA8C,CAAA;AAEvH;;;GAGG;AACH,eAAO,MAAM,WAAW,kCAAuC,EAAE,KAAG,SAAS,EAAE,CAC/B,CAAA;AAEhD,QAAA,MAAM,KAAK,WAAU,KAAK,WAAW,CAAC,CAAC,CAC0C,CAAA;AAEjF,OAAO;AACL;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,MAAM;mBAA+B,MAAM;QACjD,CAAC,CAAC,MAAM,CAAC,KACb,KAAK,WAAW,CAAC,CAAC,EAAE,MAAM,CAK5B,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,EACxD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAClC,QAAQ,CAAC,CAAC,CAA8B,CAAA;AAE7C;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,WAAW,4BACjB,GAAG;mBAI0B,GAAG;CAKtC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,KAAI,CAAC,EAC5B,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAClC,EAA+B,CAAA;AAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,IACjE,MAAM,CAAC,SAAS,MAAM,GAAG,GAC3B,GAAG,SAAS,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GACxG,KAAK,GACL,KAAK,CAAA;AAET,KAAK,iBAAiB,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GACpG,KAAK,GACP,KAAK,GACL,KAAK,CAAA;AAET,KAAK,gBAAgB,CAAC,CAAC,IAAI,IAAI,SAAS,iBAAiB,CAAC,CAAC,CAAC,GACxD,oHAAoH,GACpH,OAAO,CAAA;AAEX;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU,CAAC;IAClC;;;OAGG;IACH,UAAiB,YAAY,CAAC,KAAK,SAAS,MAAM;QAChD,QAAQ,CAAC,UAAU,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;QAC9C,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAA;QAEhC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;KACpB;IAED;;;OAGG;IACH,KAAY,IAAI,CACd,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,EAC9B,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,IACT,CAAC,CAAC,GAAG;QACP,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;KACd,CAAC,CAAC,YAAY,CAAC,CAAA;IAEhB;;OAEG;IACH,KAAY,IAAI,CACd,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EACnC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EACnB,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,IAClC;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAAE,SAAS,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,CAAC,GAC3G,KAAK,CAAA;IAET;;OAEG;IACH,KAAY,KAAK,CACf,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EACnC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,IACjB,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAEpC;;OAEG;IACH,KAAY,WAAW,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,IAAI,KAAK,CAAC,QAAQ,CACzE;QACA,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,EAAE,MAAM,CAAC;KAC1F,GACC;QACA,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAAA;QAC1G,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,SAAS;YACZ,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;gBAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;aAAE,CAAC,KAAK,GAAG;SAC/E,EACD,KAAK,EAAE,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;KAC9D,CACF,CAAA;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAC3C,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CACvD,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KAClD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAC9C,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxB,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAC1D,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KACrD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACjD,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3B,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAC7D,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KACxD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACpD,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAChE,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KAC3D,CAAA;IAED,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;CAWzD,CAAA;AAiBX;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,EACxD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAClC,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC,CAAC,CASlC,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,WAAW,4BAA6B,GAAG;mBAGX,GAAG;eAM/C,CAAA"}
+{"version":3,"file":"Data.d.ts","sourceRoot":"","sources":["../../src/Data.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAKxC,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;OAGG;IACH,UAAiB,WAAW,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,KAAK;QACzD,CACE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACpD;YAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GACjE,CAAC,CAAA;KACL;CACF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAoB,CAAA;AAEjH;;;GAGG;AACH,eAAO,MAAM,YAAY,sCAAuC,CAAC,uCACjB,CAAA;AAEhD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK,qCAA0C,EAAE,KAAG,SAAS,EAAE,CAAoB,CAAA;AAEhG;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,KAAK,kCAAuC,EAAE,KAAG,SAAS,EAAE,CAA8C,CAAA;AAEvH;;;GAGG;AACH,eAAO,MAAM,WAAW,kCAAuC,EAAE,KAAG,SAAS,EAAE,CAC/B,CAAA;AAEhD,QAAA,MAAM,KAAK,WAAU,KAAK,WAAW,CAAC,CAAC,CAC0C,CAAA;AAEjF,OAAO;AACL;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,MAAM;mBAA+B,MAAM;QACjD,CAAC,CAAC,MAAM,CAAC,KACb,KAAK,WAAW,CAAC,CAAC,EAAE,MAAM,CAK5B,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,EACxD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAClC,QAAQ,CAAC,CAAC,CAA8B,CAAA;AAE7C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,WAAW,4BACjB,GAAG;mBAI0B,GAAG;CAKtC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,KAAI,CAAC,EAC5B,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAClC,EAA+B,CAAA;AAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,IACjE,MAAM,CAAC,SAAS,MAAM,GAAG,GAC3B,GAAG,SAAS,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GACxG,KAAK,GACL,KAAK,CAAA;AAET,KAAK,iBAAiB,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GACpG,KAAK,GACP,KAAK,GACL,KAAK,CAAA;AAET,KAAK,gBAAgB,CAAC,CAAC,IAAI,IAAI,SAAS,iBAAiB,CAAC,CAAC,CAAC,GACxD,oHAAoH,GACpH,OAAO,CAAA;AAEX;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU,CAAC;IAClC;;;OAGG;IACH,UAAiB,YAAY,CAAC,KAAK,SAAS,MAAM;QAChD,QAAQ,CAAC,UAAU,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;QAC9C,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAA;QAEhC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;KACpB;IAED;;;OAGG;IACH,KAAY,IAAI,CACd,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,EAC9B,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,IACT,CAAC,CAAC,GAAG;QACP,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;KACd,CAAC,CAAC,YAAY,CAAC,CAAA;IAEhB;;OAEG;IACH,KAAY,IAAI,CACd,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EACnC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EACnB,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,IAClC;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAAE,SAAS,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,CAAC,GAC3G,KAAK,CAAA;IAET;;OAEG;IACH,KAAY,KAAK,CACf,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EACnC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,IACjB,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAEpC;;OAEG;IACH,KAAY,WAAW,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,IAAI,KAAK,CAAC,QAAQ,CACzE;QACA,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,EAAE,MAAM,CAAC;KAC1F,GACC;QACA,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAAA;QAC1G,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,SAAS;YACZ,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;gBAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;aAAE,CAAC,KAAK,GAAG;SAC/E,EACD,KAAK,EAAE,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;KAC9D,CACF,CAAA;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAC3C,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CACvD,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KAClD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAC9C,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxB,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAC1D,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KACrD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACjD,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3B,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAC7D,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KACxD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACpD,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAChE,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KAC3D,CAAA;IAED,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;CAWzD,CAAA;AAiBX;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,EACxD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAClC,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC,CAAC,CASlC,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,WAAW,4BAA6B,GAAG;mBAGX,GAAG;eAM/C,CAAA"}

package/dist/dts/Duration.d.ts

@@ -311,7 +311,7 @@ export declare const equals: {
  * @since 2.0.0
  *
  * @example
- * import * as Duration from "effect/Duration"
+ * import { Duration } from "effect"
  *
  * Duration.format(Duration.millis(1000)) // "1s"
  * Duration.format(Duration.millis(1001)) // "1s 1ms"

package/dist/dts/Effect.d.ts

@@ -44,7 +44,7 @@ import * as Scheduler from "./Scheduler.js";
 import type * as Scope from "./Scope.js";
 import type * as Supervisor from "./Supervisor.js";
 import type * as Tracer from "./Tracer.js";
-import type { Concurrency, Covariant, MergeRecord, NoInfer, NotFunction } from "./Types.js";
+import type { Concurrency, Covariant, NoInfer, NotFunction } from "./Types.js";
 import type * as Unify from "./Unify.js";
 import type { YieldWrap } from "./Utils.js";
 /**
@@ -271,8 +271,7 @@ export declare const cachedFunction: <A, B, E, R>(f: (a: A) => Effect<B, E, R>,
  * evaluated multiple times.
  *
  * @example
- * import * as Effect from "effect/Effect"
- * import * as Console from "effect/Console"
+ * import { Effect, Console } from "effect"
  *
  * const program = Effect.gen(function* (_) {
  *   const twice = Console.log("twice")
@@ -732,8 +731,7 @@ export declare const validateAll: {
  * If `elements` is empty then `Effect.fail([])` is returned.
  *
  * @example
- * import * as Effect from "effect/Effect"
- * import * as Exit from "effect/Exit"
+ * import { Effect, Exit } from "effect"
  *
  * const f = (n: number) => (n > 0 ? Effect.succeed(n) : Effect.fail(`${n} is negative`))
  *
@@ -792,7 +790,7 @@ export declare const asyncEffect: <A, E, R, R3, E2, R2>(register: (callback: (_:
  * It is meant to be called with a bag of instructions that become available in the "this" of the effect.
  *
  * @example
- * import * as Effect from "effect/Effect"
+ * import { Effect } from "effect"
  *
  * const throwingFunction = () => { throw new Error() }
  * const blowUp = Effect.custom(throwingFunction, function() {
@@ -2380,46 +2378,142 @@ export declare const updateService: {
     <A, E, R, T extends Context.Tag<any, any>>(self: Effect<A, E, R>, tag: T, f: (service: Context.Tag.Service<T>) => Context.Tag.Service<T>): Effect<A, E, R | Context.Tag.Identifier<T>>;
 };
 /**
- * @since 2.0.0
+ * The "do simulation" in allows you to write code in a more declarative style, similar to the "do notation" in other programming languages. It provides a way to define variables and perform operations on them using functions like `bind` and `let`.
+ *
+ * Here's how the do simulation works:
+ *
+ * 1. Start the do simulation using the `Do` value
+ * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Effect` values
+ * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+ * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+ *
+ * @see {@link bind}
+ * @see {@link bindTo}
+ * @see {@link let_ let}
+ *
+ * @example
+ * import { Effect, pipe } from "effect"
+ *
+ * const result = pipe(
+ *   Effect.Do,
+ *   Effect.bind("x", () => Effect.succeed(2)),
+ *   Effect.bind("y", () => Effect.succeed(3)),
+ *   Effect.let("sum", ({ x, y }) => x + y)
+ * )
+ * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+ *
  * @category do notation
+ * @since 2.0.0
  */
 export declare const Do: Effect<{}>;
 /**
- * Binds an effectful value in a `do` scope
+ * The "do simulation" in allows you to write code in a more declarative style, similar to the "do notation" in other programming languages. It provides a way to define variables and perform operations on them using functions like `bind` and `let`.
+ *
+ * Here's how the do simulation works:
+ *
+ * 1. Start the do simulation using the `Do` value
+ * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Effect` values
+ * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+ * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+ *
+ * @see {@link Do}
+ * @see {@link bindTo}
+ * @see {@link let_ let}
+ *
+ * @example
+ * import { Effect, pipe } from "effect"
+ *
+ * const result = pipe(
+ *   Effect.Do,
+ *   Effect.bind("x", () => Effect.succeed(2)),
+ *   Effect.bind("y", () => Effect.succeed(3)),
+ *   Effect.let("sum", ({ x, y }) => x + y)
+ * )
+ * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
  *
- * @since 2.0.0
  * @category do notation
+ * @since 2.0.0
  */
 export declare const bind: {
-    <N extends string, K, A, E2, R2>(tag: Exclude<N, keyof K>, f: (_: K) => Effect<A, E2, R2>): <E, R>(self: Effect<K, E, R>) => Effect<MergeRecord<K, {
-        [k in N]: A;
-    }>, E2 | E, R2 | R>;
-    <K, E, R, N extends string, A, E2, R2>(self: Effect<K, E, R>, tag: Exclude<N, keyof K>, f: (_: K) => Effect<A, E2, R2>): Effect<MergeRecord<K, {
-        [k in N]: A;
-    }>, E2 | E, R2 | R>;
+    <N extends string, A extends object, B, E2, R2>(name: Exclude<N, keyof A>, f: (a: A) => Effect<B, E2, R2>): <E1, R1>(self: Effect<A, E1, R1>) => Effect<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }, E2 | E1, R2 | R1>;
+    <A extends object, N extends string, E1, R1, B, E2, R2>(self: Effect<A, E1, R1>, name: Exclude<N, keyof A>, f: (a: A) => Effect<B, E2, R2>): Effect<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }, E1 | E2, R1 | R2>;
 };
 /**
+ * The "do simulation" in allows you to write code in a more declarative style, similar to the "do notation" in other programming languages. It provides a way to define variables and perform operations on them using functions like `bind` and `let`.
+ *
+ * Here's how the do simulation works:
+ *
+ * 1. Start the do simulation using the `Do` value
+ * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Effect` values
+ * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+ * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+ *
+ * @see {@link Do}
+ * @see {@link bind}
+ * @see {@link let_ let}
+ *
+ * @example
+ * import { Effect, pipe } from "effect"
+ *
+ * const result = pipe(
+ *   Effect.Do,
+ *   Effect.bind("x", () => Effect.succeed(2)),
+ *   Effect.bind("y", () => Effect.succeed(3)),
+ *   Effect.let("sum", ({ x, y }) => x + y)
+ * )
+ * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+ *
  * @category do notation
  * @since 2.0.0
  */
 export declare const bindTo: {
-    <N extends string>(tag: N): <A, E, R>(self: Effect<A, E, R>) => Effect<Record<N, A>, E, R>;
-    <A, E, R, N extends string>(self: Effect<A, E, R>, tag: N): Effect<Record<N, A>, E, R>;
+    <N extends string>(name: N): <A, E, R>(self: Effect<A, E, R>) => Effect<{
+        [K in N]: A;
+    }, E, R>;
+    <A, E, R, N extends string>(self: Effect<A, E, R>, name: N): Effect<{
+        [K in N]: A;
+    }, E, R>;
 };
 declare const let_: {
-    <N extends string, K, A>(tag: Exclude<N, keyof K>, f: (_: K) => A): <E, R>(self: Effect<K, E, R>) => Effect<MergeRecord<K, {
-        [k in N]: A;
-    }>, E, R>;
-    <K, E, R, N extends string, A>(self: Effect<K, E, R>, tag: Exclude<N, keyof K>, f: (_: K) => A): Effect<MergeRecord<K, {
-        [k in N]: A;
-    }>, E, R>;
+    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, f: (a: A) => B): <E, R>(self: Effect<A, E, R>) => Effect<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }, E, R>;
+    <A extends object, N extends string, E, R, B>(self: Effect<A, E, R>, name: Exclude<N, keyof A>, f: (a: A) => B): Effect<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }, E, R>;
 };
 export { 
 /**
- * Like bind for values
+ * The "do simulation" in allows you to write code in a more declarative style, similar to the "do notation" in other programming languages. It provides a way to define variables and perform operations on them using functions like `bind` and `let`.
+ *
+ * Here's how the do simulation works:
+ *
+ * 1. Start the do simulation using the `Do` value
+ * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Effect` values
+ * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+ * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+ *
+ * @see {@link Do}
+ * @see {@link bind}
+ * @see {@link bindTo}
+ *
+ * @example
+ * import { Effect, pipe } from "effect"
+ *
+ * const result = pipe(
+ *   Effect.Do,
+ *   Effect.bind("x", () => Effect.succeed(2)),
+ *   Effect.bind("y", () => Effect.succeed(3)),
+ *   Effect.let("sum", ({ x, y }) => x + y)
+ * )
+ * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
  *
- * @since 2.0.0
  * @category do notation
+ * @since 2.0.0
  */
 let_ as let };
 /**
@@ -2651,7 +2745,7 @@ export declare const flatMap: {
  * - a function returning an effect
  *
  * @example
- * import * as Effect from "effect/Effect"
+ * import { Effect } from "effect"
  *
  * assert.deepStrictEqual(Effect.runSync(Effect.succeed("aa").pipe(Effect.andThen(1))), 1)
  * assert.deepStrictEqual(Effect.runSync(Effect.succeed("aa").pipe(Effect.andThen((s) => s.length))), 2)