atom.io 0.11.0 → 0.12.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (172) hide show
  1. package/data/dist/index.cjs +614 -0
  2. package/data/dist/index.cjs.map +1 -0
  3. package/data/dist/index.d.cts +158 -0
  4. package/data/dist/index.d.ts +118 -1
  5. package/data/dist/index.js +551 -30
  6. package/data/dist/index.js.map +1 -1
  7. package/data/dist/metafile-cjs.json +1 -0
  8. package/data/dist/metafile-esm.json +1 -0
  9. package/data/package.json +4 -3
  10. package/data/src/index.ts +1 -0
  11. package/data/src/join.ts +450 -0
  12. package/data/src/struct-family.ts +34 -24
  13. package/data/src/struct.ts +6 -8
  14. package/dist/index.cjs +257 -0
  15. package/dist/index.cjs.map +1 -0
  16. package/dist/{index.d.mts → index.d.cts} +10 -11
  17. package/dist/index.d.ts +10 -11
  18. package/dist/index.js +63 -104
  19. package/dist/index.js.map +1 -1
  20. package/dist/metafile-cjs.json +1 -0
  21. package/dist/metafile-esm.json +1 -0
  22. package/internal/dist/{index.mjs → index.cjs} +692 -503
  23. package/internal/dist/index.cjs.map +1 -0
  24. package/internal/dist/{index.d.mts → index.d.cts} +114 -105
  25. package/internal/dist/index.d.ts +114 -105
  26. package/internal/dist/index.js +628 -563
  27. package/internal/dist/index.js.map +1 -1
  28. package/internal/dist/metafile-cjs.json +1 -0
  29. package/internal/dist/metafile-esm.json +1 -0
  30. package/internal/package.json +4 -3
  31. package/internal/src/atom/create-atom.ts +29 -16
  32. package/internal/src/atom/delete-atom.ts +25 -6
  33. package/internal/src/atom/is-default.ts +4 -17
  34. package/internal/src/caching.ts +28 -23
  35. package/internal/src/families/create-atom-family.ts +3 -2
  36. package/internal/src/families/create-readonly-selector-family.ts +1 -1
  37. package/internal/src/families/create-selector-family.ts +4 -4
  38. package/internal/src/index.ts +2 -1
  39. package/internal/src/mutable/create-mutable-atom-family.ts +2 -2
  40. package/internal/src/mutable/create-mutable-atom.ts +1 -2
  41. package/internal/src/mutable/get-json-family.ts +22 -0
  42. package/internal/src/mutable/get-json-token.ts +1 -0
  43. package/internal/src/mutable/index.ts +1 -0
  44. package/internal/src/mutable/tracker-family.ts +1 -2
  45. package/internal/src/mutable/tracker.ts +8 -6
  46. package/internal/src/mutable/transceiver.ts +2 -0
  47. package/internal/src/not-found-error.ts +27 -0
  48. package/internal/src/operation.ts +2 -3
  49. package/internal/src/{get-state-internal.ts → read-or-compute-value.ts} +13 -6
  50. package/internal/src/selector/create-selector.ts +6 -7
  51. package/internal/src/selector/delete-selector.ts +37 -0
  52. package/internal/src/selector/index.ts +2 -1
  53. package/internal/src/selector/register-selector.ts +7 -7
  54. package/internal/src/set-state/copy-mutable-in-transaction.ts +3 -2
  55. package/internal/src/set-state/emit-update.ts +1 -3
  56. package/internal/src/set-state/evict-downstream.ts +6 -8
  57. package/internal/src/set-state/index.ts +1 -1
  58. package/internal/src/set-state/{set-state-internal.ts → set-atom-or-selector.ts} +2 -3
  59. package/internal/src/set-state/set-atom.ts +5 -6
  60. package/internal/src/store/store.ts +1 -1
  61. package/internal/src/store/withdraw-new-family-member.ts +6 -6
  62. package/internal/src/subscribe/recall-state.ts +1 -2
  63. package/internal/src/subscribe/subscribe-to-root-atoms.ts +2 -2
  64. package/internal/src/timeline/add-atom-to-timeline.ts +5 -16
  65. package/internal/src/timeline/{timeline-internal.ts → create-timeline.ts} +4 -5
  66. package/internal/src/timeline/index.ts +2 -2
  67. package/internal/src/timeline/time-travel.ts +89 -0
  68. package/internal/src/transaction/{transaction-internal.ts → create-transaction.ts} +6 -5
  69. package/internal/src/transaction/index.ts +2 -3
  70. package/introspection/dist/{index.mjs → index.cjs} +54 -29
  71. package/introspection/dist/index.cjs.map +1 -0
  72. package/introspection/dist/{index.d.mts → index.d.cts} +2 -2
  73. package/introspection/dist/index.d.ts +2 -2
  74. package/introspection/dist/index.js +32 -49
  75. package/introspection/dist/index.js.map +1 -1
  76. package/introspection/dist/metafile-cjs.json +1 -0
  77. package/introspection/dist/metafile-esm.json +1 -0
  78. package/introspection/package.json +4 -3
  79. package/introspection/src/attach-introspection-states.ts +2 -2
  80. package/introspection/src/attach-selector-index.ts +8 -4
  81. package/json/dist/{index.mjs → index.cjs} +20 -7
  82. package/json/dist/{index.mjs.map → index.cjs.map} +1 -1
  83. package/json/dist/{index.d.mts → index.d.cts} +1 -1
  84. package/json/dist/index.d.ts +1 -1
  85. package/json/dist/index.js +6 -19
  86. package/json/dist/index.js.map +1 -1
  87. package/json/dist/metafile-cjs.json +1 -0
  88. package/json/dist/metafile-esm.json +1 -0
  89. package/json/package.json +4 -3
  90. package/package.json +48 -47
  91. package/react/dist/index.cjs +59 -0
  92. package/react/dist/index.cjs.map +1 -0
  93. package/react/dist/index.js +20 -42
  94. package/react/dist/index.js.map +1 -1
  95. package/react/dist/metafile-cjs.json +1 -0
  96. package/react/dist/metafile-esm.json +1 -0
  97. package/react/package.json +4 -3
  98. package/react/src/store-hooks.ts +8 -2
  99. package/react-devtools/dist/{index.mjs → index.cjs} +286 -240
  100. package/react-devtools/dist/index.cjs.map +1 -0
  101. package/react-devtools/dist/{index.d.mts → index.d.cts} +29 -17
  102. package/react-devtools/dist/index.d.ts +29 -17
  103. package/react-devtools/dist/index.js +251 -273
  104. package/react-devtools/dist/index.js.map +1 -1
  105. package/react-devtools/dist/metafile-cjs.json +1 -0
  106. package/react-devtools/dist/metafile-esm.json +1 -0
  107. package/react-devtools/package.json +4 -3
  108. package/react-devtools/src/StateEditor.tsx +8 -8
  109. package/realtime-client/dist/{index.mjs → index.cjs} +50 -21
  110. package/realtime-client/dist/index.js +20 -49
  111. package/realtime-client/dist/metafile-cjs.json +1 -0
  112. package/realtime-client/dist/metafile-esm.json +1 -0
  113. package/realtime-client/package.json +4 -3
  114. package/realtime-react/dist/index.cjs +99 -0
  115. package/realtime-react/dist/index.js +35 -66
  116. package/realtime-react/dist/metafile-cjs.json +1 -0
  117. package/realtime-react/dist/metafile-esm.json +1 -0
  118. package/realtime-react/package.json +4 -3
  119. package/realtime-server/dist/{index.mjs → index.cjs} +67 -40
  120. package/realtime-server/dist/index.js +39 -66
  121. package/realtime-server/dist/metafile-cjs.json +1 -0
  122. package/realtime-server/dist/metafile-esm.json +1 -0
  123. package/realtime-server/package.json +4 -3
  124. package/realtime-testing/dist/{index.mjs → index.cjs} +54 -23
  125. package/realtime-testing/dist/index.js +22 -53
  126. package/realtime-testing/dist/metafile-cjs.json +1 -0
  127. package/realtime-testing/dist/metafile-esm.json +1 -0
  128. package/realtime-testing/package.json +4 -3
  129. package/src/atom.ts +6 -8
  130. package/src/dispose.ts +18 -0
  131. package/src/get-state.ts +16 -0
  132. package/src/index.ts +3 -1
  133. package/src/logger.ts +1 -1
  134. package/src/selector.ts +3 -3
  135. package/src/set-state.ts +22 -0
  136. package/src/silo.ts +7 -8
  137. package/src/timeline.ts +6 -11
  138. package/src/transaction.ts +2 -2
  139. package/transceivers/set-rtx/dist/{index.mjs → index.cjs} +40 -36
  140. package/transceivers/set-rtx/dist/index.cjs.map +1 -0
  141. package/transceivers/set-rtx/dist/{index.d.mts → index.d.cts} +2 -1
  142. package/transceivers/set-rtx/dist/index.d.ts +2 -1
  143. package/transceivers/set-rtx/dist/index.js +37 -37
  144. package/transceivers/set-rtx/dist/index.js.map +1 -1
  145. package/transceivers/set-rtx/dist/metafile-cjs.json +1 -0
  146. package/transceivers/set-rtx/dist/metafile-esm.json +1 -0
  147. package/transceivers/set-rtx/package.json +4 -3
  148. package/transceivers/set-rtx/src/set-rtx.ts +29 -26
  149. package/data/dist/index.d.mts +0 -41
  150. package/data/dist/index.mjs +0 -82
  151. package/data/dist/index.mjs.map +0 -1
  152. package/dist/index.mjs +0 -215
  153. package/dist/index.mjs.map +0 -1
  154. package/internal/dist/index.mjs.map +0 -1
  155. package/internal/src/set-state/set-selector-state.ts +0 -8
  156. package/internal/src/timeline/time-travel-internal.ts +0 -109
  157. package/introspection/dist/index.mjs.map +0 -1
  158. package/react/dist/index.mjs +0 -29
  159. package/react/dist/index.mjs.map +0 -1
  160. package/react-devtools/dist/index.mjs.map +0 -1
  161. package/realtime-react/dist/index.mjs +0 -68
  162. package/src/get-set.ts +0 -48
  163. package/transceivers/set-rtx/dist/index.mjs.map +0 -1
  164. /package/react/dist/{index.d.mts → index.d.cts} +0 -0
  165. /package/realtime-client/dist/{index.mjs.map → index.cjs.map} +0 -0
  166. /package/realtime-client/dist/{index.d.mts → index.d.cts} +0 -0
  167. /package/realtime-react/dist/{index.mjs.map → index.cjs.map} +0 -0
  168. /package/realtime-react/dist/{index.d.mts → index.d.cts} +0 -0
  169. /package/realtime-server/dist/{index.mjs.map → index.cjs.map} +0 -0
  170. /package/realtime-server/dist/{index.d.mts → index.d.cts} +0 -0
  171. /package/realtime-testing/dist/{index.mjs.map → index.cjs.map} +0 -0
  172. /package/realtime-testing/dist/{index.d.mts → index.d.cts} +0 -0
@@ -0,0 +1 @@
1
+ {"version":3,"sources":["../src/dict.ts","../src/join.ts","../../../rel8/junction/src/junction.ts","../src/struct.ts","../src/struct-family.ts","../src/until.ts"],"names":["IMPLICIT","a","b","createSelector","capitalize","createAtomFamily","createSelectorFamily"],"mappings":";AAEA,SAAS,UAAU,sBAAsB;AAGlC,SAAS,KACf,WAIA,OAIA,QAAe,SAAS,OAC2C;AACnE,SAAO;AAAA,IACN;AAAA,MACC,KAAK,GAAG,UAAU,GAAG;AAAA,MACrB,KAAK,CAAC,EAAE,IAAI,MAAM;AACjB,cAAM,OAAO,IAAI,KAAK;AACtB,eAAO,KAAK,OAAO,CAAC,KAAK,QAAQ;AAChC,cAAI,GAAG,IAAI,IAAI,UAAU,GAAG,CAAC;AAC7B,iBAAO;AAAA,QACR,GAAG,CAAC,CAAQ;AAAA,MACb;AAAA,IACD;AAAA,IACA;AAAA,IACA;AAAA,EACD;AACD;;;ACtBA,SAAS,UAAU,gBAAgB;AAEnC;AAAA,EACC,YAAAA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACM;AAEP,SAAS,cAAc;;;ACkChB,IAAM,WAAN,MAIL;AAAA,EA0FM,YACN,MACA,QACC;AAzFF,SAAgB,YAAY,oBAAI,IAAyB;AACzD,SAAgB,WAAW,oBAAI,IAAqB;AAGpD,SAAO,iBAAiB,CAAC,GAAW,MAAsB,GAAG,CAAC,IAAI,CAAC;AAhEpE;AAsJE,SAAK,IAAI,KAAK,QAAQ,CAAC;AACvB,SAAK,IAAI,KAAK,QAAQ,CAAC;AAEvB,SAAK,cAAc,KAAK;AACxB,QAAI,EAAC,iCAAQ,gBAAe;AAC3B,WAAK,YAAY,IAAI,KAAI,UAAK,cAAL,mBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,EAAE;AACzE,WAAK,WAAW,IAAI,IAAI,KAAK,QAAQ;AAAA,IACtC;AACA,SAAK,aAAY,sCAAQ,cAAR,YAAqB;AACtC,QAAI,iCAAQ,gBAAgB;AAC3B,WAAK,iBAAiB,OAAO;AAAA,IAC9B;AACA,QAAI,iCAAQ,eAAe;AAC1B,YAAM,gBAAgB,OAAO;AAC7B,WAAK,MAAM,CAAC,GAAG,MAAM,cAAc,IAAI,GAAG,CAAC;AAC3C,WAAK,cAAc,CAAC,GAAG,MAAM;AAC5B,sBAAc,YAAY,GAAG,CAAC;AAAA,MAC/B;AACA,WAAK,iBAAiB,CAAC,GAAG,MAAM;AAC/B,sBAAc,eAAe,GAAG,CAAC;AAAA,MAClC;AACA,WAAK,yBAAyB,CAAC,GAAG,OAAO;AACxC,sBAAc,uBAAuB,GAAG,EAAE;AAAA,MAC3C;AACA,WAAK,2BAA2B,CAAC,GAAG,OAAO;AAC1C,sBAAc,yBAAyB,GAAG,EAAE;AAAA,MAC7C;AACA,WAAK,iBAAiB,CAAC,QAAQ,cAAc,eAAe,GAAG;AAC/D,UAAI,cAAc,YAAY;AAC7B,aAAK,qBAAqB,CAAC,eAAe;AACzC,iBAAO,cAAc,WAAW,UAAU;AAAA,QAC3C;AACA,aAAK,aAAa,CAAC,YAAY,YAAY;AAC1C,wBAAc,WAAW,YAAY,OAAc;AAAA,QACpD;AACA,aAAK,gBAAgB,CAAC,eAAe;AACpC,wBAAc,cAAc,UAAU;AAAA,QACvC;AAAA,MACD;AACA,iBAAW,CAAC,GAAG,EAAE,MAAK,UAAK,cAAL,YAAkB,CAAC,GAAG;AAC3C,mBAAW,KAAK;AAAI,eAAK,YAAY,GAAG,CAAC;AAAA,MAC1C;AACA,iBAAW,CAAC,YAAY,OAAO,MAAK,UAAK,aAAL,YAAiB,CAAC,GAAG;AACxD,aAAK,WAAW,YAAY,OAAO;AAAA,MACpC;AAAA,IACD;AAAA,EACD;AAAA,EAlIO,eAAe,KAAsC;AAC3D,WAAO,KAAK,UAAU,IAAI,GAAG;AAAA,EAC9B;AAAA,EACU,YAAY,GAAW,GAAiB;AACjD,QAAI,aAAa,KAAK,UAAU,IAAI,CAAC;AACrC,QAAI,aAAa,KAAK,UAAU,IAAI,CAAC;AACrC,QAAI,YAAY;AACf,iBAAW,IAAI,CAAC;AAAA,IACjB,OAAO;AACN,mBAAa,oBAAI,IAAI,CAAC,CAAC,CAAC;AACxB,WAAK,UAAU,IAAI,GAAG,UAAU;AAAA,IACjC;AACA,QAAI,YAAY;AACf,iBAAW,IAAI,CAAC;AAAA,IACjB,OAAO;AACN,mBAAa,oBAAI,IAAI,CAAC,CAAC,CAAC;AACxB,WAAK,UAAU,IAAI,GAAG,UAAU;AAAA,IACjC;AAAA,EACD;AAAA,EACU,eAAe,GAAW,GAAiB;AACpD,UAAM,aAAa,KAAK,UAAU,IAAI,CAAC;AACvC,QAAI,YAAY;AACf,iBAAW,OAAO,CAAC;AACnB,UAAI,WAAW,SAAS,GAAG;AAC1B,aAAK,UAAU,OAAO,CAAC;AAAA,MACxB;AACA,YAAM,aAAa,KAAK,UAAU,IAAI,CAAC;AACvC,UAAI,YAAY;AACf,mBAAW,OAAO,CAAC;AACnB,YAAI,WAAW,SAAS,GAAG;AAC1B,eAAK,UAAU,OAAO,CAAC;AAAA,QACxB;AAAA,MACD;AAAA,IACD;AAAA,EACD;AAAA,EAEU,yBAAyB,GAAW,IAAoB;AACjE,SAAK,UAAU,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;AACjC,eAAW,KAAK,IAAI;AACnB,YAAM,aAAa,oBAAI,IAAI,CAAC,CAAC,CAAC;AAC9B,WAAK,UAAU,IAAI,GAAG,UAAU;AAAA,IACjC;AAAA,EACD;AAAA,EACU,uBAAuB,GAAW,IAAoB;AAC/D,UAAM,iBAAiB,KAAK,UAAU,IAAI,CAAC;AAC3C,QAAI,gBAAgB;AACnB,iBAAW,KAAK,gBAAgB;AAC/B,cAAM,aAAa,KAAK,UAAU,IAAI,CAAC;AACvC,YAAI,YAAY;AACf,cAAI,WAAW,SAAS,GAAG;AAC1B,iBAAK,UAAU,OAAO,CAAC;AAAA,UACxB,OAAO;AACN,uBAAW,OAAO,CAAC;AAAA,UACpB;AACA,eAAK,SAAS,OAAO,KAAK,eAAe,GAAG,CAAC,CAAC;AAAA,QAC/C;AAAA,MACD;AAAA,IACD;AACA,SAAK,UAAU,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;AACjC,eAAW,KAAK,IAAI;AACnB,UAAI,aAAa,KAAK,UAAU,IAAI,CAAC;AACrC,UAAI,YAAY;AACf,mBAAW,IAAI,CAAC;AAAA,MACjB,OAAO;AACN,qBAAa,oBAAI,IAAI,CAAC,CAAC,CAAC;AACxB,aAAK,UAAU,IAAI,GAAG,UAAU;AAAA,MACjC;AAAA,IACD;AAAA,EACD;AAAA,EAEU,mBAAmB,YAAyC;AACrE,WAAO,KAAK,SAAS,IAAI,UAAU;AAAA,EACpC;AAAA,EACU,WAAW,YAAoB,SAAwB;AAChE,SAAK,SAAS,IAAI,YAAY,OAAO;AAAA,EACtC;AAAA,EACU,cAAc,YAA0B;AACjD,SAAK,SAAS,OAAO,UAAU;AAAA,EAChC;AAAA,EAqDO,SAA8C;AACpD,WAAO;AAAA,MACN,SAAS,CAAC,KAAK,GAAG,KAAK,CAAC;AAAA,MACxB,aAAa,KAAK;AAAA,MAClB,WAAW,CAAC,GAAG,KAAK,UAAU,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAAA,MACpE,UAAU,CAAC,GAAG,KAAK,SAAS,QAAQ,CAAC;AAAA,IACtC;AAAA,EACD;AAAA,EAUO,IACN,MACG,MAGI;AA3NT;AA4NE,UAAM,IACL,OAAO,KAAK,CAAC,MAAM,WAChB,KAAK,CAAC,IACL,EAAE,KAAK,CAAmB;AAC/B,UAAM,YACL,UAAK,CAAC,MAAN,YAAW,OAAO,KAAK,CAAC,MAAM,YAAW,SAAa,KAAK,CAAC;AAC7D,QAAI,OAAO,MAAM,WAAW,IAAI,EAAE,KAAK,CAAC;AACxC,YAAQ,KAAK,aAAa;AAAA,MAEzB,KAAK,OAAO;AACX,cAAM,QAAQ,KAAK,cAAc,CAAC;AAClC,YAAI,SAAS,UAAU;AAAG,eAAK,OAAO,OAAO,CAAC;AAAA,MAC/C;AAAA,MACA,KAAK,OAAO;AACX,cAAM,QAAQ,KAAK,cAAc,CAAC;AAClC,YAAI,SAAS,UAAU;AAAG,eAAK,OAAO,OAAO,CAAC;AAAA,MAC/C;AAAA,IACD;AACA,QAAI,SAAS;AACZ,YAAM,aAAa,KAAK,eAAe,GAAG,CAAC;AAC3C,WAAK,WAAW,YAAY,OAAO;AAAA,IACpC;AACA,SAAK,YAAY,GAAG,CAAC;AACrB,WAAO;AAAA,EACR;AAAA,EAUO,OACN,GAKA,GACO;AAEP,QAAI,OAAO,MAAM,WAAW,IAAK,EAAE,KAAK,CAAC;AAEzC,UAAM,IAAI,OAAO,MAAM,WAAW,IAAK,EAAE,KAAK,CAAC;AAE/C,QAAI,MAAM,UAAa,OAAO,MAAM,UAAU;AAC7C,YAAM,aAAa,KAAK,eAAe,CAAC;AACxC,UAAI,YAAY;AACf,mBAAWC,MAAK,YAAY;AAC3B,eAAK,OAAOA,IAAG,CAAC;AAAA,QACjB;AAAA,MACD;AAAA,IACD;AACA,QAAI,OAAO,MAAM,YAAY,MAAM,QAAW;AAC7C,YAAM,aAAa,KAAK,eAAe,CAAC;AACxC,UAAI,YAAY;AACf,mBAAWC,MAAK,YAAY;AAC3B,eAAK,OAAO,GAAGA,EAAC;AAAA,QACjB;AAAA,MACD;AAAA,IACD;AACA,QAAI,OAAO,MAAM,YAAY,OAAO,MAAM,UAAU;AACnD,WAAK,eAAe,GAAG,CAAC;AACxB,YAAM,aAAa,KAAK,eAAe,GAAG,CAAC;AAC3C,WAAK,cAAc,UAAU;AAAA,IAC9B;AACA,WAAO;AAAA,EACR;AAAA,EAEO,cAAc,KAAiC;AACrD,UAAM,YAAY,KAAK,eAAe,GAAG;AACzC,QAAI,WAAW;AACd,UAAI,UAAU,OAAO,GAAG;AACvB,gBAAQ;AAAA,UACP,GAAG,UAAU,IAAI,qCAAqC,GAAG,OAAO;AAAA,YAC/D,GAAG;AAAA,UACJ,EACE,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,EACnB,KAAK,IAAI,CAAC;AAAA,QACb;AAAA,MACD;AACA,iBAAW,YAAY,WAAW;AACjC,eAAO;AAAA,MACR;AAAA,IACD;AAAA,EACD;AAAA,EAEO,iBACN,GACA,WACA,QACO;AACP,UAAM,aAAa,CAAC,MAAM,QAAQ,SAAS;AAC3C,UAAM,KAAK,aAAa,OAAO,KAAK,SAAS,IAAI;AACjD,QAAI,iCAAQ,UAAU;AACrB,WAAK,yBAAyB,GAAG,EAAE;AAAA,IACpC,OAAO;AACN,WAAK,uBAAuB,GAAG,EAAE;AAAA,IAClC;AACA,QAAI,YAAY;AACf,iBAAW,KAAK,IAAI;AACnB,cAAM,aAAa,KAAK,eAAe,GAAG,CAAC;AAC3C,cAAM,UAAU,UAAU,CAAC;AAC3B,aAAK,WAAW,YAAY,OAAO;AAAA,MACpC;AAAA,IACD;AACA,WAAO;AAAA,EACR;AAAA,EAEO,WAAW,GAAW,GAAgC;AAC5D,UAAM,aAAa,KAAK,eAAe,GAAG,CAAC;AAC3C,WAAO,KAAK,mBAAmB,UAAU;AAAA,EAC1C;AAAA,EAEO,mBACN,OACsB;AACtB,UAAM,IAAyB,MAAc,KAAK,CAAC;AACnD,UAAM,IAAyB,MAAc,KAAK,CAAC;AACnD,QAAI,MAAM,UAAa,MAAM,QAAW;AACvC,YAAM,aAAa,KAAK,eAAe,CAAC;AACxC,UAAI,YAAY;AACf,eAAO,CAAC,GAAG,UAAU,EAAE,IAAI,CAACA,OAAM;AAxVtC;AAyVK,iBAAO,CAACA,KAAG,UAAK,WAAW,GAAGA,EAAC,MAApB,YAA0B,IAAgB;AAAA,QACtD,CAAC;AAAA,MACF;AAAA,IACD;AACA,QAAI,MAAM,UAAa,MAAM,QAAW;AACvC,YAAM,aAAa,KAAK,eAAe,CAAC;AACxC,UAAI,YAAY;AACf,eAAO,CAAC,GAAG,UAAU,EAAE,IAAI,CAACD,OAAM;AAhWtC;AAiWK,iBAAO,CAACA,KAAG,UAAK,WAAWA,IAAG,CAAC,MAApB,YAA0B,IAAgB;AAAA,QACtD,CAAC;AAAA,MACF;AAAA,IACD;AACA,WAAO,CAAC;AAAA,EACT;AAAA,EAEO,IAAI,GAAW,GAAqB;AAxW5C;AAyWE,QAAI,GAAG;AACN,YAAM,OAAO,KAAK,eAAe,CAAC;AAClC,cAAO,kCAAM,IAAI,OAAV,YAAgB;AAAA,IACxB;AACA,WAAO,KAAK,UAAU,IAAI,CAAC;AAAA,EAC5B;AACD;;;ADjVA,IAAM,cAA2B,EAAE,KAAK,UAAU,KAAK,SAAS;AAEhE,SAAS,WAA6B,QAA0B;AAC/D,SAAQ,OAAO,CAAC,EAAE,YAAY,IAAI,OAAO,MAAM,CAAC;AACjD;AA0GO,SAAS,KAMf,SACA,gBACA,QAAeD,UAAS,OAIvB;AACD,QAAM,IAAW,QAAQ,QAAQ,CAAC;AAClC,QAAM,IAAW,QAAQ,QAAQ,CAAC;AAClC,QAAM,uBAAuB;AAAA,IAK5B;AAAA,MACC,KAAK,GAAG,QAAQ,GAAG;AAAA,MACnB,SAAS,MAAM,IAAI,OAAO;AAAA,MAC1B,SAAS;AAAA,MACT,UAAU,CAAC,SAAS,IAAI,OAAO,IAAI;AAAA,MACnC,QAAQ,CAAC,QAAQ,CAAC,GAAG,GAAG;AAAA,IACzB;AAAA,IACA;AAAA,EACD;AACA,QAAM,iBAAiE,CACtE,EAAE,IAAI,GACN,QACI,IAAI,qBAAqB,GAAG,CAAC;AAClC,QAAM,cAAqD,CAC1D,aACAC,IACAC,OACI;AACJ,UAAM,QAAQ,eAAe,aAAaD,EAAC;AAC3C,UAAM,QAAQ,eAAe,aAAaC,EAAC;AAC3C,QAAI,OAAO;AACV,kBAAY,IAAI,qBAAqBD,EAAC,GAAG,MAAM,IAAIC,EAAC,CAAC;AAAA,IACtD,OAAO;AACN,kBAAY,IAAI,qBAAqBD,EAAC,GAAG,IAAI,OAAO,CAACC,EAAC,CAAC,CAAC;AAAA,IACzD;AACA,QAAI,OAAO;AACV,kBAAY,IAAI,qBAAqBA,EAAC,GAAG,MAAM,IAAID,EAAC,CAAC;AAAA,IACtD,OAAO;AACN,kBAAY,IAAI,qBAAqBC,EAAC,GAAG,IAAI,OAAO,CAACD,EAAC,CAAC,CAAC;AAAA,IACzD;AAAA,EACD;AACA,QAAM,iBAAwD,CAC7D,aACAA,IACAC,OACI;AACJ,UAAM,QAAQ,eAAe,aAAaD,EAAC;AAC3C,QAAI,OAAO;AACV,YAAM,OAAOC,EAAC;AACd,UAAI,MAAM,SAAS,GAAG;AACrB,oBAAY,IAAI,qBAAqBD,EAAC,GAAG,MAAS;AAAA,MACnD;AACA,YAAM,QAAQ,eAAe,aAAaC,EAAC;AAC3C,UAAI,OAAO;AACV,cAAM,OAAOD,EAAC;AACd,YAAI,MAAM,SAAS,GAAG;AACrB,sBAAY,IAAI,qBAAqBC,EAAC,GAAG,MAAS;AAAA,QACnD;AAAA,MACD;AAAA,IACD;AAAA,EACD;AACA,QAAM,yBAAmE,CACxE,aACAD,IACA,OACI;AACJ,UAAM,QAAQ,eAAe,aAAaA,EAAC;AAC3C,QAAI,OAAO;AACV,iBAAWC,MAAK,OAAO;AACtB,cAAM,QAAQ,eAAe,aAAaA,EAAC;AAC3C,YAAI,OAAO;AACV,gBAAM,OAAOD,EAAC;AACd,cAAI,MAAM,SAAS,GAAG;AACrB,wBAAY,IAAI,qBAAqBC,EAAC,GAAG,MAAS;AAAA,UACnD;AAAA,QACD;AAAA,MACD;AAAA,IACD;AACA,gBAAY,IAAI,qBAAqBD,EAAC,GAAG,IAAI,OAAO,EAAE,CAAC;AACvD,eAAWC,MAAK,IAAI;AACnB,YAAM,QAAQ,eAAe,aAAaA,EAAC;AAC3C,UAAI,OAAO;AACV,cAAM,IAAID,EAAC;AAAA,MACZ,OAAO;AACN,oBAAY,IAAI,qBAAqBC,EAAC,GAAG,IAAI,OAAO,CAACD,EAAC,CAAC,CAAC;AAAA,MACzD;AAAA,IACD;AAAA,EACD;AACA,QAAM,2BAAqE,CAC1E,aACAA,IACA,OACI;AACJ,gBAAY,IAAI,qBAAqBA,EAAC,GAAG,IAAI,OAAO,EAAE,CAAC;AACvD,eAAWC,MAAK,IAAI;AACnB,UAAI,QAAQ,eAAe,aAAaA,EAAC;AACzC,UAAI,OAAO;AACV,cAAM,IAAID,EAAC;AAAA,MACZ,OAAO;AACN,gBAAQ,IAAI,OAAO,CAACA,EAAC,CAAC;AACtB,oBAAY,IAAI,qBAAqBC,EAAC,GAAG,KAAK;AAAA,MAC/C;AAAA,IACD;AAAA,EACD;AACA,QAAM,MAAgD,CAAC,aAAaD,IAAGC,OAAM;AA9P9E;AA+PE,UAAM,QAAQ,eAAe,aAAaD,EAAC;AAC3C,WAAOC,MAAI,oCAAO,IAAIA,QAAX,YAAiB,UAAS,oCAAO,SAAP,YAAe,KAAK;AAAA,EAC1D;AACA,QAAM,iCAAiE;AAAA,IACtE,gBAAgB,CAAC,QAAQ,eAAe,aAAa,GAAG;AAAA,IACxD,aAAa,CAACD,IAAGC,OAAM,YAAY,aAAaD,IAAGC,EAAC;AAAA,IACpD,gBAAgB,CAACD,IAAGC,OAAM,eAAe,aAAaD,IAAGC,EAAC;AAAA,IAC1D,wBAAwB,CAACD,IAAG,OAC3B,uBAAuB,aAAaA,IAAG,EAAE;AAAA,IAC1C,0BAA0B,CAACA,IAAG,OAC7B,yBAAyB,aAAaA,IAAG,EAAE;AAAA,IAC5C,KAAK,CAACA,IAAGC,OAAM,IAAI,aAAaD,IAAGC,EAAC;AAAA,EACrC;AACA,MAAI;AACJ,MAAI;AACJ,MAAI,gBAAgB;AACnB,uBAAmB;AAAA,MAClB;AAAA,QACC,KAAK,GAAG,QAAQ,GAAG;AAAA,QACnB,SAAS;AAAA,MACV;AAAA,MACA;AAAA,IACD;AACA,UAAM,aAAyD,CAC9D,EAAE,IAAI,GACN,QACI,IAAI,iBAAiB,GAAG,CAAC;AAC9B,UAAM,aAA6D,CAClE,aACA,KACA,YACI,YAAY,IAAI,iBAAiB,GAAG,GAAG,OAAO;AACnD,UAAM,gBAA8C,CAAC,aAAa,QACjE,YAAY,IAAI,iBAAiB,GAAG,GAAG,MAAS;AACjD,UAAM,wCACL;AAAA,MACC,YAAY,CAAC,eAAuB;AACnC,cAAM,UAAU,WAAW,aAAa,UAAU;AAClD,eAAO;AAAA,MACR;AAAA,MACA,YAAY,CAAC,YAAoB,YAAqB;AACrD,mBAAW,aAAa,YAAY,OAAO;AAAA,MAC5C;AAAA,MACA,eAAe,CAAC,eAAuB;AACtC,sBAAc,aAAa,UAAU;AAAA,MACtC;AAAA,IACD;AACD,oBAAgB,OAAO;AAAA,MACtB;AAAA,MACA;AAAA,IACD;AAAA,EACD,OAAO;AACN,oBACC;AAAA,EACF;AACA,QAAM,YAAY,IAAI,SAAgC,SAAS;AAAA,IAC9D;AAAA,IACA,gBAAgB,IAAI,SAAS,KAAK,KAAK,EAAE,KAAK,GAAG;AAAA,EAClD,CAAC;AAED,QAAM,6BAA6B,MAClC;AAAA,IACC;AAAA,MACC,KAAK,GAAG,QAAQ,GAAG;AAAA,MACnB,KACC,CAAC,QACD,CAAC,EAAE,IAAI,MAAM;AACZ,cAAM,cAAc,IAAI,qBAAqB,GAAG,CAAC;AACjD,mBAAW,cAAc,aAAa;AACrC,iBAAO;AAAA,QACR;AAAA,MACD;AAAA,IACF;AAAA,IACA;AAAA,EACD;AACD,QAAM,4BAA4B,MACjC,cAAc,sBAAsB,KAAK;AAC1C,QAAM,+BAA+B,MACpC;AAAA,IACC;AAAA,MACC,KAAK,GAAG,QAAQ,GAAG;AAAA,MACnB,KACC,CAAC,QACD,CAAC,EAAE,IAAI,MAAM;AACZ,cAAM,cAAc,IAAI,qBAAqB,GAAG,CAAC;AACjD,mBAAW,cAAc,aAAa;AACrC,gBAAM,aAAa,UAAU,eAAe,KAAK,UAAU;AAC3D,iBAAO,CAAC,YAAY,IAAI,iBAAiB,UAAU,CAAC,CAAC;AAAA,QACtD;AAAA,MACD;AAAA,IACF;AAAA,IACA;AAAA,EACD;AACD,QAAM,8BAA8B,MACnC;AAAA,IACC;AAAA,MACC,KAAK,GAAG,QAAQ,GAAG;AAAA,MACnB,KACC,CAAC,QACD,CAAC,EAAE,IAAI,MAAM;AACZ,cAAM,cAAc,IAAI,qBAAqB,GAAG,CAAC;AACjD,eAAO,CAAC,GAAG,WAAW,EAAE,IAAI,CAAC,eAAe;AAC3C,gBAAM,aAAa,UAAU,eAAe,KAAK,UAAU;AAC3D,iBAAO,CAAC,YAAY,IAAI,iBAAiB,UAAU,CAAC,CAAC;AAAA,QACtD,CAAC;AAAA,MACF;AAAA,IACF;AAAA,IACA;AAAA,EACD;AAED,UAAQ,QAAQ,aAAa;AAAA,IAC5B,KAAK,OAAO;AACX,YAAM,4BAA4B,2BAA2B;AAC7D,YAAM,YAAY,GAAG,CAAC,QAAQ,WAAW,CAAC,CAAC;AAC3C,YAAM,YAAY,GAAG,CAAC,QAAQ,WAAW,CAAC,CAAC;AAC3C,YAAM,gBAAgB;AAAA,QACrB,CAAC,SAAS,GAAG;AAAA,QACb,CAAC,SAAS,GAAG;AAAA,MACd;AACA,UAAI;AACJ,UAAI,gBAAgB;AACnB,cAAM,8BAA8B,6BAA6B;AACjE,cAAM,mBAAmB,GAAG,CAAC,UAAU,WAAW,CAAC,CAAC;AACpD,cAAM,mBAAmB,GAAG,CAAC,UAAU,WAAW,CAAC,CAAC;AACpD,cAAM,uBAAuB;AAAA,UAC5B,CAAC,gBAAgB,GAAG;AAAA,UACpB,CAAC,gBAAgB,GAAG;AAAA,QACrB;AACA,oBAAY,OAAO,OAAO,eAAe,oBAAoB;AAAA,MAC9D,OAAO;AACN,oBAAY;AAAA,MACb;AACA,aAAO;AAAA,QACN;AAAA,QACA;AAAA,MACD;AAAA,IACD;AAAA,IACA,KAAK,OAAO;AACX,YAAM,4BAA4B,2BAA2B;AAC7D,YAAM,+BAA+B,0BAA0B;AAC/D,YAAM,YAAY,GAAG,CAAC,QAAQ,WAAW,CAAC,CAAC;AAC3C,YAAM,YAAY,GAAG,CAAC,SAAS,WAAW,CAAC,CAAC;AAC5C,YAAM,gBAAgB;AAAA,QACrB,CAAC,SAAS,GAAG;AAAA,QACb,CAAC,SAAS,GAAG;AAAA,MACd;AACA,UAAI;AACJ,UAAI,gBAAgB;AACnB,cAAM,8BAA8B,6BAA6B;AACjE,cAAM,kCAAkC,4BAA4B;AACpE,cAAM,mBAAmB,GAAG,CAAC,UAAU,WAAW,CAAC,CAAC;AACpD,cAAM,mBAAmB,GAAG,CAAC,YAAY,WAAW,CAAC,CAAC;AACtD,cAAM,uBAAuB;AAAA,UAC5B,CAAC,gBAAgB,GAAG;AAAA,UACpB,CAAC,gBAAgB,GAAG;AAAA,QACrB;AACA,oBAAY,OAAO,OAAO,eAAe,oBAAoB;AAAA,MAC9D,OAAO;AACN,oBAAY;AAAA,MACb;AACA,aAAO;AAAA,QACN;AAAA,QACA;AAAA,MACD;AAAA,IACD;AAAA,IACA,KAAK,OAAO;AACX,YAAM,+BAA+B,0BAA0B;AAC/D,YAAM,YAAY,GAAG,CAAC,SAAS,WAAW,CAAC,CAAC;AAC5C,YAAM,YAAY,GAAG,CAAC,SAAS,WAAW,CAAC,CAAC;AAC5C,YAAM,gBAAgB;AAAA,QACrB,CAAC,SAAS,GAAG;AAAA,QACb,CAAC,SAAS,GAAG;AAAA,MACd;AACA,UAAI;AACJ,UAAI,gBAAgB;AACnB,cAAM,kCAAkC,4BAA4B;AACpE,cAAM,mBAAmB,GAAG,CAAC,YAAY,WAAW,CAAC,CAAC;AACtD,cAAM,mBAAmB,GAAG,CAAC,YAAY,WAAW,CAAC,CAAC;AACtD,cAAM,uBAAuB;AAAA,UAC5B,CAAC,gBAAgB,GAAG;AAAA,UACpB,CAAC,gBAAgB,GAAG;AAAA,QACrB;AACA,oBAAY,OAAO,OAAO,eAAe,oBAAoB;AAAA,MAC9D,OAAO;AACN,oBAAY;AAAA,MACb;AACA,aAAO;AAAA,QACN;AAAA,QACA;AAAA,MACD;AAAA,IACD;AAAA,IACA;AACC,YAAM,IAAI,MAAM,wBAAwB,QAAQ,WAAW,EAAE;AAAA,EAC/D;AACD;;;AE/bA,SAAS,YAAAF,iBAAgB;AAEzB,SAAS,YAAY,kBAAAG,uBAAsB;AAE3C,IAAMC,cAAa,CAAC,QAAgB,IAAI,CAAC,EAAE,YAAY,IAAI,IAAI,MAAM,CAAC;AAE/D,SAAS,OAIf,SAIA,QAAeJ,UAAS,OAQvB;AACD,QAAM,QAIF,OAAO,KAAK,QAAQ,OAAO,EAAE,OAAO,CAAC,KAAK,QAAQ;AACrD,UAAM,WAAW,QAAQ,MAAMI,YAAW,GAAG,IAAI;AACjD,QAAI,QAAQ,IAAI;AAAA,MACf;AAAA,QACC,KAAK,GAAG,QAAQ,GAAG,IAAI,GAAG;AAAA,QAC1B,SAAS,QAAQ,QAAQ,GAAG;AAAA,MAC7B;AAAA,MACA;AAAA,MACA;AAAA,IACD;AACA,WAAO;AAAA,EACR,GAAG,CAAC,CAAQ;AACZ,QAAM,cAAcD;AAAA,IACnB;AAAA,MACC,KAAK,QAAQ;AAAA,MACb,KAAK,CAAC,EAAE,IAAI,MAAM;AACjB,eAAO,OAAO,KAAK,QAAQ,OAAO,EAAE,OAAO,CAAC,KAAK,QAAQ;AACxD,cAAI,GAAG,IAAI,IAAI,MAAM,QAAQ,MAAMC,YAAW,GAAG,IAAI,OAAO,CAAC;AAC7D,iBAAO;AAAA,QACR,GAAG,CAAC,CAAQ;AAAA,MACb;AAAA,IACD;AAAA,IACA;AAAA,IACA;AAAA,EACD;AACA,SAAO,CAAC,OAAO,WAAW;AAC3B;;;ACtDA;AAAA,EACC,YAAAJ;AAAA,EACA,oBAAAK;AAAA,EACA,wBAAAC;AAAA,OACM;AAEP,IAAMF,cAAa,CAAC,QAAgB,IAAI,CAAC,EAAE,YAAY,IAAI,IAAI,MAAM,CAAC;AACtE,IAAM,aAAa,CAAC,QAAgB,WACnC,SAASA,YAAW,MAAM,IAAIA,YAAW,MAAM,IAAI;AAE7C,SAAS,aAGd,SAUA;AACD,QAAM,QAIF,OAAO,KAAK,QAAQ,OAAO,EAAE,OAAO,CAAC,KAAK,WAAW;AACxD,UAAM,iBAAiB,WAAW,QAAQ,KAAK,MAAM;AACrD,QAAI,cAAc,IAAIC;AAAA,MACrB;AAAA,QACC,KAAK,GAAG,QAAQ,GAAG,IAAI,MAAM;AAAA,QAC7B,SAAU,QAAQ,QAAgB,MAAM;AAAA,MACzC;AAAA,MACAL,UAAS;AAAA,IACV;AACA,WAAO;AAAA,EACR,GAAG,CAAC,CAAQ;AACZ,QAAM,kBAAkBM;AAAA,IACvB;AAAA,MACC,KAAK,QAAQ;AAAA,MACb,KACC,CAAC,OACD,CAAC,EAAE,IAAI,MAAM;AACZ,eAAO,OAAO,KAAK,QAAQ,OAAO,EAAE,OAAO,CAAC,KAAK,WAAW;AAC3D,cAAI,MAAM,IAAI;AAAA,YACZ,MAAc,WAAW,QAAQ,KAAK,MAAM,CAAC,EAAE,EAAE;AAAA,UACnD;AACA,iBAAO;AAAA,QACR,GAAG,CAAC,CAAQ;AAAA,MACb;AAAA,IACF;AAAA,IACAN,UAAS;AAAA,EACV;AACA,SAAO,CAAC,OAAO,eAAe;AAC/B;;;AChDO,SAAS,MAAS,UAAuB,UAAgB;AAC/D,MAAI,oBAAoB,SAAS;AAChC,WAAO;AAAA,EACR;AACA,SAAO;AACR","sourcesContent":["import type * as AtomIO from \"atom.io\"\nimport type { Store } from \"atom.io/internal\"\nimport { IMPLICIT, createSelector } from \"atom.io/internal\"\nimport type { Json, Stringified } from \"atom.io/json\"\n\nexport function dict<State, Key extends Json.Serializable>(\n\tfindState:\n\t\t| AtomIO.AtomFamily<State, Key>\n\t\t| AtomIO.ReadonlySelectorFamily<State, Key>\n\t\t| AtomIO.SelectorFamily<State, Key>,\n\tindex:\n\t\t| AtomIO.AtomToken<Key[]>\n\t\t| AtomIO.ReadonlySelectorToken<Key[]>\n\t\t| AtomIO.SelectorToken<Key[]>,\n\tstore: Store = IMPLICIT.STORE,\n): AtomIO.ReadonlySelectorToken<{ [K in Stringified<Key>]: State }> {\n\treturn createSelector(\n\t\t{\n\t\t\tkey: `${findState.key}Dict`,\n\t\t\tget: ({ get }) => {\n\t\t\t\tconst keys = get(index)\n\t\t\t\treturn keys.reduce((acc, key) => {\n\t\t\t\t\tacc[key] = get(findState(key))\n\t\t\t\t\treturn acc\n\t\t\t\t}, {} as any)\n\t\t\t},\n\t\t},\n\t\tundefined,\n\t\tstore,\n\t)\n}\n","/* eslint-disable @typescript-eslint/ban-types */\nimport type {\n\tAtomFamily,\n\tRead,\n\tSelectorFamily,\n\tTransactors,\n\tWrite,\n} from \"atom.io\"\nimport { getState, setState } from \"atom.io\"\nimport type { Store } from \"atom.io/internal\"\nimport {\n\tIMPLICIT,\n\tcreateAtomFamily,\n\tcreateMutableAtomFamily,\n\tcreateSelectorFamily,\n\tgetJsonFamily,\n} from \"atom.io/internal\"\nimport type { Json } from \"atom.io/json\"\nimport { SetRTX } from \"atom.io/transceivers/set-rtx\"\n\nimport type {\n\tBaseExternalStoreConfiguration,\n\tExternalStoreConfiguration,\n\tExternalStoreWithContentConfiguration,\n\tJunctionEntries,\n\tJunctionSchema,\n} from \"~/packages/rel8/junction/src\"\nimport { Junction } from \"~/packages/rel8/junction/src\"\nimport type * as Rel8 from \"~/packages/rel8/types/src\"\n\nconst TRANSACTORS: Transactors = { get: getState, set: setState }\n\nfunction capitalize<S extends string>(string: S): Capitalize<S> {\n\treturn (string[0].toUpperCase() + string.slice(1)) as Capitalize<S>\n}\n\nexport interface JoinOptions<\n\tASide extends string,\n\tBSide extends string,\n\tCardinality extends Rel8.Cardinality,\n\tContent extends Json.Object | null,\n> extends Json.Object,\n\t\tJunctionSchema<ASide, BSide>,\n\t\tPartial<JunctionEntries<Content>> {\n\treadonly key: string\n\treadonly cardinality: Cardinality\n}\n\nexport type JoinState<\n\tASide extends string,\n\tBSide extends string,\n\tCardinality extends Rel8.Cardinality,\n\tContent extends Json.Object | null,\n> = Cardinality extends `1:1`\n\t? (Content extends Json.Object\n\t\t\t? {\n\t\t\t\t\treadonly [AB in ASide | BSide as AB extends ASide\n\t\t\t\t\t\t? `${AB}EntryOf${Capitalize<BSide>}`\n\t\t\t\t\t\t: `${AB}EntryOf${Capitalize<ASide>}`]: SelectorFamily<\n\t\t\t\t\t\t[string, Content] | undefined,\n\t\t\t\t\t\tstring\n\t\t\t\t\t>\n\t\t\t }\n\t\t\t: {}) & {\n\t\t\treadonly [AB in ASide | BSide as AB extends ASide\n\t\t\t\t? `${AB}KeyOf${Capitalize<BSide>}`\n\t\t\t\t: `${AB}KeyOf${Capitalize<ASide>}`]: SelectorFamily<\n\t\t\t\tstring | undefined,\n\t\t\t\tstring\n\t\t\t>\n\t }\n\t: Cardinality extends `1:n`\n\t ? (Content extends Json.Object\n\t\t\t\t? {\n\t\t\t\t\t\treadonly [A in ASide as `${A}EntryOf${Capitalize<BSide>}`]: SelectorFamily<\n\t\t\t\t\t\t\t[string, Content] | undefined,\n\t\t\t\t\t\t\tstring\n\t\t\t\t\t\t>\n\t\t\t\t } & {\n\t\t\t\t\t\treadonly [B in BSide as `${B}EntriesOf${Capitalize<ASide>}`]: SelectorFamily<\n\t\t\t\t\t\t\t[string, Content][],\n\t\t\t\t\t\t\tstring\n\t\t\t\t\t\t>\n\t\t\t\t }\n\t\t\t\t: {}) & {\n\t\t\t\treadonly [A in ASide as `${A}KeyOf${Capitalize<BSide>}`]: SelectorFamily<\n\t\t\t\t\tstring | undefined,\n\t\t\t\t\tstring\n\t\t\t\t>\n\t\t } & {\n\t\t\t\treadonly [B in BSide as `${B}KeysOf${Capitalize<ASide>}`]: SelectorFamily<\n\t\t\t\t\tstring[],\n\t\t\t\t\tstring\n\t\t\t\t>\n\t\t }\n\t : Cardinality extends `n:n`\n\t\t ? (Content extends Json.Object\n\t\t\t\t\t? {\n\t\t\t\t\t\t\treadonly [AB in ASide | BSide as AB extends ASide\n\t\t\t\t\t\t\t\t? `${AB}EntriesOf${Capitalize<BSide>}`\n\t\t\t\t\t\t\t\t: `${AB}EntriesOf${Capitalize<ASide>}`]: SelectorFamily<\n\t\t\t\t\t\t\t\t[string, Content][],\n\t\t\t\t\t\t\t\tstring\n\t\t\t\t\t\t\t>\n\t\t\t\t\t }\n\t\t\t\t\t: {}) & {\n\t\t\t\t\treadonly [AB in ASide | BSide as AB extends ASide\n\t\t\t\t\t\t? `${AB}KeysOf${Capitalize<BSide>}`\n\t\t\t\t\t\t: `${AB}KeysOf${Capitalize<ASide>}`]: SelectorFamily<\n\t\t\t\t\t\tstring[],\n\t\t\t\t\t\tstring\n\t\t\t\t\t>\n\t\t\t }\n\t\t : never\n\nexport function join<\n\tconst ASide extends string,\n\tconst BSide extends string,\n\tconst Cardinality extends Rel8.Cardinality,\n>(\n\toptions: JoinOptions<ASide, BSide, Cardinality, null>,\n\tdefaultContent?: undefined,\n\tstore?: Store,\n): {\n\trelations: Junction<ASide, BSide>\n\tfindState: JoinState<ASide, BSide, Cardinality, null>\n}\nexport function join<\n\tconst ASide extends string,\n\tconst Cardinality extends `1:1` | `1:n` | `n:n`,\n\tconst BSide extends string,\n\tconst Content extends Json.Object,\n>(\n\toptions: JoinOptions<ASide, BSide, Cardinality, Content>,\n\tdefaultContent: Content,\n\tstore?: Store,\n): {\n\trelations: Junction<ASide, BSide, Content>\n\tfindState: JoinState<ASide, BSide, Cardinality, Content>\n}\nexport function join<\n\tASide extends string,\n\tBSide extends string,\n\tCardinality extends Rel8.Cardinality,\n\tContent extends Json.Object,\n>(\n\toptions: JoinOptions<ASide, BSide, Cardinality, Content>,\n\tdefaultContent: Content | undefined,\n\tstore: Store = IMPLICIT.STORE,\n): {\n\trelations: Junction<ASide, BSide, Content>\n\tfindState: JoinState<ASide, BSide, Cardinality, Content>\n} {\n\tconst a: ASide = options.between[0]\n\tconst b: BSide = options.between[1]\n\tconst findRelatedKeysState = createMutableAtomFamily<\n\t\tSetRTX<string>,\n\t\tstring[],\n\t\tstring\n\t>(\n\t\t{\n\t\t\tkey: `${options.key}/relatedKeys`,\n\t\t\tdefault: () => new SetRTX(),\n\t\t\tmutable: true,\n\t\t\tfromJson: (json) => new SetRTX(json),\n\t\t\ttoJson: (set) => [...set],\n\t\t},\n\t\tstore,\n\t)\n\tconst getRelatedKeys: Read<(key: string) => Set<string> | undefined> = (\n\t\t{ get },\n\t\tkey,\n\t) => get(findRelatedKeysState(key))\n\tconst addRelation: Write<(a: string, b: string) => void> = (\n\t\ttransactors,\n\t\ta,\n\t\tb,\n\t) => {\n\t\tconst aKeys = getRelatedKeys(transactors, a)\n\t\tconst bKeys = getRelatedKeys(transactors, b)\n\t\tif (aKeys) {\n\t\t\ttransactors.set(findRelatedKeysState(a), aKeys.add(b))\n\t\t} else {\n\t\t\ttransactors.set(findRelatedKeysState(a), new SetRTX([b]))\n\t\t}\n\t\tif (bKeys) {\n\t\t\ttransactors.set(findRelatedKeysState(b), bKeys.add(a))\n\t\t} else {\n\t\t\ttransactors.set(findRelatedKeysState(b), new SetRTX([a]))\n\t\t}\n\t}\n\tconst deleteRelation: Write<(a: string, b: string) => void> = (\n\t\ttransactors,\n\t\ta,\n\t\tb,\n\t) => {\n\t\tconst aKeys = getRelatedKeys(transactors, a)\n\t\tif (aKeys) {\n\t\t\taKeys.delete(b)\n\t\t\tif (aKeys.size === 0) {\n\t\t\t\ttransactors.set(findRelatedKeysState(a), undefined)\n\t\t\t}\n\t\t\tconst bKeys = getRelatedKeys(transactors, b)\n\t\t\tif (bKeys) {\n\t\t\t\tbKeys.delete(a)\n\t\t\t\tif (bKeys.size === 0) {\n\t\t\t\t\ttransactors.set(findRelatedKeysState(b), undefined)\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t}\n\tconst replaceRelationsSafely: Write<(a: string, bs: string[]) => void> = (\n\t\ttransactors,\n\t\ta,\n\t\tbs,\n\t) => {\n\t\tconst aKeys = getRelatedKeys(transactors, a)\n\t\tif (aKeys) {\n\t\t\tfor (const b of aKeys) {\n\t\t\t\tconst bKeys = getRelatedKeys(transactors, b)\n\t\t\t\tif (bKeys) {\n\t\t\t\t\tbKeys.delete(a)\n\t\t\t\t\tif (bKeys.size === 0) {\n\t\t\t\t\t\ttransactors.set(findRelatedKeysState(b), undefined)\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\ttransactors.set(findRelatedKeysState(a), new SetRTX(bs))\n\t\tfor (const b of bs) {\n\t\t\tconst bKeys = getRelatedKeys(transactors, b)\n\t\t\tif (bKeys) {\n\t\t\t\tbKeys.add(a)\n\t\t\t} else {\n\t\t\t\ttransactors.set(findRelatedKeysState(b), new SetRTX([a]))\n\t\t\t}\n\t\t}\n\t}\n\tconst replaceRelationsUnsafely: Write<(a: string, bs: string[]) => void> = (\n\t\ttransactors,\n\t\ta,\n\t\tbs,\n\t) => {\n\t\ttransactors.set(findRelatedKeysState(a), new SetRTX(bs))\n\t\tfor (const b of bs) {\n\t\t\tlet bKeys = getRelatedKeys(transactors, b)\n\t\t\tif (bKeys) {\n\t\t\t\tbKeys.add(a)\n\t\t\t} else {\n\t\t\t\tbKeys = new SetRTX([a])\n\t\t\t\ttransactors.set(findRelatedKeysState(b), bKeys)\n\t\t\t}\n\t\t}\n\t}\n\tconst has: Read<(a: string, b?: string) => boolean> = (transactors, a, b) => {\n\t\tconst aKeys = getRelatedKeys(transactors, a)\n\t\treturn b ? aKeys?.has(b) ?? false : (aKeys?.size ?? 0) > 0 ?? false\n\t}\n\tconst baseExternalStoreConfiguration: BaseExternalStoreConfiguration = {\n\t\tgetRelatedKeys: (key) => getRelatedKeys(TRANSACTORS, key),\n\t\taddRelation: (a, b) => addRelation(TRANSACTORS, a, b),\n\t\tdeleteRelation: (a, b) => deleteRelation(TRANSACTORS, a, b),\n\t\treplaceRelationsSafely: (a, bs) =>\n\t\t\treplaceRelationsSafely(TRANSACTORS, a, bs),\n\t\treplaceRelationsUnsafely: (a, bs) =>\n\t\t\treplaceRelationsUnsafely(TRANSACTORS, a, bs),\n\t\thas: (a, b) => has(TRANSACTORS, a, b),\n\t}\n\tlet externalStore: ExternalStoreConfiguration<Content>\n\tlet findContentState: AtomFamily<Content, string>\n\tif (defaultContent) {\n\t\tfindContentState = createAtomFamily<Content, string>(\n\t\t\t{\n\t\t\t\tkey: `${options.key}/content`,\n\t\t\t\tdefault: defaultContent,\n\t\t\t},\n\t\t\tstore,\n\t\t)\n\t\tconst getContent: Read<(key: string) => Content | undefined> = (\n\t\t\t{ get },\n\t\t\tkey,\n\t\t) => get(findContentState(key))\n\t\tconst setContent: Write<(key: string, content: Content) => void> = (\n\t\t\ttransactors,\n\t\t\tkey,\n\t\t\tcontent,\n\t\t) => transactors.set(findContentState(key), content)\n\t\tconst deleteContent: Write<(key: string) => void> = (transactors, key) =>\n\t\t\ttransactors.set(findContentState(key), undefined)\n\t\tconst externalStoreWithContentConfiguration: ExternalStoreWithContentConfiguration<Content> =\n\t\t\t{\n\t\t\t\tgetContent: (contentKey: string) => {\n\t\t\t\t\tconst content = getContent(TRANSACTORS, contentKey)\n\t\t\t\t\treturn content\n\t\t\t\t},\n\t\t\t\tsetContent: (contentKey: string, content: Content) => {\n\t\t\t\t\tsetContent(TRANSACTORS, contentKey, content)\n\t\t\t\t},\n\t\t\t\tdeleteContent: (contentKey: string) => {\n\t\t\t\t\tdeleteContent(TRANSACTORS, contentKey)\n\t\t\t\t},\n\t\t\t}\n\t\texternalStore = Object.assign(\n\t\t\tbaseExternalStoreConfiguration,\n\t\t\texternalStoreWithContentConfiguration,\n\t\t) as ExternalStoreConfiguration<Content>\n\t} else {\n\t\texternalStore =\n\t\t\tbaseExternalStoreConfiguration as ExternalStoreConfiguration<Content>\n\t}\n\tconst relations = new Junction<ASide, BSide, Content>(options, {\n\t\texternalStore,\n\t\tmakeContentKey: (...args) => args.sort().join(`:`),\n\t})\n\n\tconst createSingleKeyStateFamily = () =>\n\t\tcreateSelectorFamily<string | undefined, string>(\n\t\t\t{\n\t\t\t\tkey: `${options.key}/singleRelatedKey`,\n\t\t\t\tget:\n\t\t\t\t\t(key) =>\n\t\t\t\t\t({ get }) => {\n\t\t\t\t\t\tconst relatedKeys = get(findRelatedKeysState(key))\n\t\t\t\t\t\tfor (const relatedKey of relatedKeys) {\n\t\t\t\t\t\t\treturn relatedKey\n\t\t\t\t\t\t}\n\t\t\t\t\t},\n\t\t\t},\n\t\t\tstore,\n\t\t)\n\tconst getMultipleKeyStateFamily = () =>\n\t\tgetJsonFamily(findRelatedKeysState, store)\n\tconst createSingleEntryStateFamily = () =>\n\t\tcreateSelectorFamily<[string, Content] | undefined, string>(\n\t\t\t{\n\t\t\t\tkey: `${options.key}/singleRelatedEntry`,\n\t\t\t\tget:\n\t\t\t\t\t(key) =>\n\t\t\t\t\t({ get }) => {\n\t\t\t\t\t\tconst relatedKeys = get(findRelatedKeysState(key))\n\t\t\t\t\t\tfor (const relatedKey of relatedKeys) {\n\t\t\t\t\t\t\tconst contentKey = relations.makeContentKey(key, relatedKey)\n\t\t\t\t\t\t\treturn [relatedKey, get(findContentState(contentKey))]\n\t\t\t\t\t\t}\n\t\t\t\t\t},\n\t\t\t},\n\t\t\tstore,\n\t\t)\n\tconst getMultipleEntryStateFamily = () =>\n\t\tcreateSelectorFamily<[string, Content][], string>(\n\t\t\t{\n\t\t\t\tkey: `${options.key}/multipleRelatedEntries`,\n\t\t\t\tget:\n\t\t\t\t\t(key) =>\n\t\t\t\t\t({ get }) => {\n\t\t\t\t\t\tconst relatedKeys = get(findRelatedKeysState(key))\n\t\t\t\t\t\treturn [...relatedKeys].map((relatedKey) => {\n\t\t\t\t\t\t\tconst contentKey = relations.makeContentKey(key, relatedKey)\n\t\t\t\t\t\t\treturn [relatedKey, get(findContentState(contentKey))]\n\t\t\t\t\t\t})\n\t\t\t\t\t},\n\t\t\t},\n\t\t\tstore,\n\t\t)\n\n\tswitch (options.cardinality) {\n\t\tcase `1:1`: {\n\t\t\tconst findSingleRelatedKeyState = createSingleKeyStateFamily()\n\t\t\tconst stateKeyA = `${a}KeyOf${capitalize(b)}` as const\n\t\t\tconst stateKeyB = `${b}KeyOf${capitalize(a)}` as const\n\t\t\tconst findStateBase = {\n\t\t\t\t[stateKeyA]: findSingleRelatedKeyState,\n\t\t\t\t[stateKeyB]: findSingleRelatedKeyState,\n\t\t\t} as JoinState<ASide, BSide, Cardinality, Content>\n\t\t\tlet findState: JoinState<ASide, BSide, Cardinality, Content>\n\t\t\tif (defaultContent) {\n\t\t\t\tconst findSingleRelatedEntryState = createSingleEntryStateFamily()\n\t\t\t\tconst entriesStateKeyA = `${a}EntryOf${capitalize(b)}` as const\n\t\t\t\tconst entriesStateKeyB = `${b}EntryOf${capitalize(a)}` as const\n\t\t\t\tconst findStateWithContent = {\n\t\t\t\t\t[entriesStateKeyA]: findSingleRelatedEntryState,\n\t\t\t\t\t[entriesStateKeyB]: findSingleRelatedEntryState,\n\t\t\t\t}\n\t\t\t\tfindState = Object.assign(findStateBase, findStateWithContent)\n\t\t\t} else {\n\t\t\t\tfindState = findStateBase\n\t\t\t}\n\t\t\treturn {\n\t\t\t\trelations,\n\t\t\t\tfindState,\n\t\t\t}\n\t\t}\n\t\tcase `1:n`: {\n\t\t\tconst findSingleRelatedKeyState = createSingleKeyStateFamily()\n\t\t\tconst findMultipleRelatedKeysState = getMultipleKeyStateFamily()\n\t\t\tconst stateKeyA = `${a}KeyOf${capitalize(b)}` as const\n\t\t\tconst stateKeyB = `${b}KeysOf${capitalize(a)}` as const\n\t\t\tconst findStateBase = {\n\t\t\t\t[stateKeyA]: findSingleRelatedKeyState,\n\t\t\t\t[stateKeyB]: findMultipleRelatedKeysState,\n\t\t\t} as JoinState<ASide, BSide, Cardinality, Content>\n\t\t\tlet findState: JoinState<ASide, BSide, Cardinality, Content>\n\t\t\tif (defaultContent) {\n\t\t\t\tconst findSingleRelatedEntryState = createSingleEntryStateFamily()\n\t\t\t\tconst findMultipleRelatedEntriesState = getMultipleEntryStateFamily()\n\t\t\t\tconst entriesStateKeyA = `${a}EntryOf${capitalize(b)}` as const\n\t\t\t\tconst entriesStateKeyB = `${b}EntriesOf${capitalize(a)}` as const\n\t\t\t\tconst findStateWithContent = {\n\t\t\t\t\t[entriesStateKeyA]: findSingleRelatedEntryState,\n\t\t\t\t\t[entriesStateKeyB]: findMultipleRelatedEntriesState,\n\t\t\t\t}\n\t\t\t\tfindState = Object.assign(findStateBase, findStateWithContent)\n\t\t\t} else {\n\t\t\t\tfindState = findStateBase\n\t\t\t}\n\t\t\treturn {\n\t\t\t\trelations,\n\t\t\t\tfindState,\n\t\t\t}\n\t\t}\n\t\tcase `n:n`: {\n\t\t\tconst findMultipleRelatedKeysState = getMultipleKeyStateFamily()\n\t\t\tconst stateKeyA = `${a}KeysOf${capitalize(b)}` as const\n\t\t\tconst stateKeyB = `${b}KeysOf${capitalize(a)}` as const\n\t\t\tconst findStateBase = {\n\t\t\t\t[stateKeyA]: findMultipleRelatedKeysState,\n\t\t\t\t[stateKeyB]: findMultipleRelatedKeysState,\n\t\t\t} as JoinState<ASide, BSide, Cardinality, Content>\n\t\t\tlet findState: JoinState<ASide, BSide, Cardinality, Content>\n\t\t\tif (defaultContent) {\n\t\t\t\tconst findMultipleRelatedEntriesState = getMultipleEntryStateFamily()\n\t\t\t\tconst entriesStateKeyA = `${a}EntriesOf${capitalize(b)}` as const\n\t\t\t\tconst entriesStateKeyB = `${b}EntriesOf${capitalize(a)}` as const\n\t\t\t\tconst findStateWithContent = {\n\t\t\t\t\t[entriesStateKeyA]: findMultipleRelatedEntriesState,\n\t\t\t\t\t[entriesStateKeyB]: findMultipleRelatedEntriesState,\n\t\t\t\t}\n\t\t\t\tfindState = Object.assign(findStateBase, findStateWithContent)\n\t\t\t} else {\n\t\t\t\tfindState = findStateBase\n\t\t\t}\n\t\t\treturn {\n\t\t\t\trelations,\n\t\t\t\tfindState,\n\t\t\t}\n\t\t}\n\t\tdefault:\n\t\t\tthrow new Error(`Invalid cardinality: ${options.cardinality}`)\n\t}\n}\n","import type { Cardinality, Json, Refinement } from \"rel8\"\n\nexport interface JunctionEntries<Content extends Json.Object | null>\n\textends Json.Object {\n\treadonly relations: [string, string[]][]\n\treadonly contents: [string, Content][]\n}\nexport interface JunctionSchema<ASide extends string, BSide extends string>\n\textends Json.Object {\n\treadonly between: [a: ASide, b: BSide]\n\treadonly cardinality: Cardinality\n}\n\nexport type BaseExternalStoreConfiguration = {\n\taddRelation: (a: string, b: string) => void\n\tdeleteRelation: (a: string, b: string) => void\n\treplaceRelationsSafely: (a: string, bs: string[]) => void\n\treplaceRelationsUnsafely: (a: string, bs: string[]) => void\n\tgetRelatedKeys: (key: string) => Set<string> | undefined\n\thas: (a: string, b?: string) => boolean\n}\n\nexport type ExternalStoreWithContentConfiguration<Content extends Json.Object> =\n\t{\n\t\tgetContent: (contentKey: string) => Content | undefined\n\t\tsetContent: (contentKey: string, content: Content) => void\n\t\tdeleteContent: (contentKey: string) => void\n\t}\n\nexport type Empty<Obj extends object> = {\n\t[Key in keyof Obj]?: undefined\n}\n\nexport type ExternalStoreConfiguration<Content extends Json.Object | null> =\n\tContent extends Json.Object\n\t\t? BaseExternalStoreConfiguration &\n\t\t\t\tExternalStoreWithContentConfiguration<Content>\n\t\t: BaseExternalStoreConfiguration &\n\t\t\t\tEmpty<ExternalStoreWithContentConfiguration<Json.Object>>\n\nexport type JunctionAdvancedConfiguration<Content extends Json.Object | null> = {\n\texternalStore?: ExternalStoreConfiguration<Content>\n\tisContent?: Refinement<unknown, Content>\n\tmakeContentKey?: (a: string, b: string) => string\n}\n\nexport type JunctionJSON<\n\tASide extends string,\n\tBSide extends string,\n\tContent extends Json.Object | null,\n> = JunctionEntries<Content> & JunctionSchema<ASide, BSide>\n\nexport class Junction<\n\tconst ASide extends string,\n\tconst BSide extends string,\n\tconst Content extends Json.Object | null = null,\n> {\n\tpublic readonly a: ASide\n\tpublic readonly b: BSide\n\tpublic readonly cardinality: Cardinality\n\tpublic readonly relations = new Map<string, Set<string>>()\n\tpublic readonly contents = new Map<string, Content>()\n\n\tpublic isContent: Refinement<unknown, Content> | null\n\tpublic makeContentKey = (a: string, b: string): string => `${a}:${b}`\n\n\tpublic getRelatedKeys(key: string): Set<string> | undefined {\n\t\treturn this.relations.get(key)\n\t}\n\tprotected addRelation(a: string, b: string): void {\n\t\tlet aRelations = this.relations.get(a)\n\t\tlet bRelations = this.relations.get(b)\n\t\tif (aRelations) {\n\t\t\taRelations.add(b)\n\t\t} else {\n\t\t\taRelations = new Set([b])\n\t\t\tthis.relations.set(a, aRelations)\n\t\t}\n\t\tif (bRelations) {\n\t\t\tbRelations.add(a)\n\t\t} else {\n\t\t\tbRelations = new Set([a])\n\t\t\tthis.relations.set(b, bRelations)\n\t\t}\n\t}\n\tprotected deleteRelation(a: string, b: string): void {\n\t\tconst aRelations = this.relations.get(a)\n\t\tif (aRelations) {\n\t\t\taRelations.delete(b)\n\t\t\tif (aRelations.size === 0) {\n\t\t\t\tthis.relations.delete(a)\n\t\t\t}\n\t\t\tconst bRelations = this.relations.get(b)\n\t\t\tif (bRelations) {\n\t\t\t\tbRelations.delete(a)\n\t\t\t\tif (bRelations.size === 0) {\n\t\t\t\t\tthis.relations.delete(b)\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t}\n\n\tprotected replaceRelationsUnsafely(a: string, bs: string[]): void {\n\t\tthis.relations.set(a, new Set(bs))\n\t\tfor (const b of bs) {\n\t\t\tconst bRelations = new Set([a])\n\t\t\tthis.relations.set(b, bRelations)\n\t\t}\n\t}\n\tprotected replaceRelationsSafely(a: string, bs: string[]): void {\n\t\tconst aRelationsPrev = this.relations.get(a)\n\t\tif (aRelationsPrev) {\n\t\t\tfor (const b of aRelationsPrev) {\n\t\t\t\tconst bRelations = this.relations.get(b)\n\t\t\t\tif (bRelations) {\n\t\t\t\t\tif (bRelations.size === 1) {\n\t\t\t\t\t\tthis.relations.delete(b)\n\t\t\t\t\t} else {\n\t\t\t\t\t\tbRelations.delete(a)\n\t\t\t\t\t}\n\t\t\t\t\tthis.contents.delete(this.makeContentKey(a, b))\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\tthis.relations.set(a, new Set(bs))\n\t\tfor (const b of bs) {\n\t\t\tlet bRelations = this.relations.get(b)\n\t\t\tif (bRelations) {\n\t\t\t\tbRelations.add(a)\n\t\t\t} else {\n\t\t\t\tbRelations = new Set([a])\n\t\t\t\tthis.relations.set(b, bRelations)\n\t\t\t}\n\t\t}\n\t}\n\n\tprotected getContentInternal(contentKey: string): Content | undefined {\n\t\treturn this.contents.get(contentKey)\n\t}\n\tprotected setContent(contentKey: string, content: Content): void {\n\t\tthis.contents.set(contentKey, content)\n\t}\n\tprotected deleteContent(contentKey: string): void {\n\t\tthis.contents.delete(contentKey)\n\t}\n\n\tpublic constructor(\n\t\tdata: JunctionSchema<ASide, BSide> & Partial<JunctionEntries<Content>>,\n\t\tconfig?: JunctionAdvancedConfiguration<Content>,\n\t) {\n\t\tthis.a = data.between[0]\n\t\tthis.b = data.between[1]\n\n\t\tthis.cardinality = data.cardinality\n\t\tif (!config?.externalStore) {\n\t\t\tthis.relations = new Map(data.relations?.map(([a, b]) => [a, new Set(b)]))\n\t\t\tthis.contents = new Map(data.contents)\n\t\t}\n\t\tthis.isContent = config?.isContent ?? null\n\t\tif (config?.makeContentKey) {\n\t\t\tthis.makeContentKey = config.makeContentKey\n\t\t}\n\t\tif (config?.externalStore) {\n\t\t\tconst externalStore = config.externalStore\n\t\t\tthis.has = (a, b) => externalStore.has(a, b)\n\t\t\tthis.addRelation = (a, b) => {\n\t\t\t\texternalStore.addRelation(a, b)\n\t\t\t}\n\t\t\tthis.deleteRelation = (a, b) => {\n\t\t\t\texternalStore.deleteRelation(a, b)\n\t\t\t}\n\t\t\tthis.replaceRelationsSafely = (a, bs) => {\n\t\t\t\texternalStore.replaceRelationsSafely(a, bs)\n\t\t\t}\n\t\t\tthis.replaceRelationsUnsafely = (a, bs) => {\n\t\t\t\texternalStore.replaceRelationsUnsafely(a, bs)\n\t\t\t}\n\t\t\tthis.getRelatedKeys = (key) => externalStore.getRelatedKeys(key)\n\t\t\tif (externalStore.getContent) {\n\t\t\t\tthis.getContentInternal = (contentKey) => {\n\t\t\t\t\treturn externalStore.getContent(contentKey) as any\n\t\t\t\t}\n\t\t\t\tthis.setContent = (contentKey, content) => {\n\t\t\t\t\texternalStore.setContent(contentKey, content as any)\n\t\t\t\t}\n\t\t\t\tthis.deleteContent = (contentKey) => {\n\t\t\t\t\texternalStore.deleteContent(contentKey)\n\t\t\t\t}\n\t\t\t}\n\t\t\tfor (const [x, ys] of data.relations ?? []) {\n\t\t\t\tfor (const y of ys) this.addRelation(x, y)\n\t\t\t}\n\t\t\tfor (const [contentKey, content] of data.contents ?? []) {\n\t\t\t\tthis.setContent(contentKey, content)\n\t\t\t}\n\t\t}\n\t}\n\tpublic toJSON(): JunctionJSON<ASide, BSide, Content> {\n\t\treturn {\n\t\t\tbetween: [this.a, this.b],\n\t\t\tcardinality: this.cardinality,\n\t\t\trelations: [...this.relations.entries()].map(([a, b]) => [a, [...b]]),\n\t\t\tcontents: [...this.contents.entries()],\n\t\t}\n\t}\n\n\tpublic set(\n\t\ta: string,\n\t\t...rest: Content extends null ? [b: string] : [b: string, content: Content]\n\t): this\n\tpublic set(\n\t\trelation: { [Key in ASide | BSide]: string },\n\t\t...rest: Content extends null ? [] | [b?: undefined] : [content: Content]\n\t): this\n\tpublic set(\n\t\ta: string | { [Key in ASide | BSide]: string },\n\t\t...rest: Content extends null\n\t\t\t? [] | [b?: string | undefined]\n\t\t\t: [b: string, content: Content] | [content: Content]\n\t): this {\n\t\tconst b: string =\n\t\t\ttypeof rest[0] === `string`\n\t\t\t\t? rest[0]\n\t\t\t\t: (a[this.b as keyof typeof a] as string)\n\t\tconst content: Content | undefined =\n\t\t\trest[1] ?? typeof rest[0] === `string` ? undefined : (rest[0] as Content)\n\t\ta = typeof a === `string` ? a : a[this.a]\n\t\tswitch (this.cardinality) {\n\t\t\t// biome-ignore lint/suspicious/noFallthroughSwitchClause: perfect here\n\t\t\tcase `1:1`: {\n\t\t\t\tconst bPrev = this.getRelatedKey(a)\n\t\t\t\tif (bPrev && bPrev !== b) this.delete(bPrev, a)\n\t\t\t}\n\t\t\tcase `1:n`: {\n\t\t\t\tconst aPrev = this.getRelatedKey(b)\n\t\t\t\tif (aPrev && aPrev !== a) this.delete(aPrev, b)\n\t\t\t}\n\t\t}\n\t\tif (content) {\n\t\t\tconst contentKey = this.makeContentKey(a, b)\n\t\t\tthis.setContent(contentKey, content)\n\t\t}\n\t\tthis.addRelation(a, b)\n\t\treturn this\n\t}\n\n\tpublic delete(a: string, b?: string): this\n\tpublic delete(\n\t\trelation:\n\t\t\t| Record<ASide | BSide, string>\n\t\t\t| Record<ASide, string>\n\t\t\t| Record<BSide, string>,\n\t\tb?: undefined,\n\t): this\n\tpublic delete(\n\t\tx:\n\t\t\t| Record<ASide | BSide, string>\n\t\t\t| Record<ASide, string>\n\t\t\t| Record<BSide, string>\n\t\t\t| string,\n\t\tb?: string | undefined,\n\t): this {\n\t\t// @ts-expect-error we deduce that this.b may index x\n\t\tb = typeof b === `string` ? b : (x[this.b] as string | undefined)\n\t\t// @ts-expect-error we deduce that this.a may index x\n\t\tconst a = typeof x === `string` ? x : (x[this.a] as string | undefined)\n\n\t\tif (a === undefined && typeof b === `string`) {\n\t\t\tconst bRelations = this.getRelatedKeys(b)\n\t\t\tif (bRelations) {\n\t\t\t\tfor (const a of bRelations) {\n\t\t\t\t\tthis.delete(a, b)\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\tif (typeof a === `string` && b === undefined) {\n\t\t\tconst aRelations = this.getRelatedKeys(a)\n\t\t\tif (aRelations) {\n\t\t\t\tfor (const b of aRelations) {\n\t\t\t\t\tthis.delete(a, b)\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\tif (typeof a === `string` && typeof b === `string`) {\n\t\t\tthis.deleteRelation(a, b)\n\t\t\tconst contentKey = this.makeContentKey(a, b)\n\t\t\tthis.deleteContent(contentKey)\n\t\t}\n\t\treturn this\n\t}\n\n\tpublic getRelatedKey(key: string): string | undefined {\n\t\tconst relations = this.getRelatedKeys(key)\n\t\tif (relations) {\n\t\t\tif (relations.size > 1) {\n\t\t\t\tconsole.warn(\n\t\t\t\t\t`${relations.size} related keys were found for key \"${key}\": (${[\n\t\t\t\t\t\t...relations,\n\t\t\t\t\t]\n\t\t\t\t\t\t.map((k) => `\"${k}\"`)\n\t\t\t\t\t\t.join(`, `)}). Only one related key was expected.`,\n\t\t\t\t)\n\t\t\t}\n\t\t\tfor (const relation of relations) {\n\t\t\t\treturn relation\n\t\t\t}\n\t\t}\n\t}\n\n\tpublic replaceRelations(\n\t\ta: string,\n\t\trelations: Content extends null ? string[] : Record<string, Content>,\n\t\tconfig?: { reckless: boolean },\n\t): this {\n\t\tconst hasContent = !Array.isArray(relations)\n\t\tconst bs = hasContent ? Object.keys(relations) : relations\n\t\tif (config?.reckless) {\n\t\t\tthis.replaceRelationsUnsafely(a, bs)\n\t\t} else {\n\t\t\tthis.replaceRelationsSafely(a, bs)\n\t\t}\n\t\tif (hasContent) {\n\t\t\tfor (const b of bs) {\n\t\t\t\tconst contentKey = this.makeContentKey(a, b)\n\t\t\t\tconst content = relations[b] as Content\n\t\t\t\tthis.setContent(contentKey, content)\n\t\t\t}\n\t\t}\n\t\treturn this\n\t}\n\n\tpublic getContent(a: string, b: string): Content | undefined {\n\t\tconst contentKey = this.makeContentKey(a, b)\n\t\treturn this.getContentInternal(contentKey)\n\t}\n\n\tpublic getRelationEntries(\n\t\tinput: Record<ASide, string> | Record<BSide, string>,\n\t): [string, Content][] {\n\t\tconst a: string | undefined = (input as any)[this.a]\n\t\tconst b: string | undefined = (input as any)[this.b]\n\t\tif (a !== undefined && b === undefined) {\n\t\t\tconst aRelations = this.getRelatedKeys(a)\n\t\t\tif (aRelations) {\n\t\t\t\treturn [...aRelations].map((b) => {\n\t\t\t\t\treturn [b, this.getContent(a, b) ?? (null as Content)]\n\t\t\t\t})\n\t\t\t}\n\t\t}\n\t\tif (a === undefined && b !== undefined) {\n\t\t\tconst bRelations = this.getRelatedKeys(b)\n\t\t\tif (bRelations) {\n\t\t\t\treturn [...bRelations].map((a) => {\n\t\t\t\t\treturn [a, this.getContent(a, b) ?? (null as Content)]\n\t\t\t\t})\n\t\t\t}\n\t\t}\n\t\treturn []\n\t}\n\n\tpublic has(a: string, b?: string): boolean {\n\t\tif (b) {\n\t\t\tconst setA = this.getRelatedKeys(a)\n\t\t\treturn setA?.has(b) ?? false\n\t\t}\n\t\treturn this.relations.has(a)\n\t}\n}\n","import type * as AtomIO from \"atom.io\"\nimport type { Store } from \"atom.io/internal\"\nimport { IMPLICIT } from \"atom.io/internal\"\n\nimport { createAtom, createSelector } from \"atom.io/internal\"\n\nconst capitalize = (str: string) => str[0].toUpperCase() + str.slice(1)\n\nexport function struct<\n\tStruct extends { [key: string]: unknown },\n\tKey extends string,\n>(\n\toptions: {\n\t\tkey: Key\n\t\tdefault: Struct\n\t},\n\tstore: Store = IMPLICIT.STORE,\n): [\n\t{\n\t\t[K in keyof Struct as `${Key}${Capitalize<\n\t\t\tK & string\n\t\t>}State`]: AtomIO.AtomToken<Struct[K]>\n\t},\n\tAtomIO.ReadonlySelectorToken<Struct>,\n] {\n\tconst atoms: {\n\t\t[K in keyof Struct as `${Key}${Capitalize<\n\t\t\tK & string\n\t\t>}State`]: AtomIO.AtomToken<Struct[K]>\n\t} = Object.keys(options.default).reduce((acc, key) => {\n\t\tconst atomName = options.key + capitalize(key) + `State`\n\t\tacc[atomName] = createAtom(\n\t\t\t{\n\t\t\t\tkey: `${options.key}.${key}`,\n\t\t\t\tdefault: options.default[key],\n\t\t\t},\n\t\t\tundefined,\n\t\t\tstore,\n\t\t)\n\t\treturn acc\n\t}, {} as any)\n\tconst structState = createSelector(\n\t\t{\n\t\t\tkey: options.key,\n\t\t\tget: ({ get }) => {\n\t\t\t\treturn Object.keys(options.default).reduce((acc, key) => {\n\t\t\t\t\tacc[key] = get(atoms[options.key + capitalize(key) + `State`])\n\t\t\t\t\treturn acc\n\t\t\t\t}, {} as any)\n\t\t\t},\n\t\t},\n\t\tundefined,\n\t\tstore,\n\t)\n\treturn [atoms, structState]\n}\n","import type * as AtomIO from \"atom.io\"\nimport {\n\tIMPLICIT,\n\tcreateAtomFamily,\n\tcreateSelectorFamily,\n} from \"atom.io/internal\"\n\nconst capitalize = (str: string) => str[0].toUpperCase() + str.slice(1)\nconst nameFamily = (topKey: string, subKey: string) =>\n\t`find` + capitalize(topKey) + capitalize(subKey) + `State`\n\nexport function structFamily<\n\tStruct extends object,\n\tKey extends string,\n>(options: {\n\tkey: Key\n\tdefault: Struct\n}): [\n\t{\n\t\t[K in keyof Struct as `find${Capitalize<Key & string>}${Capitalize<\n\t\t\tK & string\n\t\t>}State`]: AtomIO.AtomFamily<Struct[K], string>\n\t},\n\tAtomIO.ReadonlySelectorFamily<Struct>,\n] {\n\tconst atoms: {\n\t\t[K in keyof Struct as `find${Capitalize<Key & string>}${Capitalize<\n\t\t\tK & string\n\t\t>}State`]: AtomIO.AtomFamily<Struct[K], string>\n\t} = Object.keys(options.default).reduce((acc, subKey) => {\n\t\tconst atomFamilyName = nameFamily(options.key, subKey)\n\t\tacc[atomFamilyName] = createAtomFamily(\n\t\t\t{\n\t\t\t\tkey: `${options.key}.${subKey}`,\n\t\t\t\tdefault: (options.default as any)[subKey],\n\t\t\t},\n\t\t\tIMPLICIT.STORE,\n\t\t)\n\t\treturn acc\n\t}, {} as any)\n\tconst findStructState = createSelectorFamily(\n\t\t{\n\t\t\tkey: options.key,\n\t\t\tget:\n\t\t\t\t(id) =>\n\t\t\t\t({ get }) => {\n\t\t\t\t\treturn Object.keys(options.default).reduce((acc, subKey) => {\n\t\t\t\t\t\tacc[subKey] = get(\n\t\t\t\t\t\t\t(atoms as any)[nameFamily(options.key, subKey)](id),\n\t\t\t\t\t\t)\n\t\t\t\t\t\treturn acc\n\t\t\t\t\t}, {} as any)\n\t\t\t\t},\n\t\t},\n\t\tIMPLICIT.STORE,\n\t)\n\treturn [atoms, findStructState]\n}\n","export type Loadable<T> = Promise<T> | T\nexport type Fated<T, E extends Error = Error> = Loadable<E | T>\n\n/**\n * Utility for handling loadable values\n * @param loadable Loadable value\n * @param fallback Fallback value until Loadable is resolved\n * @returns Fallback value if your loadable is a promise, otherwise the loadable's resolved value\n */\nexport function until<T>(loadable: Loadable<T>, fallback: T): T {\n\tif (loadable instanceof Promise) {\n\t\treturn fallback\n\t}\n\treturn loadable\n}\n"]}
@@ -0,0 +1,158 @@
1
+ import * as AtomIO from 'atom.io';
2
+ import { SelectorFamily } from 'atom.io';
3
+ import { Store } from 'atom.io/internal';
4
+ import { Json, Stringified } from 'atom.io/json';
5
+
6
+ declare function dict<State, Key extends Json.Serializable>(findState: AtomIO.AtomFamily<State, Key> | AtomIO.ReadonlySelectorFamily<State, Key> | AtomIO.SelectorFamily<State, Key>, index: AtomIO.AtomToken<Key[]> | AtomIO.ReadonlySelectorToken<Key[]> | AtomIO.SelectorToken<Key[]>, store?: Store): AtomIO.ReadonlySelectorToken<{
7
+ [K in Stringified<Key>]: State;
8
+ }>;
9
+
10
+ type primitive = boolean | number | string | null;
11
+
12
+ type Serializable = primitive | Readonly<{
13
+ [key: string]: Serializable;
14
+ }> | ReadonlyArray<Serializable>;
15
+ type Object$1<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
16
+
17
+ type Refinement<Unrefined, Refined extends Unrefined> = (value: Unrefined) => value is Refined;
18
+ type Cardinality = `1:1` | `1:n` | `n:n`;
19
+
20
+ interface JunctionEntries<Content extends Object$1 | null> extends Object$1 {
21
+ readonly relations: [string, string[]][];
22
+ readonly contents: [string, Content][];
23
+ }
24
+ interface JunctionSchema<ASide extends string, BSide extends string> extends Object$1 {
25
+ readonly between: [a: ASide, b: BSide];
26
+ readonly cardinality: Cardinality;
27
+ }
28
+ type BaseExternalStoreConfiguration = {
29
+ addRelation: (a: string, b: string) => void;
30
+ deleteRelation: (a: string, b: string) => void;
31
+ replaceRelationsSafely: (a: string, bs: string[]) => void;
32
+ replaceRelationsUnsafely: (a: string, bs: string[]) => void;
33
+ getRelatedKeys: (key: string) => Set<string> | undefined;
34
+ has: (a: string, b?: string) => boolean;
35
+ };
36
+ type ExternalStoreWithContentConfiguration<Content extends Object$1> = {
37
+ getContent: (contentKey: string) => Content | undefined;
38
+ setContent: (contentKey: string, content: Content) => void;
39
+ deleteContent: (contentKey: string) => void;
40
+ };
41
+ type Empty<Obj extends object> = {
42
+ [Key in keyof Obj]?: undefined;
43
+ };
44
+ type ExternalStoreConfiguration<Content extends Object$1 | null> = Content extends Object$1 ? BaseExternalStoreConfiguration & ExternalStoreWithContentConfiguration<Content> : BaseExternalStoreConfiguration & Empty<ExternalStoreWithContentConfiguration<Object$1>>;
45
+ type JunctionAdvancedConfiguration<Content extends Object$1 | null> = {
46
+ externalStore?: ExternalStoreConfiguration<Content>;
47
+ isContent?: Refinement<unknown, Content>;
48
+ makeContentKey?: (a: string, b: string) => string;
49
+ };
50
+ type JunctionJSON<ASide extends string, BSide extends string, Content extends Object$1 | null> = JunctionEntries<Content> & JunctionSchema<ASide, BSide>;
51
+ declare class Junction<const ASide extends string, const BSide extends string, const Content extends Object$1 | null = null> {
52
+ readonly a: ASide;
53
+ readonly b: BSide;
54
+ readonly cardinality: Cardinality;
55
+ readonly relations: Map<string, Set<string>>;
56
+ readonly contents: Map<string, Content>;
57
+ isContent: Refinement<unknown, Content> | null;
58
+ makeContentKey: (a: string, b: string) => string;
59
+ getRelatedKeys(key: string): Set<string> | undefined;
60
+ protected addRelation(a: string, b: string): void;
61
+ protected deleteRelation(a: string, b: string): void;
62
+ protected replaceRelationsUnsafely(a: string, bs: string[]): void;
63
+ protected replaceRelationsSafely(a: string, bs: string[]): void;
64
+ protected getContentInternal(contentKey: string): Content | undefined;
65
+ protected setContent(contentKey: string, content: Content): void;
66
+ protected deleteContent(contentKey: string): void;
67
+ constructor(data: JunctionSchema<ASide, BSide> & Partial<JunctionEntries<Content>>, config?: JunctionAdvancedConfiguration<Content>);
68
+ toJSON(): JunctionJSON<ASide, BSide, Content>;
69
+ set(a: string, ...rest: Content extends null ? [b: string] : [b: string, content: Content]): this;
70
+ set(relation: {
71
+ [Key in ASide | BSide]: string;
72
+ }, ...rest: Content extends null ? [] | [b?: undefined] : [content: Content]): this;
73
+ delete(a: string, b?: string): this;
74
+ delete(relation: Record<ASide | BSide, string> | Record<ASide, string> | Record<BSide, string>, b?: undefined): this;
75
+ getRelatedKey(key: string): string | undefined;
76
+ replaceRelations(a: string, relations: Content extends null ? string[] : Record<string, Content>, config?: {
77
+ reckless: boolean;
78
+ }): this;
79
+ getContent(a: string, b: string): Content | undefined;
80
+ getRelationEntries(input: Record<ASide, string> | Record<BSide, string>): [string, Content][];
81
+ has(a: string, b?: string): boolean;
82
+ }
83
+
84
+ interface JoinOptions<ASide extends string, BSide extends string, Cardinality extends Cardinality, Content extends Json.Object | null> extends Json.Object, JunctionSchema<ASide, BSide>, Partial<JunctionEntries<Content>> {
85
+ readonly key: string;
86
+ readonly cardinality: Cardinality;
87
+ }
88
+ type JoinState<ASide extends string, BSide extends string, Cardinality extends Cardinality, Content extends Json.Object | null> = Cardinality extends `1:1` ? (Content extends Json.Object ? {
89
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}EntryOf${Capitalize<BSide>}` : `${AB}EntryOf${Capitalize<ASide>}`]: SelectorFamily<[
90
+ string,
91
+ Content
92
+ ] | undefined, string>;
93
+ } : {}) & {
94
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}KeyOf${Capitalize<BSide>}` : `${AB}KeyOf${Capitalize<ASide>}`]: SelectorFamily<string | undefined, string>;
95
+ } : Cardinality extends `1:n` ? (Content extends Json.Object ? {
96
+ readonly [A in ASide as `${A}EntryOf${Capitalize<BSide>}`]: SelectorFamily<[
97
+ string,
98
+ Content
99
+ ] | undefined, string>;
100
+ } & {
101
+ readonly [B in BSide as `${B}EntriesOf${Capitalize<ASide>}`]: SelectorFamily<[
102
+ string,
103
+ Content
104
+ ][], string>;
105
+ } : {}) & {
106
+ readonly [A in ASide as `${A}KeyOf${Capitalize<BSide>}`]: SelectorFamily<string | undefined, string>;
107
+ } & {
108
+ readonly [B in BSide as `${B}KeysOf${Capitalize<ASide>}`]: SelectorFamily<string[], string>;
109
+ } : Cardinality extends `n:n` ? (Content extends Json.Object ? {
110
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}EntriesOf${Capitalize<BSide>}` : `${AB}EntriesOf${Capitalize<ASide>}`]: SelectorFamily<[
111
+ string,
112
+ Content
113
+ ][], string>;
114
+ } : {}) & {
115
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}KeysOf${Capitalize<BSide>}` : `${AB}KeysOf${Capitalize<ASide>}`]: SelectorFamily<string[], string>;
116
+ } : never;
117
+ declare function join<const ASide extends string, const BSide extends string, const Cardinality extends Cardinality>(options: JoinOptions<ASide, BSide, Cardinality, null>, defaultContent?: undefined, store?: Store): {
118
+ relations: Junction<ASide, BSide>;
119
+ findState: JoinState<ASide, BSide, Cardinality, null>;
120
+ };
121
+ declare function join<const ASide extends string, const Cardinality extends `1:1` | `1:n` | `n:n`, const BSide extends string, const Content extends Json.Object>(options: JoinOptions<ASide, BSide, Cardinality, Content>, defaultContent: Content, store?: Store): {
122
+ relations: Junction<ASide, BSide, Content>;
123
+ findState: JoinState<ASide, BSide, Cardinality, Content>;
124
+ };
125
+
126
+ declare function struct<Struct extends {
127
+ [key: string]: unknown;
128
+ }, Key extends string>(options: {
129
+ key: Key;
130
+ default: Struct;
131
+ }, store?: Store): [
132
+ {
133
+ [K in keyof Struct as `${Key}${Capitalize<K & string>}State`]: AtomIO.AtomToken<Struct[K]>;
134
+ },
135
+ AtomIO.ReadonlySelectorToken<Struct>
136
+ ];
137
+
138
+ declare function structFamily<Struct extends object, Key extends string>(options: {
139
+ key: Key;
140
+ default: Struct;
141
+ }): [
142
+ {
143
+ [K in keyof Struct as `find${Capitalize<Key & string>}${Capitalize<K & string>}State`]: AtomIO.AtomFamily<Struct[K], string>;
144
+ },
145
+ AtomIO.ReadonlySelectorFamily<Struct>
146
+ ];
147
+
148
+ type Loadable<T> = Promise<T> | T;
149
+ type Fated<T, E extends Error = Error> = Loadable<E | T>;
150
+ /**
151
+ * Utility for handling loadable values
152
+ * @param loadable Loadable value
153
+ * @param fallback Fallback value until Loadable is resolved
154
+ * @returns Fallback value if your loadable is a promise, otherwise the loadable's resolved value
155
+ */
156
+ declare function until<T>(loadable: Loadable<T>, fallback: T): T;
157
+
158
+ export { type Fated, type JoinOptions, type JoinState, type Loadable, dict, join, struct, structFamily, until };
@@ -1,4 +1,5 @@
1
1
  import * as AtomIO from 'atom.io';
2
+ import { SelectorFamily } from 'atom.io';
2
3
  import { Store } from 'atom.io/internal';
3
4
  import { Json, Stringified } from 'atom.io/json';
4
5
 
@@ -6,6 +7,122 @@ declare function dict<State, Key extends Json.Serializable>(findState: AtomIO.At
6
7
  [K in Stringified<Key>]: State;
7
8
  }>;
8
9
 
10
+ type primitive = boolean | number | string | null;
11
+
12
+ type Serializable = primitive | Readonly<{
13
+ [key: string]: Serializable;
14
+ }> | ReadonlyArray<Serializable>;
15
+ type Object$1<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
16
+
17
+ type Refinement<Unrefined, Refined extends Unrefined> = (value: Unrefined) => value is Refined;
18
+ type Cardinality = `1:1` | `1:n` | `n:n`;
19
+
20
+ interface JunctionEntries<Content extends Object$1 | null> extends Object$1 {
21
+ readonly relations: [string, string[]][];
22
+ readonly contents: [string, Content][];
23
+ }
24
+ interface JunctionSchema<ASide extends string, BSide extends string> extends Object$1 {
25
+ readonly between: [a: ASide, b: BSide];
26
+ readonly cardinality: Cardinality;
27
+ }
28
+ type BaseExternalStoreConfiguration = {
29
+ addRelation: (a: string, b: string) => void;
30
+ deleteRelation: (a: string, b: string) => void;
31
+ replaceRelationsSafely: (a: string, bs: string[]) => void;
32
+ replaceRelationsUnsafely: (a: string, bs: string[]) => void;
33
+ getRelatedKeys: (key: string) => Set<string> | undefined;
34
+ has: (a: string, b?: string) => boolean;
35
+ };
36
+ type ExternalStoreWithContentConfiguration<Content extends Object$1> = {
37
+ getContent: (contentKey: string) => Content | undefined;
38
+ setContent: (contentKey: string, content: Content) => void;
39
+ deleteContent: (contentKey: string) => void;
40
+ };
41
+ type Empty<Obj extends object> = {
42
+ [Key in keyof Obj]?: undefined;
43
+ };
44
+ type ExternalStoreConfiguration<Content extends Object$1 | null> = Content extends Object$1 ? BaseExternalStoreConfiguration & ExternalStoreWithContentConfiguration<Content> : BaseExternalStoreConfiguration & Empty<ExternalStoreWithContentConfiguration<Object$1>>;
45
+ type JunctionAdvancedConfiguration<Content extends Object$1 | null> = {
46
+ externalStore?: ExternalStoreConfiguration<Content>;
47
+ isContent?: Refinement<unknown, Content>;
48
+ makeContentKey?: (a: string, b: string) => string;
49
+ };
50
+ type JunctionJSON<ASide extends string, BSide extends string, Content extends Object$1 | null> = JunctionEntries<Content> & JunctionSchema<ASide, BSide>;
51
+ declare class Junction<const ASide extends string, const BSide extends string, const Content extends Object$1 | null = null> {
52
+ readonly a: ASide;
53
+ readonly b: BSide;
54
+ readonly cardinality: Cardinality;
55
+ readonly relations: Map<string, Set<string>>;
56
+ readonly contents: Map<string, Content>;
57
+ isContent: Refinement<unknown, Content> | null;
58
+ makeContentKey: (a: string, b: string) => string;
59
+ getRelatedKeys(key: string): Set<string> | undefined;
60
+ protected addRelation(a: string, b: string): void;
61
+ protected deleteRelation(a: string, b: string): void;
62
+ protected replaceRelationsUnsafely(a: string, bs: string[]): void;
63
+ protected replaceRelationsSafely(a: string, bs: string[]): void;
64
+ protected getContentInternal(contentKey: string): Content | undefined;
65
+ protected setContent(contentKey: string, content: Content): void;
66
+ protected deleteContent(contentKey: string): void;
67
+ constructor(data: JunctionSchema<ASide, BSide> & Partial<JunctionEntries<Content>>, config?: JunctionAdvancedConfiguration<Content>);
68
+ toJSON(): JunctionJSON<ASide, BSide, Content>;
69
+ set(a: string, ...rest: Content extends null ? [b: string] : [b: string, content: Content]): this;
70
+ set(relation: {
71
+ [Key in ASide | BSide]: string;
72
+ }, ...rest: Content extends null ? [] | [b?: undefined] : [content: Content]): this;
73
+ delete(a: string, b?: string): this;
74
+ delete(relation: Record<ASide | BSide, string> | Record<ASide, string> | Record<BSide, string>, b?: undefined): this;
75
+ getRelatedKey(key: string): string | undefined;
76
+ replaceRelations(a: string, relations: Content extends null ? string[] : Record<string, Content>, config?: {
77
+ reckless: boolean;
78
+ }): this;
79
+ getContent(a: string, b: string): Content | undefined;
80
+ getRelationEntries(input: Record<ASide, string> | Record<BSide, string>): [string, Content][];
81
+ has(a: string, b?: string): boolean;
82
+ }
83
+
84
+ interface JoinOptions<ASide extends string, BSide extends string, Cardinality extends Cardinality, Content extends Json.Object | null> extends Json.Object, JunctionSchema<ASide, BSide>, Partial<JunctionEntries<Content>> {
85
+ readonly key: string;
86
+ readonly cardinality: Cardinality;
87
+ }
88
+ type JoinState<ASide extends string, BSide extends string, Cardinality extends Cardinality, Content extends Json.Object | null> = Cardinality extends `1:1` ? (Content extends Json.Object ? {
89
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}EntryOf${Capitalize<BSide>}` : `${AB}EntryOf${Capitalize<ASide>}`]: SelectorFamily<[
90
+ string,
91
+ Content
92
+ ] | undefined, string>;
93
+ } : {}) & {
94
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}KeyOf${Capitalize<BSide>}` : `${AB}KeyOf${Capitalize<ASide>}`]: SelectorFamily<string | undefined, string>;
95
+ } : Cardinality extends `1:n` ? (Content extends Json.Object ? {
96
+ readonly [A in ASide as `${A}EntryOf${Capitalize<BSide>}`]: SelectorFamily<[
97
+ string,
98
+ Content
99
+ ] | undefined, string>;
100
+ } & {
101
+ readonly [B in BSide as `${B}EntriesOf${Capitalize<ASide>}`]: SelectorFamily<[
102
+ string,
103
+ Content
104
+ ][], string>;
105
+ } : {}) & {
106
+ readonly [A in ASide as `${A}KeyOf${Capitalize<BSide>}`]: SelectorFamily<string | undefined, string>;
107
+ } & {
108
+ readonly [B in BSide as `${B}KeysOf${Capitalize<ASide>}`]: SelectorFamily<string[], string>;
109
+ } : Cardinality extends `n:n` ? (Content extends Json.Object ? {
110
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}EntriesOf${Capitalize<BSide>}` : `${AB}EntriesOf${Capitalize<ASide>}`]: SelectorFamily<[
111
+ string,
112
+ Content
113
+ ][], string>;
114
+ } : {}) & {
115
+ readonly [AB in ASide | BSide as AB extends ASide ? `${AB}KeysOf${Capitalize<BSide>}` : `${AB}KeysOf${Capitalize<ASide>}`]: SelectorFamily<string[], string>;
116
+ } : never;
117
+ declare function join<const ASide extends string, const BSide extends string, const Cardinality extends Cardinality>(options: JoinOptions<ASide, BSide, Cardinality, null>, defaultContent?: undefined, store?: Store): {
118
+ relations: Junction<ASide, BSide>;
119
+ findState: JoinState<ASide, BSide, Cardinality, null>;
120
+ };
121
+ declare function join<const ASide extends string, const Cardinality extends `1:1` | `1:n` | `n:n`, const BSide extends string, const Content extends Json.Object>(options: JoinOptions<ASide, BSide, Cardinality, Content>, defaultContent: Content, store?: Store): {
122
+ relations: Junction<ASide, BSide, Content>;
123
+ findState: JoinState<ASide, BSide, Cardinality, Content>;
124
+ };
125
+
9
126
  declare function struct<Struct extends {
10
127
  [key: string]: unknown;
11
128
  }, Key extends string>(options: {
@@ -38,4 +155,4 @@ type Fated<T, E extends Error = Error> = Loadable<E | T>;
38
155
  */
39
156
  declare function until<T>(loadable: Loadable<T>, fallback: T): T;
40
157
 
41
- export { type Fated, type Loadable, dict, struct, structFamily, until };
158
+ export { type Fated, type JoinOptions, type JoinState, type Loadable, dict, join, struct, structFamily, until };