effect 4.0.0-beta.24 → 4.0.0-beta.26

package/dist/unstable/sql/SqlResolver.js

@@ -56,15 +56,15 @@ export const SqlRequest = payload => {
 export const ordered = options => {
   const decodeArray = Schema.decodeUnknownEffect(Schema.Array(options.Result));
   return RequestResolver.makeGrouped({
-    key: entry => entry.services.mapUnsafe.get(SqlClient.TransactionConnection.key),
+    key: transactionKey,
     resolver: Effect.fnUntraced(function* (entries) {
       const inputs = yield* partitionRequests(entries, options.Request);
       const results = yield* options.execute(inputs).pipe(Effect.provideServices(entries[0].services));
       if (results.length !== inputs.length) {
-        return yield* Effect.fail(new ResultLengthMismatch({
+        return yield* new ResultLengthMismatch({
           expected: inputs.length,
           actual: results.length
-        }));
+        });
       }
       const decodedResults = yield* decodeArray(results).pipe(Effect.provideServices(entries[0].services));
       for (let i = 0; i < entries.length; i++) {
@@ -84,7 +84,7 @@ export const ordered = options => {
 export const grouped = options => {
   const decodeResults = Schema.decodeUnknownEffect(Schema.Array(options.Result));
   return RequestResolver.makeGrouped({
-    key: entry => entry.services.mapUnsafe.get(SqlClient.TransactionConnection.key),
+    key: transactionKey,
     resolver: Effect.fnUntraced(function* (entries) {
       const inputs = yield* partitionRequests(entries, options.Request);
       const resultMap = MutableHashMap.empty();
@@ -118,7 +118,11 @@ export const grouped = options => {
 export const findById = options => {
   const decodeResults = Schema.decodeUnknownEffect(Schema.Array(options.Result));
   return RequestResolver.makeGrouped({
-    key: entry => entry.services.mapUnsafe.get(SqlClient.TransactionConnection.key),
+    key(entry) {
+      const conn = entry.services.mapUnsafe.get(SqlClient.TransactionConnection.key);
+      if (!conn) return undefined;
+      return Equal.byReferenceUnsafe(conn);
+    },
     resolver: Effect.fnUntraced(function* (entries) {
       const [inputs, idMap] = yield* partitionRequestsById(entries, options.Id);
       const results = yield* options.execute(inputs).pipe(Effect.provideServices(entries[0].services));
@@ -143,7 +147,7 @@ export const findById = options => {
   });
 };
 const void_ = options => RequestResolver.makeGrouped({
-  key: entry => entry.services.mapUnsafe.get(SqlClient.TransactionConnection.key),
+  key: transactionKey,
   resolver: Effect.fnUntraced(function* (entries) {
     const inputs = yield* partitionRequests(entries, options.Request);
     yield* options.execute(inputs).pipe(Effect.provideServices(entries[0].services));
@@ -201,4 +205,9 @@ const partitionRequestsById = function* (requests, schema) {
   }
   return [inputs, byIdMap];
 };
+function transactionKey(entry) {
+  const conn = entry.services.mapUnsafe.get(SqlClient.TransactionConnection.key);
+  if (!conn) return undefined;
+  return Equal.byReferenceUnsafe(conn);
+}
 //# sourceMappingURL=SqlResolver.js.map

package/dist/unstable/sql/SqlResolver.js.map

@@ -1 +1 @@
-{"version":3,"file":"SqlResolver.js","names":["Arr","Cause","Effect","Equal","Exit","Hash","MutableHashMap","Request","RequestResolver","Schema","SqlClient","ResultLengthMismatch","SqlRequestProto","Class","prototype","symbol","that","equals","payload","hash","request","arguments","length","resolver","SqlRequest","succeed","self","Object","create","ordered","options","decodeArray","decodeUnknownEffect","Array","Result","makeGrouped","key","entry","services","mapUnsafe","get","TransactionConnection","fnUntraced","entries","inputs","partitionRequests","results","execute","pipe","provideServices","fail","expected","actual","decodedResults","i","completeUnsafe","grouped","decodeResults","resultMap","empty","len","result","ResultGroupKey","group","_tag","set","value","push","RequestGroupKey","constNoSuchElement","findById","idMap","partitionRequestsById","Id","id","ResultId","remove","isEmpty","forEach","void_","void","NoSuchElementError","requests","schema","encode","encodeEffect","handle","matchCauseEager","onFailure","cause","failCause","onSuccess","byIdMap"],"sources":["../../../src/unstable/sql/SqlResolver.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,cAAc,MAAM,yBAAyB;AACzD,OAAO,KAAKC,OAAO,MAAM,kBAAkB;AAC3C,OAAO,KAAKC,eAAe,MAAM,0BAA0B;AAC3D,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,SAAS,MAAM,gBAAgB;AAC3C,SAASC,oBAAoB,QAAQ,eAAe;AAUpD,MAAMC,eAAe,GAAG;EACtB,GAAGL,OAAO,CAACM,KAAK,CAACC,SAAS;EAC1B,CAACX,KAAK,CAACY,MAAM,EAEXC,IAAoC;IAEpC,OAAOb,KAAK,CAACc,MAAM,CAAC,IAAI,CAACC,OAAO,EAAEF,IAAI,CAACE,OAAO,CAAC;EACjD,CAAC;EACD,CAACb,IAAI,CAACU,MAAM,IAAC;IACX,OAAOV,IAAI,CAACc,IAAI,CAAC,IAAI,CAACD,OAAO,CAAC;EAChC;CACD;AAED;;;;AAIA,OAAO,MAAME,OAAO,GAchB,SAAAA,CAAA;EACF,IAAIC,SAAS,CAACC,MAAM,KAAK,CAAC,EAAE;IAC1B,MAAMC,QAAQ,GAAGF,SAAS,CAAC,CAAC,CAAC;IAC7B,OAAQH,OAAY,IAAKhB,MAAM,CAACkB,OAAO,CAACI,UAAU,CAACN,OAAO,CAAC,EAAEhB,MAAM,CAACuB,OAAO,CAACF,QAAQ,CAAC,CAAC;EACxF;EACA,OAAOrB,MAAM,CAACkB,OAAO,CAACI,UAAU,CAACH,SAAS,CAAC,CAAC,CAAC,CAAC,EAAEnB,MAAM,CAACuB,OAAO,CAACJ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAQ;AAER;;;;AAIA,OAAO,MAAMG,UAAU,GAAiBN,OAAW,IAA6B;EAC9E,MAAMQ,IAAI,GAAGC,MAAM,CAACC,MAAM,CAAChB,eAAe,CAAC;EAC3Cc,IAAI,CAACR,OAAO,GAAGA,OAAO;EACtB,OAAOQ,IAAI;AACb,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAMG,OAAO,GAClBC,OAMC,IAGC;EACF,MAAMC,WAAW,GAAGtB,MAAM,CAACuB,mBAAmB,CAACvB,MAAM,CAACwB,KAAK,CAACH,OAAO,CAACI,MAAM,CAAC,CAAC;EAC5E,OAAO1B,eAAe,CAAC2B,WAAW,CAQhC;IACAC,GAAG,EAAGC,KAAK,IAAKA,KAAK,CAACC,QAAQ,CAACC,SAAS,CAACC,GAAG,CAAC9B,SAAS,CAAC+B,qBAAqB,CAACL,GAAG,CAAC;IACjFb,QAAQ,EAAErB,MAAM,CAACwC,UAAU,CAAC,WAAUC,OAAO;MAC3C,MAAMC,MAAM,GAAG,OAAOC,iBAAiB,CAACF,OAAO,EAAEb,OAAO,CAACvB,OAAO,CAAC;MACjE,MAAMuC,OAAO,GAAG,OAAOhB,OAAO,CAACiB,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxD9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;MACD,IAAIQ,OAAO,CAACxB,MAAM,KAAKsB,MAAM,CAACtB,MAAM,EAAE;QACpC,OAAO,OAAOpB,MAAM,CAACgD,IAAI,CAAC,IAAIvC,oBAAoB,CAAC;UAAEwC,QAAQ,EAAEP,MAAM,CAACtB,MAAM;UAAE8B,MAAM,EAAEN,OAAO,CAACxB;QAAM,CAAE,CAAC,CAAC;MAC1G;MACA,MAAM+B,cAAc,GAAG,OAAOtB,WAAW,CAACe,OAAO,CAAC,CAACE,IAAI,CACrD9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;MACD,KAAK,IAAIgB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGX,OAAO,CAACrB,MAAM,EAAEgC,CAAC,EAAE,EAAE;QACvCX,OAAO,CAACW,CAAC,CAAC,CAACC,cAAc,CAACnD,IAAI,CAACqB,OAAO,CAAC4B,cAAc,CAACC,CAAC,CAAC,CAAC,CAAC;MAC5D;IACF,CAAC;GACF,CAAC;AACJ,CAAC;AAED;;;;;;;;AAQA,OAAO,MAAME,OAAO,GAClB1B,OAQC,IAQC;EACF,MAAM2B,aAAa,GAAGhD,MAAM,CAACuB,mBAAmB,CAACvB,MAAM,CAACwB,KAAK,CAACH,OAAO,CAACI,MAAM,CAAC,CAAC;EAE9E,OAAO1B,eAAe,CAAC2B,WAAW,CAQhC;IACAC,GAAG,EAAGC,KAAK,IAAKA,KAAK,CAACC,QAAQ,CAACC,SAAS,CAACC,GAAG,CAAC9B,SAAS,CAAC+B,qBAAqB,CAACL,GAAG,CAAC;IACjFb,QAAQ,EAAErB,MAAM,CAACwC,UAAU,CAAC,WAAUC,OAAO;MAC3C,MAAMC,MAAM,GAAG,OAAOC,iBAAiB,CAACF,OAAO,EAAEb,OAAO,CAACvB,OAAO,CAAC;MACjE,MAAMmD,SAAS,GAAGpD,cAAc,CAACqD,KAAK,EAAqC;MAC3E,MAAMb,OAAO,GAAG,OAAOhB,OAAO,CAACiB,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxD9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;MACD,MAAMe,cAAc,GAAG,OAAOI,aAAa,CAACX,OAAO,CAAC,CAACE,IAAI,CACvD9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;MACD,KAAK,IAAIgB,CAAC,GAAG,CAAC,EAAEM,GAAG,GAAGP,cAAc,CAAC/B,MAAM,EAAEgC,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;QACzD,MAAMO,MAAM,GAAGR,cAAc,CAACC,CAAC,CAAC;QAChC,MAAMlB,GAAG,GAAGN,OAAO,CAACgC,cAAc,CAACD,MAAM,EAAEf,OAAO,CAACQ,CAAC,CAAC,CAAC;QACtD,MAAMS,KAAK,GAAGzD,cAAc,CAACkC,GAAG,CAACkB,SAAS,EAAEtB,GAAG,CAAC;QAChD,IAAI2B,KAAK,CAACC,IAAI,KAAK,MAAM,EAAE;UACzB1D,cAAc,CAAC2D,GAAG,CAACP,SAAS,EAAEtB,GAAG,EAAE,CAACyB,MAAM,CAAC,CAAC;QAC9C,CAAC,MAAM;UACLE,KAAK,CAACG,KAAK,CAACC,IAAI,CAACN,MAAM,CAAC;QAC1B;MACF;MACA,KAAK,IAAIP,CAAC,GAAG,CAAC,EAAEM,GAAG,GAAGjB,OAAO,CAACrB,MAAM,EAAEgC,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;QAClD,MAAMjB,KAAK,GAAGM,OAAO,CAACW,CAAC,CAAC;QACxB,MAAMlB,GAAG,GAAGN,OAAO,CAACsC,eAAe,CAAC/B,KAAK,CAACjB,OAAO,CAACF,OAAO,CAAC;QAC1D,MAAM2C,MAAM,GAAGvD,cAAc,CAACkC,GAAG,CAACkB,SAAS,EAAEtB,GAAG,CAAC;QACjDC,KAAK,CAACkB,cAAc,CAClBM,MAAM,CAACG,IAAI,KAAK,MAAM,GAAGK,kBAAkB,GAAGjE,IAAI,CAACqB,OAAO,CAACoC,MAAM,CAACK,KAAK,CAAC,CACzE;MACH;IACF,CAAC;GACF,CAAC;AACJ,CAAC;AAED;;;;;;AAMA,OAAO,MAAMI,QAAQ,GACnBxC,OAOC,IAQC;EACF,MAAM2B,aAAa,GAAGhD,MAAM,CAACuB,mBAAmB,CAACvB,MAAM,CAACwB,KAAK,CAACH,OAAO,CAACI,MAAM,CAAC,CAAC;EAE9E,OAAO1B,eAAe,CAAC2B,WAAW,CAQhC;IACAC,GAAG,EAAGC,KAAK,IAAKA,KAAK,CAACC,QAAQ,CAACC,SAAS,CAACC,GAAG,CAAC9B,SAAS,CAAC+B,qBAAqB,CAACL,GAAG,CAAC;IACjFb,QAAQ,EAAErB,MAAM,CAACwC,UAAU,CAAC,WAAUC,OAAO;MAC3C,MAAM,CAACC,MAAM,EAAE2B,KAAK,CAAC,GAAG,OAAOC,qBAAqB,CAAC7B,OAAO,EAAEb,OAAO,CAAC2C,EAAE,CAAC;MACzE,MAAM3B,OAAO,GAAG,OAAOhB,OAAO,CAACiB,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxD9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;MACD,MAAMe,cAAc,GAAG,OAAOI,aAAa,CAACX,OAAO,CAAC,CAACE,IAAI,CACvD9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;MACD,KAAK,IAAIgB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,cAAc,CAAC/B,MAAM,EAAEgC,CAAC,EAAE,EAAE;QAC9C,MAAMO,MAAM,GAAGR,cAAc,CAACC,CAAC,CAAC;QAChC,MAAMoB,EAAE,GAAG5C,OAAO,CAAC6C,QAAQ,CAACd,MAAM,EAAEf,OAAO,CAACQ,CAAC,CAAC,CAAC;QAC/C,MAAMlC,OAAO,GAAGd,cAAc,CAACkC,GAAG,CAAC+B,KAAK,EAAEG,EAAE,CAAC;QAC7C,IAAItD,OAAO,CAAC4C,IAAI,KAAK,MAAM,EAAE;UAC3B;QACF;QACA1D,cAAc,CAACsE,MAAM,CAACL,KAAK,EAAEG,EAAE,CAAC;QAChCtD,OAAO,CAAC8C,KAAK,CAACX,cAAc,CAACnD,IAAI,CAACqB,OAAO,CAACoC,MAAM,CAAC,CAAC;MACpD;MACA,IAAIvD,cAAc,CAACuE,OAAO,CAACN,KAAK,CAAC,EAAE;QACjC;MACF;MACAjE,cAAc,CAACwE,OAAO,CAACP,KAAK,EAAGnD,OAAO,IAAI;QACxCA,OAAO,CAACmC,cAAc,CAACc,kBAAkB,CAAC;MAC5C,CAAC,CAAC;IACJ,CAAC;GACF,CAAC;AACJ,CAAC;AAED,MAAMU,KAAK,GACTjD,OAKC,IASDtB,eAAe,CAAC2B,WAAW,CAQzB;EACAC,GAAG,EAAGC,KAAK,IAAKA,KAAK,CAACC,QAAQ,CAACC,SAAS,CAACC,GAAG,CAAC9B,SAAS,CAAC+B,qBAAqB,CAACL,GAAG,CAAC;EACjFb,QAAQ,EAAErB,MAAM,CAACwC,UAAU,CAAC,WAAUC,OAAO;IAC3C,MAAMC,MAAM,GAAG,OAAOC,iBAAiB,CAACF,OAAO,EAAEb,OAAO,CAACvB,OAAO,CAAC;IACjE,OAAOuB,OAAO,CAACiB,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxC9C,MAAM,CAAC+C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACL,QAAQ,CAAC,CAC5C;IACD,KAAK,IAAIgB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGX,OAAO,CAACrB,MAAM,EAAEgC,CAAC,EAAE,EAAE;MACvCX,OAAO,CAACW,CAAC,CAAC,CAACC,cAAc,CAACnD,IAAI,CAAC4E,IAAI,CAAC;IACtC;EACF,CAAC;CACF,CAAC;AAEJ;AACE;;;;;;AAMAD,KAAK,IAAIC,IAAI;AAGf,MAAMX,kBAAkB,gBAAGjE,IAAI,CAAC8C,IAAI,cAAC,IAAIjD,KAAK,CAACgF,kBAAkB,EAAE,CAAC;AAEpE,MAAMpC,iBAAiB,GAAG,UAAAA,CACxBqC,QAAmE,EACnEC,MAAmC;EAEnC,MAAMvB,GAAG,GAAGsB,QAAQ,CAAC5D,MAAM;EAC3B,MAAMsB,MAAM,GAAG5C,GAAG,CAAC2D,KAAK,EAAO;EAC/B,IAAItB,KAA8C;EAClD,MAAM+C,MAAM,GAAG3E,MAAM,CAAC4E,YAAY,CAACF,MAAM,CAAC;EAC1C,MAAMG,MAAM,GAAGpF,MAAM,CAACqF,eAAe,CAAC;IACpCC,SAASA,CAACC,KAAsC;MAC9CpD,KAAK,CAACkB,cAAc,CAACnD,IAAI,CAACsF,SAAS,CAACD,KAAK,CAAC,CAAC;IAC7C,CAAC;IACDE,SAASA,CAACzB,KAAU;MAClBtB,MAAM,CAACuB,IAAI,CAACD,KAAK,CAAC;IACpB;GACD,CAAC;EAEF,KAAK,IAAIZ,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;IAC5BjB,KAAK,GAAG6C,QAAQ,CAAC5B,CAAC,CAAC;IACnB,MAAOpD,MAAM,CAAC+C,eAAe,CAACqC,MAAM,CAACF,MAAM,CAAC/C,KAAK,CAACjB,OAAO,CAACF,OAAO,CAAC,CAAC,EAAEmB,KAAK,CAACC,QAAQ,CAAyB;EAC9G;EAEA,OAAOM,MAAM;AACf,CAAC;AAED,MAAM4B,qBAAqB,GAAG,UAAAA,CAC5BU,QAA+D,EAC/DC,MAAmC;EAEnC,MAAMvB,GAAG,GAAGsB,QAAQ,CAAC5D,MAAM;EAC3B,MAAMsB,MAAM,GAAG5C,GAAG,CAAC2D,KAAK,EAAO;EAC/B,MAAMiC,OAAO,GAAGtF,cAAc,CAACqD,KAAK,EAA8C;EAClF,IAAItB,KAA8C;EAClD,MAAM+C,MAAM,GAAG3E,MAAM,CAAC4E,YAAY,CAACF,MAAM,CAAC;EAC1C,MAAMG,MAAM,GAAGpF,MAAM,CAACqF,eAAe,CAAC;IACpCC,SAASA,CAACC,KAAsC;MAC9CpD,KAAK,CAACkB,cAAc,CAACnD,IAAI,CAACsF,SAAS,CAACD,KAAK,CAAC,CAAC;IAC7C,CAAC;IACDE,SAASA,CAACzB,KAAU;MAClBtB,MAAM,CAACuB,IAAI,CAACD,KAAK,CAAC;IACpB;GACD,CAAC;EAEF,KAAK,IAAIZ,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;IAC5BjB,KAAK,GAAG6C,QAAQ,CAAC5B,CAAC,CAAC;IACnB,MAAOpD,MAAM,CAAC+C,eAAe,CAACqC,MAAM,CAACF,MAAM,CAAC/C,KAAK,CAACjB,OAAO,CAACF,OAAO,CAAC,CAAC,EAAEmB,KAAK,CAACC,QAAQ,CAAyB;IAC5GhC,cAAc,CAAC2D,GAAG,CAAC2B,OAAO,EAAEvD,KAAK,CAACjB,OAAO,CAACF,OAAO,EAAEmB,KAAK,CAAC;EAC3D;EAEA,OAAO,CAACO,MAAM,EAAEgD,OAAO,CAAU;AACnC,CAAC","ignoreList":[]}
+{"version":3,"file":"SqlResolver.js","names":["Arr","Cause","Effect","Equal","Exit","Hash","MutableHashMap","Request","RequestResolver","Schema","SqlClient","ResultLengthMismatch","SqlRequestProto","Class","prototype","symbol","that","equals","payload","hash","request","arguments","length","resolver","SqlRequest","succeed","self","Object","create","ordered","options","decodeArray","decodeUnknownEffect","Array","Result","makeGrouped","key","transactionKey","fnUntraced","entries","inputs","partitionRequests","results","execute","pipe","provideServices","services","expected","actual","decodedResults","i","completeUnsafe","grouped","decodeResults","resultMap","empty","len","result","ResultGroupKey","group","get","_tag","set","value","push","entry","RequestGroupKey","constNoSuchElement","findById","conn","mapUnsafe","TransactionConnection","undefined","byReferenceUnsafe","idMap","partitionRequestsById","Id","id","ResultId","remove","isEmpty","forEach","void_","void","fail","NoSuchElementError","requests","schema","encode","encodeEffect","handle","matchCauseEager","onFailure","cause","failCause","onSuccess","byIdMap"],"sources":["../../../src/unstable/sql/SqlResolver.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,cAAc,MAAM,yBAAyB;AACzD,OAAO,KAAKC,OAAO,MAAM,kBAAkB;AAC3C,OAAO,KAAKC,eAAe,MAAM,0BAA0B;AAC3D,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,SAAS,MAAM,gBAAgB;AAC3C,SAASC,oBAAoB,QAAQ,eAAe;AAUpD,MAAMC,eAAe,GAAG;EACtB,GAAGL,OAAO,CAACM,KAAK,CAACC,SAAS;EAC1B,CAACX,KAAK,CAACY,MAAM,EAEXC,IAAoC;IAEpC,OAAOb,KAAK,CAACc,MAAM,CAAC,IAAI,CAACC,OAAO,EAAEF,IAAI,CAACE,OAAO,CAAC;EACjD,CAAC;EACD,CAACb,IAAI,CAACU,MAAM,IAAC;IACX,OAAOV,IAAI,CAACc,IAAI,CAAC,IAAI,CAACD,OAAO,CAAC;EAChC;CACD;AAED;;;;AAIA,OAAO,MAAME,OAAO,GAchB,SAAAA,CAAA;EACF,IAAIC,SAAS,CAACC,MAAM,KAAK,CAAC,EAAE;IAC1B,MAAMC,QAAQ,GAAGF,SAAS,CAAC,CAAC,CAAC;IAC7B,OAAQH,OAAY,IAAKhB,MAAM,CAACkB,OAAO,CAACI,UAAU,CAACN,OAAO,CAAC,EAAEhB,MAAM,CAACuB,OAAO,CAACF,QAAQ,CAAC,CAAC;EACxF;EACA,OAAOrB,MAAM,CAACkB,OAAO,CAACI,UAAU,CAACH,SAAS,CAAC,CAAC,CAAC,CAAC,EAAEnB,MAAM,CAACuB,OAAO,CAACJ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAQ;AAER;;;;AAIA,OAAO,MAAMG,UAAU,GAAiBN,OAAW,IAA6B;EAC9E,MAAMQ,IAAI,GAAGC,MAAM,CAACC,MAAM,CAAChB,eAAe,CAAC;EAC3Cc,IAAI,CAACR,OAAO,GAAGA,OAAO;EACtB,OAAOQ,IAAI;AACb,CAAC;AAED;;;;;;;;;;;AAWA,OAAO,MAAMG,OAAO,GAClBC,OAMC,IAGC;EACF,MAAMC,WAAW,GAAGtB,MAAM,CAACuB,mBAAmB,CAACvB,MAAM,CAACwB,KAAK,CAACH,OAAO,CAACI,MAAM,CAAC,CAAC;EAC5E,OAAO1B,eAAe,CAAC2B,WAAW,CAQhC;IACAC,GAAG,EAAEC,cAAc;IACnBd,QAAQ,EAAErB,MAAM,CAACoC,UAAU,CAAC,WAAUC,OAAO;MAC3C,MAAMC,MAAM,GAAG,OAAOC,iBAAiB,CAACF,OAAO,EAAET,OAAO,CAACvB,OAAO,CAAC;MACjE,MAAMmC,OAAO,GAAG,OAAOZ,OAAO,CAACa,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxD1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;MACD,IAAIJ,OAAO,CAACpB,MAAM,KAAKkB,MAAM,CAAClB,MAAM,EAAE;QACpC,OAAO,OAAO,IAAIX,oBAAoB,CAAC;UAAEoC,QAAQ,EAAEP,MAAM,CAAClB,MAAM;UAAE0B,MAAM,EAAEN,OAAO,CAACpB;QAAM,CAAE,CAAC;MAC7F;MACA,MAAM2B,cAAc,GAAG,OAAOlB,WAAW,CAACW,OAAO,CAAC,CAACE,IAAI,CACrD1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;MACD,KAAK,IAAII,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGX,OAAO,CAACjB,MAAM,EAAE4B,CAAC,EAAE,EAAE;QACvCX,OAAO,CAACW,CAAC,CAAC,CAACC,cAAc,CAAC/C,IAAI,CAACqB,OAAO,CAACwB,cAAc,CAACC,CAAC,CAAC,CAAC,CAAC;MAC5D;IACF,CAAC;GACF,CAAC;AACJ,CAAC;AAED;;;;;;;;AAQA,OAAO,MAAME,OAAO,GAClBtB,OAQC,IAQC;EACF,MAAMuB,aAAa,GAAG5C,MAAM,CAACuB,mBAAmB,CAACvB,MAAM,CAACwB,KAAK,CAACH,OAAO,CAACI,MAAM,CAAC,CAAC;EAE9E,OAAO1B,eAAe,CAAC2B,WAAW,CAQhC;IACAC,GAAG,EAAEC,cAAc;IACnBd,QAAQ,EAAErB,MAAM,CAACoC,UAAU,CAAC,WAAUC,OAAO;MAC3C,MAAMC,MAAM,GAAG,OAAOC,iBAAiB,CAACF,OAAO,EAAET,OAAO,CAACvB,OAAO,CAAC;MACjE,MAAM+C,SAAS,GAAGhD,cAAc,CAACiD,KAAK,EAAqC;MAC3E,MAAMb,OAAO,GAAG,OAAOZ,OAAO,CAACa,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxD1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;MACD,MAAMG,cAAc,GAAG,OAAOI,aAAa,CAACX,OAAO,CAAC,CAACE,IAAI,CACvD1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;MACD,KAAK,IAAII,CAAC,GAAG,CAAC,EAAEM,GAAG,GAAGP,cAAc,CAAC3B,MAAM,EAAE4B,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;QACzD,MAAMO,MAAM,GAAGR,cAAc,CAACC,CAAC,CAAC;QAChC,MAAMd,GAAG,GAAGN,OAAO,CAAC4B,cAAc,CAACD,MAAM,EAAEf,OAAO,CAACQ,CAAC,CAAC,CAAC;QACtD,MAAMS,KAAK,GAAGrD,cAAc,CAACsD,GAAG,CAACN,SAAS,EAAElB,GAAG,CAAC;QAChD,IAAIuB,KAAK,CAACE,IAAI,KAAK,MAAM,EAAE;UACzBvD,cAAc,CAACwD,GAAG,CAACR,SAAS,EAAElB,GAAG,EAAE,CAACqB,MAAM,CAAC,CAAC;QAC9C,CAAC,MAAM;UACLE,KAAK,CAACI,KAAK,CAACC,IAAI,CAACP,MAAM,CAAC;QAC1B;MACF;MACA,KAAK,IAAIP,CAAC,GAAG,CAAC,EAAEM,GAAG,GAAGjB,OAAO,CAACjB,MAAM,EAAE4B,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;QAClD,MAAMe,KAAK,GAAG1B,OAAO,CAACW,CAAC,CAAC;QACxB,MAAMd,GAAG,GAAGN,OAAO,CAACoC,eAAe,CAACD,KAAK,CAAC7C,OAAO,CAACF,OAAO,CAAC;QAC1D,MAAMuC,MAAM,GAAGnD,cAAc,CAACsD,GAAG,CAACN,SAAS,EAAElB,GAAG,CAAC;QACjD6B,KAAK,CAACd,cAAc,CAClBM,MAAM,CAACI,IAAI,KAAK,MAAM,GAAGM,kBAAkB,GAAG/D,IAAI,CAACqB,OAAO,CAACgC,MAAM,CAACM,KAAK,CAAC,CACzE;MACH;IACF,CAAC;GACF,CAAC;AACJ,CAAC;AAED;;;;;;AAMA,OAAO,MAAMK,QAAQ,GACnBtC,OAOC,IAQC;EACF,MAAMuB,aAAa,GAAG5C,MAAM,CAACuB,mBAAmB,CAACvB,MAAM,CAACwB,KAAK,CAACH,OAAO,CAACI,MAAM,CAAC,CAAC;EAE9E,OAAO1B,eAAe,CAAC2B,WAAW,CAQhC;IACAC,GAAGA,CAAC6B,KAAK;MACP,MAAMI,IAAI,GAAGJ,KAAK,CAACnB,QAAQ,CAACwB,SAAS,CAACV,GAAG,CAAClD,SAAS,CAAC6D,qBAAqB,CAACnC,GAAG,CAAC;MAC9E,IAAI,CAACiC,IAAI,EAAE,OAAOG,SAAS;MAC3B,OAAOrE,KAAK,CAACsE,iBAAiB,CAACJ,IAAI,CAAC;IACtC,CAAC;IACD9C,QAAQ,EAAErB,MAAM,CAACoC,UAAU,CAAC,WAAUC,OAAO;MAC3C,MAAM,CAACC,MAAM,EAAEkC,KAAK,CAAC,GAAG,OAAOC,qBAAqB,CAACpC,OAAO,EAAET,OAAO,CAAC8C,EAAE,CAAC;MACzE,MAAMlC,OAAO,GAAG,OAAOZ,OAAO,CAACa,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxD1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;MACD,MAAMG,cAAc,GAAG,OAAOI,aAAa,CAACX,OAAO,CAAC,CAACE,IAAI,CACvD1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;MACD,KAAK,IAAII,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,cAAc,CAAC3B,MAAM,EAAE4B,CAAC,EAAE,EAAE;QAC9C,MAAMO,MAAM,GAAGR,cAAc,CAACC,CAAC,CAAC;QAChC,MAAM2B,EAAE,GAAG/C,OAAO,CAACgD,QAAQ,CAACrB,MAAM,EAAEf,OAAO,CAACQ,CAAC,CAAC,CAAC;QAC/C,MAAM9B,OAAO,GAAGd,cAAc,CAACsD,GAAG,CAACc,KAAK,EAAEG,EAAE,CAAC;QAC7C,IAAIzD,OAAO,CAACyC,IAAI,KAAK,MAAM,EAAE;UAC3B;QACF;QACAvD,cAAc,CAACyE,MAAM,CAACL,KAAK,EAAEG,EAAE,CAAC;QAChCzD,OAAO,CAAC2C,KAAK,CAACZ,cAAc,CAAC/C,IAAI,CAACqB,OAAO,CAACgC,MAAM,CAAC,CAAC;MACpD;MACA,IAAInD,cAAc,CAAC0E,OAAO,CAACN,KAAK,CAAC,EAAE;QACjC;MACF;MACApE,cAAc,CAAC2E,OAAO,CAACP,KAAK,EAAGtD,OAAO,IAAI;QACxCA,OAAO,CAAC+B,cAAc,CAACgB,kBAAkB,CAAC;MAC5C,CAAC,CAAC;IACJ,CAAC;GACF,CAAC;AACJ,CAAC;AAED,MAAMe,KAAK,GACTpD,OAKC,IASDtB,eAAe,CAAC2B,WAAW,CAQzB;EACAC,GAAG,EAAEC,cAAc;EACnBd,QAAQ,EAAErB,MAAM,CAACoC,UAAU,CAAC,WAAUC,OAAO;IAC3C,MAAMC,MAAM,GAAG,OAAOC,iBAAiB,CAACF,OAAO,EAAET,OAAO,CAACvB,OAAO,CAAC;IACjE,OAAOuB,OAAO,CAACa,OAAO,CAACH,MAAa,CAAC,CAACI,IAAI,CACxC1C,MAAM,CAAC2C,eAAe,CAACN,OAAO,CAAC,CAAC,CAAC,CAACO,QAAQ,CAAC,CAC5C;IACD,KAAK,IAAII,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGX,OAAO,CAACjB,MAAM,EAAE4B,CAAC,EAAE,EAAE;MACvCX,OAAO,CAACW,CAAC,CAAC,CAACC,cAAc,CAAC/C,IAAI,CAAC+E,IAAI,CAAC;IACtC;EACF,CAAC;CACF,CAAC;AAEJ;AACE;;;;;;AAMAD,KAAK,IAAIC,IAAI;AAGf,MAAMhB,kBAAkB,gBAAG/D,IAAI,CAACgF,IAAI,cAAC,IAAInF,KAAK,CAACoF,kBAAkB,EAAE,CAAC;AAEpE,MAAM5C,iBAAiB,GAAG,UAAAA,CACxB6C,QAAmE,EACnEC,MAAmC;EAEnC,MAAM/B,GAAG,GAAG8B,QAAQ,CAAChE,MAAM;EAC3B,MAAMkB,MAAM,GAAGxC,GAAG,CAACuD,KAAK,EAAO;EAC/B,IAAIU,KAA8C;EAClD,MAAMuB,MAAM,GAAG/E,MAAM,CAACgF,YAAY,CAACF,MAAM,CAAC;EAC1C,MAAMG,MAAM,GAAGxF,MAAM,CAACyF,eAAe,CAAC;IACpCC,SAASA,CAACC,KAAsC;MAC9C5B,KAAK,CAACd,cAAc,CAAC/C,IAAI,CAAC0F,SAAS,CAACD,KAAK,CAAC,CAAC;IAC7C,CAAC;IACDE,SAASA,CAAChC,KAAU;MAClBvB,MAAM,CAACwB,IAAI,CAACD,KAAK,CAAC;IACpB;GACD,CAAC;EAEF,KAAK,IAAIb,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;IAC5Be,KAAK,GAAGqB,QAAQ,CAACpC,CAAC,CAAC;IACnB,MAAOhD,MAAM,CAAC2C,eAAe,CAAC6C,MAAM,CAACF,MAAM,CAACvB,KAAK,CAAC7C,OAAO,CAACF,OAAO,CAAC,CAAC,EAAE+C,KAAK,CAACnB,QAAQ,CAAyB;EAC9G;EAEA,OAAON,MAAM;AACf,CAAC;AAED,MAAMmC,qBAAqB,GAAG,UAAAA,CAC5BW,QAA+D,EAC/DC,MAAmC;EAEnC,MAAM/B,GAAG,GAAG8B,QAAQ,CAAChE,MAAM;EAC3B,MAAMkB,MAAM,GAAGxC,GAAG,CAACuD,KAAK,EAAO;EAC/B,MAAMyC,OAAO,GAAG1F,cAAc,CAACiD,KAAK,EAA8C;EAClF,IAAIU,KAA8C;EAClD,MAAMuB,MAAM,GAAG/E,MAAM,CAACgF,YAAY,CAACF,MAAM,CAAC;EAC1C,MAAMG,MAAM,GAAGxF,MAAM,CAACyF,eAAe,CAAC;IACpCC,SAASA,CAACC,KAAsC;MAC9C5B,KAAK,CAACd,cAAc,CAAC/C,IAAI,CAAC0F,SAAS,CAACD,KAAK,CAAC,CAAC;IAC7C,CAAC;IACDE,SAASA,CAAChC,KAAU;MAClBvB,MAAM,CAACwB,IAAI,CAACD,KAAK,CAAC;IACpB;GACD,CAAC;EAEF,KAAK,IAAIb,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGM,GAAG,EAAEN,CAAC,EAAE,EAAE;IAC5Be,KAAK,GAAGqB,QAAQ,CAACpC,CAAC,CAAC;IACnB,MAAOhD,MAAM,CAAC2C,eAAe,CAAC6C,MAAM,CAACF,MAAM,CAACvB,KAAK,CAAC7C,OAAO,CAACF,OAAO,CAAC,CAAC,EAAE+C,KAAK,CAACnB,QAAQ,CAAyB;IAC5GxC,cAAc,CAACwD,GAAG,CAACkC,OAAO,EAAE/B,KAAK,CAAC7C,OAAO,CAACF,OAAO,EAAE+C,KAAK,CAAC;EAC3D;EAEA,OAAO,CAACzB,MAAM,EAAEwD,OAAO,CAAU;AACnC,CAAC;AAED,SAAS3D,cAAcA,CAAI4B,KAAuB;EAChD,MAAMI,IAAI,GAAGJ,KAAK,CAACnB,QAAQ,CAACwB,SAAS,CAACV,GAAG,CAAClD,SAAS,CAAC6D,qBAAqB,CAACnC,GAAG,CAAC;EAC9E,IAAI,CAACiC,IAAI,EAAE,OAAOG,SAAS;EAC3B,OAAOrE,KAAK,CAACsE,iBAAiB,CAACJ,IAAI,CAAC;AACtC","ignoreList":[]}

package/dist/unstable/sql/SqlSchema.d.ts

@@ -16,7 +16,7 @@ export declare const findAll: <Req extends Schema.Top, Res extends Schema.Top, E
     readonly Request: Req;
     readonly Result: Res;
     readonly execute: (request: Req["Encoded"]) => Effect.Effect<ReadonlyArray<unknown>, E, R>;
-}) => (request: Req["Encoded"]) => Effect.Effect<Array<Res["Type"]>, E | Schema.SchemaError, Req["EncodingServices"] | Res["DecodingServices"] | R>;
+}) => (request: Req["Type"]) => Effect.Effect<Array<Res["Type"]>, E | Schema.SchemaError, Req["EncodingServices"] | Res["DecodingServices"] | R>;
 /**
  * Run a sql query with a request schema and a result schema.
  *
@@ -27,7 +27,7 @@ export declare const findNonEmpty: <Req extends Schema.Top, Res extends Schema.T
     readonly Request: Req;
     readonly Result: Res;
     readonly execute: (request: Req["Encoded"]) => Effect.Effect<ReadonlyArray<unknown>, E, R>;
-}) => (request: Req["Encoded"]) => Effect.Effect<Arr.NonEmptyArray<Res["Type"]>, E | Schema.SchemaError | Cause.NoSuchElementError, Req["EncodingServices"] | Res["DecodingServices"] | R>;
+}) => (request: Req["Type"]) => Effect.Effect<Arr.NonEmptyArray<Res["Type"]>, E | Schema.SchemaError | Cause.NoSuchElementError, Req["EncodingServices"] | Res["DecodingServices"] | R>;
 declare const void_: <Req extends Schema.Top, E, R>(options: {
     readonly Request: Req;
     readonly execute: (request: Req["Encoded"]) => Effect.Effect<unknown, E, R>;

package/dist/unstable/sql/SqlSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SqlSchema.d.ts","sourceRoot":"","sources":["../../../src/unstable/sql/SqlSchema.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC1E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,SAAS,CAAC,KACtB,MAAM,CAAC,MAAM,CACd,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAClB,CAAC,GAAG,MAAM,CAAC,WAAW,EACtB,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAExD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC/E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAIC,SAAS,GAAG,CAAC,SAAS,CAAC,KACtB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC9B,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAMxD,CAAA;AAED,QAAA,MAAM,KAAK,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACzC,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5E,MAGO,SAAS,GAAG,CAAC,MAAM,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAIvG,CAAA;AACD,OAAO;AACL;;;;;GAKG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC1E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,MAAM,CAAC,EACX,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAChF,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC1B,CAAC,GAAG,MAAM,CAAC,WAAW,EACtB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA"}
+{"version":3,"file":"SqlSchema.d.ts","sourceRoot":"","sources":["../../../src/unstable/sql/SqlSchema.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC1E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAClB,CAAC,GAAG,MAAM,CAAC,WAAW,EACtB,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAExD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC/E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAIC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC9B,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAMxD,CAAA;AAED,QAAA,MAAM,KAAK,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACzC,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5E,MAGO,SAAS,GAAG,CAAC,MAAM,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAIvG,CAAA;AACD,OAAO;AACL;;;;;GAKG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC1E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,MAAM,CAAC,EACX,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAChF,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC1B,CAAC,GAAG,MAAM,CAAC,WAAW,EACtB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA"}

package/dist/unstable/sql/SqlSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"SqlSchema.js","names":["Arr","Cause","Effect","Schema","findAll","options","encodeRequest","encodeEffect","Request","decode","decodeUnknownEffect","mutable","Array","Result","request","flatMap","execute","findNonEmpty","find","results","isArrayNonEmpty","succeed","fail","NoSuchElementError","void_","encode","asVoid","void","findOne","arr","isReadonlyArrayNonEmpty","findOneOption","asSome","succeedNone"],"sources":["../../../src/unstable/sql/SqlSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC;;;;;;AAMA,OAAO,MAAMC,OAAO,GAClBC,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACP,MAAM,CAACQ,OAAO,CAACR,MAAM,CAACS,KAAK,CAACP,OAAO,CAACQ,MAAM,CAAC,CAAC,CAAC;EACvF,OACEC,OAAuB,IAKpBZ,MAAM,CAACa,OAAO,CAACb,MAAM,CAACa,OAAO,CAACT,aAAa,CAACQ,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,EAAEP,MAAM,CAAC;AACtF,CAAC;AAED;;;;;;AAMA,OAAO,MAAMQ,YAAY,GACvBZ,OAIC,IACC;EACF,MAAMa,IAAI,GAAGd,OAAO,CAACC,OAAO,CAAC;EAC7B,OACES,OAAuB,IAMvBZ,MAAM,CAACa,OAAO,CAACG,IAAI,CAACJ,OAAO,CAAC,EAAGK,OAAO,IACpCnB,GAAG,CAACoB,eAAe,CAACD,OAAO,CAAC,GACxBjB,MAAM,CAACmB,OAAO,CAACF,OAAO,CAAC,GACvBjB,MAAM,CAACoB,IAAI,CAAC,IAAIrB,KAAK,CAACsB,kBAAkB,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,MAAMC,KAAK,GACTnB,OAGC,IACC;EACF,MAAMoB,MAAM,GAAGtB,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EACnD,OAAQM,OAAoB,IAC1BZ,MAAM,CAACwB,MAAM,CACXxB,MAAM,CAACa,OAAO,CAACU,MAAM,CAACX,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,CACjD;AACL,CAAC;AACD;AACE;;;;;;AAMAQ,KAAK,IAAIG,IAAI;AAGf;;;;;;AAMA,OAAO,MAAMC,OAAO,GAClBvB,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACQ,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBZ,MAAM,CAACa,OAAO,CACZb,MAAM,CAACa,OAAO,CAACT,aAAa,CAACQ,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,EACtDa,GAAG,IAIC7B,GAAG,CAAC8B,uBAAuB,CAACD,GAAG,CAAC,GAAGpB,MAAM,CAACoB,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG3B,MAAM,CAACoB,IAAI,CAAC,IAAIrB,KAAK,CAACsB,kBAAkB,EAAE,CAAC,CACrG;AACL,CAAC;AAED;;;;;;AAMA,OAAO,MAAMQ,aAAa,GACxB1B,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACQ,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBZ,MAAM,CAACa,OAAO,CACZb,MAAM,CAACa,OAAO,CAACT,aAAa,CAACQ,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,EACtDa,GAAG,IAIC7B,GAAG,CAAC8B,uBAAuB,CAACD,GAAG,CAAC,GAAG3B,MAAM,CAAC8B,MAAM,CAACvB,MAAM,CAACoB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG3B,MAAM,CAAC+B,WAAW,CAC3F;AACL,CAAC","ignoreList":[]}
+{"version":3,"file":"SqlSchema.js","names":["Arr","Cause","Effect","Schema","findAll","options","encodeRequest","encodeEffect","Request","decode","decodeUnknownEffect","mutable","Array","Result","request","flatMap","execute","findNonEmpty","find","results","isArrayNonEmpty","succeed","fail","NoSuchElementError","void_","encode","asVoid","void","findOne","arr","isReadonlyArrayNonEmpty","findOneOption","asSome","succeedNone"],"sources":["../../../src/unstable/sql/SqlSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC;;;;;;AAMA,OAAO,MAAMC,OAAO,GAClBC,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACP,MAAM,CAACQ,OAAO,CAACR,MAAM,CAACS,KAAK,CAACP,OAAO,CAACQ,MAAM,CAAC,CAAC,CAAC;EACvF,OACEC,OAAoB,IAKjBZ,MAAM,CAACa,OAAO,CAACb,MAAM,CAACa,OAAO,CAACT,aAAa,CAACQ,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,EAAEP,MAAM,CAAC;AACtF,CAAC;AAED;;;;;;AAMA,OAAO,MAAMQ,YAAY,GACvBZ,OAIC,IACC;EACF,MAAMa,IAAI,GAAGd,OAAO,CAACC,OAAO,CAAC;EAC7B,OACES,OAAoB,IAMpBZ,MAAM,CAACa,OAAO,CAACG,IAAI,CAACJ,OAAO,CAAC,EAAGK,OAAO,IACpCnB,GAAG,CAACoB,eAAe,CAACD,OAAO,CAAC,GACxBjB,MAAM,CAACmB,OAAO,CAACF,OAAO,CAAC,GACvBjB,MAAM,CAACoB,IAAI,CAAC,IAAIrB,KAAK,CAACsB,kBAAkB,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,MAAMC,KAAK,GACTnB,OAGC,IACC;EACF,MAAMoB,MAAM,GAAGtB,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EACnD,OAAQM,OAAoB,IAC1BZ,MAAM,CAACwB,MAAM,CACXxB,MAAM,CAACa,OAAO,CAACU,MAAM,CAACX,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,CACjD;AACL,CAAC;AACD;AACE;;;;;;AAMAQ,KAAK,IAAIG,IAAI;AAGf;;;;;;AAMA,OAAO,MAAMC,OAAO,GAClBvB,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACQ,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBZ,MAAM,CAACa,OAAO,CACZb,MAAM,CAACa,OAAO,CAACT,aAAa,CAACQ,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,EACtDa,GAAG,IAIC7B,GAAG,CAAC8B,uBAAuB,CAACD,GAAG,CAAC,GAAGpB,MAAM,CAACoB,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG3B,MAAM,CAACoB,IAAI,CAAC,IAAIrB,KAAK,CAACsB,kBAAkB,EAAE,CAAC,CACrG;AACL,CAAC;AAED;;;;;;AAMA,OAAO,MAAMQ,aAAa,GACxB1B,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACQ,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBZ,MAAM,CAACa,OAAO,CACZb,MAAM,CAACa,OAAO,CAACT,aAAa,CAACQ,OAAO,CAAC,EAAET,OAAO,CAACW,OAAO,CAAC,EACtDa,GAAG,IAIC7B,GAAG,CAAC8B,uBAAuB,CAACD,GAAG,CAAC,GAAG3B,MAAM,CAAC8B,MAAM,CAACvB,MAAM,CAACoB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG3B,MAAM,CAAC+B,WAAW,CAC3F;AACL,CAAC","ignoreList":[]}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "effect",
   "type": "module",
-  "version": "4.0.0-beta.24",
+  "version": "4.0.0-beta.26",
   "license": "MIT",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "homepage": "https://effect.website",

package/src/Config.ts

@@ -882,13 +882,13 @@ const recur: (
  * @since 4.0.0
  */
 export function schema<T, E>(codec: Schema.Codec<T, E>, path?: string | ConfigProvider.Path): Config<T> {
-  const toCodecStringTree = Schema.toCodecStringTree(codec)
-  const decodeUnknownEffect = Parser.decodeUnknownEffect(toCodecStringTree)
-  const toCodecStringTreeEncoded = AST.toEncoded(toCodecStringTree.ast)
+  const codecStringTree = Schema.toCodecStringTree(codec)
+  const decodeUnknownEffect = Parser.decodeUnknownEffect(codecStringTree)
+  const codecStringTreeEncoded = AST.toEncoded(codecStringTree.ast)
   const defaultPath = typeof path === "string" ? [path] : path ?? []
   return make((provider) => {
     const path = provider.prefix ? [...provider.prefix, ...defaultPath] : defaultPath
-    return recur(toCodecStringTreeEncoded, provider, defaultPath).pipe(
+    return recur(codecStringTreeEncoded, provider, defaultPath).pipe(
       Effect.flatMapEager((tree) =>
         decodeUnknownEffect(tree).pipe(
           Effect.mapErrorEager((issue) =>

package/src/Effect.ts

@@ -4394,7 +4394,8 @@ export const catchTag: {
  * once. Instead of using {@link catchTag} multiple times, you can pass an
  * object where each key is an error type's `_tag`, and the value is the handler
  * for that specific error. This allows you to catch and recover from multiple
- * error types in a single call.
+ * error types in a single call. You can also provide a fallback handler for
+ * unhandled errors.
  *
  * The error type must have a readonly `_tag` field to use `catchTag`. This
  * field is used to identify and match errors.
@@ -4436,7 +4437,8 @@ export const catchTags: {
    * once. Instead of using {@link catchTag} multiple times, you can pass an
    * object where each key is an error type's `_tag`, and the value is the handler
    * for that specific error. This allows you to catch and recover from multiple
-   * error types in a single call.
+   * error types in a single call. You can also provide a fallback handler for
+   * unhandled errors.
    *
    * The error type must have a readonly `_tag` field to use `catchTag`. This
    * field is used to identify and match errors.
@@ -4472,19 +4474,27 @@ export const catchTags: {
     E,
     Cases extends
       & { [K in Extract<E, { _tag: string }>["_tag"]]+?: ((error: Extract<E, { _tag: K }>) => Effect<any, any, any>) }
-      & (unknown extends E ? {} : { [K in Exclude<keyof Cases, Extract<E, { _tag: string }>["_tag"]>]: never })
-  >(cases: Cases): <A, R>(
+      & (unknown extends E ? {} : { [K in Exclude<keyof Cases, Extract<E, { _tag: string }>["_tag"]>]: never }),
+    A2 = never,
+    E2 = Exclude<E, { _tag: keyof Cases }>,
+    R2 = never
+  >(
+    cases: Cases,
+    orElse?: ((e: Exclude<E, { _tag: keyof Cases }>) => Effect<A2, E2, R2>) | undefined
+  ): <A, R>(
     self: Effect<A, E, R>
   ) => Effect<
     | A
+    | A2
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<infer A, any, any> ? A : never
     }[keyof Cases],
-    | Exclude<E, { _tag: keyof Cases }>
+    | E2
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<any, infer E, any> ? E : never
     }[keyof Cases],
     | R
+    | R2
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<any, any, infer R> ? R : never
     }[keyof Cases]
@@ -4498,7 +4508,8 @@ export const catchTags: {
    * once. Instead of using {@link catchTag} multiple times, you can pass an
    * object where each key is an error type's `_tag`, and the value is the handler
    * for that specific error. This allows you to catch and recover from multiple
-   * error types in a single call.
+   * error types in a single call. You can also provide a fallback handler for
+   * unhandled errors.
    *
    * The error type must have a readonly `_tag` field to use `catchTag`. This
    * field is used to identify and match errors.
@@ -4536,17 +4547,26 @@ export const catchTags: {
     A,
     Cases extends
       & { [K in Extract<E, { _tag: string }>["_tag"]]+?: ((error: Extract<E, { _tag: K }>) => Effect<any, any, any>) }
-      & (unknown extends E ? {} : { [K in Exclude<keyof Cases, Extract<E, { _tag: string }>["_tag"]>]: never })
-  >(self: Effect<A, E, R>, cases: Cases): Effect<
+      & (unknown extends E ? {} : { [K in Exclude<keyof Cases, Extract<E, { _tag: string }>["_tag"]>]: never }),
+    A2 = never,
+    E2 = Exclude<E, { _tag: keyof Cases }>,
+    R2 = never
+  >(
+    self: Effect<A, E, R>,
+    cases: Cases,
+    orElse?: ((e: Exclude<E, { _tag: keyof Cases }>) => Effect<A2, E2, R2>) | undefined
+  ): Effect<
     | A
+    | A2
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<infer A, any, any> ? A : never
     }[keyof Cases],
-    | Exclude<E, { _tag: keyof Cases }>
+    | E2
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<any, infer E, any> ? E : never
     }[keyof Cases],
     | R
+    | R2
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect<any, any, infer R> ? R : never
     }[keyof Cases]
@@ -15708,7 +15728,7 @@ export const forkScoped: <
     readonly startImmediately?: boolean | undefined
     readonly uninterruptible?: boolean | "inherit" | undefined
   } | undefined
-) => [Arg] extends [Effect<infer _A, infer _E, infer _R>] ? Effect<Fiber<_A, _E>, never, _R>
+) => [Arg] extends [Effect<infer _A, infer _E, infer _R>] ? Effect<Fiber<_A, _E>, never, _R | Scope>
   : <A, E, R>(self: Effect<A, E, R>) => Effect<Fiber<A, E>, never, R | Scope> = internal.forkScoped
 
 /**

package/src/Runtime.ts

@@ -117,7 +117,9 @@ export const defaultTeardown: Teardown = <E, A>(
   exit: Exit.Exit<E, A>,
   onExit: (code: number) => void
 ) => {
-  onExit(Exit.isFailure(exit) ? Cause.hasInterruptsOnly(exit.cause) ? 130 : 1 : 0)
+  if (Exit.isSuccess(exit)) return onExit(0)
+  if (Cause.hasInterruptsOnly(exit.cause)) return onExit(130)
+  return onExit(getErrorExitCode(Cause.squash(exit.cause)))
 }
 
 /**
@@ -206,10 +208,9 @@ export const makeRunMain = (
       ? Effect.runFork(effect)
       : Effect.runFork(
         Effect.tapCause(effect, (cause) => {
-          if (Cause.hasInterruptsOnly(cause)) {
-            return Effect.void
-          }
-          return Effect.logError(cause)
+          if (Cause.hasInterruptsOnly(cause)) return Effect.void
+          const isReported = getErrorReported(Cause.squash(cause))
+          return isReported ? Effect.logError(cause) : Effect.void
         })
       )
     try {
@@ -221,3 +222,92 @@ export const makeRunMain = (
     const teardown = options?.teardown ?? defaultTeardown
     return f({ fiber, teardown })
   })
+
+declare global {
+  interface Error {
+    readonly [errorExitCode]?: number
+    readonly [errorReported]?: boolean
+  }
+}
+
+/**
+ * @category Exit code management
+ * @since 4.0.0
+ */
+export type errorExitCode = "~effect/Runtime/errorExitCode"
+
+/**
+ * Allows associating an exit code with an error for determining the process
+ * exit code on failure.
+ *
+ * ```ts
+ * import { Data, Effect, Runtime } from "effect"
+ * import { NodeRuntime } from "@effect/platform-node"
+ *
+ * class MyError extends Data.TaggedError("MyError") {
+ *   readonly [Runtime.errorExitCode] = 42
+ * }
+ *
+ * // If the program fails with MyError, the process will exit with code 42
+ * NodeRuntime.runMain(Effect.fail(new MyError()))
+ * ```
+ *
+ * @category Exit code management
+ * @since 4.0.0
+ */
+export const errorExitCode: errorExitCode = "~effect/Runtime/errorExitCode"
+
+/**
+ * @category Exit code management
+ * @since 4.0.0
+ */
+export const getErrorExitCode = (u: unknown): number => {
+  if (typeof u === "object" && u !== null && errorExitCode in u) {
+    const code = u[errorExitCode]
+    if (typeof code === "number") {
+      return code
+    }
+  }
+  return 1
+}
+
+/**
+ * @category Error reporting management
+ * @since 4.0.0
+ */
+export type errorReported = "~effect/Runtime/errorReported"
+
+/**
+ * Allows an error to opt-out of error reporting.
+ *
+ * ```ts
+ * import { Data, Effect, Runtime } from "effect"
+ * import { NodeRuntime } from "@effect/platform-node"
+ *
+ * class MyError extends Data.TaggedError("MyError") {
+ *   readonly [Runtime.errorReported] = true
+ * }
+ *
+ * // If the program fails with MyError, the process will exit with code 1 but
+ * // no error will be logged.
+ * NodeRuntime.runMain(Effect.fail(new MyError()))
+ * ```
+ *
+ * @category Error reporting management
+ * @since 4.0.0
+ */
+export const errorReported: errorReported = "~effect/Runtime/errorReported"
+
+/**
+ * @category Error reporting management
+ * @since 4.0.0
+ */
+export const getErrorReported = (u: unknown): boolean => {
+  if (typeof u === "object" && u !== null && errorReported in u) {
+    const isReported = u[errorReported]
+    if (typeof isReported === "boolean") {
+      return isReported
+    }
+  }
+  return true
+}

package/src/Schema.ts

@@ -8667,11 +8667,11 @@ export function toJsonSchemaDocument(schema: Top, options?: ToJsonSchemaOptions)
 }
 
 // -----------------------------------------------------------------------------
-// Serializer
+// Canonical Codecs
 // -----------------------------------------------------------------------------
 
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export function toCodecJson<T, E, RD, RE>(schema: Codec<T, E, RD, RE>): Codec<T, unknown, RD, RE> {
@@ -8679,7 +8679,7 @@ export function toCodecJson<T, E, RD, RE>(schema: Codec<T, E, RD, RE>): Codec<T,
 }
 
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export function toCodecIso<S extends Top>(schema: S): Codec<S["Type"], S["Iso"]> {
@@ -8687,13 +8687,13 @@ export function toCodecIso<S extends Top>(schema: S): Codec<S["Type"], S["Iso"]>
 }
 
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export type StringTree = Tree<string | undefined>
 
 /**
- * The StringTree serializer converts **every leaf value to a string**, while
+ * The StringTree canonical codec converts **every leaf value to a string**, while
  * preserving the original structure.
  *
  * Declarations are converted to `undefined` (unless they have a
@@ -8707,7 +8707,7 @@ export type StringTree = Tree<string | undefined>
  *
  *    Defaults to `false`.
  *
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export function toCodecStringTree<T, E, RD, RE>(schema: Codec<T, E, RD, RE>): Codec<T, StringTree, RD, RE>
@@ -8740,7 +8740,7 @@ type XmlEncoderOptions = {
 }
 
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export function toEncoderXml<T, E, RD, RE>(
@@ -8860,8 +8860,6 @@ function serializerTree(
   onMissingAnnotation: (ast: AST.AST) => AST.AST
 ): AST.AST {
   switch (ast._tag) {
-    case "Unknown":
-    case "ObjectKeyword":
     case "Declaration": {
       const getLink = ast.annotations?.toCodecJson ?? ast.annotations?.toCodec
       if (Predicate.isFunction(getLink)) {
@@ -8878,6 +8876,9 @@ function serializerTree(
       return AST.replaceEncoding(ast, [nullToString])
     case "Boolean":
       return AST.replaceEncoding(ast, [booleanToString])
+    case "Unknown":
+    case "ObjectKeyword":
+      return AST.replaceEncoding(ast, [AST.unknownToStringTree])
     case "Enum":
     case "Number":
     case "Literal":
@@ -9104,13 +9105,13 @@ export function toDifferJsonPatch<T, E>(schema: Codec<T, E>): Differ<T, JsonPatc
  * @category Tree
  * @since 4.0.0
  */
-export type Tree<Node> = Node | TreeObject<Node> | ReadonlyArray<Tree<Node>>
+export type Tree<Node> = Node | TreeRecord<Node> | ReadonlyArray<Tree<Node>>
 
 /**
  * @category Tree
  * @since 4.0.0
  */
-export interface TreeObject<A> {
+export interface TreeRecord<A> {
   readonly [x: string]: Tree<A>
 }
 
@@ -9133,51 +9134,12 @@ export function Tree<S extends Top>(node: S) {
   return Tree
 }
 
-/**
- * @category Tree
- * @since 4.0.0
- */
-export type MutableTree<A> = A | MutableTreeRecord<A> | Array<MutableTree<A>>
-
-/**
- * @category Tree
- * @since 4.0.0
- */
-export interface MutableTreeRecord<A> {
-  [x: string]: MutableTree<A>
-}
-
-/**
- * @category Tree
- * @since 4.0.0
- */
-export function MutableTree<S extends Top>(node: S) {
-  const MutableTree$ref = suspend((): Codec<
-    MutableTree<S["Type"]>,
-    MutableTree<S["Encoded"]>,
-    S["DecodingServices"],
-    S["EncodingServices"]
-  > => MutableTree)
-  const MutableTree = Union([
-    node,
-    mutable(Array(MutableTree$ref)),
-    Record(String, mutableKey(MutableTree$ref))
-  ])
-  return MutableTree
-}
-
 /**
  * @category JSON
  * @since 4.0.0
  */
 export type Json = null | number | boolean | string | JsonArray | JsonObject
 
-/**
- * @category JSON
- * @since 4.0.0
- */
-export const Json: Codec<Json> = Tree(Union([Null, Number, Boolean, String]))
-
 /**
  * @category JSON
  * @since 4.0.0
@@ -9196,13 +9158,13 @@ export interface JsonObject {
  * @category JSON
  * @since 4.0.0
  */
-export type MutableJson = null | number | boolean | string | MutableJsonArray | MutableJsonObject
+export const Json: Codec<Json> = make(AST.Json)
 
 /**
  * @category JSON
  * @since 4.0.0
  */
-export const MutableJson: Codec<MutableJson> = MutableTree(Union([Null, Number, Boolean, String]))
+export type MutableJson = null | number | boolean | string | MutableJsonArray | MutableJsonObject
 
 /**
  * @category JSON
@@ -9218,6 +9180,12 @@ export interface MutableJsonObject {
   [x: string]: MutableJson
 }
 
+/**
+ * @category JSON
+ * @since 4.0.0
+ */
+export const MutableJson: Codec<MutableJson> = make(AST.MutableJson)
+
 // -----------------------------------------------------------------------------
 // Annotations
 // -----------------------------------------------------------------------------