effect 4.0.0-beta.70 → 4.0.0-beta.71

package/dist/TxReentrantLock.js.map

@@ -1 +1 @@
-{"version":3,"file":"TxReentrantLock.js","names":["Effect","HashMap","NodeInspectSymbol","toJson","Option","pipeArguments","hasProperty","TxRef","TypeId","emptyState","readers","empty","writer","none","TxReentrantLockProto","toJSON","_id","toString","pipe","arguments","make","gen","stateRef","self","Object","create","tx","acquireRead","withFiber","fiber","state","get","fiberId","id","isSome","value","txRetry","currentCount","getOrElse","newCount","set","acquireWrite","readerId","some","releaseRead","newReaders","remove","releaseWrite","isNone","newWriter","readLock","acquireRelease","writeLock","withReadLock","args","length","effect","acquireUseRelease","withWriteLock","withLock","readLocks","total","count","writeLocks","locked","size","readLocked","writeLocked","isTxReentrantLock","u"],"sources":["../src/TxReentrantLock.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;AAQA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAC5D,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC,SAASC,aAAa,QAAQ,eAAe;AAC7C,SAASC,WAAW,QAAQ,gBAAgB;AAE5C,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,sCAAsC;AAWrD,MAAMC,UAAU,GAAc;EAC5BC,OAAO,eAAET,OAAO,CAACU,KAAK,EAAkB;EACxCC,MAAM,eAAER,MAAM,CAACS,IAAI;CACpB;AAgCD,MAAMC,oBAAoB,GAAsD;EAC9E,CAACZ,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDY,MAAMA,CAAA;IACJ,OAAO;MAAEC,GAAG,EAAE;IAAiB,CAAE;EACnC,CAAC;EACDC,QAAQA,CAAA;IACN,OAAO,iBAAiB;EAC1B,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOb,aAAa,CAAC,IAAI,EAAEc,SAAS,CAAC;EACvC;CACD;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,IAAI,GAAGA,CAAA,KAClBpB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMC,QAAQ,GAAG,OAAOf,KAAK,CAACa,IAAI,CAAYX,UAAU,CAAC;EACzD,MAAMc,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACX,oBAAoB,CAAC;EAChDS,IAAI,CAACf,MAAM,CAAC,GAAGA,MAAM;EACrBe,IAAI,CAACD,QAAQ,GAAGA,QAAQ;EACxB,OAAOC,IAAI;AACb,CAAC,CAAC,CAACL,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC;AAEpB;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,WAAW,GAAIJ,IAAqB,IAC/CvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EAExB;EACA,IAAI7B,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,IAAIkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,KAAKH,OAAO,EAAE;IACpE,OAAO,OAAOhC,MAAM,CAACoC,OAAO;EAC9B;EAEA;EACA,MAAMC,YAAY,GAAGjC,MAAM,CAACkC,SAAS,CAACrC,OAAO,CAAC8B,GAAG,CAACD,KAAK,CAACpB,OAAO,EAAEsB,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;EACnF,MAAMO,QAAQ,GAAGF,YAAY,GAAG,CAAC;EACjC,OAAO9B,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAC9B,GAAGQ,KAAK;IACRpB,OAAO,EAAET,OAAO,CAACuC,GAAG,CAACV,KAAK,CAACpB,OAAO,EAAEsB,OAAO,EAAEO,QAAQ;GACtD,CAAC;EACF,OAAOA,QAAQ;AACjB,CAAC,CAAC,CAACrB,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMe,YAAY,GAAIlB,IAAqB,IAChDvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EAExB;EACA,IAAI7B,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,IAAIkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,KAAKH,OAAO,EAAE;IACpE,OAAO,OAAOhC,MAAM,CAACoC,OAAO;EAC9B;EAEA;EACA,KAAK,MAAM,CAACM,QAAQ,CAAC,IAAIZ,KAAK,CAACpB,OAAO,EAAE;IACtC,IAAIgC,QAAQ,KAAKV,OAAO,IAAI5B,MAAM,CAACkC,SAAS,CAACrC,OAAO,CAAC8B,GAAG,CAACD,KAAK,CAACpB,OAAO,EAAEgC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE;MAC/F,OAAO,OAAO1C,MAAM,CAACoC,OAAO;IAC9B;EACF;EAEA;EACA,IAAIhC,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,EAAE;IAC/B;IACA,MAAM2B,QAAQ,GAAGT,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1C,OAAO5B,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;MAC9B,GAAGQ,KAAK;MACRlB,MAAM,EAAER,MAAM,CAACuC,IAAI,CAAC,CAACX,OAAO,EAAEO,QAAQ,CAAU;KACjD,CAAC;IACF,OAAOA,QAAQ;EACjB;EAEA;EACA,OAAOhC,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAC9B,GAAGQ,KAAK;IACRlB,MAAM,EAAER,MAAM,CAACuC,IAAI,CAAC,CAACX,OAAO,EAAE,CAAC,CAAU;GAC1C,CAAC;EACF,OAAO,CAAC;AACV,CAAC,CAAC,CAACd,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMkB,WAAW,GAAIrB,IAAqB,IAC/CvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EACxB,MAAMI,YAAY,GAAGjC,MAAM,CAACkC,SAAS,CAACrC,OAAO,CAAC8B,GAAG,CAACD,KAAK,CAACpB,OAAO,EAAEsB,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;EAEnF,IAAIK,YAAY,IAAI,CAAC,EAAE,OAAO,CAAC;EAE/B,MAAME,QAAQ,GAAGF,YAAY,GAAG,CAAC;EACjC,MAAMQ,UAAU,GAAGN,QAAQ,KAAK,CAAC,GAC7BtC,OAAO,CAAC6C,MAAM,CAAChB,KAAK,CAACpB,OAAO,EAAEsB,OAAO,CAAC,GACtC/B,OAAO,CAACuC,GAAG,CAACV,KAAK,CAACpB,OAAO,EAAEsB,OAAO,EAAEO,QAAQ,CAAC;EAEjD,OAAOhC,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAAE,GAAGQ,KAAK;IAAEpB,OAAO,EAAEmC;EAAU,CAAE,CAAC;EAClE,OAAON,QAAQ;AACjB,CAAC,CAAC,CAACrB,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMqB,YAAY,GAAIxB,IAAqB,IAChDvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EAExB,IAAI7B,MAAM,CAAC4C,MAAM,CAAClB,KAAK,CAAClB,MAAM,CAAC,IAAIkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,KAAKH,OAAO,EAAE,OAAO,CAAC;EAE9E,MAAMO,QAAQ,GAAGT,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;EAC1C,MAAMc,SAAS,GAAGV,QAAQ,IAAI,CAAC,GAC3BnC,MAAM,CAACS,IAAI,EAA6B,GACxCT,MAAM,CAACuC,IAAI,CAAC,CAACX,OAAO,EAAEO,QAAQ,CAAU,CAAC;EAE7C,OAAOhC,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAAE,GAAGQ,KAAK;IAAElB,MAAM,EAAEqC;EAAS,CAAE,CAAC;EAChE,OAAOV,QAAQ;AACjB,CAAC,CAAC,CAACrB,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMwB,QAAQ,GAAI3B,IAAqB,IAC5CvB,MAAM,CAACmD,cAAc,CACnBxB,WAAW,CAACJ,IAAI,CAAC,EACjB,MAAMqB,WAAW,CAACrB,IAAI,CAAC,CACxB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAM6B,SAAS,GAAI7B,IAAqB,IAC7CvB,MAAM,CAACmD,cAAc,CACnBV,YAAY,CAAClB,IAAI,CAAC,EAClB,MAAMwB,YAAY,CAACxB,IAAI,CAAC,CACzB;AAEH;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAM8B,YAAY,GA+CpBA,CAAC,GAAGC,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACC,MAAM,CAAC,GAAGF,IAAI;IACrB,OAAQ/B,IAAqB,IAC3BvB,MAAM,CAACyD,iBAAiB,CACtB9B,WAAW,CAACJ,IAAI,CAAC,EACjB,MAAMiC,MAAM,EACZ,MAAMZ,WAAW,CAACrB,IAAI,CAAC,CACxB;EACL;EACA,MAAM,CAACA,IAAI,EAAEiC,MAAM,CAAC,GAAGF,IAAI;EAC3B,OAAOtD,MAAM,CAACyD,iBAAiB,CAC7B9B,WAAW,CAACJ,IAAI,CAAC,EACjB,MAAMiC,MAAM,EACZ,MAAMZ,WAAW,CAACrB,IAAI,CAAC,CACxB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMmC,aAAa,GA+CrBA,CAAC,GAAGJ,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACC,MAAM,CAAC,GAAGF,IAAI;IACrB,OAAQ/B,IAAqB,IAC3BvB,MAAM,CAACyD,iBAAiB,CACtBhB,YAAY,CAAClB,IAAI,CAAC,EAClB,MAAMiC,MAAM,EACZ,MAAMT,YAAY,CAACxB,IAAI,CAAC,CACzB;EACL;EACA,MAAM,CAACA,IAAI,EAAEiC,MAAM,CAAC,GAAGF,IAAI;EAC3B,OAAOtD,MAAM,CAACyD,iBAAiB,CAC7BhB,YAAY,CAAClB,IAAI,CAAC,EAClB,MAAMiC,MAAM,EACZ,MAAMT,YAAY,CAACxB,IAAI,CAAC,CACzB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMoC,QAAQ,GA6CjBD,aAAa;AAEjB;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAME,SAAS,GAAIrC,IAAqB,IAC7CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,IAAIuC,KAAK,GAAG,CAAC;EACb,KAAK,MAAM,GAAGC,KAAK,CAAC,IAAIhC,KAAK,CAACpB,OAAO,EAAE;IACrCmD,KAAK,IAAIC,KAAK;EAChB;EACA,OAAOD,KAAK;AACd,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAME,UAAU,GAAIxC,IAAqB,IAC9CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOlB,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,GAAGkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;AAChE,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM6B,MAAM,GAAIzC,IAAqB,IAC1CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOrB,OAAO,CAACgE,IAAI,CAACnC,KAAK,CAACpB,OAAO,CAAC,GAAG,CAAC,IAAIN,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC;AACvE,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMsD,UAAU,GAAI3C,IAAqB,IAC9CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOrB,OAAO,CAACgE,IAAI,CAACnC,KAAK,CAACpB,OAAO,CAAC,GAAG,CAAC;AACxC,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMyD,WAAW,GAAI5C,IAAqB,IAC/CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOlB,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC;AACpC,CAAC,CAAC;AAEJ;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMwD,iBAAiB,GAAIC,CAAU,IAA2B/D,WAAW,CAAC+D,CAAC,EAAE7D,MAAM,CAAC","ignoreList":[]}
+{"version":3,"file":"TxReentrantLock.js","names":["Effect","HashMap","NodeInspectSymbol","toJson","Option","pipeArguments","hasProperty","TxRef","TypeId","emptyState","readers","empty","writer","none","TxReentrantLockProto","toJSON","_id","toString","pipe","arguments","make","gen","stateRef","self","Object","create","tx","acquireRead","withFiber","fiber","state","get","fiberId","id","isSome","value","txRetry","currentCount","getOrElse","newCount","set","acquireWrite","readerId","some","releaseRead","newReaders","remove","releaseWrite","isNone","newWriter","readLock","acquireRelease","writeLock","withReadLock","args","length","effect","acquireUseRelease","withWriteLock","withLock","readLocks","total","count","writeLocks","locked","size","readLocked","writeLocked","isTxReentrantLock","u"],"sources":["../src/TxReentrantLock.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAC5D,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC,SAASC,aAAa,QAAQ,eAAe;AAC7C,SAASC,WAAW,QAAQ,gBAAgB;AAE5C,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,sCAAsC;AAWrD,MAAMC,UAAU,GAAc;EAC5BC,OAAO,eAAET,OAAO,CAACU,KAAK,EAAkB;EACxCC,MAAM,eAAER,MAAM,CAACS,IAAI;CACpB;AAgCD,MAAMC,oBAAoB,GAAsD;EAC9E,CAACZ,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDY,MAAMA,CAAA;IACJ,OAAO;MAAEC,GAAG,EAAE;IAAiB,CAAE;EACnC,CAAC;EACDC,QAAQA,CAAA;IACN,OAAO,iBAAiB;EAC1B,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOb,aAAa,CAAC,IAAI,EAAEc,SAAS,CAAC;EACvC;CACD;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,IAAI,GAAGA,CAAA,KAClBpB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMC,QAAQ,GAAG,OAAOf,KAAK,CAACa,IAAI,CAAYX,UAAU,CAAC;EACzD,MAAMc,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACX,oBAAoB,CAAC;EAChDS,IAAI,CAACf,MAAM,CAAC,GAAGA,MAAM;EACrBe,IAAI,CAACD,QAAQ,GAAGA,QAAQ;EACxB,OAAOC,IAAI;AACb,CAAC,CAAC,CAACL,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC;AAEpB;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,WAAW,GAAIJ,IAAqB,IAC/CvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EAExB;EACA,IAAI7B,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,IAAIkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,KAAKH,OAAO,EAAE;IACpE,OAAO,OAAOhC,MAAM,CAACoC,OAAO;EAC9B;EAEA;EACA,MAAMC,YAAY,GAAGjC,MAAM,CAACkC,SAAS,CAACrC,OAAO,CAAC8B,GAAG,CAACD,KAAK,CAACpB,OAAO,EAAEsB,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;EACnF,MAAMO,QAAQ,GAAGF,YAAY,GAAG,CAAC;EACjC,OAAO9B,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAC9B,GAAGQ,KAAK;IACRpB,OAAO,EAAET,OAAO,CAACuC,GAAG,CAACV,KAAK,CAACpB,OAAO,EAAEsB,OAAO,EAAEO,QAAQ;GACtD,CAAC;EACF,OAAOA,QAAQ;AACjB,CAAC,CAAC,CAACrB,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMe,YAAY,GAAIlB,IAAqB,IAChDvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EAExB;EACA,IAAI7B,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,IAAIkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,KAAKH,OAAO,EAAE;IACpE,OAAO,OAAOhC,MAAM,CAACoC,OAAO;EAC9B;EAEA;EACA,KAAK,MAAM,CAACM,QAAQ,CAAC,IAAIZ,KAAK,CAACpB,OAAO,EAAE;IACtC,IAAIgC,QAAQ,KAAKV,OAAO,IAAI5B,MAAM,CAACkC,SAAS,CAACrC,OAAO,CAAC8B,GAAG,CAACD,KAAK,CAACpB,OAAO,EAAEgC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE;MAC/F,OAAO,OAAO1C,MAAM,CAACoC,OAAO;IAC9B;EACF;EAEA;EACA,IAAIhC,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,EAAE;IAC/B;IACA,MAAM2B,QAAQ,GAAGT,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1C,OAAO5B,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;MAC9B,GAAGQ,KAAK;MACRlB,MAAM,EAAER,MAAM,CAACuC,IAAI,CAAC,CAACX,OAAO,EAAEO,QAAQ,CAAU;KACjD,CAAC;IACF,OAAOA,QAAQ;EACjB;EAEA;EACA,OAAOhC,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAC9B,GAAGQ,KAAK;IACRlB,MAAM,EAAER,MAAM,CAACuC,IAAI,CAAC,CAACX,OAAO,EAAE,CAAC,CAAU;GAC1C,CAAC;EACF,OAAO,CAAC;AACV,CAAC,CAAC,CAACd,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMkB,WAAW,GAAIrB,IAAqB,IAC/CvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EACxB,MAAMI,YAAY,GAAGjC,MAAM,CAACkC,SAAS,CAACrC,OAAO,CAAC8B,GAAG,CAACD,KAAK,CAACpB,OAAO,EAAEsB,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;EAEnF,IAAIK,YAAY,IAAI,CAAC,EAAE,OAAO,CAAC;EAE/B,MAAME,QAAQ,GAAGF,YAAY,GAAG,CAAC;EACjC,MAAMQ,UAAU,GAAGN,QAAQ,KAAK,CAAC,GAC7BtC,OAAO,CAAC6C,MAAM,CAAChB,KAAK,CAACpB,OAAO,EAAEsB,OAAO,CAAC,GACtC/B,OAAO,CAACuC,GAAG,CAACV,KAAK,CAACpB,OAAO,EAAEsB,OAAO,EAAEO,QAAQ,CAAC;EAEjD,OAAOhC,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAAE,GAAGQ,KAAK;IAAEpB,OAAO,EAAEmC;EAAU,CAAE,CAAC;EAClE,OAAON,QAAQ;AACjB,CAAC,CAAC,CAACrB,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMqB,YAAY,GAAIxB,IAAqB,IAChDvB,MAAM,CAAC4B,SAAS,CAAEC,KAAK,IACrB7B,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,MAAMU,OAAO,GAAGH,KAAK,CAACI,EAAE;EAExB,IAAI7B,MAAM,CAAC4C,MAAM,CAAClB,KAAK,CAAClB,MAAM,CAAC,IAAIkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,KAAKH,OAAO,EAAE,OAAO,CAAC;EAE9E,MAAMO,QAAQ,GAAGT,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;EAC1C,MAAMc,SAAS,GAAGV,QAAQ,IAAI,CAAC,GAC3BnC,MAAM,CAACS,IAAI,EAA6B,GACxCT,MAAM,CAACuC,IAAI,CAAC,CAACX,OAAO,EAAEO,QAAQ,CAAU,CAAC;EAE7C,OAAOhC,KAAK,CAACiC,GAAG,CAACjB,IAAI,CAACD,QAAQ,EAAE;IAAE,GAAGQ,KAAK;IAAElB,MAAM,EAAEqC;EAAS,CAAE,CAAC;EAChE,OAAOV,QAAQ;AACjB,CAAC,CAAC,CAACrB,IAAI,CAAClB,MAAM,CAAC0B,EAAE,CAAC,CACnB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMwB,QAAQ,GAAI3B,IAAqB,IAC5CvB,MAAM,CAACmD,cAAc,CACnBxB,WAAW,CAACJ,IAAI,CAAC,EACjB,MAAMqB,WAAW,CAACrB,IAAI,CAAC,CACxB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAM6B,SAAS,GAAI7B,IAAqB,IAC7CvB,MAAM,CAACmD,cAAc,CACnBV,YAAY,CAAClB,IAAI,CAAC,EAClB,MAAMwB,YAAY,CAACxB,IAAI,CAAC,CACzB;AAEH;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAM8B,YAAY,GA+CpBA,CAAC,GAAGC,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACC,MAAM,CAAC,GAAGF,IAAI;IACrB,OAAQ/B,IAAqB,IAC3BvB,MAAM,CAACyD,iBAAiB,CACtB9B,WAAW,CAACJ,IAAI,CAAC,EACjB,MAAMiC,MAAM,EACZ,MAAMZ,WAAW,CAACrB,IAAI,CAAC,CACxB;EACL;EACA,MAAM,CAACA,IAAI,EAAEiC,MAAM,CAAC,GAAGF,IAAI;EAC3B,OAAOtD,MAAM,CAACyD,iBAAiB,CAC7B9B,WAAW,CAACJ,IAAI,CAAC,EACjB,MAAMiC,MAAM,EACZ,MAAMZ,WAAW,CAACrB,IAAI,CAAC,CACxB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMmC,aAAa,GA+CrBA,CAAC,GAAGJ,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACC,MAAM,CAAC,GAAGF,IAAI;IACrB,OAAQ/B,IAAqB,IAC3BvB,MAAM,CAACyD,iBAAiB,CACtBhB,YAAY,CAAClB,IAAI,CAAC,EAClB,MAAMiC,MAAM,EACZ,MAAMT,YAAY,CAACxB,IAAI,CAAC,CACzB;EACL;EACA,MAAM,CAACA,IAAI,EAAEiC,MAAM,CAAC,GAAGF,IAAI;EAC3B,OAAOtD,MAAM,CAACyD,iBAAiB,CAC7BhB,YAAY,CAAClB,IAAI,CAAC,EAClB,MAAMiC,MAAM,EACZ,MAAMT,YAAY,CAACxB,IAAI,CAAC,CACzB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMoC,QAAQ,GA6CjBD,aAAa;AAEjB;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAME,SAAS,GAAIrC,IAAqB,IAC7CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,IAAIuC,KAAK,GAAG,CAAC;EACb,KAAK,MAAM,GAAGC,KAAK,CAAC,IAAIhC,KAAK,CAACpB,OAAO,EAAE;IACrCmD,KAAK,IAAIC,KAAK;EAChB;EACA,OAAOD,KAAK;AACd,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAME,UAAU,GAAIxC,IAAqB,IAC9CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOlB,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC,GAAGkB,KAAK,CAAClB,MAAM,CAACuB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;AAChE,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM6B,MAAM,GAAIzC,IAAqB,IAC1CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOrB,OAAO,CAACgE,IAAI,CAACnC,KAAK,CAACpB,OAAO,CAAC,GAAG,CAAC,IAAIN,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC;AACvE,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMsD,UAAU,GAAI3C,IAAqB,IAC9CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOrB,OAAO,CAACgE,IAAI,CAACnC,KAAK,CAACpB,OAAO,CAAC,GAAG,CAAC;AACxC,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMyD,WAAW,GAAI5C,IAAqB,IAC/CvB,MAAM,CAACqB,GAAG,CAAC,aAAS;EAClB,MAAMS,KAAK,GAAG,OAAOvB,KAAK,CAACwB,GAAG,CAACR,IAAI,CAACD,QAAQ,CAAC;EAC7C,OAAOlB,MAAM,CAAC8B,MAAM,CAACJ,KAAK,CAAClB,MAAM,CAAC;AACpC,CAAC,CAAC;AAEJ;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMwD,iBAAiB,GAAIC,CAAU,IAA2B/D,WAAW,CAAC+D,CAAC,EAAE7D,MAAM,CAAC","ignoreList":[]}

package/dist/TxRef.d.ts

@@ -1,10 +1,63 @@
 /**
- * TxRef is a transactional value, it can be read and modified within the body of a transaction.
+ * The `TxRef` module provides transactional references for coordinating mutable
+ * state with Effect transactions. A `TxRef<A>` stores a current value, but
+ * reads and writes inside `Effect.tx` are recorded in a transaction journal and
+ * committed together only when the outermost transaction succeeds.
  *
- * Accessed values are tracked by the transaction in order to detect conflicts and in order to
- * track changes, a transaction will retry whenever a conflict is detected or whenever the
- * transaction explicitely calls to `Effect.txRetry` and any of the accessed TxRef values
- * change.
+ * **Mental model**
+ *
+ * - {@link make} creates a reference whose value can participate in
+ *   optimistic transactions.
+ * - {@link get}, {@link set}, {@link update}, and {@link modify} read and
+ *   write the transaction journal when a transaction is active.
+ * - At commit time, the transaction checks whether any accessed reference was
+ *   changed by another transaction. If so, it retries with a fresh journal.
+ * - `Effect.txRetry` suspends the transaction until one of the `TxRef` values
+ *   read by the transaction changes.
+ *
+ * **Common tasks**
+ *
+ * - Create transactional state with {@link make}.
+ * - Read the current value with {@link get}.
+ * - Replace or transform the value with {@link set} and {@link update}.
+ * - Return a derived result while writing a new value with {@link modify}.
+ * - Wrap related reads and writes in one `Effect.tx` boundary so they commit or
+ *   roll back as a unit.
+ *
+ * **Example** (Committing multiple updates atomically)
+ *
+ * ```ts
+ * import { Effect, TxRef } from "effect"
+ *
+ * const transfer = Effect.gen(function*() {
+ *   const checking = yield* TxRef.make(100)
+ *   const savings = yield* TxRef.make(0)
+ *
+ *   yield* Effect.tx(Effect.gen(function*() {
+ *     const balance = yield* TxRef.get(checking)
+ *     if (balance < 30) {
+ *       return yield* Effect.fail("insufficient funds")
+ *     }
+ *     yield* TxRef.set(checking, balance - 30)
+ *     yield* TxRef.update(savings, (amount) => amount + 30)
+ *   }))
+ *
+ *   return {
+ *     checking: yield* TxRef.get(checking),
+ *     savings: yield* TxRef.get(savings)
+ *   }
+ * })
+ * ```
+ *
+ * **Gotchas**
+ *
+ * - Group related operations in the same `Effect.tx` call; separate
+ *   transactions can observe and commit intermediate states.
+ * - A transaction body can run more than once after a conflict or
+ *   `Effect.txRetry`, so keep externally visible effects outside the
+ *   transaction body or make them idempotent.
+ * - If a transaction fails, its journal is discarded and other fibers continue
+ *   to see the last committed values.
  *
  * @since 4.0.0
  */
@@ -15,6 +68,11 @@ declare const TypeId = "~effect/transactions/TxRef";
 /**
  * TxRef is a transactional value, it can be read and modified within the body of a transaction.
  *
+ * **When to use**
+ *
+ * Use to store mutable state that must be read and modified inside Effect
+ * transactions.
+ *
  * **Details**
  *
  * Accessed values are tracked by the transaction in order to detect conflicts and in order to
@@ -54,6 +112,10 @@ export interface TxRef<in out A> extends Pipeable {
 /**
  * Creates a new `TxRef` with the specified initial value.
  *
+ * **When to use**
+ *
+ * Use to create a transactional reference inside an `Effect` workflow.
+ *
  * **Example** (Creating transactional references)
  *
  * ```ts
@@ -84,8 +146,8 @@ export declare const make: <A>(initial: A) => Effect.Effect<TxRef<A>, never, nev
  *
  * **When to use**
  *
- * Prefer `make` in Effect code so allocation stays inside the Effect workflow.
- * Use `makeUnsafe` only when a `TxRef` must be constructed outside an effect.
+ * Use to construct a transactional reference synchronously when it must be
+ * created outside an `Effect` workflow.
  *
  * **Example** (Creating transactional references unsafely)
  *
@@ -108,6 +170,11 @@ export declare const makeUnsafe: <A>(initial: A) => TxRef<A>;
 /**
  * Modifies the value of the `TxRef` using the provided function.
  *
+ * **When to use**
+ *
+ * Use to update a transactional reference and return a computed result from the
+ * same transaction step.
+ *
  * **Example** (Modifying transactional references)
  *
  * ```ts
@@ -131,6 +198,11 @@ export declare const modify: {
     /**
      * Modifies the value of the `TxRef` using the provided function.
      *
+     * **When to use**
+     *
+     * Use to update a transactional reference and return a computed result from the
+     * same transaction step.
+     *
      * **Example** (Modifying transactional references)
      *
      * ```ts
@@ -154,6 +226,11 @@ export declare const modify: {
     /**
      * Modifies the value of the `TxRef` using the provided function.
      *
+     * **When to use**
+     *
+     * Use to update a transactional reference and return a computed result from the
+     * same transaction step.
+     *
      * **Example** (Modifying transactional references)
      *
      * ```ts
@@ -178,6 +255,10 @@ export declare const modify: {
 /**
  * Updates the value of the `TxRef` using the provided function.
  *
+ * **When to use**
+ *
+ * Use to transform a transactional reference when no result value is needed.
+ *
  * **Example** (Updating transactional references)
  *
  * ```ts
@@ -202,6 +283,10 @@ export declare const update: {
     /**
      * Updates the value of the `TxRef` using the provided function.
      *
+     * **When to use**
+     *
+     * Use to transform a transactional reference when no result value is needed.
+     *
      * **Example** (Updating transactional references)
      *
      * ```ts
@@ -226,6 +311,10 @@ export declare const update: {
     /**
      * Updates the value of the `TxRef` using the provided function.
      *
+     * **When to use**
+     *
+     * Use to transform a transactional reference when no result value is needed.
+     *
      * **Example** (Updating transactional references)
      *
      * ```ts
@@ -251,6 +340,10 @@ export declare const update: {
 /**
  * Reads the current value of the `TxRef`.
  *
+ * **When to use**
+ *
+ * Use to read the current value of a transactional reference.
+ *
  * **Example** (Reading transactional references)
  *
  * ```ts
@@ -275,6 +368,10 @@ export declare const get: <A>(self: TxRef<A>) => Effect.Effect<A>;
 /**
  * Sets the value of the `TxRef`.
  *
+ * **When to use**
+ *
+ * Use to replace the value of a transactional reference.
+ *
  * **Example** (Setting transactional references)
  *
  * ```ts
@@ -299,6 +396,10 @@ export declare const set: {
     /**
      * Sets the value of the `TxRef`.
      *
+     * **When to use**
+     *
+     * Use to replace the value of a transactional reference.
+     *
      * **Example** (Setting transactional references)
      *
      * ```ts
@@ -323,6 +424,10 @@ export declare const set: {
     /**
      * Sets the value of the `TxRef`.
      *
+     * **When to use**
+     *
+     * Use to replace the value of a transactional reference.
+     *
      * **Example** (Setting transactional references)
      *
      * ```ts

package/dist/TxRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TxRef.d.ts","sourceRoot":"","sources":["../src/TxRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAGrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC,QAAA,MAAM,MAAM,+BAA+B,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IAEhC,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAA;IACjC,KAAK,EAAE,CAAC,CAAA;CACT;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,SAAS,CAAC,0CAA2C,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,KAAK,CAAC,CAAC,CAQhD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvG;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAkBxF,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIU,CAAA;AAE1E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAkD,CAAA;AAEzG;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACtD;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIA,CAAA"}
+{"version":3,"file":"TxRef.d.ts","sourceRoot":"","sources":["../src/TxRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAGrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC,QAAA,MAAM,MAAM,+BAA+B,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IAEhC,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAA;IACjC,KAAK,EAAE,CAAC,CAAA;CACT;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,SAAS,CAAC,0CAA2C,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,KAAK,CAAC,CAAC,CAQhD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvG;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAkBxF,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIU,CAAA;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAkD,CAAA;AAEzG;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACtD;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIA,CAAA"}

package/dist/TxRef.js

@@ -1,10 +1,63 @@
 /**
- * TxRef is a transactional value, it can be read and modified within the body of a transaction.
+ * The `TxRef` module provides transactional references for coordinating mutable
+ * state with Effect transactions. A `TxRef<A>` stores a current value, but
+ * reads and writes inside `Effect.tx` are recorded in a transaction journal and
+ * committed together only when the outermost transaction succeeds.
  *
- * Accessed values are tracked by the transaction in order to detect conflicts and in order to
- * track changes, a transaction will retry whenever a conflict is detected or whenever the
- * transaction explicitely calls to `Effect.txRetry` and any of the accessed TxRef values
- * change.
+ * **Mental model**
+ *
+ * - {@link make} creates a reference whose value can participate in
+ *   optimistic transactions.
+ * - {@link get}, {@link set}, {@link update}, and {@link modify} read and
+ *   write the transaction journal when a transaction is active.
+ * - At commit time, the transaction checks whether any accessed reference was
+ *   changed by another transaction. If so, it retries with a fresh journal.
+ * - `Effect.txRetry` suspends the transaction until one of the `TxRef` values
+ *   read by the transaction changes.
+ *
+ * **Common tasks**
+ *
+ * - Create transactional state with {@link make}.
+ * - Read the current value with {@link get}.
+ * - Replace or transform the value with {@link set} and {@link update}.
+ * - Return a derived result while writing a new value with {@link modify}.
+ * - Wrap related reads and writes in one `Effect.tx` boundary so they commit or
+ *   roll back as a unit.
+ *
+ * **Example** (Committing multiple updates atomically)
+ *
+ * ```ts
+ * import { Effect, TxRef } from "effect"
+ *
+ * const transfer = Effect.gen(function*() {
+ *   const checking = yield* TxRef.make(100)
+ *   const savings = yield* TxRef.make(0)
+ *
+ *   yield* Effect.tx(Effect.gen(function*() {
+ *     const balance = yield* TxRef.get(checking)
+ *     if (balance < 30) {
+ *       return yield* Effect.fail("insufficient funds")
+ *     }
+ *     yield* TxRef.set(checking, balance - 30)
+ *     yield* TxRef.update(savings, (amount) => amount + 30)
+ *   }))
+ *
+ *   return {
+ *     checking: yield* TxRef.get(checking),
+ *     savings: yield* TxRef.get(savings)
+ *   }
+ * })
+ * ```
+ *
+ * **Gotchas**
+ *
+ * - Group related operations in the same `Effect.tx` call; separate
+ *   transactions can observe and commit intermediate states.
+ * - A transaction body can run more than once after a conflict or
+ *   `Effect.txRetry`, so keep externally visible effects outside the
+ *   transaction body or make them idempotent.
+ * - If a transaction fails, its journal is discarded and other fibers continue
+ *   to see the last committed values.
  *
  * @since 4.0.0
  */
@@ -15,6 +68,10 @@ const TypeId = "~effect/transactions/TxRef";
 /**
  * Creates a new `TxRef` with the specified initial value.
  *
+ * **When to use**
+ *
+ * Use to create a transactional reference inside an `Effect` workflow.
+ *
  * **Example** (Creating transactional references)
  *
  * ```ts
@@ -45,8 +102,8 @@ export const make = initial => Effect.sync(() => makeUnsafe(initial));
  *
  * **When to use**
  *
- * Prefer `make` in Effect code so allocation stays inside the Effect workflow.
- * Use `makeUnsafe` only when a `TxRef` must be constructed outside an effect.
+ * Use to construct a transactional reference synchronously when it must be
+ * created outside an `Effect` workflow.
  *
  * **Example** (Creating transactional references unsafely)
  *
@@ -77,6 +134,11 @@ export const makeUnsafe = initial => ({
 /**
  * Modifies the value of the `TxRef` using the provided function.
  *
+ * **When to use**
+ *
+ * Use to update a transactional reference and return a computed result from the
+ * same transaction step.
+ *
  * **Example** (Modifying transactional references)
  *
  * ```ts
@@ -111,6 +173,10 @@ export const modify = /*#__PURE__*/dual(2, (self, f) => Effect.Transaction.pipe(
 /**
  * Updates the value of the `TxRef` using the provided function.
  *
+ * **When to use**
+ *
+ * Use to transform a transactional reference when no result value is needed.
+ *
  * **Example** (Updating transactional references)
  *
  * ```ts
@@ -135,6 +201,10 @@ export const update = /*#__PURE__*/dual(2, (self, f) => modify(self, current =>
 /**
  * Reads the current value of the `TxRef`.
  *
+ * **When to use**
+ *
+ * Use to read the current value of a transactional reference.
+ *
  * **Example** (Reading transactional references)
  *
  * ```ts
@@ -159,6 +229,10 @@ export const get = self => modify(self, current => [current, current]);
 /**
  * Sets the value of the `TxRef`.
  *
+ * **When to use**
+ *
+ * Use to replace the value of a transactional reference.
+ *
  * **Example** (Setting transactional references)
  *
  * ```ts

package/dist/TxRef.js.map

@@ -1 +1 @@
-{"version":3,"file":"TxRef.js","names":["Effect","dual","pipeArguments","TypeId","make","initial","sync","makeUnsafe","pending","Map","pipe","arguments","version","value","modify","self","f","Transaction","flatMap","state","journal","has","set","current","get","returnValue","next","tx","update"],"sources":["../src/TxRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;AAUA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,SAASC,aAAa,QAAQ,eAAe;AAI7C,MAAMC,MAAM,GAAG,4BAA4B;AA2C3C;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,IAAI,GAAOC,OAAU,IAAKL,MAAM,CAACM,IAAI,CAAC,MAAMC,UAAU,CAACF,OAAO,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAME,UAAU,GAAOF,OAAU,KAAgB;EACtD,CAACF,MAAM,GAAGA,MAAM;EAChBK,OAAO,EAAE,IAAIC,GAAG,EAAE;EAClBC,IAAIA,CAAA;IACF,OAAOR,aAAa,CAAC,IAAI,EAAES,SAAS,CAAC;EACvC,CAAC;EACDC,OAAO,EAAE,CAAC;EACVC,KAAK,EAAER;CACR,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMS,MAAM,gBA+Cfb,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAgD,KAEhDhB,MAAM,CAACiB,WAAW,CAACP,IAAI,CACrBV,MAAM,CAACkB,OAAO,CAAEC,KAAK,IACnBnB,MAAM,CAACM,IAAI,CAAC,MAAK;EACf,IAAI,CAACa,KAAK,CAACC,OAAO,CAACC,GAAG,CAACN,IAAI,CAAC,EAAE;IAC5BI,KAAK,CAACC,OAAO,CAACE,GAAG,CAACP,IAAI,EAAE;MAAEH,OAAO,EAAEG,IAAI,CAACH,OAAO;MAAEC,KAAK,EAAEE,IAAI,CAACF;IAAK,CAAE,CAAC;EACvE;EACA,MAAMU,OAAO,GAAGJ,KAAK,CAACC,OAAO,CAACI,GAAG,CAACT,IAAI,CAAE;EACxC,MAAM,CAACU,WAAW,EAAEC,IAAI,CAAC,GAAGV,CAAC,CAACO,OAAO,CAACV,KAAK,CAAC;EAC5CU,OAAO,CAACV,KAAK,GAAGa,IAAI;EACpB,OAAOD,WAAW;AACpB,CAAC,CAAC,CACH,EACDzB,MAAM,CAAC2B,EAAE,CACV,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;AAuBA,OAAO,MAAMC,MAAM,gBAiDf3B,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAoB,KACIF,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAAC,KAAK,CAAC,EAAEP,CAAC,CAACO,OAAO,CAAC,CAAC,CAAC,CAAC;AAE1E;;;;;;;;;;;;;;;;;;;;;;;AAuBA,OAAO,MAAMC,GAAG,GAAOT,IAAc,IAAuBD,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAACA,OAAO,EAAEA,OAAO,CAAC,CAAC;AAEzG;;;;;;;;;;;;;;;;;;;;;;;AAuBA,OAAO,MAAMD,GAAG,gBAiDZrB,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdF,KAAQ,KACgBe,MAAM,CAACb,IAAI,EAAE,MAAMF,KAAK,CAAC,CAAC","ignoreList":[]}
+{"version":3,"file":"TxRef.js","names":["Effect","dual","pipeArguments","TypeId","make","initial","sync","makeUnsafe","pending","Map","pipe","arguments","version","value","modify","self","f","Transaction","flatMap","state","journal","has","set","current","get","returnValue","next","tx","update"],"sources":["../src/TxRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+DA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,SAASC,aAAa,QAAQ,eAAe;AAI7C,MAAMC,MAAM,GAAG,4BAA4B;AAgD3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BA,OAAO,MAAMC,IAAI,GAAOC,OAAU,IAAKL,MAAM,CAACM,IAAI,CAAC,MAAMC,UAAU,CAACF,OAAO,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAME,UAAU,GAAOF,OAAU,KAAgB;EACtD,CAACF,MAAM,GAAGA,MAAM;EAChBK,OAAO,EAAE,IAAIC,GAAG,EAAE;EAClBC,IAAIA,CAAA;IACF,OAAOR,aAAa,CAAC,IAAI,EAAES,SAAS,CAAC;EACvC,CAAC;EACDC,OAAO,EAAE,CAAC;EACVC,KAAK,EAAER;CACR,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMS,MAAM,gBAyDfb,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAgD,KAEhDhB,MAAM,CAACiB,WAAW,CAACP,IAAI,CACrBV,MAAM,CAACkB,OAAO,CAAEC,KAAK,IACnBnB,MAAM,CAACM,IAAI,CAAC,MAAK;EACf,IAAI,CAACa,KAAK,CAACC,OAAO,CAACC,GAAG,CAACN,IAAI,CAAC,EAAE;IAC5BI,KAAK,CAACC,OAAO,CAACE,GAAG,CAACP,IAAI,EAAE;MAAEH,OAAO,EAAEG,IAAI,CAACH,OAAO;MAAEC,KAAK,EAAEE,IAAI,CAACF;IAAK,CAAE,CAAC;EACvE;EACA,MAAMU,OAAO,GAAGJ,KAAK,CAACC,OAAO,CAACI,GAAG,CAACT,IAAI,CAAE;EACxC,MAAM,CAACU,WAAW,EAAEC,IAAI,CAAC,GAAGV,CAAC,CAACO,OAAO,CAACV,KAAK,CAAC;EAC5CU,OAAO,CAACV,KAAK,GAAGa,IAAI;EACpB,OAAOD,WAAW;AACpB,CAAC,CAAC,CACH,EACDzB,MAAM,CAAC2B,EAAE,CACV,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,MAAM,gBAyDf3B,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAoB,KACIF,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAAC,KAAK,CAAC,EAAEP,CAAC,CAACO,OAAO,CAAC,CAAC,CAAC,CAAC;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,GAAG,GAAOT,IAAc,IAAuBD,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAACA,OAAO,EAAEA,OAAO,CAAC,CAAC;AAEzG;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMD,GAAG,gBAyDZrB,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdF,KAAQ,KACgBe,MAAM,CAACb,IAAI,EAAE,MAAMF,KAAK,CAAC,CAAC","ignoreList":[]}