effect 4.0.0-rc.118 → 4.0.1

package/dist/schema/SchemaCompiler/runtime.js

@@ -130,6 +130,10 @@ const hasExcessProperties = (ast, input, indexKeys) => {
 };
 const invalidType = (ast, input, options) => Effect.fail(new SchemaIssue.InvalidType(ast, input, options));
 const invalidEncoding = (ast, index, input, value, options) => index === 0 ? invalidType(ast, value, options) : Interpreter.wrapEncoding(ast, input, options, invalidType(ast.encoding[index - 1].to, value, options));
+const invalidEncodingChecks = (ast, input, issues, options) => {
+  const source = ast.encoding[ast.encoding.length - 1].to;
+  return Interpreter.wrapEncoding(ast, input, options, Effect.fail(new SchemaIssue.Composite(source, issues, input, options)));
+};
 /**
  * @internal
  */
@@ -148,12 +152,13 @@ export const runtime = {
   die: Effect.die,
   invalidType,
   invalidEncoding,
+  invalidEncodingChecks,
   getCheckIssues,
   check,
   getExpectedKeys: ast => ast.propertySignatures.map(p => typeof p.name === "number" ? String(p.name) : p.name),
   hasExcessProperties,
   matchesTemplateLiteral: (ast, input, options) => typeof input === "string" && ast.matchPart(input, options) !== undefined,
-  getCandidates: SchemaAST.getCandidates,
+  getCandidateIndex: SchemaAST.getCandidateIndex,
   getIndexSignatureKeys: SchemaAST.getIndexSignatureKeys,
   parameterFromPropertyKey: SchemaAST.parameterFromPropertyKey,
   getConstructorDescriptor: SchemaAST.getConstructorDescriptor,

package/dist/schema/SchemaCompiler/runtime.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.js","names":[],"sources":["../../../src/schema/SchemaCompiler/runtime.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;AAQA,OAAO,KAAK,MAAM,MAAM,iBAAiB;AACzC,SAAS,YAAY,EAAE,kBAAkB,QAAQ,0BAA0B;AAC3E,SAAS,UAAU,EAAgB,OAAO,EAAE,WAAW,EAAE,UAAU,QAAQ,2CAA2C;AACtH,OAAO,KAAK,WAAW,MAAM,sCAAsC;AACnE,OAAO,KAAK,cAAc,MAAM,iCAAiC;AACjE,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAK,WAAW,MAAM,sBAAsB;AAEnD,SAAsB,OAAO,QAAQ,sBAAsB;AA4B3D,MAAM,cAAc,GAAG,CACrB,GAAsB,EACtB,OAAiB,EACjB,YAAsB,EACtB,QAAwB,KACH;EACrB,IAAI,UAA6C;EACjD,MAAM,aAAa,GAAG,MAA4B;IAChD,IAAI,UAAU,KAAK,SAAS,EAAE,OAAO,UAAU;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC;IAC3D,OAAO,UAAU,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,QAAQ,IAAI;MAC1D,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;MACvC,IAAI,MAAM,KAAK,SAAS,EAAE;QACxB,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;MACpC;MACA,OAAO;QAAE,MAAM;QAAE,IAAI,EAAE,QAAQ,CAAC,IAAI;QAAE,IAAI,EAAE,QAAQ,CAAC;MAAI,CAAE;IAC7D,CAAC,CAAC;EACJ,CAAC;EACD,IAAI,QAAuC;EAC3C,MAAM,WAAW,GAAsB,CAAC,KAAK,EAAE,OAAO,KACpD,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC;EACrE,MAAM,MAAM,GAAG,CACb,KAAwB,EACxB,KAAa,EACb,OAAuD,KACL;IAClD,MAAM,QAAQ,GAAG,UAAW,CAAC,KAAK,CAAC;IACnC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAG,IAAI,IAAI;MACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC;MAC9D,IAAI,QAAQ,EAAE,OAAO,QAAQ;MAC7B,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;MACpD,MAAM,MAAM,GAAG,SAAS,CAAC,eAAe,CAAC,KAAK,EAAE,UAAW,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;MAC7E,OAAO,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE;IAC5D,CAAC,CAAC;EACJ,CAAC;EACD,OAAO,QAAQ,CAAC;IAAE,GAAG;IAAE,aAAa;IAAE,QAAQ,EAAE,WAAW;IAAE,MAAM;IAAE,IAAI,EAAE,SAAS,CAAC;EAAY,CAAE,CAAC;AACtG,CAAC;AAED,MAAM,aAAa,GAAG,CACpB,GAAqB,EACrB,OAAiB,EACjB,YAAsB,EACtB,QAAuB,KACF;EACrB,IAAI,OAAwF;EAC5F,MAAM,UAAU,GAAG,MAAO,OAAO,KAAK;IACpC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;GAChC;EACF,IAAI,QAAuC;EAC3C,MAAM,WAAW,GAAsB,CAAC,KAAK,EAAE,OAAO,KACpD,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC;EACrE,MAAM,GAAG,GAAG,QAAQ,CAAC;IACnB,UAAU,EAAE,MAAM,UAAU,EAAE,CAAC,MAAM;IACrC,IAAI,EAAE,SAAS,CAAC,SAAS;IACzB,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KACvC,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EACnB,IAAI,IACH,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAC3C,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI;GAEhF,CAAC;EACF,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,WAAU,KAAc,EAAE,OAA+B;IAClG,IAAI,KAAK,KAAK,cAAc,CAAC,OAAO,EAAE,OAAO,cAAc,CAAC,OAAO;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;MACzB,OAAO,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7E;IACA,MAAM,UAAU,GAAG,UAAU,EAAE;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM;IACxB,MAAM,KAAK,GAAqB;MAC9B,GAAG;MACH,SAAS,EAAE,MAAM,UAAU;MAC3B,KAAK;MACL,GAAG;MACH,aAAa,EAAE,GAAG;MAClB,MAAM,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;MACjC,MAAM,EAAE,SAAS;MACjB;KACD;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC;IACxC,IAAI,MAAM,EAAE,OAAO,MAAM;IACzB,IAAI,KAAK,CAAC,MAAM,EAAE;MAChB,OAAO,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzF;IACA,OAAO,KAAK,CAAC,MAAM;EACrB,CAAC,CAAC;EACF,OAAO,CAAC,KAAK,EAAE,OAAO,KACpB,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,kBAAkB,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAC9E,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,GAC3B,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;AACnC,CAAC;AAED,MAAM,MAAM,GAAG,CACb,GAAkB,EAClB,OAAgB,EAChB,QAAyB,EACzB,QAAQ,GAAG,KAAK,EAChB,UAAyB,EACzB,aAA6B,KACR;EACrB,MAAM,KAAK,GAAI,GAAkB,IAAK,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,GAAG,cAAc,GAAG,QAAQ,CAAC;EACpG,MAAM,UAAU,GAAG,UAAU,KAAK,SAAS,GACvC,KAAK,GACJ,GAAkB,IAAK,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC;EACpE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,GAC3D,cAAc,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,GACnD,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,KAAK,SAAS,GACpD,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,GACzD,UAAU,KAAK,SAAS,GACxB,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GACzB,SAAS;EACb,MAAM,UAAU,GAAG,UAAU,KAAK,SAAS,GAAG,SAAS,GAAI,KAAwB,IAAuB;IACxG,IAAI;MACF,OAAO,UAAU,CAAC,UAAU,EAAE,EAAE,MAAM,KAAK,CAAC;IAC9C,CAAC,CAAC,MAAM;MACN;MACA,OAAO,KAAK;IACd;EACF,CAAC;EACD,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC;AACrE,CAAC;AAED,MAAM,IAAI,GAAG,CACX,GAAkB,EAClB,OAAgB,EAChB,QAAyB,EACzB,aAA6B,KACR;EACrB,MAAM,KAAK,GAAI,GAAkB,IAAK,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,YAAY,CAAC;EAC5E,MAAM,KAAK,GAAI,GAAkB,IAAK,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC;EAC1E,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,GAC3D,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,GACzC,aAAa,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,GACpD,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,GAC/C,SAAS;EACb,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;AACrD,CAAC;AAED,MAAM,cAAc,GAAG,CACrB,GAAkB,EAClB,KAAc,EACd,OAAgB,EAChB,OAA+B,KACe;EAC9C,MAAM,MAAM,GAAG,OAAO,GAAG,gBAAgB,IAAI,GAAG,GAAG,GAAG,CAAC,cAAc,GAAG,SAAS,GAAG,GAAG,CAAC,MAAM;EAC9F,OAAO,CAAC,OAAO,CAAC,aAAa,IAAI,MAAM,KAAK,SAAS,GACjD,SAAS,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,GAC/D,SAAS;AACf,CAAC;AAED,MAAM,KAAK,GAAG,CACZ,GAAkB,EAClB,KAAc,EACd,OAA+B,KACc;EAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;EACzD,OAAO,MAAM,KAAK,SAAS,GACvB,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,GAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,mBAAmB,GAAG,CAC1B,GAAsB,EACtB,KAAmC,EACnC,SAAqD,KAC1C;EACX,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,CAAC,IAAK,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CACxF;EACD,IAAI,SAAS,EAAE;IACb,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE;MAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1C;EACF;EACA,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAE,GAAG,IACrC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAC5E;AACH,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,KAAc,EAAE,OAA+B,KACtF,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAE/D,MAAM,eAAe,GAAG,CACtB,GAA8D,EAC9D,KAAa,EACb,KAAc,EACd,KAAc,EACd,OAA+B,KAE/B,KAAK,KAAK,CAAC,GACP,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,GAChC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAE5G;;;AAGA,OAAO,MAAM,OAAO,GAAG;EACrB,MAAM;EACN,IAAI;EACJ,OAAO;EACP,WAAW;EACX,OAAO;EACP,OAAO,EAAE,cAAc,CAAC,OAAO;EAC/B,WAAW,EAAE,cAAc,CAAC,WAAW;EACvC,QAAQ,EAAE,cAAc,CAAC,QAAQ;EACjC,IAAI,EAAE,cAAc,CAAC,IAAI;EACzB,OAAO,EAAE,cAAc,CAAC,OAAO;EAC/B,YAAY;EACZ,GAAG,EAAE,MAAM,CAAC,GAAG;EACf,WAAW;EACX,eAAe;EACf,cAAc;EACd,KAAK;EACL,eAAe,EAAG,GAAsB,IACtC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,CAAC,IAAK,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;EACzF,mBAAmB;EACnB,sBAAsB,EAAE,CAAC,GAA8B,EAAE,KAAc,EAAE,OAA+B,KACtG,OAAO,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS;EAC1E,aAAa,EAAE,SAAS,CAAC,aAAa;EACtC,qBAAqB,EAAE,SAAS,CAAC,qBAAqB;EACtD,wBAAwB,EAAE,SAAS,CAAC,wBAAwB;EAC5D,wBAAwB,EAAE,SAAS,CAAC,wBAAwB;EAC5D,mBAAmB,EAAE,SAAS,CAAC;CAChC","ignoreList":[]}
+{"version":3,"file":"runtime.js","names":[],"sources":["../../../src/schema/SchemaCompiler/runtime.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;AAQA,OAAO,KAAK,MAAM,MAAM,iBAAiB;AACzC,SAAS,YAAY,EAAE,kBAAkB,QAAQ,0BAA0B;AAC3E,SAAS,UAAU,EAAgB,OAAO,EAAE,WAAW,EAAE,UAAU,QAAQ,2CAA2C;AACtH,OAAO,KAAK,WAAW,MAAM,sCAAsC;AACnE,OAAO,KAAK,cAAc,MAAM,iCAAiC;AACjE,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAK,WAAW,MAAM,sBAAsB;AAEnD,SAAsB,OAAO,QAAQ,sBAAsB;AA4B3D,MAAM,cAAc,GAAG,CACrB,GAAsB,EACtB,OAAiB,EACjB,YAAsB,EACtB,QAAwB,KACH;EACrB,IAAI,UAA6C;EACjD,MAAM,aAAa,GAAG,MAA4B;IAChD,IAAI,UAAU,KAAK,SAAS,EAAE,OAAO,UAAU;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC;IAC3D,OAAO,UAAU,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,QAAQ,IAAI;MAC1D,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;MACvC,IAAI,MAAM,KAAK,SAAS,EAAE;QACxB,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;MACpC;MACA,OAAO;QAAE,MAAM;QAAE,IAAI,EAAE,QAAQ,CAAC,IAAI;QAAE,IAAI,EAAE,QAAQ,CAAC;MAAI,CAAE;IAC7D,CAAC,CAAC;EACJ,CAAC;EACD,IAAI,QAAuC;EAC3C,MAAM,WAAW,GAAsB,CAAC,KAAK,EAAE,OAAO,KACpD,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC;EACrE,MAAM,MAAM,GAAG,CACb,KAAwB,EACxB,KAAa,EACb,OAAuD,KACL;IAClD,MAAM,QAAQ,GAAG,UAAW,CAAC,KAAK,CAAC;IACnC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAG,IAAI,IAAI;MACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC;MAC9D,IAAI,QAAQ,EAAE,OAAO,QAAQ;MAC7B,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;MACpD,MAAM,MAAM,GAAG,SAAS,CAAC,eAAe,CAAC,KAAK,EAAE,UAAW,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;MAC7E,OAAO,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE;IAC5D,CAAC,CAAC;EACJ,CAAC;EACD,OAAO,QAAQ,CAAC;IAAE,GAAG;IAAE,aAAa;IAAE,QAAQ,EAAE,WAAW;IAAE,MAAM;IAAE,IAAI,EAAE,SAAS,CAAC;EAAY,CAAE,CAAC;AACtG,CAAC;AAED,MAAM,aAAa,GAAG,CACpB,GAAqB,EACrB,OAAiB,EACjB,YAAsB,EACtB,QAAuB,KACF;EACrB,IAAI,OAAwF;EAC5F,MAAM,UAAU,GAAG,MAAO,OAAO,KAAK;IACpC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;GAChC;EACF,IAAI,QAAuC;EAC3C,MAAM,WAAW,GAAsB,CAAC,KAAK,EAAE,OAAO,KACpD,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC;EACrE,MAAM,GAAG,GAAG,QAAQ,CAAC;IACnB,UAAU,EAAE,MAAM,UAAU,EAAE,CAAC,MAAM;IACrC,IAAI,EAAE,SAAS,CAAC,SAAS;IACzB,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KACvC,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EACnB,IAAI,IACH,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAC3C,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI;GAEhF,CAAC;EACF,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,WAAU,KAAc,EAAE,OAA+B;IAClG,IAAI,KAAK,KAAK,cAAc,CAAC,OAAO,EAAE,OAAO,cAAc,CAAC,OAAO;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;MACzB,OAAO,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7E;IACA,MAAM,UAAU,GAAG,UAAU,EAAE;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM;IACxB,MAAM,KAAK,GAAqB;MAC9B,GAAG;MACH,SAAS,EAAE,MAAM,UAAU;MAC3B,KAAK;MACL,GAAG;MACH,aAAa,EAAE,GAAG;MAClB,MAAM,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;MACjC,MAAM,EAAE,SAAS;MACjB;KACD;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC;IACxC,IAAI,MAAM,EAAE,OAAO,MAAM;IACzB,IAAI,KAAK,CAAC,MAAM,EAAE;MAChB,OAAO,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzF;IACA,OAAO,KAAK,CAAC,MAAM;EACrB,CAAC,CAAC;EACF,OAAO,CAAC,KAAK,EAAE,OAAO,KACpB,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,kBAAkB,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAC9E,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,GAC3B,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;AACnC,CAAC;AAED,MAAM,MAAM,GAAG,CACb,GAAkB,EAClB,OAAgB,EAChB,QAAyB,EACzB,QAAQ,GAAG,KAAK,EAChB,UAAyB,EACzB,aAA6B,KACR;EACrB,MAAM,KAAK,GAAI,GAAkB,IAAK,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,GAAG,cAAc,GAAG,QAAQ,CAAC;EACpG,MAAM,UAAU,GAAG,UAAU,KAAK,SAAS,GACvC,KAAK,GACJ,GAAkB,IAAK,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC;EACpE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,GAC3D,cAAc,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,GACnD,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,KAAK,SAAS,GACpD,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,GACzD,UAAU,KAAK,SAAS,GACxB,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GACzB,SAAS;EACb,MAAM,UAAU,GAAG,UAAU,KAAK,SAAS,GAAG,SAAS,GAAI,KAAwB,IAAuB;IACxG,IAAI;MACF,OAAO,UAAU,CAAC,UAAU,EAAE,EAAE,MAAM,KAAK,CAAC;IAC9C,CAAC,CAAC,MAAM;MACN;MACA,OAAO,KAAK;IACd;EACF,CAAC;EACD,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC;AACrE,CAAC;AAED,MAAM,IAAI,GAAG,CACX,GAAkB,EAClB,OAAgB,EAChB,QAAyB,EACzB,aAA6B,KACR;EACrB,MAAM,KAAK,GAAI,GAAkB,IAAK,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,YAAY,CAAC;EAC5E,MAAM,KAAK,GAAI,GAAkB,IAAK,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC;EAC1E,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,GAC3D,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,GACzC,aAAa,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,GACpD,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,GAC/C,SAAS;EACb,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;AACrD,CAAC;AAED,MAAM,cAAc,GAAG,CACrB,GAAkB,EAClB,KAAc,EACd,OAAgB,EAChB,OAA+B,KACe;EAC9C,MAAM,MAAM,GAAG,OAAO,GAAG,gBAAgB,IAAI,GAAG,GAAG,GAAG,CAAC,cAAc,GAAG,SAAS,GAAG,GAAG,CAAC,MAAM;EAC9F,OAAO,CAAC,OAAO,CAAC,aAAa,IAAI,MAAM,KAAK,SAAS,GACjD,SAAS,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,GAC/D,SAAS;AACf,CAAC;AAED,MAAM,KAAK,GAAG,CACZ,GAAkB,EAClB,KAAc,EACd,OAA+B,KACc;EAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;EACzD,OAAO,MAAM,KAAK,SAAS,GACvB,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,GAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,mBAAmB,GAAG,CAC1B,GAAsB,EACtB,KAAmC,EACnC,SAAqD,KAC1C;EACX,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,CAAC,IAAK,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CACxF;EACD,IAAI,SAAS,EAAE;IACb,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE;MAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1C;EACF;EACA,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAE,GAAG,IACrC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAC5E;AACH,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,KAAc,EAAE,OAA+B,KACtF,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAE/D,MAAM,eAAe,GAAG,CACtB,GAA8D,EAC9D,KAAa,EACb,KAAc,EACd,KAAc,EACd,OAA+B,KAE/B,KAAK,KAAK,CAAC,GACP,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,GAChC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAE5G,MAAM,qBAAqB,GAAG,CAC5B,GAA8D,EAC9D,KAAc,EACd,MAAiE,EACjE,OAA+B,KAC7B;EACF,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE;EACvD,OAAO,WAAW,CAAC,YAAY,CAC7B,GAAG,EACH,KAAK,EACL,OAAO,EACP,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CACvE;AACH,CAAC;AAED;;;AAGA,OAAO,MAAM,OAAO,GAAG;EACrB,MAAM;EACN,IAAI;EACJ,OAAO;EACP,WAAW;EACX,OAAO;EACP,OAAO,EAAE,cAAc,CAAC,OAAO;EAC/B,WAAW,EAAE,cAAc,CAAC,WAAW;EACvC,QAAQ,EAAE,cAAc,CAAC,QAAQ;EACjC,IAAI,EAAE,cAAc,CAAC,IAAI;EACzB,OAAO,EAAE,cAAc,CAAC,OAAO;EAC/B,YAAY;EACZ,GAAG,EAAE,MAAM,CAAC,GAAG;EACf,WAAW;EACX,eAAe;EACf,qBAAqB;EACrB,cAAc;EACd,KAAK;EACL,eAAe,EAAG,GAAsB,IACtC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,CAAC,IAAK,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;EACzF,mBAAmB;EACnB,sBAAsB,EAAE,CAAC,GAA8B,EAAE,KAAc,EAAE,OAA+B,KACtG,OAAO,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS;EAC1E,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;EAC9C,qBAAqB,EAAE,SAAS,CAAC,qBAAqB;EACtD,wBAAwB,EAAE,SAAS,CAAC,wBAAwB;EAC5D,wBAAwB,EAAE,SAAS,CAAC,wBAAwB;EAC5D,mBAAmB,EAAE,SAAS,CAAC;CAChC","ignoreList":[]}

package/dist/testing/TestSchema.d.ts

@@ -29,6 +29,7 @@ import * as SchemaIssue from "../SchemaIssue.ts";
  *
  * @see {@link Decoding}
  * @see {@link Encoding}
+ * @stability unstable
  * @category testing
  * @since 4.0.0
  */
@@ -55,19 +56,51 @@ export declare class Asserts<S extends Schema.Constraint> {
      * const fieldsB = { name: Schema.String }
      * TestSchema.Asserts.ast.fields.equals(fieldsA, fieldsB) // => undefined
      * ```
+     *
+     * @stability unstable
      */
     static ast: {
+        /**
+         * Groups schema field comparisons.
+         *
+         * @stability unstable
+         */
         readonly fields: {
+            /**
+             * Asserts that schema fields have equal AST structures.
+             *
+             * @stability unstable
+             */
             readonly equals: (a: Schema.Struct.Fields, b: Schema.Struct.Fields) => void;
         };
+        /**
+         * Groups tuple element comparisons.
+         *
+         * @stability unstable
+         */
         readonly elements: {
+            /**
+             * Asserts that tuple elements have equal AST structures.
+             *
+             * @stability unstable
+             */
             readonly equals: (a: Schema.Tuple.Elements, b: Schema.Tuple.Elements) => void;
         };
     };
+    /**
+     * Schema used by these assertions.
+     *
+     * @stability unstable
+     */
     readonly schema: S;
+    /**
+     * Creates assertions for a schema.
+     *
+     * @stability unstable
+     */
     constructor(schema: S);
     /**
-     * Returns an object with `succeed` and `fail` helpers for testing the schema's `make` operation.
+     * Returns Promise and Effect assertions for the schema's `make` operation.
      *
      * **When to use**
      *
@@ -77,6 +110,8 @@ export declare class Asserts<S extends Schema.Constraint> {
      * **Details**
      *
      * `succeed(input)` asserts make returns the input unchanged. `succeed(input, expected)` asserts make returns `expected`. `fail(input, message)` asserts make fails with `message`.
+     * `succeedEffect` and `failEffect` return lazy effects with the same assertions.
+     * Assertion mismatches are defects in the returned effects.
      *
      * **Example** (Testing make)
      *
@@ -91,12 +126,38 @@ export declare class Asserts<S extends Schema.Constraint> {
      *
      * @see {@link decoding} for assertions against decoded input
      * @see {@link encoding} for assertions against encoded output
+     * @stability unstable
      */
     make(options?: Schema.MakeOptions): {
+        /**
+         * Asserts that construction succeeds with the input or the explicit expected value.
+         *
+         * @stability unstable
+         */
         succeed: {
             (input: S["Type"]): Promise<void>;
             (input: S["~type.make.in"], expected: S["Type"]): Promise<void>;
         };
+        /**
+         * Returns a lazy construction success assertion whose mismatches are defects.
+         *
+         * @stability unstable
+         */
+        succeedEffect: {
+            (input: S["Type"]): Effect.Effect<void>;
+            (input: S["~type.make.in"], expected: S["Type"]): Effect.Effect<void>;
+        };
+        /**
+         * Returns a lazy assertion that construction fails with the expected issue message.
+         *
+         * @stability unstable
+         */
+        failEffect: (input: unknown, message: string) => Effect.Effect<void>;
+        /**
+         * Asserts that construction fails with the expected issue message.
+         *
+         * @stability unstable
+         */
         fail(input: unknown, message: string): Promise<void>;
     };
     /**
@@ -119,12 +180,45 @@ export declare class Asserts<S extends Schema.Constraint> {
      * import { TestSchema } from "effect/testing"
      *
      * const asserts = new TestSchema.Asserts(Schema.String)
-     * await asserts.verifyLosslessTransformation({ seed: 1, runs: 20 }) // => undefined
+     * await asserts.verifyRoundTrip({ seed: 1, runs: 20 }) // => undefined
      * ```
      *
      * @see {@link arbitrary} for checking that generated values satisfy the schema
+     * @see {@link verifyRoundTripEffect} for the Effect variant
+     * @stability unstable
      */
-    verifyLosslessTransformation<S extends Schema.ConstraintCodec<unknown, unknown>>(this: Asserts<S>, options?: Arbitrary.CheckOptions): Promise<void>;
+    verifyRoundTrip<S extends Schema.ConstraintCodec<unknown, unknown>>(this: Asserts<S>, options?: Arbitrary.CheckOptions): Promise<void>;
+    /**
+     * Returns a lazy property-based assertion that generated values survive an
+     * encode-then-decode round trip.
+     *
+     * **When to use**
+     *
+     * Use to check round trips with the calling fiber's decoding and encoding services.
+     *
+     * **Details**
+     *
+     * Assertion mismatches are defects containing the shrunk input and replay token.
+     * Schema defects and interruption propagate without becoming assertion failures.
+     *
+     * **Example** (Composing round-trip assertions)
+     *
+     * ```ts import.meta.vitest
+     * import { Effect, Schema } from "effect"
+     * import { TestSchema } from "effect/testing"
+     *
+     * const asserts = new TestSchema.Asserts(Schema.NumberFromString)
+     * const test = Effect.gen(function*() {
+     *   yield* asserts.decoding().succeedEffect("42", 42)
+     *   yield* asserts.verifyRoundTripEffect({ seed: 1, runs: 20 })
+     * })
+     * await Effect.runPromise(test) // => undefined
+     * ```
+     *
+     * @see {@link verifyRoundTrip} for the Promise variant
+     * @stability unstable
+     */
+    verifyRoundTripEffect(options?: Arbitrary.CheckOptions): Effect.Effect<void, never, S["DecodingServices"] | S["EncodingServices"]>;
     /**
      * Returns a {@link Decoding} instance for this schema with helpers for decoding assertions.
      *
@@ -150,6 +244,7 @@ export declare class Asserts<S extends Schema.Constraint> {
      *
      * @see {@link Decoding}
      * @see {@link encoding} for assertions in the opposite direction
+     * @stability unstable
      */
     decoding(options?: {
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
@@ -178,6 +273,7 @@ export declare class Asserts<S extends Schema.Constraint> {
      *
      * @see {@link Encoding}
      * @see {@link decoding} for assertions in the opposite direction
+     * @stability unstable
      */
     encoding(options?: {
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
@@ -205,9 +301,15 @@ export declare class Asserts<S extends Schema.Constraint> {
      * asserts.arbitrary().verifyGeneration({ seed: 1, runs: 20 }) // => undefined
      * ```
      *
-     * @see {@link verifyLosslessTransformation} for property-based round-trip checks
+     * @see {@link verifyRoundTrip} for property-based round-trip checks
+     * @stability unstable
      */
     arbitrary<S extends Schema.ConstraintCodec<unknown, unknown>>(this: Asserts<S>): {
+        /**
+         * Asserts that generated values satisfy the schema's predicate.
+         *
+         * @stability unstable
+         */
         verifyGeneration(options?: Arbitrary.CheckOptions): void;
     };
 }
@@ -220,7 +322,12 @@ export declare class Asserts<S extends Schema.Constraint> {
  *
  * **Details**
  *
- * All assertions are async and use `assert.deepStrictEqual` internally. `succeed(input)` asserts the decoded output equals `input`; `succeed(input, expected)` asserts it equals `expected`; `fail(input, message)` asserts decoding fails and the stringified issue equals `message`. `provide(key, impl)` returns a new `Decoding` with the service injected into the decoding context.
+ * `succeed` and `fail` return Promises. `succeedEffect` and `failEffect` return lazy
+ * effects that preserve required decoding services. All assertions use
+ * `assert.deepStrictEqual` internally. With one argument, success assertions
+ * compare the output to the input; with two, they compare it to `expected`.
+ * Failure assertions compare the formatted schema issue to `message`.
+ * `provide(key, impl)` returns a new `Decoding` with the service injected.
  *
  * **Example** (Decoding with service provision)
  *
@@ -235,15 +342,36 @@ export declare class Asserts<S extends Schema.Constraint> {
  *
  * @see {@link Asserts}
  * @see {@link Encoding}
+ * @stability unstable
  * @category testing
  * @since 4.0.0
  */
 export declare class Decoding<S extends Schema.Constraint> {
+    /**
+     * Schema used by these decoding assertions.
+     *
+     * @stability unstable
+     */
     readonly schema: S;
+    /**
+     * Decoder used by these assertions, preserving schema issues and required services.
+     *
+     * @stability unstable
+     */
     readonly decodeUnknownEffect: (input: unknown, options?: SchemaAST.ParseOptions) => Effect.Effect<S["Type"], SchemaIssue.Issue, S["DecodingServices"]>;
+    /**
+     * Parsing options used by these assertions.
+     *
+     * @stability unstable
+     */
     readonly options?: {
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
     } | undefined;
+    /**
+     * Creates decoding assertions for a schema and optional parsing options.
+     *
+     * @stability unstable
+     */
     constructor(schema: S, options?: {
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
     });
@@ -266,10 +394,30 @@ export declare class Decoding<S extends Schema.Constraint> {
      * await decoding.succeed("1", 1) // => undefined
      * ```
      *
+     * @see {@link succeedEffect} for the Effect variant
      * @see {@link fail} for asserting decoding failures
+     * @stability unstable
      */
     succeed<S extends Schema.ConstraintDecoder<unknown, never>>(this: Decoding<S>, input: unknown): Promise<void>;
     succeed<S extends Schema.ConstraintDecoder<unknown, never>>(this: Decoding<S>, input: unknown, expected: S["Type"]): Promise<void>;
+    /**
+     * Returns a lazy assertion that decoding succeeds with the input or the
+     * explicit expected value.
+     *
+     * **When to use**
+     *
+     * Use to assert decoding in an Effect test while preserving required decoding services.
+     *
+     * **Details**
+     *
+     * Assertion mismatches are defects. The decoder uses the calling fiber's services.
+     *
+     * @see {@link succeed} for the Promise variant
+     * @see {@link failEffect} for asserting decoding failures
+     * @stability unstable
+     */
+    succeedEffect(input: unknown): Effect.Effect<void, never, S["DecodingServices"]>;
+    succeedEffect(input: unknown, expected: S["Type"]): Effect.Effect<void, never, S["DecodingServices"]>;
     /**
      * Asserts that decoding `input` fails and the stringified issue equals
      * `message`.
@@ -288,9 +436,25 @@ export declare class Decoding<S extends Schema.Constraint> {
      * await decoding.fail(42, "Expected string") // => undefined
      * ```
      *
+     * @see {@link failEffect} for the Effect variant
      * @see {@link succeed} for asserting successful decoding
+     * @stability unstable
      */
     fail<S extends Schema.ConstraintDecoder<unknown, never>>(this: Decoding<S>, input: unknown, message: string): Promise<void>;
+    /**
+     * Returns a lazy assertion that decoding fails with the expected issue message.
+     *
+     * **Details**
+     *
+     * Assertion mismatches are defects. Schema defects and interruption propagate
+     * without satisfying the assertion. Required decoding services come from the
+     * calling fiber.
+     *
+     * @see {@link fail} for the Promise variant
+     * @see {@link succeedEffect} for asserting decoding success
+     * @stability unstable
+     */
+    failEffect(input: unknown, message: string): Effect.Effect<void, never, S["DecodingServices"]>;
     /**
      * Returns a new {@link Decoding} instance with the given service injected into the decoding effect context.
      *
@@ -299,6 +463,7 @@ export declare class Decoding<S extends Schema.Constraint> {
      * Use when the schema's decoder requires a service dependency.
      *
      * @see {@link Encoding.provide}
+     * @stability unstable
      */
     provide<Id, Service>(service: Context.Key<Id, Service>, implementation: Service): Decoding<Schema.middlewareDecoding<S, Exclude<S["DecodingServices"], Id>>>;
 }
@@ -311,7 +476,12 @@ export declare class Decoding<S extends Schema.Constraint> {
  *
  * **Details**
  *
- * All assertions are async and use `assert.deepStrictEqual` internally. `succeed(input)` asserts the encoded output equals `input`; `succeed(input, expected)` asserts it equals `expected`; `fail(input, message)` asserts encoding fails and the stringified issue equals `message`. `provide(key, impl)` returns a new `Encoding` with the service injected into the encoding context.
+ * `succeed` and `fail` return Promises. `succeedEffect` and `failEffect` return lazy
+ * effects that preserve required encoding services. All assertions use
+ * `assert.deepStrictEqual` internally. With one argument, success assertions
+ * compare the output to the input; with two, they compare it to `expected`.
+ * Failure assertions compare the formatted schema issue to `message`.
+ * `provide(key, impl)` returns a new `Encoding` with the service injected.
  *
  * **Example** (Encoding assertions)
  *
@@ -326,15 +496,36 @@ export declare class Decoding<S extends Schema.Constraint> {
  * @see {@link Asserts}
  * @see {@link Decoding}
  *
+ * @stability unstable
  * @category testing
  * @since 4.0.0
  */
 export declare class Encoding<S extends Schema.Constraint> {
+    /**
+     * Schema used by these encoding assertions.
+     *
+     * @stability unstable
+     */
     readonly schema: S;
+    /**
+     * Encoder used by these assertions, preserving schema issues and required services.
+     *
+     * @stability unstable
+     */
     readonly encodeUnknownEffect: (input: unknown, options?: SchemaAST.ParseOptions) => Effect.Effect<S["Encoded"], SchemaIssue.Issue, S["EncodingServices"]>;
+    /**
+     * Parsing options used by these assertions.
+     *
+     * @stability unstable
+     */
     readonly options?: {
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
     } | undefined;
+    /**
+     * Creates encoding assertions for a schema and optional parsing options.
+     *
+     * @stability unstable
+     */
     constructor(schema: S, options?: {
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
     });
@@ -357,10 +548,30 @@ export declare class Encoding<S extends Schema.Constraint> {
      * await encoding.succeed(1, "1") // => undefined
      * ```
      *
+     * @see {@link succeedEffect} for the Effect variant
      * @see {@link fail} for asserting encoding failures
+     * @stability unstable
      */
     succeed<S extends Schema.ConstraintEncoder<unknown, never>>(this: Encoding<S>, input: unknown): Promise<void>;
     succeed<S extends Schema.ConstraintEncoder<unknown, never>>(this: Encoding<S>, input: unknown, expected: S["Encoded"]): Promise<void>;
+    /**
+     * Returns a lazy assertion that encoding succeeds with the input or the
+     * explicit expected value.
+     *
+     * **When to use**
+     *
+     * Use to assert encoding in an Effect test while preserving required encoding services.
+     *
+     * **Details**
+     *
+     * Assertion mismatches are defects. The encoder uses the calling fiber's services.
+     *
+     * @see {@link succeed} for the Promise variant
+     * @see {@link failEffect} for asserting encoding failures
+     * @stability unstable
+     */
+    succeedEffect(input: unknown): Effect.Effect<void, never, S["EncodingServices"]>;
+    succeedEffect(input: unknown, expected: S["Encoded"]): Effect.Effect<void, never, S["EncodingServices"]>;
     /**
      * Asserts that encoding `input` fails and the stringified issue equals
      * `message`.
@@ -379,9 +590,25 @@ export declare class Encoding<S extends Schema.Constraint> {
      * await encoding.fail("not-a-number", "Expected number") // => undefined
      * ```
      *
+     * @see {@link failEffect} for the Effect variant
      * @see {@link succeed} for asserting successful encoding
+     * @stability unstable
      */
     fail<S extends Schema.ConstraintEncoder<unknown, never>>(this: Encoding<S>, input: unknown, message: string): Promise<void>;
+    /**
+     * Returns a lazy assertion that encoding fails with the expected issue message.
+     *
+     * **Details**
+     *
+     * Assertion mismatches are defects. Schema defects and interruption propagate
+     * without satisfying the assertion. Required encoding services come from the
+     * calling fiber.
+     *
+     * @see {@link fail} for the Promise variant
+     * @see {@link succeedEffect} for asserting encoding success
+     * @stability unstable
+     */
+    failEffect(input: unknown, message: string): Effect.Effect<void, never, S["EncodingServices"]>;
     /**
      * Returns a new {@link Encoding} instance with the given service injected into the encoding effect context.
      *
@@ -390,6 +617,7 @@ export declare class Encoding<S extends Schema.Constraint> {
      * Use when the schema's encoder requires a service dependency.
      *
      * @see {@link Decoding.provide}
+     * @stability unstable
      */
     provide<Id, Service>(service: Context.Key<Id, Service>, implementation: Service): Encoding<Schema.middlewareEncoding<S, Exclude<S["EncodingServices"], Id>>>;
 }

package/dist/testing/TestSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TestSchema.d.ts","sourceRoot":"","sources":["../../src/testing/TestSchema.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,SAAS,MAAM,iBAAiB,CAAA;AAC5C,OAAO,KAAK,KAAK,OAAO,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAGtC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,SAAS,MAAM,iBAAiB,CAAA;AAC5C,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAA;AAQhD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,qBAAa,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU;IAC9C;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,MAAM,CAAC,GAAG;iBACR,MAAM;qBACJ,MAAM,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;;iBAO3D,QAAQ;qBACN,MAAM,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,QAAQ;;MAIrD;IAEV,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,YAAY,MAAM,EAAE,CAAC,EAEpB;IACD;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW;;oBAED,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;oBACzB,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;;oBAajE,OAAO,WAAW,MAAM;MAU7C;IACD;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,4BAA4B,CAAC,CAAC,SAAS,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7E,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAChB,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAC/B,OAAO,CAAC,IAAI,CAAC,CAef;IACD;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,eAEA;IACD;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,eAEA;IACD;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAG1E,gBAAgB,WAAW,SAAS,CAAC,YAAY,GAAG,IAAI;MAM3D;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU;IAC/C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IACvE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,GAAG,SAAS,CAAA;IACb,YAAY,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE;QAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,EAIA;IACD;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,GAClB,OAAO,CAAC,IAAI,CAAC,CAAA;IAehB;;;;;;;;;;;;;;;;;;;OAmBG;IACG,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC3D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,iBAShB;IACD;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,EACjC,cAAc,EAAE,OAAO,GACtB,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAK5E;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU;IAC/C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAC1E,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,GAAG,SAAS,CAAA;IACb,YAAY,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE;QAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,EAIA;IACD;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,GACrB,OAAO,CAAC,IAAI,CAAC,CAAA;IAehB;;;;;;;;;;;;;;;;;;;OAmBG;IACG,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC3D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,iBAShB;IACD;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,EACjC,cAAc,EAAE,OAAO,GACtB,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAK5E;CACF"}
+{"version":3,"file":"TestSchema.d.ts","sourceRoot":"","sources":["../../src/testing/TestSchema.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,SAAS,MAAM,iBAAiB,CAAA;AAE5C,OAAO,KAAK,KAAK,OAAO,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAKtC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,SAAS,MAAM,iBAAiB,CAAA;AAC5C,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAA;AAkChD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,qBAAa,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU;IAC9C;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,MAAM,CAAC,GAAG;QACR;;;;WAIG;iBACH,MAAM;YACJ;;;;eAIG;qBACH,MAAM,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM;;QAO3D;;;;WAIG;iBACH,QAAQ;YACN;;;;eAIG;qBACH,MAAM,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,QAAQ;;MAIrD;IAEV;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB;;;;OAIG;IACH,YAAY,MAAM,EAAE,CAAC,EAEpB;IACD;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW;QAmB7B;;;;WAIG;;oBAbyB,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;oBACzB,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;;QAcnF;;;;WAIG;;oBA3ByB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC/B,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;QA4BzF;;;;WAIG;4BApBsB,OAAO,WAAW,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QAsBvE;;;;WAIG;oBACe,OAAO,WAAW,MAAM;MAI7C;IACD;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,EAChE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAChB,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAC/B,OAAO,CAAC,IAAI,CAAC,CAEf;IACD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,qBAAqB,CACnB,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAgB3E;IACD;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,eAEA;IACD;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,eAEA;IACD;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAG1E;;;;WAIG;QACH,gBAAgB,WAAW,SAAS,CAAC,YAAY,GAAG,IAAI;MAM3D;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,qBAAa,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IACvE;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,GAAG,SAAS,CAAA;IACb;;;;OAIG;IACH,YAAY,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE;QAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,EAIA;IACD;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACG,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,GAClB,OAAO,CAAC,IAAI,CAAC,CAAA;IAQhB;;;;;;;;;;;;;;;OAeG;IACH,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAChF,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAOrG;;;;;;;;;;;;;;;;;;;;;OAqBG;IACG,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC3D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,iBAGhB;IACD;;;;;;;;;;;;OAYG;IACH,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAE7F;IACD;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,EACjC,cAAc,EAAE,OAAO,GACtB,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAK5E;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,qBAAa,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAC1E;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,GAAG,SAAS,CAAA;IACb;;;;OAIG;IACH,YAAY,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE;QAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAA;KAC3D,EAIA;IACD;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACG,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,GACrB,OAAO,CAAC,IAAI,CAAC,CAAA;IAQhB;;;;;;;;;;;;;;;OAeG;IACH,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAChF,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAOxG;;;;;;;;;;;;;;;;;;;;;OAqBG;IACG,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAC3D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,iBAGhB;IACD;;;;;;;;;;;;OAYG;IACH,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAE7F;IACD;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,EACjC,cAAc,EAAE,OAAO,GACtB,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAK5E;CACF"}