effect 4.0.0-beta.83 → 4.0.0-beta.84

package/dist/internal/schema/cause.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=cause.d.ts.map

package/dist/internal/schema/cause.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cause.d.ts","sourceRoot":"","sources":["../../../src/internal/schema/cause.ts"],"names":[],"mappings":""}

package/dist/internal/schema/cause.js

@@ -0,0 +1,24 @@
+import * as Cause from "../../Cause.js";
+import * as SchemaIssue from "../../SchemaIssue.js";
+/** @internal */
+export function getSchemaIssue(cause) {
+  let issue;
+  for (const reason of cause.reasons) {
+    if (!Cause.isFailReason(reason) || !SchemaIssue.isIssue(reason.error)) {
+      return undefined;
+    }
+    issue ??= reason.error;
+  }
+  return issue;
+}
+/** @internal */
+export function getSchemaIssueOrThrow(cause, message) {
+  const issue = getSchemaIssue(cause);
+  if (issue === undefined) {
+    throw new Error(message, {
+      cause
+    });
+  }
+  return issue;
+}
+//# sourceMappingURL=cause.js.map

package/dist/internal/schema/cause.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cause.js","names":["Cause","SchemaIssue","getSchemaIssue","cause","issue","reason","reasons","isFailReason","isIssue","error","undefined","getSchemaIssueOrThrow","message","Error"],"sources":["../../../src/internal/schema/cause.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,WAAW,MAAM,sBAAsB;AAEnD;AACA,OAAM,SAAUC,cAAcA,CAACC,KAAqC;EAClE,IAAIC,KAAoC;EACxC,KAAK,MAAMC,MAAM,IAAIF,KAAK,CAACG,OAAO,EAAE;IAClC,IAAI,CAACN,KAAK,CAACO,YAAY,CAACF,MAAM,CAAC,IAAI,CAACJ,WAAW,CAACO,OAAO,CAACH,MAAM,CAACI,KAAK,CAAC,EAAE;MACrE,OAAOC,SAAS;IAClB;IACAN,KAAK,KAAKC,MAAM,CAACI,KAAK;EACxB;EACA,OAAOL,KAAK;AACd;AAEA;AACA,OAAM,SAAUO,qBAAqBA,CACnCR,KAAqC,EACrCS,OAAe;EAEf,MAAMR,KAAK,GAAGF,cAAc,CAACC,KAAK,CAAC;EACnC,IAAIC,KAAK,KAAKM,SAAS,EAAE;IACvB,MAAM,IAAIG,KAAK,CAACD,OAAO,EAAE;MAAET;IAAK,CAAE,CAAC;EACrC;EACA,OAAOC,KAAK;AACd","ignoreList":[]}

package/dist/internal/schema/schema.d.ts

@@ -1,11 +1,15 @@
+import * as Cause from "../../Cause.ts";
 import type { Issue } from "../../SchemaIssue.ts";
-export declare class SchemaError {
-    readonly [SchemaErrorTypeId] = "~effect/Schema/SchemaError";
-    readonly _tag = "SchemaError";
-    readonly name: string;
+declare const SchemaError_base: new <A extends Record<string, any> = {}>(args: import("../../Types.ts").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => Cause.YieldableError & {
+    readonly _tag: "SchemaError";
+} & Readonly<A>;
+export declare class SchemaError extends SchemaError_base<{
     readonly issue: Issue;
+}> {
+    readonly [SchemaErrorTypeId]: typeof SchemaErrorTypeId;
     constructor(issue: Issue);
     get message(): string;
     toString(): string;
 }
+export {};
 //# sourceMappingURL=schema.d.ts.map

package/dist/internal/schema/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/internal/schema/schema.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AAwCjD,qBAAa,WAAW;IACtB,QAAQ,CAAC,CAAC,iBAAiB,CAAC,gCAAoB;IAChD,QAAQ,CAAC,IAAI,iBAAgB;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAgB;IACrC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;gBACT,KAAK,EAAE,KAAK;IAGxB,IAAI,OAAO,WAEV;IACD,QAAQ;CAGT"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/internal/schema/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AAOvC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;;;;AAyCjD,qBAAa,WAAY,SAAQ,iBAAgC;IAC/D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,CAAC;IACA,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,OAAO,iBAAiB,CAAoB;gBAC9D,KAAK,EAAE,KAAK;IAGxB,IAAa,OAAO,WAEnB;IACQ,QAAQ;CAGlB"}

package/dist/internal/schema/schema.js

@@ -1,5 +1,7 @@
+import * as Cause from "../../Cause.js";
+import * as Data from "../../Data.js";
 import * as Effect from "../../Effect.js";
-import { flow } from "../../Function.js";
+import * as Exit from "../../Exit.js";
 import * as Pipeable from "../../Pipeable.js";
 import * as SchemaAST from "../../SchemaAST.js";
 import * as SchemaParser from "../../SchemaParser.js";
@@ -28,21 +30,20 @@ export function make(ast, options) {
   }
   self.ast = ast;
   self.rebuild = ast => make(ast, options);
-  self.makeEffect = flow(SchemaParser.makeEffect(self), Effect.mapErrorEager(issue => new SchemaError(issue)));
+  self.makeEffect = (input, options) => mapSchemaIssueEffect(SchemaParser.makeEffect(self)(input, options));
   self.make = SchemaParser.make(self);
   self.makeOption = SchemaParser.makeOption(self);
   return self;
 }
 /** @internal */
 export const SchemaErrorTypeId = "~effect/Schema/SchemaError";
-// not internal
-export class SchemaError {
+// purposefully not internal
+export class SchemaError extends /*#__PURE__*/Data.TaggedError("SchemaError") {
   [SchemaErrorTypeId] = SchemaErrorTypeId;
-  _tag = "SchemaError";
-  name = "SchemaError";
-  issue;
   constructor(issue) {
-    this.issue = issue;
+    super({
+      issue
+    });
   }
   get message() {
     return this.issue.toString();
@@ -52,6 +53,18 @@ export class SchemaError {
   }
 }
 /** @internal */
+export function mapSchemaIssueEffect(self) {
+  return Effect.catchCause(self, cause => Effect.failCauseSync(() => Cause.map(cause, issue => new SchemaError(issue))));
+}
+/** @internal */
+export function mapSchemaErrorEffect(self) {
+  return Effect.catchCause(self, cause => Effect.failCauseSync(() => Cause.map(cause, error => error.issue)));
+}
+/** @internal */
+export function mapSchemaIssueExit(exit) {
+  return Exit.isSuccess(exit) ? Exit.succeed(exit.value) : Exit.failCause(Cause.map(exit.cause, issue => new SchemaError(issue)));
+}
+/** @internal */
 export const jsonReorder = /*#__PURE__*/makeReorder(getJsonPriority);
 function getJsonPriority(ast) {
   switch (ast._tag) {

package/dist/internal/schema/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","names":["Effect","flow","Pipeable","SchemaAST","SchemaParser","TypeId","SchemaProto","pipe","pipeArguments","arguments","annotate","annotations","rebuild","ast","annotateKey","check","checks","appendChecks","make","options","self","Object","create","assign","makeEffect","mapErrorEager","issue","SchemaError","makeOption","SchemaErrorTypeId","_tag","name","constructor","message","toString","jsonReorder","makeReorder","getJsonPriority","getPriority","types","indexMap","Map","i","length","set","toEncoded","sortedTypes","sort","a","b","pa","pb","get","orderChanged","some","index"],"sources":["../../../src/internal/schema/schema.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,iBAAiB;AACzC,SAASC,IAAI,QAAQ,mBAAmB;AACxC,OAAO,KAAKC,QAAQ,MAAM,mBAAmB;AAE7C,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAE/C,OAAO,KAAKC,YAAY,MAAM,uBAAuB;AAErD;AACA,OAAO,MAAMC,MAAM,GAAG,uBAAuB;AAE7C,MAAMC,WAAW,GAAG;EAClB,CAACD,MAAM,GAAGA,MAAM;EAChBE,IAAIA,CAAA;IACF,OAAOL,QAAQ,CAACM,aAAa,CAAC,IAAI,EAAEC,SAAS,CAAC;EAChD,CAAC;EACDC,QAAQA,CAAmBC,WAA2C;IACpE,OAAO,IAAI,CAACC,OAAO,CAACT,SAAS,CAACO,QAAQ,CAAC,IAAI,CAACG,GAAG,EAAEF,WAAW,CAAC,CAAC;EAChE,CAAC;EACDG,WAAWA,CAAmBH,WAA4C;IACxE,OAAO,IAAI,CAACC,OAAO,CAACT,SAAS,CAACW,WAAW,CAAC,IAAI,CAACD,GAAG,EAAEF,WAAW,CAAC,CAAC;EACnE,CAAC;EACDI,KAAKA,CAAmB,GAAGC,MAA+E;IACxG,OAAO,IAAI,CAACJ,OAAO,CAACT,SAAS,CAACc,YAAY,CAAC,IAAI,CAACJ,GAAG,EAAEG,MAAM,CAAC,CAAC;EAC/D;CACD;AAED;AACA,OAAM,SAAUE,IAAIA,CAAuBL,GAAa,EAAEM,OAAgB;EACxE,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAAChB,WAAW,CAAC;EACvC,IAAIa,OAAO,EAAE;IACXE,MAAM,CAACE,MAAM,CAACH,IAAI,EAAED,OAAO,CAAC;EAC9B;EACAC,IAAI,CAACP,GAAG,GAAGA,GAAG;EACdO,IAAI,CAACR,OAAO,GAAIC,GAAkB,IAAKK,IAAI,CAACL,GAAG,EAAEM,OAAO,CAAC;EACzDC,IAAI,CAACI,UAAU,GAAGvB,IAAI,CAACG,YAAY,CAACoB,UAAU,CAACJ,IAAI,CAAC,EAAEpB,MAAM,CAACyB,aAAa,CAAEC,KAAK,IAAK,IAAIC,WAAW,CAACD,KAAK,CAAC,CAAC,CAAC;EAC9GN,IAAI,CAACF,IAAI,GAAGd,YAAY,CAACc,IAAI,CAACE,IAAI,CAAC;EACnCA,IAAI,CAACQ,UAAU,GAAGxB,YAAY,CAACwB,UAAU,CAACR,IAAI,CAAC;EAC/C,OAAOA,IAAI;AACb;AAEA;AACA,OAAO,MAAMS,iBAAiB,GAAG,4BAA4B;AAE7D;AACA,OAAM,MAAOF,WAAW;EACb,CAACE,iBAAiB,IAAIA,iBAAiB;EACvCC,IAAI,GAAG,aAAa;EACpBC,IAAI,GAAW,aAAa;EAC5BL,KAAK;EACdM,YAAYN,KAAY;IACtB,IAAI,CAACA,KAAK,GAAGA,KAAK;EACpB;EACA,IAAIO,OAAOA,CAAA;IACT,OAAO,IAAI,CAACP,KAAK,CAACQ,QAAQ,EAAE;EAC9B;EACAA,QAAQA,CAAA;IACN,OAAO,eAAe,IAAI,CAACD,OAAO,GAAG;EACvC;;AAGF;AACA,OAAO,MAAME,WAAW,gBAAGC,WAAW,CAACC,eAAe,CAAC;AAEvD,SAASA,eAAeA,CAACxB,GAAkB;EACzC,QAAQA,GAAG,CAACiB,IAAI;IACd,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,cAAc;MACjB,OAAO,CAAC;IACV;MACE,OAAO,CAAC;EACZ;AACF;AAEA;AACA,OAAM,SAAUM,WAAWA,CAACE,WAA2C;EACrE,OAAQC,KAAmC,IAAkC;IAC3E;IACA,MAAMC,QAAQ,GAAG,IAAIC,GAAG,EAAyB;IACjD,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,KAAK,CAACI,MAAM,EAAED,CAAC,EAAE,EAAE;MACrCF,QAAQ,CAACI,GAAG,CAACzC,SAAS,CAAC0C,SAAS,CAACN,KAAK,CAACG,CAAC,CAAC,CAAC,EAAEA,CAAC,CAAC;IAChD;IAEA;IACA,MAAMI,WAAW,GAAG,CAAC,GAAGP,KAAK,CAAC,CAACQ,IAAI,CAAC,CAACC,CAAC,EAAEC,CAAC,KAAI;MAC3CD,CAAC,GAAG7C,SAAS,CAAC0C,SAAS,CAACG,CAAC,CAAC;MAC1BC,CAAC,GAAG9C,SAAS,CAAC0C,SAAS,CAACI,CAAC,CAAC;MAC1B,MAAMC,EAAE,GAAGZ,WAAW,CAACU,CAAC,CAAC;MACzB,MAAMG,EAAE,GAAGb,WAAW,CAACW,CAAC,CAAC;MACzB,IAAIC,EAAE,KAAKC,EAAE,EAAE,OAAOD,EAAE,GAAGC,EAAE;MAC7B;MACA,OAAOX,QAAQ,CAACY,GAAG,CAACJ,CAAC,CAAE,GAAGR,QAAQ,CAACY,GAAG,CAACH,CAAC,CAAE;IAC5C,CAAC,CAAC;IAEF;IACA,MAAMI,YAAY,GAAGP,WAAW,CAACQ,IAAI,CAAC,CAACzC,GAAG,EAAE0C,KAAK,KAAK1C,GAAG,KAAK0B,KAAK,CAACgB,KAAK,CAAC,CAAC;IAE3E,IAAI,CAACF,YAAY,EAAE,OAAOd,KAAK;IAC/B,OAAOO,WAAW;EACpB,CAAC;AACH","ignoreList":[]}
+{"version":3,"file":"schema.js","names":["Cause","Data","Effect","Exit","Pipeable","SchemaAST","SchemaParser","TypeId","SchemaProto","pipe","pipeArguments","arguments","annotate","annotations","rebuild","ast","annotateKey","check","checks","appendChecks","make","options","self","Object","create","assign","makeEffect","input","mapSchemaIssueEffect","makeOption","SchemaErrorTypeId","SchemaError","TaggedError","constructor","issue","message","toString","catchCause","cause","failCauseSync","map","mapSchemaErrorEffect","error","mapSchemaIssueExit","exit","isSuccess","succeed","value","failCause","jsonReorder","makeReorder","getJsonPriority","_tag","getPriority","types","indexMap","Map","i","length","set","toEncoded","sortedTypes","sort","a","b","pa","pb","get","orderChanged","some","index"],"sources":["../../../src/internal/schema/schema.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,QAAQ,MAAM,mBAAmB;AAE7C,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAE/C,OAAO,KAAKC,YAAY,MAAM,uBAAuB;AAErD;AACA,OAAO,MAAMC,MAAM,GAAG,uBAAuB;AAE7C,MAAMC,WAAW,GAAG;EAClB,CAACD,MAAM,GAAGA,MAAM;EAChBE,IAAIA,CAAA;IACF,OAAOL,QAAQ,CAACM,aAAa,CAAC,IAAI,EAAEC,SAAS,CAAC;EAChD,CAAC;EACDC,QAAQA,CAAmBC,WAA2C;IACpE,OAAO,IAAI,CAACC,OAAO,CAACT,SAAS,CAACO,QAAQ,CAAC,IAAI,CAACG,GAAG,EAAEF,WAAW,CAAC,CAAC;EAChE,CAAC;EACDG,WAAWA,CAAmBH,WAA4C;IACxE,OAAO,IAAI,CAACC,OAAO,CAACT,SAAS,CAACW,WAAW,CAAC,IAAI,CAACD,GAAG,EAAEF,WAAW,CAAC,CAAC;EACnE,CAAC;EACDI,KAAKA,CAAmB,GAAGC,MAA+E;IACxG,OAAO,IAAI,CAACJ,OAAO,CAACT,SAAS,CAACc,YAAY,CAAC,IAAI,CAACJ,GAAG,EAAEG,MAAM,CAAC,CAAC;EAC/D;CACD;AAED;AACA,OAAM,SAAUE,IAAIA,CAAuBL,GAAa,EAAEM,OAAgB;EACxE,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAAChB,WAAW,CAAC;EACvC,IAAIa,OAAO,EAAE;IACXE,MAAM,CAACE,MAAM,CAACH,IAAI,EAAED,OAAO,CAAC;EAC9B;EACAC,IAAI,CAACP,GAAG,GAAGA,GAAG;EACdO,IAAI,CAACR,OAAO,GAAIC,GAAkB,IAAKK,IAAI,CAACL,GAAG,EAAEM,OAAO,CAAC;EACzDC,IAAI,CAACI,UAAU,GAAG,CAACC,KAAyB,EAAEN,OAA4B,KACxEO,oBAAoB,CAACtB,YAAY,CAACoB,UAAU,CAACJ,IAAI,CAAC,CAACK,KAAK,EAAEN,OAAO,CAAC,CAAC;EACrEC,IAAI,CAACF,IAAI,GAAGd,YAAY,CAACc,IAAI,CAACE,IAAI,CAAC;EACnCA,IAAI,CAACO,UAAU,GAAGvB,YAAY,CAACuB,UAAU,CAACP,IAAI,CAAC;EAC/C,OAAOA,IAAI;AACb;AAEA;AACA,OAAO,MAAMQ,iBAAiB,GAAG,4BAA4B;AAE7D;AACA,OAAM,MAAOC,WAAY,sBAAQ9B,IAAI,CAAC+B,WAAW,CAAC,aAAa,CAE7D;EACS,CAACF,iBAAiB,IAA8BA,iBAAiB;EAC1EG,YAAYC,KAAY;IACtB,KAAK,CAAC;MAAEA;IAAK,CAAE,CAAC;EAClB;EACA,IAAaC,OAAOA,CAAA;IAClB,OAAO,IAAI,CAACD,KAAK,CAACE,QAAQ,EAAE;EAC9B;EACSA,QAAQA,CAAA;IACf,OAAO,eAAe,IAAI,CAACD,OAAO,GAAG;EACvC;;AAGF;AACA,OAAM,SAAUP,oBAAoBA,CAClCN,IAAgC;EAEhC,OAAOpB,MAAM,CAACmC,UAAU,CACtBf,IAAI,EACHgB,KAAK,IAAKpC,MAAM,CAACqC,aAAa,CAAC,MAAMvC,KAAK,CAACwC,GAAG,CAACF,KAAK,EAAGJ,KAAK,IAAK,IAAIH,WAAW,CAACG,KAAK,CAAC,CAAC,CAAC,CAC3F;AACH;AAEA;AACA,OAAM,SAAUO,oBAAoBA,CAClCnB,IAAsC;EAEtC,OAAOpB,MAAM,CAACmC,UAAU,CAACf,IAAI,EAAGgB,KAAK,IAAKpC,MAAM,CAACqC,aAAa,CAAC,MAAMvC,KAAK,CAACwC,GAAG,CAACF,KAAK,EAAGI,KAAK,IAAKA,KAAK,CAACR,KAAK,CAAC,CAAC,CAAC;AACjH;AAEA;AACA,OAAM,SAAUS,kBAAkBA,CAAIC,IAAyB;EAC7D,OAAOzC,IAAI,CAAC0C,SAAS,CAACD,IAAI,CAAC,GACvBzC,IAAI,CAAC2C,OAAO,CAACF,IAAI,CAACG,KAAK,CAAC,GACxB5C,IAAI,CAAC6C,SAAS,CAAChD,KAAK,CAACwC,GAAG,CAACI,IAAI,CAACN,KAAK,EAAGJ,KAAK,IAAK,IAAIH,WAAW,CAACG,KAAK,CAAC,CAAC,CAAC;AAC9E;AAEA;AACA,OAAO,MAAMe,WAAW,gBAAGC,WAAW,CAACC,eAAe,CAAC;AAEvD,SAASA,eAAeA,CAACpC,GAAkB;EACzC,QAAQA,GAAG,CAACqC,IAAI;IACd,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,cAAc;MACjB,OAAO,CAAC;IACV;MACE,OAAO,CAAC;EACZ;AACF;AAEA;AACA,OAAM,SAAUF,WAAWA,CAACG,WAA2C;EACrE,OAAQC,KAAmC,IAAkC;IAC3E;IACA,MAAMC,QAAQ,GAAG,IAAIC,GAAG,EAAyB;IACjD,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,KAAK,CAACI,MAAM,EAAED,CAAC,EAAE,EAAE;MACrCF,QAAQ,CAACI,GAAG,CAACtD,SAAS,CAACuD,SAAS,CAACN,KAAK,CAACG,CAAC,CAAC,CAAC,EAAEA,CAAC,CAAC;IAChD;IAEA;IACA,MAAMI,WAAW,GAAG,CAAC,GAAGP,KAAK,CAAC,CAACQ,IAAI,CAAC,CAACC,CAAC,EAAEC,CAAC,KAAI;MAC3CD,CAAC,GAAG1D,SAAS,CAACuD,SAAS,CAACG,CAAC,CAAC;MAC1BC,CAAC,GAAG3D,SAAS,CAACuD,SAAS,CAACI,CAAC,CAAC;MAC1B,MAAMC,EAAE,GAAGZ,WAAW,CAACU,CAAC,CAAC;MACzB,MAAMG,EAAE,GAAGb,WAAW,CAACW,CAAC,CAAC;MACzB,IAAIC,EAAE,KAAKC,EAAE,EAAE,OAAOD,EAAE,GAAGC,EAAE;MAC7B;MACA,OAAOX,QAAQ,CAACY,GAAG,CAACJ,CAAC,CAAE,GAAGR,QAAQ,CAACY,GAAG,CAACH,CAAC,CAAE;IAC5C,CAAC,CAAC;IAEF;IACA,MAAMI,YAAY,GAAGP,WAAW,CAACQ,IAAI,CAAC,CAACtD,GAAG,EAAEuD,KAAK,KAAKvD,GAAG,KAAKuC,KAAK,CAACgB,KAAK,CAAC,CAAC;IAE3E,IAAI,CAACF,YAAY,EAAE,OAAOd,KAAK;IAC/B,OAAOO,WAAW;EACpB,CAAC;AACH","ignoreList":[]}

package/dist/testing/TestSchema.d.ts

@@ -111,7 +111,7 @@ export declare class Asserts<S extends Schema.Top> {
      *
      * FastCheck generates arbitrary values matching the schema's `Type`. The assertion fails if any generated value does not round-trip. Pass `options.params` to control FastCheck parameters such as `numRuns`.
      *
-     * **Example** (Round-trip verification)
+     * **Example** (Verifying round trips)
      *
      * ```ts
      * import { Schema } from "effect"
@@ -258,7 +258,7 @@ export declare class Decoding<S extends Schema.Top> {
      *
      * Use to verify successful decoding for one input case.
      *
-     * **Example** (Identity and transformed decoding)
+     * **Example** (Testing identity and transformed decoding)
      *
      * ```ts
      * import { Schema } from "effect"
@@ -349,7 +349,7 @@ export declare class Encoding<S extends Schema.Top> {
      *
      * Use to verify successful encoding for one input case.
      *
-     * **Example** (Identity and transformed encoding)
+     * **Example** (Testing identity and transformed encoding)
      *
      * ```ts
      * import { Schema } from "effect"

package/dist/testing/TestSchema.js

@@ -138,7 +138,7 @@ export class Asserts {
    *
    * FastCheck generates arbitrary values matching the schema's `Type`. The assertion fails if any generated value does not round-trip. Pass `options.params` to control FastCheck parameters such as `numRuns`.
    *
-   * **Example** (Round-trip verification)
+   * **Example** (Verifying round trips)
    *
    * ```ts
    * import { Schema } from "effect"

package/dist/unstable/ai/AiError.d.ts

@@ -101,7 +101,7 @@ export declare class NetworkError extends NetworkError_base {
  * Provider-specific metadata is namespaced by provider name. Each provider
  * value can contain arbitrary mutable JSON metadata or `null`.
  *
- * **Example** (Metadata shape)
+ * **Example** (Inspecting metadata shape)
  *
  * ```ts
  * const metadata = {

package/dist/unstable/ai/AiError.js

@@ -157,7 +157,7 @@ export class NetworkError extends /*#__PURE__*/Schema.ErrorClass("effect/ai/AiEr
  * Provider-specific metadata is namespaced by provider name. Each provider
  * value can contain arbitrary mutable JSON metadata or `null`.
  *
- * **Example** (Metadata shape)
+ * **Example** (Inspecting metadata shape)
  *
  * ```ts
  * const metadata = {

package/dist/unstable/ai/Chat.d.ts

@@ -28,7 +28,7 @@ declare const Chat_base: Context.ServiceClass<Chat, "effect/ai/Chat", Service>;
  * enabling persistent conversational AI interactions with full context
  * management.
  *
- * **Example** (Using the Chat service)
+ * **Example** (Accessing the Chat service)
  *
  * ```ts
  * import { Effect } from "effect"

package/dist/unstable/ai/Chat.js

@@ -41,7 +41,7 @@ import * as Prompt from "./Prompt.js";
  * enabling persistent conversational AI interactions with full context
  * management.
  *
- * **Example** (Using the Chat service)
+ * **Example** (Accessing the Chat service)
  *
  * ```ts
  * import { Effect } from "effect"

package/dist/unstable/cli/Prompt.js

@@ -662,9 +662,9 @@ const runLoop = /*#__PURE__*/Effect.fnUntraced(function* (loop, terminal, input)
     const msg = yield* loop.render(state, action);
     yield* Effect.orDie(terminal.display(msg));
     if (loop.events) {
-      const takeInput = Queue.take(input).pipe(Effect.map(event => ({
+      const takeInput = Queue.take(input).pipe(Effect.map(input => ({
         _tag: "Input",
-        event
+        input
       })));
       const result = yield* Effect.raceFirst(takeInput, Queue.take(loop.events).pipe(Effect.map(value => ({
         _tag: "Event",