effect 2.0.0-next.55 → 2.0.0-next.56

package/dist/esm/internal/subscriptionRef.js.map

@@ -1 +1 @@
-{"version":3,"file":"subscriptionRef.js","names":["Effect","dual","pipe","pipeArguments","PubSub","Ref","Synchronized","_circular","_ref","stream","SubscriptionRefSymbolKey","SubscriptionRefTypeId","Symbol","for","subscriptionRefVariance","_A","_","SubscriptionRefImpl","ref","pubsub","semaphore","RefTypeId","refVariance","SynchronizedRefTypeId","synchronizedVariance","constructor","arguments","changes","get","flatMap","a","map","fromPubSub","scoped","s","concat","make","withPermits","unwrapScoped","modify","f","modifyEffect","succeed","b","set","as","zipLeft","publish","self","value","all","unbounded","makeSemaphore"],"sources":["../../../src/internal/subscriptionRef.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,cAAc;AACtC,SAASC,IAAI,EAAEC,IAAI,QAAQ,gBAAgB;AAC3C,SAASC,aAAa,QAAQ,gBAAgB;AAC9C,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,GAAG,MAAM,WAAW;AAGhC,OAAO,KAAKC,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAKC,SAAS,MAAM,sBAAsB;AACjD,OAAO,KAAKC,IAAI,MAAM,UAAU;AAChC,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;AACA,MAAMC,wBAAwB,GAAG,wBAAwB;AAEzD;AACA,OAAO,MAAMC,qBAAqB,gBAA0CC,MAAM,CAACC,GAAG,CACpFH,wBAAwB,CACgB;AAE1C;AACA,MAAMI,uBAAuB,GAAG;EAC9BC,EAAE,EAAGC,CAAQ,IAAKA;CACnB;AAED;AACA,MAAMC,mBAAmB;EAKZC,GAAA;EACAC,MAAA;EACAC,SAAA;EANF,CAACf,GAAG,CAACgB,SAAS,IAAIb,IAAI,CAACc,WAAW;EAClC,CAAChB,YAAY,CAACiB,qBAAqB,IAAIhB,SAAS,CAACiB,oBAAoB;EACrE,CAACb,qBAAqB,IAAIG,uBAAuB;EAC1DW,YACWP,GAAe,EACfC,MAAwB,EACxBC,SAA2B;IAF3B,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAC,SAAS,GAATA,SAAS;EAEpB;EACAlB,IAAIA,CAAA;IACF,OAAOC,aAAa,CAAC,IAAI,EAAEuB,SAAS,CAAC;EACvC;EACA,IAAIC,OAAOA,CAAA;IACT,OAAOzB,IAAI,CACTG,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACV,GAAG,CAAC,EACjBlB,MAAM,CAAC6B,OAAO,CAAEC,CAAC,IACf9B,MAAM,CAAC+B,GAAG,CACRtB,MAAM,CAACuB,UAAU,CAAC,IAAI,CAACb,MAAM,EAAE;MAAEc,MAAM,EAAE;IAAI,CAAE,CAAC,EAC/CC,CAAC,IACAzB,MAAM,CAAC0B,MAAM,CACX1B,MAAM,CAAC2B,IAAI,CAACN,CAAC,CAAC,EACdI,CAAC,CACF,CACJ,CACF,EACD,IAAI,CAACd,SAAS,CAACiB,WAAW,CAAC,CAAC,CAAC,EAC7B5B,MAAM,CAAC6B,YAAY,CACpB;EACH;EACAC,MAAMA,CAAIC,CAA4B;IACpC,OAAO,IAAI,CAACC,YAAY,CAAEX,CAAC,IAAK9B,MAAM,CAAC0C,OAAO,CAACF,CAAC,CAACV,CAAC,CAAC,CAAC,CAAC;EACvD;EACAW,YAAYA,CAAUD,CAAiD;IACrE,OAAOtC,IAAI,CACTG,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACV,GAAG,CAAC,EACjBlB,MAAM,CAAC6B,OAAO,CAACW,CAAC,CAAC,EACjBxC,MAAM,CAAC6B,OAAO,CAAC,CAAC,CAACc,CAAC,EAAEb,CAAC,CAAC,KACpB5B,IAAI,CACFG,GAAG,CAACuC,GAAG,CAAC,IAAI,CAAC1B,GAAG,EAAEY,CAAC,CAAC,EACpB9B,MAAM,CAAC6C,EAAE,CAACF,CAAC,CAAC,EACZ3C,MAAM,CAAC8C,OAAO,CAAC1C,MAAM,CAAC2C,OAAO,CAAC,IAAI,CAAC5B,MAAM,EAAEW,CAAC,CAAC,CAAC,CAC/C,CACF,EACD,IAAI,CAACV,SAAS,CAACiB,WAAW,CAAC,CAAC,CAAC,CAC9B;EACH;;AAGF;AACA,OAAO,MAAMT,GAAG,GAAOoB,IAAwC,IAAqC3C,GAAG,CAACuB,GAAG,CAACoB,IAAI,CAAC9B,GAAG,CAAC;AAErH;AACA,OAAO,MAAMkB,IAAI,GAAOa,KAAQ,IAC9B/C,IAAI,CACFF,MAAM,CAACkD,GAAG,CAAC,CACT9C,MAAM,CAAC+C,SAAS,EAAK,EACrB9C,GAAG,CAAC+B,IAAI,CAACa,KAAK,CAAC,EACfjD,MAAM,CAACoD,aAAa,CAAC,CAAC,CAAC,CACxB,CAAC,EACFpD,MAAM,CAAC+B,GAAG,CAAC,CAAC,CAACZ,MAAM,EAAED,GAAG,EAAEE,SAAS,CAAC,KAAK,IAAIH,mBAAmB,CAACC,GAAG,EAAEC,MAAM,EAAEC,SAAS,CAAC,CAAC,CAC1F;AAEH;AACA,OAAO,MAAMmB,MAAM,gBAAGtC,IAAI,CAMxB,CAAC,EAAE,CACH+C,IAAwC,EACxCR,CAA4B,KACOQ,IAAI,CAACT,MAAM,CAACC,CAAC,CAAC,CAAC;AAEpD;AACA,OAAO,MAAMC,YAAY,gBAAGxC,IAAI,CAQ9B,CAAC,EAAE,CACH+C,IAAwC,EACxCR,CAAiD,KACtBQ,IAAI,CAACP,YAAY,CAACD,CAAC,CAAC,CAAC;AAElD;AACA,OAAO,MAAMI,GAAG,gBAAG3C,IAAI,CAMrB,CAAC,EAAE,CACH+C,IAAwC,EACxCC,KAAQ,KAER/C,IAAI,CACFG,GAAG,CAACuC,GAAG,CAACI,IAAI,CAAC9B,GAAG,EAAE+B,KAAK,CAAC,EACxBjD,MAAM,CAAC8C,OAAO,CAAC1C,MAAM,CAAC2C,OAAO,CAACC,IAAI,CAAC7B,MAAM,EAAE8B,KAAK,CAAC,CAAC,EAClDD,IAAI,CAAC5B,SAAS,CAACiB,WAAW,CAAC,CAAC,CAAC,CAC9B,CAAC"}
+{"version":3,"file":"subscriptionRef.js","names":["Effect","dual","pipe","pipeArguments","PubSub","Ref","Synchronized","_circular","_ref","stream","SubscriptionRefSymbolKey","SubscriptionRefTypeId","Symbol","for","subscriptionRefVariance","_A","_","SubscriptionRefImpl","ref","pubsub","semaphore","RefTypeId","refVariance","SynchronizedRefTypeId","synchronizedVariance","constructor","arguments","changes","get","flatMap","a","map","fromPubSub","scoped","s","concat","make","withPermits","unwrapScoped","modify","f","modifyEffect","succeed","b","set","as","zipLeft","publish","self","value","all","unbounded","makeSemaphore"],"sources":["../../../src/internal/subscriptionRef.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,cAAc;AACtC,SAASC,IAAI,EAAEC,IAAI,QAAQ,gBAAgB;AAC3C,SAASC,aAAa,QAAQ,gBAAgB;AAC9C,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,GAAG,MAAM,WAAW;AAGhC,OAAO,KAAKC,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAKC,SAAS,MAAM,sBAAsB;AACjD,OAAO,KAAKC,IAAI,MAAM,UAAU;AAChC,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;AACA,MAAMC,wBAAwB,GAAG,wBAAwB;AAEzD;AACA,OAAO,MAAMC,qBAAqB,gBAA0CC,MAAM,CAACC,GAAG,CACpFH,wBAAwB,CACgB;AAE1C;AACA,MAAMI,uBAAuB,GAAG;EAC9BC,EAAE,EAAGC,CAAM,IAAKA;CACjB;AAED;AACA,MAAMC,mBAAmB;EAKZC,GAAA;EACAC,MAAA;EACAC,SAAA;EANF,CAACf,GAAG,CAACgB,SAAS,IAAIb,IAAI,CAACc,WAAW;EAClC,CAAChB,YAAY,CAACiB,qBAAqB,IAAIhB,SAAS,CAACiB,oBAAoB;EACrE,CAACb,qBAAqB,IAAIG,uBAAuB;EAC1DW,YACWP,GAAe,EACfC,MAAwB,EACxBC,SAA2B;IAF3B,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAC,SAAS,GAATA,SAAS;EAEpB;EACAlB,IAAIA,CAAA;IACF,OAAOC,aAAa,CAAC,IAAI,EAAEuB,SAAS,CAAC;EACvC;EACA,IAAIC,OAAOA,CAAA;IACT,OAAOzB,IAAI,CACTG,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACV,GAAG,CAAC,EACjBlB,MAAM,CAAC6B,OAAO,CAAEC,CAAC,IACf9B,MAAM,CAAC+B,GAAG,CACRtB,MAAM,CAACuB,UAAU,CAAC,IAAI,CAACb,MAAM,EAAE;MAAEc,MAAM,EAAE;IAAI,CAAE,CAAC,EAC/CC,CAAC,IACAzB,MAAM,CAAC0B,MAAM,CACX1B,MAAM,CAAC2B,IAAI,CAACN,CAAC,CAAC,EACdI,CAAC,CACF,CACJ,CACF,EACD,IAAI,CAACd,SAAS,CAACiB,WAAW,CAAC,CAAC,CAAC,EAC7B5B,MAAM,CAAC6B,YAAY,CACpB;EACH;EACAC,MAAMA,CAAIC,CAA4B;IACpC,OAAO,IAAI,CAACC,YAAY,CAAEX,CAAC,IAAK9B,MAAM,CAAC0C,OAAO,CAACF,CAAC,CAACV,CAAC,CAAC,CAAC,CAAC;EACvD;EACAW,YAAYA,CAAUD,CAAiD;IACrE,OAAOtC,IAAI,CACTG,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACV,GAAG,CAAC,EACjBlB,MAAM,CAAC6B,OAAO,CAACW,CAAC,CAAC,EACjBxC,MAAM,CAAC6B,OAAO,CAAC,CAAC,CAACc,CAAC,EAAEb,CAAC,CAAC,KACpB5B,IAAI,CACFG,GAAG,CAACuC,GAAG,CAAC,IAAI,CAAC1B,GAAG,EAAEY,CAAC,CAAC,EACpB9B,MAAM,CAAC6C,EAAE,CAACF,CAAC,CAAC,EACZ3C,MAAM,CAAC8C,OAAO,CAAC1C,MAAM,CAAC2C,OAAO,CAAC,IAAI,CAAC5B,MAAM,EAAEW,CAAC,CAAC,CAAC,CAC/C,CACF,EACD,IAAI,CAACV,SAAS,CAACiB,WAAW,CAAC,CAAC,CAAC,CAC9B;EACH;;AAGF;AACA,OAAO,MAAMT,GAAG,GAAOoB,IAAwC,IAAqC3C,GAAG,CAACuB,GAAG,CAACoB,IAAI,CAAC9B,GAAG,CAAC;AAErH;AACA,OAAO,MAAMkB,IAAI,GAAOa,KAAQ,IAC9B/C,IAAI,CACFF,MAAM,CAACkD,GAAG,CAAC,CACT9C,MAAM,CAAC+C,SAAS,EAAK,EACrB9C,GAAG,CAAC+B,IAAI,CAACa,KAAK,CAAC,EACfjD,MAAM,CAACoD,aAAa,CAAC,CAAC,CAAC,CACxB,CAAC,EACFpD,MAAM,CAAC+B,GAAG,CAAC,CAAC,CAACZ,MAAM,EAAED,GAAG,EAAEE,SAAS,CAAC,KAAK,IAAIH,mBAAmB,CAACC,GAAG,EAAEC,MAAM,EAAEC,SAAS,CAAC,CAAC,CAC1F;AAEH;AACA,OAAO,MAAMmB,MAAM,gBAAGtC,IAAI,CAMxB,CAAC,EAAE,CACH+C,IAAwC,EACxCR,CAA4B,KACOQ,IAAI,CAACT,MAAM,CAACC,CAAC,CAAC,CAAC;AAEpD;AACA,OAAO,MAAMC,YAAY,gBAAGxC,IAAI,CAQ9B,CAAC,EAAE,CACH+C,IAAwC,EACxCR,CAAiD,KACtBQ,IAAI,CAACP,YAAY,CAACD,CAAC,CAAC,CAAC;AAElD;AACA,OAAO,MAAMI,GAAG,gBAAG3C,IAAI,CAMrB,CAAC,EAAE,CACH+C,IAAwC,EACxCC,KAAQ,KAER/C,IAAI,CACFG,GAAG,CAACuC,GAAG,CAACI,IAAI,CAAC9B,GAAG,EAAE+B,KAAK,CAAC,EACxBjD,MAAM,CAAC8C,OAAO,CAAC1C,MAAM,CAAC2C,OAAO,CAACC,IAAI,CAAC7B,MAAM,EAAE8B,KAAK,CAAC,CAAC,EAClDD,IAAI,CAAC5B,SAAS,CAACiB,WAAW,CAAC,CAAC,CAAC,CAC9B,CAAC"}

package/dist/esm/internal/take.js

@@ -30,7 +30,7 @@ export const chunk = chunk => new TakeImpl(Exit.succeed(chunk));
 /** @internal */
 export const die = defect => new TakeImpl(Exit.die(defect));
 /** @internal */
-export const dieMessage = message => new TakeImpl(Exit.die(Cause.RuntimeException(message)));
+export const dieMessage = message => new TakeImpl(Exit.die(new Cause.RuntimeException(message)));
 /** @internal */
 export const done = self => Effect.suspend(() => self.exit);
 /** @internal */

package/dist/esm/internal/take.js.map

@@ -1 +1 @@
-{"version":3,"file":"take.js","names":["Cause","Chunk","Effect","Exit","constFalse","constTrue","dual","pipe","Option","pipeArguments","TakeSymbolKey","TakeTypeId","Symbol","for","takeVariance","_E","_","_A","TakeImpl","exit","constructor","arguments","chunk","succeed","die","defect","dieMessage","message","RuntimeException","done","self","suspend","end","fail","none","error","some","failCause","cause","map","fromEffect","effect","matchCause","onFailure","onSuccess","of","fromExit","mapBoth","fromPull","pull","match","flipCauseOption","onNone","onSome","isDone","isNone","isFailure","isSome","isSuccess","make","onEnd","matchEffect","f","value","tap","forEachEffect","asUnit"],"sources":["../../../src/internal/take.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,aAAa;AACpC,OAAO,KAAKC,KAAK,MAAM,aAAa;AACpC,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,IAAI,MAAM,YAAY;AAClC,SAASC,UAAU,EAAEC,SAAS,EAAEC,IAAI,EAAEC,IAAI,QAAQ,gBAAgB;AAClE,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,SAASC,aAAa,QAAQ,gBAAgB;AAG9C;AACA,MAAMC,aAAa,GAAG,aAAa;AAEnC;AACA,OAAO,MAAMC,UAAU,gBAAoBC,MAAM,CAACC,GAAG,CACnDH,aAAa,CACK;AAEpB;AACA,MAAMI,YAAY,GAAG;EACnBC,EAAE,EAAGC,CAAQ,IAAKA,CAAC;EACnBC,EAAE,EAAGD,CAAQ,IAAKA;CACnB;AAED;AACA,OAAM,MAAOE,QAAQ;EAEEC,IAAA;EADZ,CAACR,UAAU,IAAIG,YAAY;EACpCM,YAAqBD,IAAiD;IAAjD,KAAAA,IAAI,GAAJA,IAAI;EACzB;EACAZ,IAAIA,CAAA;IACF,OAAOE,aAAa,CAAC,IAAI,EAAEY,SAAS,CAAC;EACvC;;AAGF;AACA,OAAO,MAAMC,KAAK,GAAOA,KAAqB,IAA0B,IAAIJ,QAAQ,CAACf,IAAI,CAACoB,OAAO,CAACD,KAAK,CAAC,CAAC;AAEzG;AACA,OAAO,MAAME,GAAG,GAAIC,MAAe,IAA8B,IAAIP,QAAQ,CAACf,IAAI,CAACqB,GAAG,CAACC,MAAM,CAAC,CAAC;AAE/F;AACA,OAAO,MAAMC,UAAU,GAAIC,OAAe,IACxC,IAAIT,QAAQ,CAACf,IAAI,CAACqB,GAAG,CAACxB,KAAK,CAAC4B,gBAAgB,CAACD,OAAO,CAAC,CAAC,CAAC;AAEzD;AACA,OAAO,MAAME,IAAI,GAAUC,IAAqB,IAC9C5B,MAAM,CAAC6B,OAAO,CAAC,MAAMD,IAAI,CAACX,IAAI,CAAC;AAEjC;AACA,OAAO,MAAMa,GAAG,gBAA4B,IAAId,QAAQ,eAACf,IAAI,CAAC8B,IAAI,eAACzB,MAAM,CAAC0B,IAAI,EAAE,CAAC,CAAC;AAElF;AACA,OAAO,MAAMD,IAAI,GAAOE,KAAQ,IAA0B,IAAIjB,QAAQ,CAACf,IAAI,CAAC8B,IAAI,CAACzB,MAAM,CAAC4B,IAAI,CAACD,KAAK,CAAC,CAAC,CAAC;AAErG;AACA,OAAO,MAAME,SAAS,GAAOC,KAAqB,IAChD,IAAIpB,QAAQ,CAACf,IAAI,CAACkC,SAAS,CAAC9B,IAAI,CAAC+B,KAAK,EAAEtC,KAAK,CAACuC,GAAG,CAAC/B,MAAM,CAAC4B,IAAI,CAAC,CAAC,CAAC,CAAC;AAEnE;AACA,OAAO,MAAMI,UAAU,GAAaC,MAA8B,IAChEvC,MAAM,CAACwC,UAAU,CAACD,MAAM,EAAE;EAAEE,SAAS,EAAEN,SAAS;EAAEO,SAAS,EAAEC;AAAE,CAAE,CAAC;AAEpE;AACA,OAAO,MAAMC,QAAQ,GAAU3B,IAAqB,IAClD,IAAID,QAAQ,CAACX,IAAI,CAACY,IAAI,EAAEhB,IAAI,CAAC4C,OAAO,CAAC;EAAEJ,SAAS,EAAEnC,MAAM,CAAC4B,IAAI;EAAEQ,SAAS,EAAE3C,KAAK,CAAC4C;AAAE,CAAE,CAAC,CAAC,CAAC;AAEzF;AACA,OAAO,MAAMG,QAAQ,GACnBC,IAAwD,IAExD/C,MAAM,CAACwC,UAAU,CAACO,IAAI,EAAE;EACtBN,SAAS,EAAGL,KAAK,IACf9B,MAAM,CAAC0C,KAAK,CAAClD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,EAAE;IACzCc,MAAM,EAAEA,CAAA,KAAMpB,GAAG;IACjBqB,MAAM,EAAEhB;GACT,CAAC;EACJO,SAAS,EAAEtB;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMgC,MAAM,GAAUxB,IAAqB,IAChD3B,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAGL,KAAK,IAAK9B,MAAM,CAAC+C,MAAM,CAACvD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,CAAC;EACjEM,SAAS,EAAExC;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMoD,SAAS,GAAU1B,IAAqB,IACnD3B,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAGL,KAAK,IAAK9B,MAAM,CAACiD,MAAM,CAACzD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,CAAC;EACjEM,SAAS,EAAExC;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMsD,SAAS,GAAU5B,IAAqB,IACnD3B,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAEvC,UAAU;EACrBwC,SAAS,EAAEvC;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMsD,IAAI,GACfxC,IAAiD,IAC7B,IAAID,QAAQ,CAACC,IAAI,CAAC;AAExC;AACA,OAAO,MAAM+B,KAAK,gBAAG5C,IAAI,CAgBvB,CAAC,EAAE,CACHwB,IAAqB,EACrB;EAAE8B,KAAK;EAAEjB,SAAS;EAAEC;AAAS,CAI5B,KAEDzC,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAGL,KAAK,IACf9B,MAAM,CAAC0C,KAAK,CAAClD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,EAAE;IACzCc,MAAM,EAAEQ,KAAK;IACbP,MAAM,EAAEV;GACT,CAAC;EACJC;CACD,CAAC,CAAC;AAEL;AACA,OAAO,MAAMiB,WAAW,gBAAGvD,IAAI,CAgB7B,CAAC,EAAE,CACHwB,IAAqB,EACrB;EAAE8B,KAAK;EAAEjB,SAAS;EAAEC;AAAS,CAI5B,KAEDzC,IAAI,CAAC0D,WAAW,CAAuE/B,IAAI,CAACX,IAAI,EAAE;EAChGwB,SAAS,EAAGL,KAAK,IACf9B,MAAM,CAAC0C,KAAK,CAAClD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,EAAE;IACzCc,MAAM,EAAEA,CAAA,KAAMQ,KAAK;IACnBP,MAAM,EAAEV;GACT,CAAC;EACJC;CACD,CAAC,CAAC;AAEL;AACA,OAAO,MAAML,GAAG,gBAAGjC,IAAI,CAIrB,CAAC,EACD,CAAUwB,IAAqB,EAAEgC,CAAc,KAC7C,IAAI5C,QAAQ,CAACX,IAAI,CAACuB,IAAI,CAACX,IAAI,EAAEhB,IAAI,CAACoC,GAAG,CAACtC,KAAK,CAACsC,GAAG,CAACuB,CAAC,CAAC,CAAC,CAAC,CAAC,CACxD;AAED;AACA,OAAO,MAAMjB,EAAE,GAAOkB,KAAQ,IAA0B,IAAI7C,QAAQ,CAACf,IAAI,CAACoB,OAAO,CAACtB,KAAK,CAAC4C,EAAE,CAACkB,KAAK,CAAC,CAAC,CAAC;AAEnG;AACA,OAAO,MAAMC,GAAG,gBAAG1D,IAAI,CAQrB,CAAC,EAAE,CACHwB,IAAqB,EACrBgC,CAAqD,KAClBvD,IAAI,CAACuB,IAAI,CAACX,IAAI,EAAEhB,IAAI,CAAC8D,aAAa,CAACH,CAAC,CAAC,EAAE5D,MAAM,CAACgE,MAAM,CAAC,CAAC"}
+{"version":3,"file":"take.js","names":["Cause","Chunk","Effect","Exit","constFalse","constTrue","dual","pipe","Option","pipeArguments","TakeSymbolKey","TakeTypeId","Symbol","for","takeVariance","_E","_","_A","TakeImpl","exit","constructor","arguments","chunk","succeed","die","defect","dieMessage","message","RuntimeException","done","self","suspend","end","fail","none","error","some","failCause","cause","map","fromEffect","effect","matchCause","onFailure","onSuccess","of","fromExit","mapBoth","fromPull","pull","match","flipCauseOption","onNone","onSome","isDone","isNone","isFailure","isSome","isSuccess","make","onEnd","matchEffect","f","value","tap","forEachEffect","asUnit"],"sources":["../../../src/internal/take.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,KAAK,MAAM,aAAa;AACpC,OAAO,KAAKC,KAAK,MAAM,aAAa;AACpC,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,IAAI,MAAM,YAAY;AAClC,SAASC,UAAU,EAAEC,SAAS,EAAEC,IAAI,EAAEC,IAAI,QAAQ,gBAAgB;AAClE,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,SAASC,aAAa,QAAQ,gBAAgB;AAG9C;AACA,MAAMC,aAAa,GAAG,aAAa;AAEnC;AACA,OAAO,MAAMC,UAAU,gBAAoBC,MAAM,CAACC,GAAG,CACnDH,aAAa,CACK;AAEpB;AACA,MAAMI,YAAY,GAAG;EACnBC,EAAE,EAAGC,CAAQ,IAAKA,CAAC;EACnBC,EAAE,EAAGD,CAAQ,IAAKA;CACnB;AAED;AACA,OAAM,MAAOE,QAAQ;EAEEC,IAAA;EADZ,CAACR,UAAU,IAAIG,YAAY;EACpCM,YAAqBD,IAAiD;IAAjD,KAAAA,IAAI,GAAJA,IAAI;EACzB;EACAZ,IAAIA,CAAA;IACF,OAAOE,aAAa,CAAC,IAAI,EAAEY,SAAS,CAAC;EACvC;;AAGF;AACA,OAAO,MAAMC,KAAK,GAAOA,KAAqB,IAA0B,IAAIJ,QAAQ,CAACf,IAAI,CAACoB,OAAO,CAACD,KAAK,CAAC,CAAC;AAEzG;AACA,OAAO,MAAME,GAAG,GAAIC,MAAe,IAA8B,IAAIP,QAAQ,CAACf,IAAI,CAACqB,GAAG,CAACC,MAAM,CAAC,CAAC;AAE/F;AACA,OAAO,MAAMC,UAAU,GAAIC,OAAe,IACxC,IAAIT,QAAQ,CAACf,IAAI,CAACqB,GAAG,CAAC,IAAIxB,KAAK,CAAC4B,gBAAgB,CAACD,OAAO,CAAC,CAAC,CAAC;AAE7D;AACA,OAAO,MAAME,IAAI,GAAUC,IAAqB,IAC9C5B,MAAM,CAAC6B,OAAO,CAAC,MAAMD,IAAI,CAACX,IAAI,CAAC;AAEjC;AACA,OAAO,MAAMa,GAAG,gBAA4B,IAAId,QAAQ,eAACf,IAAI,CAAC8B,IAAI,eAACzB,MAAM,CAAC0B,IAAI,EAAE,CAAC,CAAC;AAElF;AACA,OAAO,MAAMD,IAAI,GAAOE,KAAQ,IAA0B,IAAIjB,QAAQ,CAACf,IAAI,CAAC8B,IAAI,CAACzB,MAAM,CAAC4B,IAAI,CAACD,KAAK,CAAC,CAAC,CAAC;AAErG;AACA,OAAO,MAAME,SAAS,GAAOC,KAAqB,IAChD,IAAIpB,QAAQ,CAACf,IAAI,CAACkC,SAAS,CAAC9B,IAAI,CAAC+B,KAAK,EAAEtC,KAAK,CAACuC,GAAG,CAAC/B,MAAM,CAAC4B,IAAI,CAAC,CAAC,CAAC,CAAC;AAEnE;AACA,OAAO,MAAMI,UAAU,GAAaC,MAA8B,IAChEvC,MAAM,CAACwC,UAAU,CAACD,MAAM,EAAE;EAAEE,SAAS,EAAEN,SAAS;EAAEO,SAAS,EAAEC;AAAE,CAAE,CAAC;AAEpE;AACA,OAAO,MAAMC,QAAQ,GAAU3B,IAAqB,IAClD,IAAID,QAAQ,CAACX,IAAI,CAACY,IAAI,EAAEhB,IAAI,CAAC4C,OAAO,CAAC;EAAEJ,SAAS,EAAEnC,MAAM,CAAC4B,IAAI;EAAEQ,SAAS,EAAE3C,KAAK,CAAC4C;AAAE,CAAE,CAAC,CAAC,CAAC;AAEzF;AACA,OAAO,MAAMG,QAAQ,GACnBC,IAAwD,IAExD/C,MAAM,CAACwC,UAAU,CAACO,IAAI,EAAE;EACtBN,SAAS,EAAGL,KAAK,IACf9B,MAAM,CAAC0C,KAAK,CAAClD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,EAAE;IACzCc,MAAM,EAAEA,CAAA,KAAMpB,GAAG;IACjBqB,MAAM,EAAEhB;GACT,CAAC;EACJO,SAAS,EAAEtB;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMgC,MAAM,GAAUxB,IAAqB,IAChD3B,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAGL,KAAK,IAAK9B,MAAM,CAAC+C,MAAM,CAACvD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,CAAC;EACjEM,SAAS,EAAExC;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMoD,SAAS,GAAU1B,IAAqB,IACnD3B,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAGL,KAAK,IAAK9B,MAAM,CAACiD,MAAM,CAACzD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,CAAC;EACjEM,SAAS,EAAExC;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMsD,SAAS,GAAU5B,IAAqB,IACnD3B,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAEvC,UAAU;EACrBwC,SAAS,EAAEvC;CACZ,CAAC;AAEJ;AACA,OAAO,MAAMsD,IAAI,GACfxC,IAAiD,IAC7B,IAAID,QAAQ,CAACC,IAAI,CAAC;AAExC;AACA,OAAO,MAAM+B,KAAK,gBAAG5C,IAAI,CAgBvB,CAAC,EAAE,CACHwB,IAAqB,EACrB;EAAE8B,KAAK;EAAEjB,SAAS;EAAEC;AAAS,CAI5B,KAEDzC,IAAI,CAAC+C,KAAK,CAACpB,IAAI,CAACX,IAAI,EAAE;EACpBwB,SAAS,EAAGL,KAAK,IACf9B,MAAM,CAAC0C,KAAK,CAAClD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,EAAE;IACzCc,MAAM,EAAEQ,KAAK;IACbP,MAAM,EAAEV;GACT,CAAC;EACJC;CACD,CAAC,CAAC;AAEL;AACA,OAAO,MAAMiB,WAAW,gBAAGvD,IAAI,CAgB7B,CAAC,EAAE,CACHwB,IAAqB,EACrB;EAAE8B,KAAK;EAAEjB,SAAS;EAAEC;AAAS,CAI5B,KAEDzC,IAAI,CAAC0D,WAAW,CAAuE/B,IAAI,CAACX,IAAI,EAAE;EAChGwB,SAAS,EAAGL,KAAK,IACf9B,MAAM,CAAC0C,KAAK,CAAClD,KAAK,CAACmD,eAAe,CAACb,KAAK,CAAC,EAAE;IACzCc,MAAM,EAAEA,CAAA,KAAMQ,KAAK;IACnBP,MAAM,EAAEV;GACT,CAAC;EACJC;CACD,CAAC,CAAC;AAEL;AACA,OAAO,MAAML,GAAG,gBAAGjC,IAAI,CAIrB,CAAC,EACD,CAAUwB,IAAqB,EAAEgC,CAAc,KAC7C,IAAI5C,QAAQ,CAACX,IAAI,CAACuB,IAAI,CAACX,IAAI,EAAEhB,IAAI,CAACoC,GAAG,CAACtC,KAAK,CAACsC,GAAG,CAACuB,CAAC,CAAC,CAAC,CAAC,CAAC,CACxD;AAED;AACA,OAAO,MAAMjB,EAAE,GAAOkB,KAAQ,IAA0B,IAAI7C,QAAQ,CAACf,IAAI,CAACoB,OAAO,CAACtB,KAAK,CAAC4C,EAAE,CAACkB,KAAK,CAAC,CAAC,CAAC;AAEnG;AACA,OAAO,MAAMC,GAAG,gBAAG1D,IAAI,CAQrB,CAAC,EAAE,CACHwB,IAAqB,EACrBgC,CAAqD,KAClBvD,IAAI,CAACuB,IAAI,CAACX,IAAI,EAAEhB,IAAI,CAAC8D,aAAa,CAACH,CAAC,CAAC,EAAE5D,MAAM,CAACgE,MAAM,CAAC,CAAC"}

package/dist/esm/internal/version.js

@@ -1,2 +1,2 @@
-export const moduleVersion = "2.0.0-next.55";
+export const moduleVersion = "2.0.0-next.56";
 //# sourceMappingURL=version.js.map

package/dist/esm/package.json

@@ -1,4 +1,4 @@
 {
   "type": "module",
-  "sideEffects": false
+  "sideEffects": []
 }

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "effect",
-  "version": "2.0.0-next.55",
+  "version": "2.0.0-next.56",
   "description": "Functional programming in TypeScript",
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "https://github.com/Effect-TS/effect.git"
   },
-  "sideEffects": false,
+  "sideEffects": [],
   "author": "Michael Arnaldi <michael.arnaldi@effectful.co>",
   "main": "./dist/cjs/index.js",
   "module": "./dist/esm/index.js",
@@ -404,6 +404,11 @@
       "import": "./dist/esm/Predicate.js",
       "default": "./dist/cjs/Predicate.js"
     },
+    "./PrimaryKey": {
+      "types": "./dist/dts/PrimaryKey.d.ts",
+      "import": "./dist/esm/PrimaryKey.js",
+      "default": "./dist/cjs/PrimaryKey.js"
+    },
     "./PubSub": {
       "types": "./dist/dts/PubSub.d.ts",
       "import": "./dist/esm/PubSub.js",
@@ -968,6 +973,9 @@
       "Predicate": [
         "./dist/dts/Predicate.d.ts"
       ],
+      "PrimaryKey": [
+        "./dist/dts/PrimaryKey.d.ts"
+      ],
       "PubSub": [
         "./dist/dts/PubSub.d.ts"
       ],

package/src/Brand.ts

@@ -19,7 +19,7 @@
 import * as Either from "./Either.js"
 import { identity } from "./Function.js"
 import * as Option from "./Option.js"
-import type { Predicate, Refinement } from "./Predicate.js"
+import type { Predicate } from "./Predicate.js"
 import * as ReadonlyArray from "./ReadonlyArray.js"
 import type * as Types from "./Types.js"
 
@@ -97,17 +97,17 @@ export declare namespace Brand {
      * Constructs a branded type from a value of type `A`, returning `Some<A>`
      * if the provided `A` is valid, `None` otherwise.
      */
-    readonly option: (args: Brand.Unbranded<A>) => Option.Option<A>
+    option(args: Brand.Unbranded<A>): Option.Option<A>
     /**
      * Constructs a branded type from a value of type `A`, returning `Right<A>`
      * if the provided `A` is valid, `Left<BrandError>` otherwise.
      */
-    readonly either: (args: Brand.Unbranded<A>) => Either.Either<Brand.BrandErrors, A>
+    either(args: Brand.Unbranded<A>): Either.Either<Brand.BrandErrors, A>
     /**
      * Attempts to refine the provided value of type `A`, returning `true` if
      * the provided `A` is valid, `false` otherwise.
      */
-    readonly is: Refinement<Brand.Unbranded<A>, Brand.Unbranded<A> & A>
+    is(a: Brand.Unbranded<A>): a is Brand.Unbranded<A> & A
   }
 
   /**

package/src/Cache.ts

@@ -7,6 +7,7 @@ import type { Either } from "./Either.js"
 import type * as Exit from "./Exit.js"
 import * as internal from "./internal/cache.js"
 import type * as Option from "./Option.js"
+import type * as Predicate from "./Predicate.js"
 
 /**
  * @since 2.0.0
@@ -41,20 +42,20 @@ export type CacheTypeId = typeof CacheTypeId
  * @since 2.0.0
  * @category models
  */
-export interface Cache<Key, Error, Value> extends ConsumerCache<Key, Error, Value> {
+export interface Cache<in out Key, out Error, out Value> extends ConsumerCache<Key, Error, Value> {
   /**
    * Retrieves the value associated with the specified key if it exists.
    * Otherwise computes the value with the lookup function, puts it in the
    * cache, and returns it.
    */
-  readonly get: (key: Key) => Effect.Effect<never, Error, Value>
+  get(key: Key): Effect.Effect<never, Error, Value>
 
   /**
    * Retrieves the value associated with the specified key if it exists as a left.
    * Otherwise computes the value with the lookup function, puts it in the
    * cache, and returns it as a right.
    */
-  readonly getEither: (key: Key) => Effect.Effect<never, Error, Either<Value, Value>>
+  getEither(key: Key): Effect.Effect<never, Error, Either<Value, Value>>
 
   /**
    * Computes the value associated with the specified key, with the lookup
@@ -65,15 +66,12 @@ export interface Cache<Key, Error, Value> extends ConsumerCache<Key, Error, Valu
    * by the lookup function. Additionally, `refresh` always triggers the
    * lookup function, disregarding the last `Error`.
    */
-  readonly refresh: (key: Key) => Effect.Effect<never, Error, void>
+  refresh(key: Key): Effect.Effect<never, Error, void>
 
   /**
    * Associates the specified value with the specified key in the cache.
    */
-  readonly set: (
-    key: Key,
-    value: Value
-  ) => Effect.Effect<never, never, void>
+  set(key: Key, value: Value): Effect.Effect<never, never, void>
 }
 
 /**
@@ -84,18 +82,18 @@ export interface Cache<Key, Error, Value> extends ConsumerCache<Key, Error, Valu
  * @since 2.0.0
  * @category models
  */
-export interface ConsumerCache<Key, Error, Value> extends Cache.Variance<Key, Error, Value> {
+export interface ConsumerCache<in out Key, out Error, out Value> extends Cache.Variance<Key, Error, Value> {
   /**
    * Retrieves the value associated with the specified key if it exists.
    * Otherwise returns `Option.none`.
    */
-  readonly getOption: (key: Key) => Effect.Effect<never, Error, Option.Option<Value>>
+  getOption(key: Key): Effect.Effect<never, Error, Option.Option<Value>>
 
   /**
    * Retrieves the value associated with the specified key if it exists and the
    * lookup function has completed. Otherwise returns `Option.none`.
    */
-  readonly getOptionComplete: (key: Key) => Effect.Effect<never, never, Option.Option<Value>>
+  getOptionComplete(key: Key): Effect.Effect<never, never, Option.Option<Value>>
 
   /**
    * Returns statistics for this cache.
@@ -106,22 +104,22 @@ export interface ConsumerCache<Key, Error, Value> extends Cache.Variance<Key, Er
    * Returns whether a value associated with the specified key exists in the
    * cache.
    */
-  readonly contains: (key: Key) => Effect.Effect<never, never, boolean>
+  contains(key: Key): Effect.Effect<never, never, boolean>
 
   /**
    * Returns statistics for the specified entry.
    */
-  readonly entryStats: (key: Key) => Effect.Effect<never, never, Option.Option<EntryStats>>
+  entryStats(key: Key): Effect.Effect<never, never, Option.Option<EntryStats>>
 
   /**
    * Invalidates the value associated with the specified key.
    */
-  readonly invalidate: (key: Key) => Effect.Effect<never, never, void>
+  invalidate(key: Key): Effect.Effect<never, never, void>
 
   /**
    * Invalidates the value associated with the specified key if the predicate holds.
    */
-  readonly invalidateWhen: (key: Key, when: (value: Value) => boolean) => Effect.Effect<never, never, void>
+  invalidateWhen(key: Key, predicate: Predicate.Predicate<Value>): Effect.Effect<never, never, void>
 
   /**
    * Invalidates all values in the cache.
@@ -157,9 +155,9 @@ export declare namespace Cache {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<Key, Error, Value> {
+  export interface Variance<in out Key, out Error, out Value> {
     readonly [CacheTypeId]: {
-      readonly _Key: (_: Key) => void
+      readonly _Key: (_: Key) => Key
       readonly _Error: (_: never) => Error
       readonly _Value: (_: never) => Value
     }

package/src/Cause.ts

@@ -21,17 +21,22 @@
  *
  * @since 2.0.0
  */
+import type * as Channel from "./Channel.js"
 import type * as Chunk from "./Chunk.js"
+import type * as Data from "./Data.js"
+import type * as Effect from "./Effect.js"
 import type * as Either from "./Either.js"
 import type * as Equal from "./Equal.js"
 import type * as FiberId from "./FiberId.js"
 import type * as HashSet from "./HashSet.js"
 import type { Inspectable } from "./Inspectable.js"
 import * as internal from "./internal/cause.js"
-import { originalInstance } from "./internal/core.js"
+import * as core from "./internal/core.js"
 import type * as Option from "./Option.js"
 import type { Pipeable } from "./Pipeable.js"
 import type { Predicate } from "./Predicate.js"
+import type * as Sink from "./Sink.js"
+import type * as Stream from "./Stream.js"
 
 /**
  * @since 2.0.0
@@ -49,7 +54,7 @@ export type CauseTypeId = typeof CauseTypeId
  * @since 2.0.0
  * @category symbols
  */
-export const RuntimeExceptionTypeId: unique symbol = internal.RuntimeExceptionTypeId
+export const RuntimeExceptionTypeId: unique symbol = core.RuntimeExceptionTypeId
 
 /**
  * @since 2.0.0
@@ -61,7 +66,7 @@ export type RuntimeExceptionTypeId = typeof RuntimeExceptionTypeId
  * @since 2.0.0
  * @category symbols
  */
-export const InterruptedExceptionTypeId: unique symbol = internal.InterruptedExceptionTypeId
+export const InterruptedExceptionTypeId: unique symbol = core.InterruptedExceptionTypeId
 
 /**
  * @since 2.0.0
@@ -73,7 +78,7 @@ export type InterruptedExceptionTypeId = typeof InterruptedExceptionTypeId
  * @since 2.0.0
  * @category symbols
  */
-export const IllegalArgumentExceptionTypeId: unique symbol = internal.IllegalArgumentExceptionTypeId
+export const IllegalArgumentExceptionTypeId: unique symbol = core.IllegalArgumentExceptionTypeId
 
 /**
  * @since 2.0.0
@@ -85,7 +90,7 @@ export type IllegalArgumentExceptionTypeId = typeof IllegalArgumentExceptionType
  * @since 2.0.0
  * @category symbols
  */
-export const NoSuchElementExceptionTypeId: unique symbol = internal.NoSuchElementExceptionTypeId
+export const NoSuchElementExceptionTypeId: unique symbol = core.NoSuchElementExceptionTypeId
 
 /**
  * @since 2.0.0
@@ -97,7 +102,7 @@ export type NoSuchElementExceptionTypeId = typeof NoSuchElementExceptionTypeId
  * @since 2.0.0
  * @category symbols
  */
-export const InvalidPubSubCapacityExceptionTypeId: unique symbol = internal.InvalidPubSubCapacityExceptionTypeId
+export const InvalidPubSubCapacityExceptionTypeId: unique symbol = core.InvalidPubSubCapacityExceptionTypeId
 
 /**
  * @since 2.0.0
@@ -105,6 +110,18 @@ export const InvalidPubSubCapacityExceptionTypeId: unique symbol = internal.Inva
  */
 export type InvalidPubSubCapacityExceptionTypeId = typeof InvalidPubSubCapacityExceptionTypeId
 
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const UnknownExceptionTypeId: unique symbol = core.UnknownExceptionTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type UnknownExceptionTypeId = typeof UnknownExceptionTypeId
+
 /**
  * A `Cause` represents the full history of a failure resulting from running an
  * `Effect` workflow.
@@ -133,7 +150,7 @@ export declare namespace Cause {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<E> {
+  export interface Variance<out E> {
     readonly [CauseTypeId]: {
       readonly _E: (_: never) => E
     }
@@ -147,25 +164,51 @@ export declare namespace Cause {
  * @since 2.0.0
  * @category models
  */
-export interface CauseReducer<C, E, Z> {
-  readonly emptyCase: (context: C) => Z
-  readonly failCase: (context: C, error: E) => Z
-  readonly dieCase: (context: C, defect: unknown) => Z
-  readonly interruptCase: (context: C, fiberId: FiberId.FiberId) => Z
-  readonly sequentialCase: (context: C, left: Z, right: Z) => Z
-  readonly parallelCase: (context: C, left: Z, right: Z) => Z
+export interface CauseReducer<in C, in E, in out Z> {
+  emptyCase(context: C): Z
+  failCase(context: C, error: E): Z
+  dieCase(context: C, defect: unknown): Z
+  interruptCase(context: C, fiberId: FiberId.FiberId): Z
+  sequentialCase(context: C, left: Z, right: Z): Z
+  parallelCase(context: C, left: Z, right: Z): Z
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface YieldableError extends Data.Case, Pipeable, Inspectable, Readonly<Error> {
+  readonly [Effect.EffectTypeId]: Effect.Effect.VarianceStruct<never, this, never>
+  readonly [Stream.StreamTypeId]: Effect.Effect.VarianceStruct<never, this, never>
+  readonly [Sink.SinkTypeId]: Sink.Sink.VarianceStruct<never, this, unknown, never, never>
+  readonly [Channel.ChannelTypeId]: Channel.Channel.VarianceStruct<
+    never,
+    unknown,
+    unknown,
+    unknown,
+    this,
+    never,
+    never
+  >
 }
 
+/**
+ * Represents a generic checked exception which occurs at runtime.
+ *
+ * @since 2.0.0
+ * @category errors
+ */
+export const YieldableError: new(message?: string | undefined) => YieldableError = core.YieldableError
+
 /**
  * Represents a generic checked exception which occurs at runtime.
  *
  * @since 2.0.0
  * @category models
  */
-export interface RuntimeException {
+export interface RuntimeException extends YieldableError {
   readonly _tag: "RuntimeException"
   readonly [RuntimeExceptionTypeId]: RuntimeExceptionTypeId
-  readonly message?: string
 }
 
 /**
@@ -174,10 +217,9 @@ export interface RuntimeException {
  * @since 2.0.0
  * @category models
  */
-export interface InterruptedException {
+export interface InterruptedException extends YieldableError {
   readonly _tag: "InterruptedException"
   readonly [InterruptedExceptionTypeId]: InterruptedExceptionTypeId
-  readonly message?: string
 }
 
 /**
@@ -187,10 +229,9 @@ export interface InterruptedException {
  * @since 2.0.0
  * @category models
  */
-export interface IllegalArgumentException {
+export interface IllegalArgumentException extends YieldableError {
   readonly _tag: "IllegalArgumentException"
   readonly [IllegalArgumentExceptionTypeId]: IllegalArgumentExceptionTypeId
-  readonly message?: string
 }
 
 /**
@@ -200,10 +241,9 @@ export interface IllegalArgumentException {
  * @since 2.0.0
  * @category models
  */
-export interface NoSuchElementException {
+export interface NoSuchElementException extends YieldableError {
   readonly _tag: "NoSuchElementException"
   readonly [NoSuchElementExceptionTypeId]: NoSuchElementExceptionTypeId
-  readonly message?: string
 }
 
 /**
@@ -213,10 +253,22 @@ export interface NoSuchElementException {
  * @since 2.0.0
  * @category models
  */
-export interface InvalidPubSubCapacityException {
+export interface InvalidPubSubCapacityException extends YieldableError {
   readonly _tag: "InvalidPubSubCapacityException"
   readonly [InvalidPubSubCapacityExceptionTypeId]: InvalidPubSubCapacityExceptionTypeId
-  readonly message?: string
+}
+
+/**
+ * Represents a checked exception which occurs when an unknown error is thrown, such as
+ * from a rejected promise.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export interface UnknownException extends YieldableError {
+  readonly _tag: "UnknownException"
+  readonly [UnknownExceptionTypeId]: UnknownExceptionTypeId
+  readonly error: unknown
 }
 
 /**
@@ -236,7 +288,7 @@ export interface Empty extends Cause.Variance<never>, Equal.Equal, Pipeable, Ins
  * @since 2.0.0
  * @category models
  */
-export interface Fail<E> extends Cause.Variance<E>, Equal.Equal, Pipeable, Inspectable {
+export interface Fail<out E> extends Cause.Variance<E>, Equal.Equal, Pipeable, Inspectable {
   readonly _tag: "Fail"
   readonly error: E
 }
@@ -279,7 +331,7 @@ export interface Interrupt extends Cause.Variance<never>, Equal.Equal, Pipeable,
  * @since 2.0.0
  * @category models
  */
-export interface Parallel<E> extends Cause.Variance<E>, Equal.Equal, Pipeable, Inspectable {
+export interface Parallel<out E> extends Cause.Variance<E>, Equal.Equal, Pipeable, Inspectable {
   readonly _tag: "Parallel"
   readonly left: Cause<E>
   readonly right: Cause<E>
@@ -297,7 +349,7 @@ export interface Parallel<E> extends Cause.Variance<E>, Equal.Equal, Pipeable, I
  * @since 2.0.0
  * @category models
  */
-export interface Sequential<E> extends Cause.Variance<E>, Equal.Equal, Pipeable, Inspectable {
+export interface Sequential<out E> extends Cause.Variance<E>, Equal.Equal, Pipeable, Inspectable {
   readonly _tag: "Sequential"
   readonly left: Cause<E>
   readonly right: Cause<E>
@@ -605,6 +657,19 @@ export const flatMap: {
   <E, E2>(self: Cause<E>, f: (e: E) => Cause<E2>): Cause<E2>
 } = internal.flatMap
 
+/**
+ * Executes a sequence of two `Cause`s. The second `Cause` can be dependent on the result of the first `Cause`.
+ *
+ * @since 2.0.0
+ * @category sequencing
+ */
+export const andThen: {
+  <E, E2>(f: (e: E) => Cause<E2>): (self: Cause<E>) => Cause<E2>
+  <E2>(f: Cause<E2>): <E>(self: Cause<E>) => Cause<E2>
+  <E, E2>(self: Cause<E>, f: (e: E) => Cause<E2>): Cause<E2>
+  <E, E2>(self: Cause<E>, f: Cause<E2>): Cause<E2>
+} = internal.andThen
+
 /**
  * @since 2.0.0
  * @category sequencing
@@ -630,7 +695,7 @@ export const contains: {
  * @since 2.0.0
  * @category destructors
  */
-export const squash: <E>(self: Cause<E>) => unknown = internal.squash
+export const squash: <E>(self: Cause<E>) => unknown = core.causeSquash
 
 /**
  * Squashes a `Cause` down to a single defect, chosen to be the "most important"
@@ -643,7 +708,7 @@ export const squash: <E>(self: Cause<E>) => unknown = internal.squash
 export const squashWith: {
   <E>(f: (error: E) => unknown): (self: Cause<E>) => unknown
   <E>(self: Cause<E>, f: (error: E) => unknown): unknown
-} = internal.squashWith
+} = core.causeSquashWith
 
 /**
  * Uses the provided partial function to search the specified cause and attempt
@@ -728,7 +793,7 @@ export const reduceWithContext: {
  * @since 2.0.0
  * @category errors
  */
-export const InterruptedException: (message?: string) => InterruptedException = internal.InterruptedException
+export const InterruptedException: new(message?: string | undefined) => InterruptedException = core.InterruptedException
 
 /**
  * Returns `true` if the specified value is an `InterruptedException`, `false`
@@ -737,7 +802,7 @@ export const InterruptedException: (message?: string) => InterruptedException =
  * @since 2.0.0
  * @category refinements
  */
-export const isInterruptedException: (u: unknown) => u is InterruptedException = internal.isInterruptedException
+export const isInterruptedException: (u: unknown) => u is InterruptedException = core.isInterruptedException
 
 /**
  * Represents a checked exception which occurs when an invalid argument is
@@ -746,8 +811,8 @@ export const isInterruptedException: (u: unknown) => u is InterruptedException =
  * @since 2.0.0
  * @category errors
  */
-export const IllegalArgumentException: (message?: string) => IllegalArgumentException =
-  internal.IllegalArgumentException
+export const IllegalArgumentException: new(message?: string | undefined) => IllegalArgumentException =
+  core.IllegalArgumentException
 
 /**
  * Returns `true` if the specified value is an `IllegalArgumentException`, `false`
@@ -756,8 +821,7 @@ export const IllegalArgumentException: (message?: string) => IllegalArgumentExce
  * @since 2.0.0
  * @category refinements
  */
-export const isIllegalArgumentException: (u: unknown) => u is IllegalArgumentException =
-  internal.isIllegalArgumentException
+export const isIllegalArgumentException: (u: unknown) => u is IllegalArgumentException = core.isIllegalArgumentException
 
 /**
  * Represents a checked exception which occurs when an expected element was
@@ -766,7 +830,8 @@ export const isIllegalArgumentException: (u: unknown) => u is IllegalArgumentExc
  * @since 2.0.0
  * @category errors
  */
-export const NoSuchElementException: (message?: string) => NoSuchElementException = internal.NoSuchElementException
+export const NoSuchElementException: new(message?: string | undefined) => NoSuchElementException =
+  core.NoSuchElementException
 
 /**
  * Returns `true` if the specified value is an `NoSuchElementException`, `false`
@@ -775,7 +840,7 @@ export const NoSuchElementException: (message?: string) => NoSuchElementExceptio
  * @since 2.0.0
  * @category refinements
  */
-export const isNoSuchElementException: (u: unknown) => u is NoSuchElementException = internal.isNoSuchElementException
+export const isNoSuchElementException: (u: unknown) => u is NoSuchElementException = core.isNoSuchElementException
 
 /**
  * Represents a generic checked exception which occurs at runtime.
@@ -783,7 +848,7 @@ export const isNoSuchElementException: (u: unknown) => u is NoSuchElementExcepti
  * @since 2.0.0
  * @category errors
  */
-export const RuntimeException: (message?: string) => RuntimeException = internal.RuntimeException
+export const RuntimeException: new(message?: string | undefined) => RuntimeException = core.RuntimeException
 
 /**
  * Returns `true` if the specified value is an `RuntimeException`, `false`
@@ -792,7 +857,26 @@ export const RuntimeException: (message?: string) => RuntimeException = internal
  * @since 2.0.0
  * @category refinements
  */
-export const isRuntimeException: (u: unknown) => u is RuntimeException = internal.isRuntimeException
+export const isRuntimeException: (u: unknown) => u is RuntimeException = core.isRuntimeException
+
+/**
+ * Represents a checked exception which occurs when an unknown error is thrown, such as
+ * from a rejected promise.
+ *
+ * @since 2.0.0
+ * @category errors
+ */
+export const UnknownException: new(error: unknown, message?: string | undefined) => UnknownException =
+  core.UnknownException
+
+/**
+ * Returns `true` if the specified value is an `UnknownException`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isUnknownException: (u: unknown) => u is UnknownException = core.isUnknownException
 
 /**
  * Returns the specified `Cause` as a pretty-printed string.
@@ -808,4 +892,4 @@ export const pretty: <E>(cause: Cause<E>) => string = internal.pretty
  * @since 2.0.0
  * @category errors
  */
-export const originalError: <E>(obj: E) => E = originalInstance
+export const originalError: <E>(obj: E) => E = core.originalInstance

package/src/Channel.ts

@@ -70,7 +70,7 @@ export type ChannelTypeId = typeof ChannelTypeId
  * @since 2.0.0
  * @category models
  */
-export interface Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>
+export interface Channel<out Env, in InErr, in InElem, in InDone, out OutErr, out OutElem, out OutDone>
   extends Channel.Variance<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, Pipeable
 {
   [Unify.typeSymbol]?: unknown
@@ -124,14 +124,14 @@ export declare namespace Channel {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
+  export interface Variance<out Env, in InErr, in InElem, in InDone, out OutErr, out OutElem, out OutDone> {
     readonly [ChannelTypeId]: VarianceStruct<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>
   }
   /**
    * @since 2.0.0
    * @category models
    */
-  export interface VarianceStruct<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
+  export interface VarianceStruct<out Env, in InErr, in InElem, in InDone, out OutErr, out OutElem, out OutDone> {
     _Env: (_: never) => Env
     _InErr: (_: InErr) => void
     _InElem: (_: InElem) => void
@@ -161,7 +161,7 @@ export type ChannelExceptionTypeId = typeof ChannelExceptionTypeId
  * @since 2.0.0
  * @category models
  */
-export interface ChannelException<E> {
+export interface ChannelException<out E> {
   readonly _tag: "ChannelException"
   readonly [ChannelExceptionTypeId]: ChannelExceptionTypeId
   readonly error: E