effect 4.0.0-beta.52 → 4.0.0-beta.54

package/dist/unstable/workflow/Workflow.js

@@ -1,12 +1,14 @@
 /**
  * @since 4.0.0
  */
+import * as Arr from "../../Array.js";
 import * as Cause from "../../Cause.js";
 import * as Context from "../../Context.js";
 import * as Data from "../../Data.js";
 import * as Effect from "../../Effect.js";
 import * as Exit from "../../Exit.js";
 import * as Fiber from "../../Fiber.js";
+import * as Filter from "../../Filter.js";
 import { constFalse, constTrue, dual, identity } from "../../Function.js";
 import * as Layer from "../../Layer.js";
 import * as Option from "../../Option.js";
@@ -197,11 +199,16 @@ export const intoResult = effect => Effect.contextWith(context => {
     onSuccess: value => Effect.succeed(new Complete({
       exit: Exit.succeed(value)
     })),
-    onFailure: cause => instance.suspended ? Effect.succeed(new Suspended({
-      cause: instance.cause
-    })) : !instance.interrupted && Cause.hasInterruptsOnly(cause) || !captureDefects && Cause.hasDies(cause) ? Effect.failCause(cause) : Effect.succeed(new Complete({
-      exit: Exit.failCause(cause)
-    }))
+    onFailure: cause => {
+      const [reasons, interrupts] = Arr.partition(cause.reasons, Filter.fromPredicate(Cause.isInterruptReason));
+      const hasInterruptsOnly = interrupts.length === cause.reasons.length;
+      const filtered = reasons.length === 0 ? cause : Cause.fromReasons(reasons);
+      return instance.suspended && hasInterruptsOnly ? Effect.succeed(new Suspended({
+        cause: instance.cause
+      })) : !instance.interrupted && hasInterruptsOnly || !captureDefects && Cause.hasDies(cause) ? Effect.failCause(filtered) : Effect.succeed(new Complete({
+        exit: Exit.failCause(filtered)
+      }));
+    }
   }), eff => Effect.onExitPrimitive(eff, exit => {
     if (Exit.isFailure(exit)) {
       return Scope.close(instance.scope, exit);
@@ -218,9 +225,6 @@ export const intoResult = effect => Effect.contextWith(context => {
 export const wrapActivityResult = (effect, isSuspend) => Effect.contextWith(context => {
   const instance = Context.get(context, InstanceTag);
   const state = instance.activityState;
-  if (instance.suspended) {
-    return waitForZero(instance).pipe(Effect.andThen(suspend(instance)));
-  }
   if (state.count === 0) state.latch.closeUnsafe();
   state.count++;
   return Effect.onExit(effect, exit => {

package/dist/unstable/workflow/Workflow.js.map

@@ -1 +1 @@
-{"version":3,"file":"Workflow.js","names":["Cause","Context","Data","Effect","Exit","Fiber","constFalse","constTrue","dual","identity","Layer","Option","Predicate","Schema","Issue","Parser","Tranformation","Scope","makeHashDigest","TypeId","EngineTag","Service","InstanceTag","make","options","makeExecutionId","payload","name","idempotencyKey","self","payloadSchema","isSchema","Struct","successSchema","success","Void","errorSchema","error","Never","annotations","empty","annotate","tag","value","add","annotateMerge","context","merge","execute","fnUntraced","fields","opts","engine","executionId","annotateCurrentSpan","discard","suspendedRetrySchedule","withSpan","captureStackTrace","poll","effect","attributes","interrupt","resume","toLayer","effectDiscard","gen","register","flatMap","orDie","makeEffect","withCompensation","ResultTypeId","isResult","u","hasProperty","Complete","TaggedClass","schema","declareConstructor","Defect","exit","input","ast","_tag","fail","InvalidType","some","mapBothEager","decodeEffect","onSuccess","onFailure","issue","Composite","Pointer","expected","toCodecJson","link","transform","decode","encoded","encode","result","Suspended","Class","cause","optional","Result","Union","AnyOrVoid","Any","ResultEncoded","toEncoded","intoResult","contextWith","instance","get","captureDefects","workflow","CaptureDefects","suspendOnFailure","SuspendOnFailure","pipe","forkChild","startImmediately","fiber","onInterrupt","join","interruptible","catchCause","suspended","hasInterruptsOnly","die","squash","scoped","matchCauseEffect","succeed","interrupted","hasDies","failCause","eff","onExitPrimitive","isFailure","close","scope","void","uninterruptible","wrapActivityResult","isSuspend","state","activityState","waitForZero","andThen","suspend","count","latch","closeUnsafe","onExit","isSuspended","isSuccess","combine","open","await","yieldNow","map","asEffect","provideScope","provide","addFinalizer","f","services","addFinalizerExit","provideContext","compensation","uninterruptibleMask","restore","tap","callback","getCurrent","interruptUnsafe","id","Reference","defaultValue"],"sources":["../../../src/unstable/workflow/Workflow.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,OAAO,MAAM,kBAAkB;AAC3C,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,SAASC,UAAU,EAAEC,SAAS,EAAEC,IAAI,EAAEC,QAAQ,QAAQ,mBAAmB;AACzE,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAE/C,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,KAAK,MAAM,sBAAsB;AAC7C,OAAO,KAAKC,MAAM,MAAM,uBAAuB;AAC/C,OAAO,KAAKC,aAAa,MAAM,+BAA+B;AAC9D,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AAEvC,SAASC,cAAc,QAAQ,sBAAsB;AAGrD,MAAMC,MAAM,GAAG,2BAA2B;AA2O1C,MAAMC,SAAS,gBAAGnB,OAAO,CAACoB,OAAO,CAC/B,gCAAoE,CACrE;AAED,MAAMC,WAAW,gBAAGrB,OAAO,CAACoB,OAAO,CAIjC,iDAAuF,CACxF;AAED;;;;AAIA,OAAO,MAAME,IAAI,GAKfC,OAWD,IAKG;EACF,MAAMC,eAAe,GAAIC,OAAY,IAAKR,cAAc,CAAC,GAAGM,OAAO,CAACG,IAAI,IAAIH,OAAO,CAACI,cAAc,CAACF,OAAO,CAAC,EAAE,CAAC;EAC9G,MAAMG,IAAI,GAAwC;IAChD,CAACV,MAAM,GAAGA,MAAM;IAChBQ,IAAI,EAAEH,OAAO,CAACG,IAAI;IAClBG,aAAa,EAAEjB,MAAM,CAACkB,QAAQ,CAACP,OAAO,CAACE,OAAO,CAAC,GAC3CF,OAAO,CAACE,OAAO,GACfb,MAAM,CAACmB,MAAM,CAACR,OAAO,CAACE,OAAc,CAAC;IACzCO,aAAa,EAAET,OAAO,CAACU,OAAO,IAAKrB,MAAM,CAACsB,IAAY;IACtDC,WAAW,EAAEZ,OAAO,CAACa,KAAK,IAAKxB,MAAM,CAACyB,KAAa;IACnDC,WAAW,EAAEf,OAAO,CAACe,WAAW,IAAItC,OAAO,CAACuC,KAAK,EAAE;IACnDC,QAAQA,CAACC,GAAG,EAAEC,KAAK;MACjB,OAAOpB,IAAI,CAAC;QACV,GAAGC,OAAO;QACVe,WAAW,EAAEtC,OAAO,CAAC2C,GAAG,CAACf,IAAI,CAACU,WAAW,EAAEG,GAAG,EAAEC,KAAK;OACtD,CAAC;IACJ,CAAC;IACDE,aAAaA,CAACC,OAAO;MACnB,OAAOvB,IAAI,CAAC;QACV,GAAGC,OAAO;QACVe,WAAW,EAAEtC,OAAO,CAAC8C,KAAK,CAAClB,IAAI,CAACU,WAAW,EAAEO,OAAO;OACrD,CAAC;IACJ,CAAC;IACDE,OAAO,EAAE7C,MAAM,CAAC8C,UAAU,CACxB,WACEC,MAAW,EACXC,IAAiD;MAEjD,MAAMzB,OAAO,GAAGG,IAAI,CAACC,aAAa,CAACP,IAAI,CAAC2B,MAAM,CAAC;MAC/C,MAAME,MAAM,GAAG,OAAOhC,SAAS;MAC/B,MAAMiC,WAAW,GAAG,OAAO5B,eAAe,CAACC,OAAO,CAAC;MACnD,OAAOvB,MAAM,CAACmD,mBAAmB,CAAC;QAAED;MAAW,CAAE,CAAC;MAClD,OAAO,OAAOD,MAAM,CAACJ,OAAO,CAACnB,IAAI,EAAE;QACjCwB,WAAW;QACX3B,OAAO;QACP6B,OAAO,EAAEJ,IAAI,EAAEI,OAAO;QACtBC,sBAAsB,EAAEhC,OAAO,CAACgC;OACjC,CAAC;IACJ,CAAC,EACDrD,MAAM,CAACsD,QAAQ,CACb,GAAGjC,OAAO,CAACG,IAAI,UAAU,EACzB,EAAE,EACF;MAAE+B,iBAAiB,EAAE;IAAK,CAAE,CAC7B,CACK;IACRC,IAAI,EAAExD,MAAM,CAAC8C,UAAU,CACrB,WAAUI,WAAmB;MAC3B,MAAMD,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAO,OAAOgC,MAAM,CAACO,IAAI,CAAC9B,IAAI,EAAEwB,WAAW,CAAC;IAC9C,CAAC,EACD,CAACO,MAAM,EAAEP,WAAW,KAClBlD,MAAM,CAACsD,QAAQ,CAACG,MAAM,EAAE,GAAGpC,OAAO,CAACG,IAAI,OAAO,EAAE;MAC9C+B,iBAAiB,EAAE,KAAK;MACxBG,UAAU,EAAE;QAAER;MAAW;KAC1B,CAAC,CACL;IACDS,SAAS,EAAE3D,MAAM,CAAC8C,UAAU,CAC1B,WAAUI,WAAmB;MAC3B,MAAMD,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAOgC,MAAM,CAACU,SAAS,CAACjC,IAAI,EAAEwB,WAAW,CAAC;IAC5C,CAAC,EACD,CAACO,MAAM,EAAEP,WAAW,KAClBlD,MAAM,CAACsD,QAAQ,CAACG,MAAM,EAAE,GAAGpC,OAAO,CAACG,IAAI,YAAY,EAAE;MACnD+B,iBAAiB,EAAE,KAAK;MACxBG,UAAU,EAAE;QAAER;MAAW;KAC1B,CAAC,CACL;IACDU,MAAM,EAAE5D,MAAM,CAAC8C,UAAU,CACvB,WAAUI,WAAmB;MAC3B,MAAMD,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAOgC,MAAM,CAACW,MAAM,CAAClC,IAAI,EAAEwB,WAAW,CAAC;IACzC,CAAC,EACD,CAACO,MAAM,EAAEP,WAAW,KAClBlD,MAAM,CAACsD,QAAQ,CAACG,MAAM,EAAE,GAAGpC,OAAO,CAACG,IAAI,SAAS,EAAE;MAChD+B,iBAAiB,EAAE,KAAK;MACxBG,UAAU,EAAE;QAAER;MAAW;KAC1B,CAAC,CACL;IACDW,OAAO,EAAGhB,OAAO,IACftC,KAAK,CAACuD,aAAa,CACjB9D,MAAM,CAAC+D,GAAG,CAAC,aAAS;MAClB,MAAMd,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAO,OAAOgC,MAAM,CAACe,QAAQ,CAACtC,IAAI,EAAEmB,OAAO,CAAC;IAC9C,CAAC,CAAC,CACH;IACHK,WAAW,EAAG3B,OAAO,IACnBvB,MAAM,CAACiE,OAAO,CACZjE,MAAM,CAACkE,KAAK,CAACxC,IAAI,CAACC,aAAa,CAACwC,UAAU,CAAC5C,OAAO,CAAC,CAAC,EACpDD,eAAe,CAChB;IACH8C;GACD;EAED,OAAO1C,IAAI;AACb,CAAC;AAED,MAAM2C,YAAY,GAAG,kCAAkC;AAEvD;;;;AAIA,OAAO,MAAMC,QAAQ,GACnBC,CAAU,IACY9D,SAAS,CAAC+D,WAAW,CAACD,CAAC,EAAEF,YAAY,CAAC;AA0C9D;;;;AAIA,OAAM,MAAOI,QAAe,sBAAQ1E,IAAI,CAAC2E,WAAW,CAAC,UAAU,CAE7D;EACA;;;EAGS,CAACL,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,OAAO3D,MAAMA,CAAuDW,OAGnE;IACC;IACA,MAAMsD,MAAM,GAAGjE,MAAM,CAACkE,kBAAkB,EAGrC,CACD,CAAClE,MAAM,CAACT,IAAI,CAACoB,OAAO,CAACU,OAAO,EAAEV,OAAO,CAACa,KAAK,EAAExB,MAAM,CAACmE,MAAM,CAAC,CAAC,EAC5D,CAAC,CAACC,IAAI,CAAC,KAAK,CAACC,KAAK,EAAEC,GAAG,EAAE3D,OAAO,KAAI;MAClC,IAAI,EAAEiD,QAAQ,CAACS,KAAK,CAAC,IAAIA,KAAK,CAACE,IAAI,KAAK,UAAU,CAAC,EAAE;QACnD,OAAOjF,MAAM,CAACkF,IAAI,CAAC,IAAIvE,KAAK,CAACwE,WAAW,CAACH,GAAG,EAAExE,MAAM,CAAC4E,IAAI,CAACL,KAAK,CAAC,CAAC,CAAC;MACpE;MACA,OAAO/E,MAAM,CAACqF,YAAY,CACxBzE,MAAM,CAAC0E,YAAY,CAACR,IAAI,CAAC,CAACC,KAAK,CAACD,IAAI,EAAEzD,OAAO,CAAC,EAC9C;QACEkE,SAAS,EAAGT,IAAI,IAAK,IAAIL,QAAQ,CAAC;UAAEK;QAAI,CAAE,CAAC;QAC3CU,SAAS,EAAGC,KAAK,IACf,IAAI9E,KAAK,CAAC+E,SAAS,CAACV,GAAG,EAAExE,MAAM,CAAC4E,IAAI,CAACL,KAAK,CAAC,EAAE,CAC3C,IAAIpE,KAAK,CAACgF,OAAO,CAAC,CAAC,MAAM,CAAC,EAAEF,KAAK,CAAC,CACnC;OACJ,CACF;IACH,CAAC,EACD;MACEG,QAAQ,EAAE,mBAAmB;MAC7BC,WAAW,EAAEA,CAAC,CAACf,IAAI,CAAC,KAClBpE,MAAM,CAACoF,IAAI,EAAkD,CAC3DpF,MAAM,CAACmB,MAAM,CAAC;QACZoD,IAAI,EAAEvE,MAAM,CAAC6B,GAAG,CAAC,UAAU,CAAC;QAC5BuC;OACD,CAAC,EACFjE,aAAa,CAACkF,SAAS,CAAC;QACtBC,MAAM,EAAGC,OAAO,IAAK,IAAIxB,QAAQ,CAAC;UAAEK,IAAI,EAAEmB,OAAO,CAACnB;QAAI,CAAE,CAAC;QACzDoB,MAAM,EAAGC,MAAM,KAAO;UACpBlB,IAAI,EAAE,UAAU;UAChBH,IAAI,EAAEqB,MAAM,CAACrB;SACd;OACF,CAAC;KAEP,CACF;IACD,OAAOpE,MAAM,CAACU,IAAI,CAACuD,MAAM,CAACK,GAAG,EAAE;MAC7BjD,OAAO,EAAEV,OAAO,CAACU,OAAO;MACxBG,KAAK,EAAEb,OAAO,CAACa;KAChB,CAAC;EACJ;;AAGF;;;;AAIA,OAAM,MAAOkE,SAAU,sBAAQ1F,MAAM,CAAC2F,KAAK,CACzC,oCAAoC,CACrC,CAAC;EACApB,IAAI,eAAEvE,MAAM,CAAC6B,GAAG,CAAC,WAAW,CAAC;EAC7B+D,KAAK,eAAE5F,MAAM,CAAC6F,QAAQ,cAAC7F,MAAM,CAACb,KAAK,CAACa,MAAM,CAACyB,KAAK,EAAEzB,MAAM,CAACmE,MAAM,CAAC;CACjE,CAAC;EACA;;;EAGS,CAACR,YAAY,IAAIA,YAAY;;AAGxC;;;;AAIA,OAAO,MAAMmC,MAAM,GAGjBnF,OAGD,IAAKX,MAAM,CAAC+F,KAAK,CAAC,CAAChC,QAAQ,CAAC/D,MAAM,CAACW,OAAO,CAAC,EAAE+E,SAAS,CAAC,CAAC;AAEzD,MAAMM,SAAS,gBAAGhG,MAAM,CAAC+F,KAAK,CAAC,CAAC/F,MAAM,CAACiG,GAAG,EAAEjG,MAAM,CAACsB,IAAI,CAAC,CAAC;AAEzD;;;;AAIA,OAAO,MAAM4E,aAAa,gBAA0ClG,MAAM,CAACmG,SAAS,cAClFnG,MAAM,CAACmF,WAAW,cAChBW,MAAM,CAAC;EACLzE,OAAO,EAAE2E,SAAS;EAClBxE,KAAK,EAAEwE;CACR,CAAC,CACH,CACK;AAER;;;;AAIA,OAAO,MAAMI,UAAU,GACrBrD,MAA8B,IAM9BzD,MAAM,CAAC+G,WAAW,CAAEpE,OAA0C,IAAI;EAChE,MAAMqE,QAAQ,GAAGlH,OAAO,CAACmH,GAAG,CAACtE,OAAO,EAAExB,WAAW,CAAC;EAClD,MAAM+F,cAAc,GAAGpH,OAAO,CAACmH,GAAG,CAACD,QAAQ,CAACG,QAAQ,CAAC/E,WAAW,EAAEgF,cAAc,CAAC;EACjF,MAAMC,gBAAgB,GAAGvH,OAAO,CAACmH,GAAG,CAACD,QAAQ,CAACG,QAAQ,CAAC/E,WAAW,EAAEkF,gBAAgB,CAAC;EACrF,OAAO7D,MAAM,CAAC8D,IAAI;EAChB;EACAvH,MAAM,CAACwH,SAAS,CAAC;IAAEC,gBAAgB,EAAE;EAAI,CAAE,CAAC,EAC5CzH,MAAM,CAACiE,OAAO,CAAEyD,KAAK,IAAK1H,MAAM,CAAC2H,WAAW,CAACzH,KAAK,CAAC0H,IAAI,CAACF,KAAK,CAAC,EAAE,MAAMxH,KAAK,CAACyD,SAAS,CAAC+D,KAAK,CAAC,CAAC,CAAC,EAC9F1H,MAAM,CAAC6H,aAAa,EACpBR,gBAAgB,GACZrH,MAAM,CAAC8H,UAAU,CAAExB,KAAK,IAAI;IAC5BU,QAAQ,CAACe,SAAS,GAAG,IAAI;IACzB,IAAI,CAAClI,KAAK,CAACmI,iBAAiB,CAAC1B,KAAK,CAAC,EAAE;MACnCU,QAAQ,CAACV,KAAK,GAAGzG,KAAK,CAACoI,GAAG,CAACpI,KAAK,CAACqI,MAAM,CAAC5B,KAAK,CAAC,CAAC;IACjD;IACA,OAAOtG,MAAM,CAAC2D,SAAS;EACzB,CAAC,CAAC,GACArD,QAAQ,EACZN,MAAM,CAACmI,MAAM,EACbnI,MAAM,CAACoI,gBAAgB,CAAC;IACtB7C,SAAS,EAAG/C,KAAK,IAAKxC,MAAM,CAACqI,OAAO,CAAC,IAAI5D,QAAQ,CAAC;MAAEK,IAAI,EAAE7E,IAAI,CAACoI,OAAO,CAAC7F,KAAK;IAAC,CAAE,CAAC,CAAC;IACjFgD,SAAS,EAAGc,KAAK,IACfU,QAAQ,CAACe,SAAS,GACd/H,MAAM,CAACqI,OAAO,CAAC,IAAIjC,SAAS,CAAC;MAAEE,KAAK,EAAEU,QAAQ,CAACV;IAAK,CAAE,CAAC,CAAC,GACvD,CAACU,QAAQ,CAACsB,WAAW,IAAIzI,KAAK,CAACmI,iBAAiB,CAAC1B,KAAK,CAAC,IACrD,CAACY,cAAc,IAAIrH,KAAK,CAAC0I,OAAO,CAACjC,KAAK,CAAE,GAC3CtG,MAAM,CAACwI,SAAS,CAAClC,KAA2B,CAAC,GAC7CtG,MAAM,CAACqI,OAAO,CAAC,IAAI5D,QAAQ,CAAC;MAAEK,IAAI,EAAE7E,IAAI,CAACuI,SAAS,CAAClC,KAAK;IAAC,CAAE,CAAC;GACnE,CAAC,EACDmC,GAAG,IACFzI,MAAM,CAAC0I,eAAe,CAACD,GAAG,EAAG3D,IAAI,IAAI;IACnC,IAAI7E,IAAI,CAAC0I,SAAS,CAAC7D,IAAI,CAAC,EAAE;MACxB,OAAOhE,KAAK,CAAC8H,KAAK,CAAC5B,QAAQ,CAAC6B,KAAK,EAAE/D,IAAI,CAAC;IAC1C,CAAC,MAAM,IAAIA,IAAI,CAACtC,KAAK,CAACyC,IAAI,KAAK,UAAU,EAAE;MACzC,OAAOnE,KAAK,CAAC8H,KAAK,CAAC5B,QAAQ,CAAC6B,KAAK,EAAE/D,IAAI,CAACtC,KAAK,CAACsC,IAAI,CAAC;IACrD;IACA,OAAO9E,MAAM,CAAC8I,IAAI;EACpB,CAAC,EAAE,IAAI,CAAC,EACV9I,MAAM,CAAC+I,eAAe,CACvB;AACH,CAAC,CAAC;AAEJ;;;;AAIA,OAAO,MAAMC,kBAAkB,GAAGA,CAChCvF,MAA8B,EAC9BwF,SAAgC,KAEhCjJ,MAAM,CAAC+G,WAAW,CAAEpE,OAA0C,IAAI;EAChE,MAAMqE,QAAQ,GAAGlH,OAAO,CAACmH,GAAG,CAACtE,OAAO,EAAExB,WAAW,CAAC;EAClD,MAAM+H,KAAK,GAAGlC,QAAQ,CAACmC,aAAa;EACpC,IAAInC,QAAQ,CAACe,SAAS,EAAE;IACtB,OAAOqB,WAAW,CAACpC,QAAQ,CAAC,CAACO,IAAI,CAC/BvH,MAAM,CAACqJ,OAAO,CAACC,OAAO,CAACtC,QAAQ,CAAC,CAAC,CAClC;EACH;EACA,IAAIkC,KAAK,CAACK,KAAK,KAAK,CAAC,EAAEL,KAAK,CAACM,KAAK,CAACC,WAAW,EAAE;EAChDP,KAAK,CAACK,KAAK,EAAE;EACb,OAAOvJ,MAAM,CAAC0J,MAAM,CAACjG,MAAM,EAAGqB,IAAI,IAAI;IACpCoE,KAAK,CAACK,KAAK,EAAE;IACb,MAAMI,WAAW,GAAG1J,IAAI,CAAC2J,SAAS,CAAC9E,IAAI,CAAC,IAAImE,SAAS,CAACnE,IAAI,CAACtC,KAAK,CAAC;IACjE,IACEvC,IAAI,CAAC2J,SAAS,CAAC9E,IAAI,CAAC,IACpBR,QAAQ,CAACQ,IAAI,CAACtC,KAAK,CAAC,IACpBsC,IAAI,CAACtC,KAAK,CAACyC,IAAI,KAAK,WAAW,IAC/BH,IAAI,CAACtC,KAAK,CAAC8D,KAAK,EAChB;MACAU,QAAQ,CAACV,KAAK,GAAGU,QAAQ,CAACV,KAAK,GAC3BzG,KAAK,CAACgK,OAAO,CAAC7C,QAAQ,CAACV,KAAK,EAAExB,IAAI,CAACtC,KAAK,CAAC8D,KAAK,CAAC,GAC/CxB,IAAI,CAACtC,KAAK,CAAC8D,KAAK;IACtB;IACA,OAAO4C,KAAK,CAACK,KAAK,KAAK,CAAC,GACpBL,KAAK,CAACM,KAAK,CAACM,IAAI,GAChBH,WAAW,GACXP,WAAW,CAACpC,QAAQ,CAAC,GACrBhH,MAAM,CAAC8I,IAAI;EACjB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEJ,MAAMM,WAAW,gBAAGpJ,MAAM,CAAC8C,UAAU,CAAC,WAAUkE,QAAqC;EACnF,MAAMkC,KAAK,GAAGlC,QAAQ,CAACmC,aAAa;EACpC,OAAO,IAAI,EAAE;IACX,IAAID,KAAK,CAACK,KAAK,GAAG,CAAC,EAAE;MACnB,OAAOL,KAAK,CAACM,KAAK,CAACO,KAAK;MACxB,OAAO/J,MAAM,CAACgK,QAAQ;MACtB;IACF;IACA,OAAOhK,MAAM,CAACgK,QAAQ;IACtB,IAAId,KAAK,CAACK,KAAK,KAAK,CAAC,EAAE;EACzB;AACF,CAAC,CAAC;AAEF;;;;;;;;;AASA,OAAO,MAAMV,KAAK,gBAId7I,MAAM,CAACiK,GAAG,cACZ9I,WAAW,CAAC+I,QAAQ,EAAE,EACrBlD,QAAQ,IAAKA,QAAQ,CAAC6B,KAAoB,CAC5C;AAED;;;;;;;;;AASA,OAAO,MAAMsB,YAAY,GACvB1G,MAA8B,IAE9BzD,MAAM,CAACiE,OAAO,CAAC4E,KAAK,EAAGA,KAAK,IAAK/H,KAAK,CAACsJ,OAAO,CAAC3G,MAAM,EAAEoF,KAAK,CAAC,CAAC;AAEhE;;;;AAIA,OAAO,MAAMwB,YAAY,gBAMrBrK,MAAM,CAAC8C,UAAU,CAAC,WACpBwH,CAAuE;EAEvE,MAAMzB,KAAK,GAAG,CAAC,OAAO1H,WAAW,EAAE0H,KAAK;EACxC,MAAM0B,QAAQ,GAAG,OAAOvK,MAAM,CAAC2C,OAAO,EAAK;EAC3C,OAAO7B,KAAK,CAAC0J,gBAAgB,CAAC3B,KAAK,EAAG/D,IAAI,IAAK9E,MAAM,CAACyK,cAAc,CAACH,CAAC,CAACxF,IAAI,CAAC,EAAEyF,QAAQ,CAAC,CAAC;AAC1F,CAAC,CAAC;AAEF;;;;;;;;;;;AAWA,OAAO,MAAMnG,gBAAgB,gBAgCzB/D,IAAI,CAAC,CAAC,EAAE,CACVoD,MAA8B,EAC9BiH,YAAuF,KAEvF1K,MAAM,CAAC2K,mBAAmB,CAAEC,OAAO,IACjC5K,MAAM,CAAC6K,GAAG,CACRD,OAAO,CAACnH,MAAM,CAAC,EACdjB,KAAK,IAAK6H,YAAY,CAAEvF,IAAI,IAAK7E,IAAI,CAAC2J,SAAS,CAAC9E,IAAI,CAAC,GAAG9E,MAAM,CAAC8I,IAAI,GAAG4B,YAAY,CAAClI,KAAK,EAAEsC,IAAI,CAACwB,KAAK,CAAC,CAAC,CACxG,CACF,CAAC;AAEJ;;;;AAIA,OAAO,MAAMgD,OAAO,GAAItC,QAAqC,IAC3DhH,MAAM,CAAC6H,aAAa,CAAC7H,MAAM,CAAC8K,QAAQ,CAAQ,MAAK;EAC/C9D,QAAQ,CAACe,SAAS,GAAG,IAAI;EACzB,MAAML,KAAK,GAAGxH,KAAK,CAAC6K,UAAU,EAAG;EACjCrD,KAAK,CAACsD,eAAe,CAACtD,KAAK,CAACuD,EAAE,CAAC;AACjC,CAAC,CAAC,CAAC;AAEL;;;;;;;;;AASA,OAAO,MAAM7D,cAAc,gBAAGtH,OAAO,CAACoL,SAAS,CAC7C,yCAAyC,EACzC;EACEC,YAAY,EAAE/K;CACf,CACF;AAED;;;;;;;;;;AAUA,OAAO,MAAMkH,gBAAgB,gBAAGxH,OAAO,CAACoL,SAAS,CAC/C,2CAA2C,EAC3C;EACEC,YAAY,EAAEhL;CACf,CACF","ignoreList":[]}
+{"version":3,"file":"Workflow.js","names":["Arr","Cause","Context","Data","Effect","Exit","Fiber","Filter","constFalse","constTrue","dual","identity","Layer","Option","Predicate","Schema","Issue","Parser","Tranformation","Scope","makeHashDigest","TypeId","EngineTag","Service","InstanceTag","make","options","makeExecutionId","payload","name","idempotencyKey","self","payloadSchema","isSchema","Struct","successSchema","success","Void","errorSchema","error","Never","annotations","empty","annotate","tag","value","add","annotateMerge","context","merge","execute","fnUntraced","fields","opts","engine","executionId","annotateCurrentSpan","discard","suspendedRetrySchedule","withSpan","captureStackTrace","poll","effect","attributes","interrupt","resume","toLayer","effectDiscard","gen","register","flatMap","orDie","makeEffect","withCompensation","ResultTypeId","isResult","u","hasProperty","Complete","TaggedClass","schema","declareConstructor","Defect","exit","input","ast","_tag","fail","InvalidType","some","mapBothEager","decodeEffect","onSuccess","onFailure","issue","Composite","Pointer","expected","toCodecJson","link","transform","decode","encoded","encode","result","Suspended","Class","cause","optional","Result","Union","AnyOrVoid","Any","ResultEncoded","toEncoded","intoResult","contextWith","instance","get","captureDefects","workflow","CaptureDefects","suspendOnFailure","SuspendOnFailure","pipe","forkChild","startImmediately","fiber","onInterrupt","join","interruptible","catchCause","suspended","hasInterruptsOnly","die","squash","scoped","matchCauseEffect","succeed","reasons","interrupts","partition","fromPredicate","isInterruptReason","length","filtered","fromReasons","interrupted","hasDies","failCause","eff","onExitPrimitive","isFailure","close","scope","void","uninterruptible","wrapActivityResult","isSuspend","state","activityState","count","latch","closeUnsafe","onExit","isSuspended","isSuccess","combine","open","waitForZero","await","yieldNow","map","asEffect","provideScope","provide","addFinalizer","f","services","addFinalizerExit","provideContext","compensation","uninterruptibleMask","restore","tap","suspend","callback","getCurrent","interruptUnsafe","id","Reference","defaultValue"],"sources":["../../../src/unstable/workflow/Workflow.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,OAAO,MAAM,kBAAkB;AAC3C,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,IAAI,MAAM,eAAe;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,SAASC,UAAU,EAAEC,SAAS,EAAEC,IAAI,EAAEC,QAAQ,QAAQ,mBAAmB;AACzE,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAE/C,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,KAAK,MAAM,sBAAsB;AAC7C,OAAO,KAAKC,MAAM,MAAM,uBAAuB;AAC/C,OAAO,KAAKC,aAAa,MAAM,+BAA+B;AAC9D,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AAEvC,SAASC,cAAc,QAAQ,sBAAsB;AAGrD,MAAMC,MAAM,GAAG,2BAA2B;AA2O1C,MAAMC,SAAS,gBAAGpB,OAAO,CAACqB,OAAO,CAC/B,gCAAoE,CACrE;AAED,MAAMC,WAAW,gBAAGtB,OAAO,CAACqB,OAAO,CAIjC,iDAAuF,CACxF;AAED;;;;AAIA,OAAO,MAAME,IAAI,GAKfC,OAWD,IAKG;EACF,MAAMC,eAAe,GAAIC,OAAY,IAAKR,cAAc,CAAC,GAAGM,OAAO,CAACG,IAAI,IAAIH,OAAO,CAACI,cAAc,CAACF,OAAO,CAAC,EAAE,CAAC;EAC9G,MAAMG,IAAI,GAAwC;IAChD,CAACV,MAAM,GAAGA,MAAM;IAChBQ,IAAI,EAAEH,OAAO,CAACG,IAAI;IAClBG,aAAa,EAAEjB,MAAM,CAACkB,QAAQ,CAACP,OAAO,CAACE,OAAO,CAAC,GAC3CF,OAAO,CAACE,OAAO,GACfb,MAAM,CAACmB,MAAM,CAACR,OAAO,CAACE,OAAc,CAAC;IACzCO,aAAa,EAAET,OAAO,CAACU,OAAO,IAAKrB,MAAM,CAACsB,IAAY;IACtDC,WAAW,EAAEZ,OAAO,CAACa,KAAK,IAAKxB,MAAM,CAACyB,KAAa;IACnDC,WAAW,EAAEf,OAAO,CAACe,WAAW,IAAIvC,OAAO,CAACwC,KAAK,EAAE;IACnDC,QAAQA,CAACC,GAAG,EAAEC,KAAK;MACjB,OAAOpB,IAAI,CAAC;QACV,GAAGC,OAAO;QACVe,WAAW,EAAEvC,OAAO,CAAC4C,GAAG,CAACf,IAAI,CAACU,WAAW,EAAEG,GAAG,EAAEC,KAAK;OACtD,CAAC;IACJ,CAAC;IACDE,aAAaA,CAACC,OAAO;MACnB,OAAOvB,IAAI,CAAC;QACV,GAAGC,OAAO;QACVe,WAAW,EAAEvC,OAAO,CAAC+C,KAAK,CAAClB,IAAI,CAACU,WAAW,EAAEO,OAAO;OACrD,CAAC;IACJ,CAAC;IACDE,OAAO,EAAE9C,MAAM,CAAC+C,UAAU,CACxB,WACEC,MAAW,EACXC,IAAiD;MAEjD,MAAMzB,OAAO,GAAGG,IAAI,CAACC,aAAa,CAACP,IAAI,CAAC2B,MAAM,CAAC;MAC/C,MAAME,MAAM,GAAG,OAAOhC,SAAS;MAC/B,MAAMiC,WAAW,GAAG,OAAO5B,eAAe,CAACC,OAAO,CAAC;MACnD,OAAOxB,MAAM,CAACoD,mBAAmB,CAAC;QAAED;MAAW,CAAE,CAAC;MAClD,OAAO,OAAOD,MAAM,CAACJ,OAAO,CAACnB,IAAI,EAAE;QACjCwB,WAAW;QACX3B,OAAO;QACP6B,OAAO,EAAEJ,IAAI,EAAEI,OAAO;QACtBC,sBAAsB,EAAEhC,OAAO,CAACgC;OACjC,CAAC;IACJ,CAAC,EACDtD,MAAM,CAACuD,QAAQ,CACb,GAAGjC,OAAO,CAACG,IAAI,UAAU,EACzB,EAAE,EACF;MAAE+B,iBAAiB,EAAE;IAAK,CAAE,CAC7B,CACK;IACRC,IAAI,EAAEzD,MAAM,CAAC+C,UAAU,CACrB,WAAUI,WAAmB;MAC3B,MAAMD,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAO,OAAOgC,MAAM,CAACO,IAAI,CAAC9B,IAAI,EAAEwB,WAAW,CAAC;IAC9C,CAAC,EACD,CAACO,MAAM,EAAEP,WAAW,KAClBnD,MAAM,CAACuD,QAAQ,CAACG,MAAM,EAAE,GAAGpC,OAAO,CAACG,IAAI,OAAO,EAAE;MAC9C+B,iBAAiB,EAAE,KAAK;MACxBG,UAAU,EAAE;QAAER;MAAW;KAC1B,CAAC,CACL;IACDS,SAAS,EAAE5D,MAAM,CAAC+C,UAAU,CAC1B,WAAUI,WAAmB;MAC3B,MAAMD,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAOgC,MAAM,CAACU,SAAS,CAACjC,IAAI,EAAEwB,WAAW,CAAC;IAC5C,CAAC,EACD,CAACO,MAAM,EAAEP,WAAW,KAClBnD,MAAM,CAACuD,QAAQ,CAACG,MAAM,EAAE,GAAGpC,OAAO,CAACG,IAAI,YAAY,EAAE;MACnD+B,iBAAiB,EAAE,KAAK;MACxBG,UAAU,EAAE;QAAER;MAAW;KAC1B,CAAC,CACL;IACDU,MAAM,EAAE7D,MAAM,CAAC+C,UAAU,CACvB,WAAUI,WAAmB;MAC3B,MAAMD,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAOgC,MAAM,CAACW,MAAM,CAAClC,IAAI,EAAEwB,WAAW,CAAC;IACzC,CAAC,EACD,CAACO,MAAM,EAAEP,WAAW,KAClBnD,MAAM,CAACuD,QAAQ,CAACG,MAAM,EAAE,GAAGpC,OAAO,CAACG,IAAI,SAAS,EAAE;MAChD+B,iBAAiB,EAAE,KAAK;MACxBG,UAAU,EAAE;QAAER;MAAW;KAC1B,CAAC,CACL;IACDW,OAAO,EAAGhB,OAAO,IACftC,KAAK,CAACuD,aAAa,CACjB/D,MAAM,CAACgE,GAAG,CAAC,aAAS;MAClB,MAAMd,MAAM,GAAG,OAAOhC,SAAS;MAC/B,OAAO,OAAOgC,MAAM,CAACe,QAAQ,CAACtC,IAAI,EAAEmB,OAAO,CAAC;IAC9C,CAAC,CAAC,CACH;IACHK,WAAW,EAAG3B,OAAO,IACnBxB,MAAM,CAACkE,OAAO,CACZlE,MAAM,CAACmE,KAAK,CAACxC,IAAI,CAACC,aAAa,CAACwC,UAAU,CAAC5C,OAAO,CAAC,CAAC,EACpDD,eAAe,CAChB;IACH8C;GACD;EAED,OAAO1C,IAAI;AACb,CAAC;AAED,MAAM2C,YAAY,GAAG,kCAAkC;AAEvD;;;;AAIA,OAAO,MAAMC,QAAQ,GACnBC,CAAU,IACY9D,SAAS,CAAC+D,WAAW,CAACD,CAAC,EAAEF,YAAY,CAAC;AA0C9D;;;;AAIA,OAAM,MAAOI,QAAe,sBAAQ3E,IAAI,CAAC4E,WAAW,CAAC,UAAU,CAE7D;EACA;;;EAGS,CAACL,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,OAAO3D,MAAMA,CAAuDW,OAGnE;IACC;IACA,MAAMsD,MAAM,GAAGjE,MAAM,CAACkE,kBAAkB,EAGrC,CACD,CAAClE,MAAM,CAACV,IAAI,CAACqB,OAAO,CAACU,OAAO,EAAEV,OAAO,CAACa,KAAK,EAAExB,MAAM,CAACmE,MAAM,CAAC,CAAC,EAC5D,CAAC,CAACC,IAAI,CAAC,KAAK,CAACC,KAAK,EAAEC,GAAG,EAAE3D,OAAO,KAAI;MAClC,IAAI,EAAEiD,QAAQ,CAACS,KAAK,CAAC,IAAIA,KAAK,CAACE,IAAI,KAAK,UAAU,CAAC,EAAE;QACnD,OAAOlF,MAAM,CAACmF,IAAI,CAAC,IAAIvE,KAAK,CAACwE,WAAW,CAACH,GAAG,EAAExE,MAAM,CAAC4E,IAAI,CAACL,KAAK,CAAC,CAAC,CAAC;MACpE;MACA,OAAOhF,MAAM,CAACsF,YAAY,CACxBzE,MAAM,CAAC0E,YAAY,CAACR,IAAI,CAAC,CAACC,KAAK,CAACD,IAAI,EAAEzD,OAAO,CAAC,EAC9C;QACEkE,SAAS,EAAGT,IAAI,IAAK,IAAIL,QAAQ,CAAC;UAAEK;QAAI,CAAE,CAAC;QAC3CU,SAAS,EAAGC,KAAK,IACf,IAAI9E,KAAK,CAAC+E,SAAS,CAACV,GAAG,EAAExE,MAAM,CAAC4E,IAAI,CAACL,KAAK,CAAC,EAAE,CAC3C,IAAIpE,KAAK,CAACgF,OAAO,CAAC,CAAC,MAAM,CAAC,EAAEF,KAAK,CAAC,CACnC;OACJ,CACF;IACH,CAAC,EACD;MACEG,QAAQ,EAAE,mBAAmB;MAC7BC,WAAW,EAAEA,CAAC,CAACf,IAAI,CAAC,KAClBpE,MAAM,CAACoF,IAAI,EAAkD,CAC3DpF,MAAM,CAACmB,MAAM,CAAC;QACZoD,IAAI,EAAEvE,MAAM,CAAC6B,GAAG,CAAC,UAAU,CAAC;QAC5BuC;OACD,CAAC,EACFjE,aAAa,CAACkF,SAAS,CAAC;QACtBC,MAAM,EAAGC,OAAO,IAAK,IAAIxB,QAAQ,CAAC;UAAEK,IAAI,EAAEmB,OAAO,CAACnB;QAAI,CAAE,CAAC;QACzDoB,MAAM,EAAGC,MAAM,KAAO;UACpBlB,IAAI,EAAE,UAAU;UAChBH,IAAI,EAAEqB,MAAM,CAACrB;SACd;OACF,CAAC;KAEP,CACF;IACD,OAAOpE,MAAM,CAACU,IAAI,CAACuD,MAAM,CAACK,GAAG,EAAE;MAC7BjD,OAAO,EAAEV,OAAO,CAACU,OAAO;MACxBG,KAAK,EAAEb,OAAO,CAACa;KAChB,CAAC;EACJ;;AAGF;;;;AAIA,OAAM,MAAOkE,SAAU,sBAAQ1F,MAAM,CAAC2F,KAAK,CACzC,oCAAoC,CACrC,CAAC;EACApB,IAAI,eAAEvE,MAAM,CAAC6B,GAAG,CAAC,WAAW,CAAC;EAC7B+D,KAAK,eAAE5F,MAAM,CAAC6F,QAAQ,cAAC7F,MAAM,CAACd,KAAK,CAACc,MAAM,CAACyB,KAAK,EAAEzB,MAAM,CAACmE,MAAM,CAAC;CACjE,CAAC;EACA;;;EAGS,CAACR,YAAY,IAAIA,YAAY;;AAGxC;;;;AAIA,OAAO,MAAMmC,MAAM,GAGjBnF,OAGD,IAAKX,MAAM,CAAC+F,KAAK,CAAC,CAAChC,QAAQ,CAAC/D,MAAM,CAACW,OAAO,CAAC,EAAE+E,SAAS,CAAC,CAAC;AAEzD,MAAMM,SAAS,gBAAGhG,MAAM,CAAC+F,KAAK,CAAC,CAAC/F,MAAM,CAACiG,GAAG,EAAEjG,MAAM,CAACsB,IAAI,CAAC,CAAC;AAEzD;;;;AAIA,OAAO,MAAM4E,aAAa,gBAA0ClG,MAAM,CAACmG,SAAS,cAClFnG,MAAM,CAACmF,WAAW,cAChBW,MAAM,CAAC;EACLzE,OAAO,EAAE2E,SAAS;EAClBxE,KAAK,EAAEwE;CACR,CAAC,CACH,CACK;AAER;;;;AAIA,OAAO,MAAMI,UAAU,GACrBrD,MAA8B,IAM9B1D,MAAM,CAACgH,WAAW,CAAEpE,OAA0C,IAAI;EAChE,MAAMqE,QAAQ,GAAGnH,OAAO,CAACoH,GAAG,CAACtE,OAAO,EAAExB,WAAW,CAAC;EAClD,MAAM+F,cAAc,GAAGrH,OAAO,CAACoH,GAAG,CAACD,QAAQ,CAACG,QAAQ,CAAC/E,WAAW,EAAEgF,cAAc,CAAC;EACjF,MAAMC,gBAAgB,GAAGxH,OAAO,CAACoH,GAAG,CAACD,QAAQ,CAACG,QAAQ,CAAC/E,WAAW,EAAEkF,gBAAgB,CAAC;EACrF,OAAO7D,MAAM,CAAC8D,IAAI;EAChB;EACAxH,MAAM,CAACyH,SAAS,CAAC;IAAEC,gBAAgB,EAAE;EAAI,CAAE,CAAC,EAC5C1H,MAAM,CAACkE,OAAO,CAAEyD,KAAK,IAAK3H,MAAM,CAAC4H,WAAW,CAAC1H,KAAK,CAAC2H,IAAI,CAACF,KAAK,CAAC,EAAE,MAAMzH,KAAK,CAAC0D,SAAS,CAAC+D,KAAK,CAAC,CAAC,CAAC,EAC9F3H,MAAM,CAAC8H,aAAa,EACpBR,gBAAgB,GACZtH,MAAM,CAAC+H,UAAU,CAAExB,KAAK,IAAI;IAC5BU,QAAQ,CAACe,SAAS,GAAG,IAAI;IACzB,IAAI,CAACnI,KAAK,CAACoI,iBAAiB,CAAC1B,KAAK,CAAC,EAAE;MACnCU,QAAQ,CAACV,KAAK,GAAG1G,KAAK,CAACqI,GAAG,CAACrI,KAAK,CAACsI,MAAM,CAAC5B,KAAK,CAAC,CAAC;IACjD;IACA,OAAOvG,MAAM,CAAC4D,SAAS;EACzB,CAAC,CAAC,GACArD,QAAQ,EACZP,MAAM,CAACoI,MAAM,EACbpI,MAAM,CAACqI,gBAAgB,CAAC;IACtB7C,SAAS,EAAG/C,KAAK,IAAKzC,MAAM,CAACsI,OAAO,CAAC,IAAI5D,QAAQ,CAAC;MAAEK,IAAI,EAAE9E,IAAI,CAACqI,OAAO,CAAC7F,KAAK;IAAC,CAAE,CAAC,CAAC;IACjFgD,SAAS,EAAGc,KAAK,IAAiC;MAChD,MAAM,CAACgC,OAAO,EAAEC,UAAU,CAAC,GAAG5I,GAAG,CAAC6I,SAAS,CACzClC,KAAK,CAACgC,OAAO,EACbpI,MAAM,CAACuI,aAAa,CAAC7I,KAAK,CAAC8I,iBAAiB,CAAC,CAC9C;MACD,MAAMV,iBAAiB,GAAGO,UAAU,CAACI,MAAM,KAAKrC,KAAK,CAACgC,OAAO,CAACK,MAAM;MACpE,MAAMC,QAAQ,GAAGN,OAAO,CAACK,MAAM,KAAK,CAAC,GAAGrC,KAAK,GAAG1G,KAAK,CAACiJ,WAAW,CAACP,OAAO,CAAC;MAC1E,OAAOtB,QAAQ,CAACe,SAAS,IAAIC,iBAAiB,GAC1CjI,MAAM,CAACsI,OAAO,CAAC,IAAIjC,SAAS,CAAC;QAAEE,KAAK,EAAEU,QAAQ,CAACV;MAAK,CAAE,CAAC,CAAC,GACvD,CAACU,QAAQ,CAAC8B,WAAW,IAAId,iBAAiB,IACxC,CAACd,cAAc,IAAItH,KAAK,CAACmJ,OAAO,CAACzC,KAAK,CAAE,GAC3CvG,MAAM,CAACiJ,SAAS,CAACJ,QAA8B,CAAC,GAChD7I,MAAM,CAACsI,OAAO,CAAC,IAAI5D,QAAQ,CAAC;QAAEK,IAAI,EAAE9E,IAAI,CAACgJ,SAAS,CAACJ,QAAQ;MAAC,CAAE,CAAC,CAAC;IACtE;GACD,CAAC,EACDK,GAAG,IACFlJ,MAAM,CAACmJ,eAAe,CAACD,GAAG,EAAGnE,IAAI,IAAI;IACnC,IAAI9E,IAAI,CAACmJ,SAAS,CAACrE,IAAI,CAAC,EAAE;MACxB,OAAOhE,KAAK,CAACsI,KAAK,CAACpC,QAAQ,CAACqC,KAAK,EAAEvE,IAAI,CAAC;IAC1C,CAAC,MAAM,IAAIA,IAAI,CAACtC,KAAK,CAACyC,IAAI,KAAK,UAAU,EAAE;MACzC,OAAOnE,KAAK,CAACsI,KAAK,CAACpC,QAAQ,CAACqC,KAAK,EAAEvE,IAAI,CAACtC,KAAK,CAACsC,IAAI,CAAC;IACrD;IACA,OAAO/E,MAAM,CAACuJ,IAAI;EACpB,CAAC,EAAE,IAAI,CAAC,EACVvJ,MAAM,CAACwJ,eAAe,CACvB;AACH,CAAC,CAAC;AAEJ;;;;AAIA,OAAO,MAAMC,kBAAkB,GAAGA,CAChC/F,MAA8B,EAC9BgG,SAAgC,KAEhC1J,MAAM,CAACgH,WAAW,CAAEpE,OAA0C,IAAI;EAChE,MAAMqE,QAAQ,GAAGnH,OAAO,CAACoH,GAAG,CAACtE,OAAO,EAAExB,WAAW,CAAC;EAClD,MAAMuI,KAAK,GAAG1C,QAAQ,CAAC2C,aAAa;EACpC,IAAID,KAAK,CAACE,KAAK,KAAK,CAAC,EAAEF,KAAK,CAACG,KAAK,CAACC,WAAW,EAAE;EAChDJ,KAAK,CAACE,KAAK,EAAE;EACb,OAAO7J,MAAM,CAACgK,MAAM,CAACtG,MAAM,EAAGqB,IAAI,IAAI;IACpC4E,KAAK,CAACE,KAAK,EAAE;IACb,MAAMI,WAAW,GAAGhK,IAAI,CAACiK,SAAS,CAACnF,IAAI,CAAC,IAAI2E,SAAS,CAAC3E,IAAI,CAACtC,KAAK,CAAC;IACjE,IACExC,IAAI,CAACiK,SAAS,CAACnF,IAAI,CAAC,IACpBR,QAAQ,CAACQ,IAAI,CAACtC,KAAK,CAAC,IACpBsC,IAAI,CAACtC,KAAK,CAACyC,IAAI,KAAK,WAAW,IAC/BH,IAAI,CAACtC,KAAK,CAAC8D,KAAK,EAChB;MACAU,QAAQ,CAACV,KAAK,GAAGU,QAAQ,CAACV,KAAK,GAC3B1G,KAAK,CAACsK,OAAO,CAAClD,QAAQ,CAACV,KAAK,EAAExB,IAAI,CAACtC,KAAK,CAAC8D,KAAK,CAAC,GAC/CxB,IAAI,CAACtC,KAAK,CAAC8D,KAAK;IACtB;IACA,OAAOoD,KAAK,CAACE,KAAK,KAAK,CAAC,GACpBF,KAAK,CAACG,KAAK,CAACM,IAAI,GAChBH,WAAW,GACXI,WAAW,CAACpD,QAAQ,CAAC,GACrBjH,MAAM,CAACuJ,IAAI;EACjB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEJ,MAAMc,WAAW,gBAAGrK,MAAM,CAAC+C,UAAU,CAAC,WAAUkE,QAAqC;EACnF,MAAM0C,KAAK,GAAG1C,QAAQ,CAAC2C,aAAa;EACpC,OAAO,IAAI,EAAE;IACX,IAAID,KAAK,CAACE,KAAK,GAAG,CAAC,EAAE;MACnB,OAAOF,KAAK,CAACG,KAAK,CAACQ,KAAK;MACxB,OAAOtK,MAAM,CAACuK,QAAQ;MACtB;IACF;IACA,OAAOvK,MAAM,CAACuK,QAAQ;IACtB,IAAIZ,KAAK,CAACE,KAAK,KAAK,CAAC,EAAE;EACzB;AACF,CAAC,CAAC;AAEF;;;;;;;;;AASA,OAAO,MAAMP,KAAK,gBAIdtJ,MAAM,CAACwK,GAAG,cACZpJ,WAAW,CAACqJ,QAAQ,EAAE,EACrBxD,QAAQ,IAAKA,QAAQ,CAACqC,KAAoB,CAC5C;AAED;;;;;;;;;AASA,OAAO,MAAMoB,YAAY,GACvBhH,MAA8B,IAE9B1D,MAAM,CAACkE,OAAO,CAACoF,KAAK,EAAGA,KAAK,IAAKvI,KAAK,CAAC4J,OAAO,CAACjH,MAAM,EAAE4F,KAAK,CAAC,CAAC;AAEhE;;;;AAIA,OAAO,MAAMsB,YAAY,gBAMrB5K,MAAM,CAAC+C,UAAU,CAAC,WACpB8H,CAAuE;EAEvE,MAAMvB,KAAK,GAAG,CAAC,OAAOlI,WAAW,EAAEkI,KAAK;EACxC,MAAMwB,QAAQ,GAAG,OAAO9K,MAAM,CAAC4C,OAAO,EAAK;EAC3C,OAAO7B,KAAK,CAACgK,gBAAgB,CAACzB,KAAK,EAAGvE,IAAI,IAAK/E,MAAM,CAACgL,cAAc,CAACH,CAAC,CAAC9F,IAAI,CAAC,EAAE+F,QAAQ,CAAC,CAAC;AAC1F,CAAC,CAAC;AAEF;;;;;;;;;;;AAWA,OAAO,MAAMzG,gBAAgB,gBAgCzB/D,IAAI,CAAC,CAAC,EAAE,CACVoD,MAA8B,EAC9BuH,YAAuF,KAEvFjL,MAAM,CAACkL,mBAAmB,CAAEC,OAAO,IACjCnL,MAAM,CAACoL,GAAG,CACRD,OAAO,CAACzH,MAAM,CAAC,EACdjB,KAAK,IAAKmI,YAAY,CAAE7F,IAAI,IAAK9E,IAAI,CAACiK,SAAS,CAACnF,IAAI,CAAC,GAAG/E,MAAM,CAACuJ,IAAI,GAAG0B,YAAY,CAACxI,KAAK,EAAEsC,IAAI,CAACwB,KAAK,CAAC,CAAC,CACxG,CACF,CAAC;AAEJ;;;;AAIA,OAAO,MAAM8E,OAAO,GAAIpE,QAAqC,IAC3DjH,MAAM,CAAC8H,aAAa,CAAC9H,MAAM,CAACsL,QAAQ,CAAQ,MAAK;EAC/CrE,QAAQ,CAACe,SAAS,GAAG,IAAI;EACzB,MAAML,KAAK,GAAGzH,KAAK,CAACqL,UAAU,EAAG;EACjC5D,KAAK,CAAC6D,eAAe,CAAC7D,KAAK,CAAC8D,EAAE,CAAC;AACjC,CAAC,CAAC,CAAC;AAEL;;;;;;;;;AASA,OAAO,MAAMpE,cAAc,gBAAGvH,OAAO,CAAC4L,SAAS,CAC7C,yCAAyC,EACzC;EACEC,YAAY,EAAEtL;CACf,CACF;AAED;;;;;;;;;;AAUA,OAAO,MAAMkH,gBAAgB,gBAAGzH,OAAO,CAAC4L,SAAS,CAC/C,2CAA2C,EAC3C;EACEC,YAAY,EAAEvL;CACf,CACF","ignoreList":[]}

package/package.json

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

package/src/Effect.ts

@@ -79,6 +79,7 @@ import type { Fiber } from "./Fiber.ts"
 import type * as Filter from "./Filter.ts"
 import { constant, dual, type LazyArg } from "./Function.ts"
 import type { TypeLambda } from "./HKT.ts"
+import type { Inspectable } from "./Inspectable.ts"
 import * as core from "./internal/core.ts"
 import * as internal from "./internal/effect.ts"
 import * as internalExecutionPlan from "./internal/executionPlan.ts"
@@ -169,7 +170,9 @@ const TypeId = core.EffectTypeId
  * @since 2.0.0
  * @category Models
  */
-export interface Effect<out A, out E = never, out R = never> extends Pipeable, Yieldable<Effect<A, E, R>, A, E, R> {
+export interface Effect<out A, out E = never, out R = never>
+  extends Pipeable, Inspectable, Yieldable<Effect<A, E, R>, A, E, R>
+{
   readonly [TypeId]: Variance<A, E, R>
   [Unify.typeSymbol]?: unknown
   [Unify.unifySymbol]?: EffectUnify<this>

package/src/Effectable.ts

@@ -0,0 +1,47 @@
+/**
+ * @since 4.0.0
+ */
+import type * as Effect from "./Effect.ts"
+import type * as Fiber from "./Fiber.ts"
+import { evaluate, makePrimitiveProto } from "./internal/core.ts"
+
+/**
+ * Create a low-level `Effect` prototype.
+ *
+ * When the effect is evaluated, it will call `evaluate` with the current fiber.
+ *
+ * @since 4.0.0
+ * @category Prototypes
+ */
+export const Prototype = <A extends Effect.Effect<any, any, any>>(options: {
+  readonly label: string
+  readonly evaluate: (
+    this: A,
+    fiber: Fiber.Fiber<any, any>
+  ) => Effect.Effect<Effect.Success<A>, Effect.Error<A>, Effect.Services<A>>
+}): Effect.Effect<Effect.Success<A>, Effect.Error<A>, Effect.Services<A>> =>
+  makePrimitiveProto({
+    op: options.label,
+    [evaluate]: options.evaluate
+  }) as any
+
+const Base: new<A, E, R>() => Effect.Effect<A, E, R> = (() => {
+  const Base = function() {}
+  Base.prototype = Prototype({
+    label: "Effectable",
+    evaluate(_) {
+      return this.asEffect()
+    }
+  })
+  return Base as any
+})()
+
+/**
+ * An abstract class that can be extended to create an `Effect`.
+ *
+ * @since 4.0.0
+ * @category Constructors
+ */
+export abstract class Class<A, E = never, R = never> extends Base<A, E, R> {
+  abstract override asEffect(): Effect.Effect<A, E, R>
+}

package/src/Schema.ts

@@ -1994,7 +1994,7 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
 export function TemplateLiteralParser<const Parts extends TemplateLiteral.Parts>(
   parts: Parts
 ): TemplateLiteralParser<Parts> {
-  return make(templateLiteralFromParts(parts).asTemplateLiteralParser(), { parts: [...parts] })
+  return make(templateLiteralFromParts(parts).asTemplateLiteralParser(), { parts })
 }
 
 /**

package/src/index.ts

@@ -1000,6 +1000,11 @@ export * as Duration from "./Duration.ts"
  */
 export * as Effect from "./Effect.ts"
 
+/**
+ * @since 4.0.0
+ */
+export * as Effectable from "./Effectable.ts"
+
 /**
  * Encoding & decoding for Base64 (RFC4648), Base64Url, and Hex.
  *

package/src/internal/effect.ts

@@ -5307,7 +5307,7 @@ class Latch implements _Latch.Latch {
     this.isOpen = true
     return this.scheduleUnsafe(fiber)
   })
-  release = withFiber<boolean>((fiber) => this.open ? succeedFalse : this.scheduleUnsafe(fiber))
+  release = withFiber<boolean>((fiber) => this.isOpen ? succeedFalse : this.scheduleUnsafe(fiber))
   openUnsafe() {
     if (this.isOpen) return false
     this.isOpen = true

package/src/testing/TestClock.ts

@@ -235,7 +235,7 @@ export const make = Effect.fnUntraced(function*(
   }
 
   function currentTimeNanosUnsafe(): bigint {
-    return BigInt(currentTimestamp * 1000000)
+    return BigInt(Math.floor(currentTimestamp * 1000000))
   }
 
   const currentTimeMillis = Effect.sync(currentTimeMillisUnsafe)

package/src/unstable/cluster/ClusterWorkflowEngine.ts

@@ -472,7 +472,7 @@ export const make = Effect.gen(function*() {
             activities.set(activityId, { activity, context: services })
             const latch = activityLatches.get(activityId)
             if (latch) {
-              yield* latch.release
+              yield* latch.open
               activityLatches.delete(activityId)
             }
           }

package/src/unstable/http/HttpIncomingMessage.ts

@@ -46,10 +46,11 @@ export interface HttpIncomingMessage<E = unknown> extends Inspectable.Inspectabl
  * @category schema
  */
 export const schemaBodyJson = <S extends Schema.Top>(schema: S, options?: ParseOptions | undefined) => {
-  const decode = Schema.decodeEffect(Schema.toCodecJson(schema).annotate({ options }))
+  const decode = Schema.decodeEffect(Schema.toCodecJson(schema))
   return <E>(
     self: HttpIncomingMessage<E>
-  ): Effect.Effect<S["Type"], E | Schema.SchemaError, S["DecodingServices"]> => Effect.flatMap(self.json, decode)
+  ): Effect.Effect<S["Type"], E | Schema.SchemaError, S["DecodingServices"]> =>
+    Effect.flatMap(self.json, (u) => decode(u, options))
 }
 
 /**
@@ -67,11 +68,10 @@ export const schemaBodyUrlParams = <
 ) => {
   const decode = UrlParams.schemaRecord.pipe(
     Schema.decodeTo(schema),
-    Schema.annotate({ options }),
     Schema.decodeEffect
   )
   return <E>(self: HttpIncomingMessage<E>): Effect.Effect<A, E | Schema.SchemaError, RD> =>
-    Effect.flatMap(self.urlParamsBody, decode)
+    Effect.flatMap(self.urlParamsBody, (u) => decode(u, options))
 }
 
 /**

package/src/unstable/reactivity/AtomHttpApi.ts

@@ -16,6 +16,7 @@ import type * as HttpApi from "../httpapi/HttpApi.ts"
 import * as HttpApiClient from "../httpapi/HttpApiClient.ts"
 import * as HttpApiEndpoint from "../httpapi/HttpApiEndpoint.ts"
 import type * as HttpApiGroup from "../httpapi/HttpApiGroup.ts"
+import type * as HttpApiMiddleware from "../httpapi/HttpApiMiddleware.ts"
 import * as AsyncResult from "./AsyncResult.ts"
 import * as Atom from "./Atom.ts"
 import * as Reactivity from "./Reactivity.ts"
@@ -57,7 +58,7 @@ export interface AtomHttpApiClient<Self, Id extends string, Groups extends HttpA
       infer _Headers,
       infer _Success,
       infer _Error,
-      infer _R,
+      infer _Middleware,
       infer _RE
     >
   ] ? Atom.AtomResultFn<
@@ -67,7 +68,7 @@ export interface AtomHttpApiClient<Self, Id extends string, Groups extends HttpA
         }
       >,
       ResponseByMode<_Success["Type"], ResponseMode>,
-      _Error["Type"]
+      ErrorByMode<_Error, _Middleware, ResponseMode>
     >
     : never
 
@@ -119,13 +120,13 @@ export interface AtomHttpApiClient<Self, Id extends string, Groups extends HttpA
       infer _Headers,
       infer _Success,
       infer _Error,
-      infer _R,
+      infer _Middleware,
       infer _RE
     >
   ] ? Atom.Atom<
       AsyncResult.AsyncResult<
         ResponseByMode<_Success["Type"], ResponseMode>,
-        _Error["Type"]
+        ErrorByMode<_Error, _Middleware, ResponseMode>
       >
     >
     : never
@@ -316,3 +317,12 @@ type ResponseByMode<Success, ResponseMode extends HttpApiEndpoint.ClientResponse
   ["decoded-and-response"] ? [Success, HttpClientResponse]
   : [ResponseMode] extends ["response-only"] ? HttpClientResponse
   : Success
+
+type ErrorByMode<
+  Error extends Schema.Top,
+  Middleware,
+  ResponseMode extends HttpApiEndpoint.ClientResponseMode
+> =
+  | HttpApiMiddleware.Error<Middleware>
+  | HttpApiMiddleware.ClientError<Middleware>
+  | ([ResponseMode] extends ["response-only"] ? never : Error["Type"])

package/src/unstable/socket/Socket.ts

@@ -50,6 +50,12 @@ export interface Socket {
       readonly onOpen?: Effect.Effect<void> | undefined
     }
   ) => Effect.Effect<void, SocketError | E, R>
+  readonly runString: <_, E = never, R = never>(
+    handler: (_: string) => Effect.Effect<_, E, R> | void,
+    options?: {
+      readonly onOpen?: Effect.Effect<void> | undefined
+    }
+  ) => Effect.Effect<void, SocketError | E, R>
   readonly runRaw: <_, E = never, R = never>(
     handler: (_: string | Uint8Array) => Effect.Effect<_, E, R> | void,
     options?: {
@@ -63,6 +69,61 @@ export interface Socket {
   >
 }
 
+/**
+ * @since 4.0.0
+ * @category Constructors
+ */
+export const make = (options: {
+  readonly runRaw: <_, E, R>(
+    handler: (_: string | Uint8Array) => Effect.Effect<_, E, R> | void,
+    options?: {
+      readonly onOpen?: Effect.Effect<void> | undefined
+    }
+  ) => Effect.Effect<void, SocketError | E, R>
+  readonly run?: <_, E, R>(
+    handler: (_: Uint8Array) => Effect.Effect<_, E, R> | void,
+    options?: {
+      readonly onOpen?: Effect.Effect<void> | undefined
+    }
+  ) => Effect.Effect<void, SocketError | E, R>
+  readonly runString?: <_, E, R>(
+    handler: (_: string) => Effect.Effect<_, E, R> | void,
+    options?: {
+      readonly onOpen?: Effect.Effect<void> | undefined
+    }
+  ) => Effect.Effect<void, SocketError | E, R>
+  readonly writer: Effect.Effect<
+    (chunk: Uint8Array | string | CloseEvent) => Effect.Effect<void, SocketError>,
+    never,
+    Scope.Scope
+  >
+}): Socket =>
+  Socket.of({
+    [TypeId]: TypeId,
+    runRaw: options.runRaw,
+    run: options.run ?? ((handler, opts) =>
+      options.runRaw((data) =>
+        typeof data === "string"
+          ? handler(encoder.encode(data))
+          : data instanceof Uint8Array
+          ? handler(data)
+          : handler(new Uint8Array(data)), opts)),
+    runString: options.runString ??
+      (options.run ?
+        (handler, opts) => options.run!((data) => handler(decoder.decode(data)), opts) :
+        (handler, opts) =>
+          options.runRaw((data) =>
+            typeof data === "string"
+              ? handler(data)
+              : data instanceof Uint8Array
+              ? handler(decoder.decode(data))
+              : handler(decoder.decode(new Uint8Array(data))), opts)),
+    writer: options.writer
+  })
+
+const encoder = new TextEncoder()
+const decoder = new TextDecoder()
+
 const CloseEventTypeId = "~effect/socket/Socket/CloseEvent"
 
 /**
@@ -563,17 +624,6 @@ export const fromWebSocket = <RO>(
         }))
       )
 
-    const encoder = new TextEncoder()
-    const run = <_, E, R>(handler: (_: Uint8Array) => Effect.Effect<_, E, R> | void, opts?: {
-      readonly onOpen?: Effect.Effect<void> | undefined
-    }) =>
-      runRaw((data) =>
-        typeof data === "string"
-          ? handler(encoder.encode(data))
-          : data instanceof Uint8Array
-          ? handler(data)
-          : handler(new Uint8Array(data)), opts)
-
     const write = (chunk: Uint8Array | string | CloseEvent) =>
       latch.whenOpen(Effect.sync(() => {
         const ws = currentWS!
@@ -585,9 +635,7 @@ export const fromWebSocket = <RO>(
       }))
     const writer = Effect.succeed(write)
 
-    return Effect.succeed(Socket.of({
-      [TypeId]: TypeId,
-      run,
+    return Effect.succeed(make({
       runRaw,
       writer
     }))
@@ -711,15 +759,6 @@ export const fromTransformStream = <R>(acquire: Effect.Effect<InputTransformStre
         }))
       )
 
-    const encoder = new TextEncoder()
-    const run = <_, E, R>(handler: (_: Uint8Array) => Effect.Effect<_, E, R> | void, opts?: {
-      readonly onOpen?: Effect.Effect<void> | undefined
-    }) =>
-      runRaw((data) =>
-        typeof data === "string"
-          ? handler(encoder.encode(data))
-          : handler(data), opts)
-
     const writers = new WeakMap<InputTransformStream, WritableStreamDefaultWriter<Uint8Array>>()
     const getWriter = (stream: InputTransformStream) => {
       let writer = writers.get(stream)
@@ -751,9 +790,7 @@ export const fromTransformStream = <R>(acquire: Effect.Effect<InputTransformStre
         })
     )
 
-    return Effect.succeed(Socket.of({
-      [TypeId]: TypeId,
-      run,
+    return Effect.succeed(make({
       runRaw,
       writer
     }))

package/src/unstable/sql/Statement.ts

@@ -4,12 +4,10 @@
 import { Clock } from "../../Clock.ts"
 import * as Context from "../../Context.ts"
 import * as Effect from "../../Effect.ts"
+import * as Effectable from "../../Effectable.ts"
 import type * as Fiber from "../../Fiber.ts"
 import { constUndefined } from "../../Function.ts"
-import type { Inspectable } from "../../Inspectable.ts"
-import * as core from "../../internal/core.ts"
 import * as internalEffect from "../../internal/effect.ts"
-import type { Pipeable } from "../../Pipeable.ts"
 import { hasProperty } from "../../Predicate.ts"
 import { TracerTimingEnabled } from "../../References.ts"
 import * as Stream from "../../Stream.ts"
@@ -49,7 +47,7 @@ export type Dialect = "sqlite" | "pg" | "mysql" | "mssql" | "clickhouse"
  * @category model
  * @since 4.0.0
  */
-export interface Statement<A> extends Fragment, Effect.Effect<ReadonlyArray<A>, SqlError>, Pipeable, Inspectable {
+export interface Statement<A> extends Fragment, Effect.Effect<ReadonlyArray<A>, SqlError> {
   readonly raw: Effect.Effect<unknown, SqlError>
   readonly withoutTransform: Effect.Effect<ReadonlyArray<A>, SqlError>
   readonly stream: Stream.Stream<A, SqlError>
@@ -1128,8 +1126,23 @@ const StatementProto: Omit<
   StatementImpl<any>,
   "segments" | "acquirer" | "compiler" | "spanAttributes" | "transformRows"
 > = {
-  ...core.EffectProto,
-  [core.identifier as any]: "Statement",
+  ...Effectable.Prototype<StatementImpl<any>>({
+    label: "Statement",
+    evaluate(fiber) {
+      const span = internalEffect.makeSpanUnsafe(fiber, "sql.execute", { kind: "client" })
+      const clock = fiber.getRef(Clock)
+      const timingEnabled = fiber.getRef(TracerTimingEnabled)
+      return Effect.onExit(
+        this.withConnectionSpan(
+          "execute",
+          (connection, sql, params) => connection.execute(sql, params, this.transformRows),
+          false,
+          span
+        ),
+        (exit) => internalEffect.endSpan(span, exit, clock, timingEnabled)
+      )
+    }
+  }),
   [FragmentTypeId]: FragmentTypeId,
   withConnection<XA, E>(
     this: StatementImpl<any>,
@@ -1229,23 +1242,6 @@ const StatementProto: Omit<
   ) {
     return this.compiler.compile(this, withoutTransform ?? false)
   },
-  [core.evaluate as any](
-    this: StatementImpl<any>,
-    fiber: Fiber.Fiber<any, any>
-  ): Effect.Effect<ReadonlyArray<any>, SqlError> {
-    const span = internalEffect.makeSpanUnsafe(fiber, "sql.execute", { kind: "client" })
-    const clock = fiber.getRef(Clock)
-    const timingEnabled = fiber.getRef(TracerTimingEnabled)
-    return Effect.onExit(
-      this.withConnectionSpan(
-        "execute",
-        (connection, sql, params) => connection.execute(sql, params, this.transformRows),
-        false,
-        span
-      ),
-      (exit) => internalEffect.endSpan(span, exit, clock, timingEnabled)
-    )
-  },
   toJSON(this: StatementImpl<any>) {
     const [sql, params] = this.compile()
     return {

package/src/unstable/workflow/Activity.ts

@@ -5,8 +5,8 @@ import type { NonEmptyReadonlyArray } from "../../Array.ts"
 import * as Cause from "../../Cause.ts"
 import * as Context from "../../Context.ts"
 import * as Effect from "../../Effect.ts"
+import * as Effectable from "../../Effectable.ts"
 import { dual } from "../../Function.ts"
-import { PipeInspectableProto, YieldableProto } from "../../internal/core.ts"
 import * as Schedule from "../../Schedule.ts"
 import * as Schema from "../../Schema.ts"
 import type { Scope } from "../../Scope.ts"
@@ -27,8 +27,7 @@ export interface Activity<
   Error extends Schema.Top = Schema.Never,
   R = never
 > extends
-  Effect.Yieldable<
-    Activity<Success, Error, R>,
+  Effect.Effect<
     Success["Type"],
     Error["Type"],
     Success["DecodingServices"] | Error["DecodingServices"] | R | WorkflowEngine | WorkflowInstance
@@ -123,8 +122,12 @@ export const make = <
     options.interruptRetryPolicy
   )(options.execute)
   const self: Activity<Success, Error, Exclude<R, WorkflowInstance | WorkflowEngine>> = {
-    ...PipeInspectableProto,
-    ...YieldableProto,
+    ...Effectable.Prototype<Activity<Success, Error, R>>({
+      label: "Activity",
+      evaluate(_) {
+        return execute
+      }
+    }),
     [TypeId]: TypeId,
     name: options.name,
     successSchema,
@@ -147,10 +150,7 @@ export const make = <
     executeEncoded: Effect.matchEffect(executeWithoutInterrupt, {
       onFailure: (error) => Effect.flatMap(Effect.orDie(Schema.encodeEffect(errorSchemaJson)(error)), Effect.fail),
       onSuccess: (value) => Effect.orDie(Schema.encodeEffect(successSchemaJson)(value))
-    }),
-    asEffect() {
-      return execute
-    }
+    })
   } as any
   execute = makeExecute(self)
   return self

package/src/unstable/workflow/DurableDeferred.ts

@@ -1,13 +1,15 @@
 /**
  * @since 4.0.0
  */
+import * as Arr from "../../Array.ts"
 import type { NonEmptyReadonlyArray } from "../../Array.ts"
 import type * as Brand from "../../Brand.ts"
-import type * as Cause from "../../Cause.ts"
+import * as Cause from "../../Cause.ts"
 import * as Context from "../../Context.ts"
 import * as Effect from "../../Effect.ts"
 import * as Encoding from "../../Encoding.ts"
 import * as Exit from "../../Exit.ts"
+import * as Filter from "../../Filter.ts"
 import { dual } from "../../Function.ts"
 import * as Option from "../../Option.ts"
 import * as Schema from "../../Schema.ts"
@@ -193,11 +195,24 @@ export const into: {
     Effect.contextWith(
       (context: Context.Context<WorkflowEngine | WorkflowInstance>) => {
         const engine = Context.get(context, EngineTag)
-        const instance = Context.get(context, InstanceTag)
+        const parentInstance = Context.get(context, InstanceTag)
+        const instance = { ...parentInstance }
         return Effect.onExit(
-          effect,
+          Effect.provideService(effect, InstanceTag, instance),
           Effect.fnUntraced(function*(exit) {
-            if (instance.suspended) return
+            if (Exit.isFailure(exit)) {
+              const [reasons, interrupts] = Arr.partition(
+                exit.cause.reasons,
+                Filter.fromPredicate(Cause.isInterruptReason)
+              )
+              const hasInterruptsOnly = interrupts.length === exit.cause.reasons.length
+              if (hasInterruptsOnly && instance.suspended) {
+                parentInstance.suspended = true
+                return
+              } else if (interrupts.length > 0) {
+                exit = Exit.failCause(Cause.fromReasons(reasons))
+              }
+            }
             yield* engine.deferredDone(self, {
               workflowName: instance.workflow.name,
               executionId: instance.executionId,
@@ -244,7 +259,10 @@ export const raceAll = <
     if (Option.isSome(exit)) {
       return yield* Effect.flatten(exit.value) as Effect.Effect<any, any, any>
     }
-    return yield* into(Effect.raceAll(options.effects), deferred)
+    return yield* into(
+      Effect.raceAll(options.effects),
+      deferred
+    )
   })
 }