@fncts/base 0.0.29 → 0.0.31

Sign up to get free protection for your applications and to get access to all the features.
Files changed (110) hide show
  1. package/_cjs/collection/immutable/HashSet/api.cjs +18 -7
  2. package/_cjs/collection/immutable/HashSet/api.cjs.map +1 -1
  3. package/_cjs/collection/immutable/HashSet/definition.cjs +2 -2
  4. package/_cjs/collection/immutable/HashSet/definition.cjs.map +1 -1
  5. package/_cjs/control/Eval/api.cjs +4 -1
  6. package/_cjs/control/Eval/api.cjs.map +1 -1
  7. package/_cjs/control/Eval/constructors.cjs +9 -2
  8. package/_cjs/control/Eval/constructors.cjs.map +1 -1
  9. package/_cjs/control/Eval/definition.cjs +10 -28
  10. package/_cjs/control/Eval/definition.cjs.map +1 -1
  11. package/_cjs/control/Eval/run.cjs +7 -7
  12. package/_cjs/control/Eval/run.cjs.map +1 -1
  13. package/_cjs/control/{Z → Pure}/api.cjs +146 -115
  14. package/_cjs/control/Pure/api.cjs.map +1 -0
  15. package/_cjs/control/Pure/definition.cjs +78 -0
  16. package/_cjs/control/Pure/definition.cjs.map +1 -0
  17. package/_cjs/control/{Z → Pure}/instances.cjs +1 -1
  18. package/_cjs/control/Pure/instances.cjs.map +1 -0
  19. package/_cjs/control/{Z → Pure}/runtime.cjs +67 -66
  20. package/_cjs/control/Pure/runtime.cjs.map +1 -0
  21. package/_cjs/control/{Z.cjs → Pure.cjs} +5 -5
  22. package/_cjs/control/Pure.cjs.map +1 -0
  23. package/_cjs/data/Date/definition.cjs +6 -0
  24. package/_cjs/data/Date/definition.cjs.map +1 -0
  25. package/_cjs/data/Date.cjs +17 -0
  26. package/_cjs/data/Date.cjs.map +1 -0
  27. package/_cjs/data/Showable/show.cjs +31 -31
  28. package/_cjs/data/Showable/show.cjs.map +1 -1
  29. package/_mjs/collection/immutable/HashSet/api.mjs +17 -7
  30. package/_mjs/collection/immutable/HashSet/api.mjs.map +1 -1
  31. package/_mjs/collection/immutable/HashSet/definition.mjs +2 -2
  32. package/_mjs/collection/immutable/HashSet/definition.mjs.map +1 -1
  33. package/_mjs/control/Eval/api.mjs +5 -2
  34. package/_mjs/control/Eval/api.mjs.map +1 -1
  35. package/_mjs/control/Eval/constructors.mjs +10 -3
  36. package/_mjs/control/Eval/constructors.mjs.map +1 -1
  37. package/_mjs/control/Eval/definition.mjs +7 -25
  38. package/_mjs/control/Eval/definition.mjs.map +1 -1
  39. package/_mjs/control/Eval/run.mjs +7 -7
  40. package/_mjs/control/Eval/run.mjs.map +1 -1
  41. package/_mjs/control/{Z → Pure}/api.mjs +134 -104
  42. package/_mjs/control/Pure/api.mjs.map +1 -0
  43. package/_mjs/control/Pure/definition.mjs +60 -0
  44. package/_mjs/control/Pure/definition.mjs.map +1 -0
  45. package/_mjs/control/{Z → Pure}/instances.mjs +1 -1
  46. package/_mjs/control/Pure/instances.mjs.map +1 -0
  47. package/_mjs/control/{Z → Pure}/runtime.mjs +68 -67
  48. package/_mjs/control/Pure/runtime.mjs.map +1 -0
  49. package/_mjs/control/Pure.mjs +6 -0
  50. package/_mjs/control/Pure.mjs.map +1 -0
  51. package/_mjs/data/Date/definition.mjs +2 -0
  52. package/_mjs/data/Date/definition.mjs.map +1 -0
  53. package/_mjs/data/Date.mjs +3 -0
  54. package/_mjs/data/Date.mjs.map +1 -0
  55. package/_mjs/data/Showable/show.mjs +31 -31
  56. package/_mjs/data/Showable/show.mjs.map +1 -1
  57. package/_src/collection/immutable/HashSet/api.ts +12 -1
  58. package/_src/collection/immutable/HashSet/definition.ts +2 -2
  59. package/_src/control/Eval/api.ts +5 -2
  60. package/_src/control/Eval/constructors.ts +10 -3
  61. package/_src/control/Eval/definition.ts +39 -27
  62. package/_src/control/Eval/run.ts +7 -7
  63. package/_src/control/Pure/api.ts +629 -0
  64. package/_src/control/Pure/definition.ts +222 -0
  65. package/_src/control/{Z → Pure}/instances.ts +3 -3
  66. package/_src/control/{Z → Pure}/runtime.ts +73 -76
  67. package/_src/control/Pure.ts +6 -0
  68. package/_src/control.ts +1 -1
  69. package/_src/data/Date/definition.ts +6 -0
  70. package/_src/data/Date.ts +3 -0
  71. package/_src/data/Showable/show.ts +55 -53
  72. package/_src/data.ts +1 -0
  73. package/_src/global.ts +1 -1
  74. package/collection/immutable/HashSet/api.d.ts +5 -0
  75. package/collection/immutable/HashSet/definition.d.ts +1 -1
  76. package/control/Eval/constructors.d.ts +4 -0
  77. package/control/Eval/definition.d.ts +25 -28
  78. package/control/Pure/api.d.ts +345 -0
  79. package/control/Pure/definition.d.ts +156 -0
  80. package/control/Pure/instances.d.ts +8 -0
  81. package/control/Pure/runtime.d.ts +56 -0
  82. package/control/Pure.d.ts +4 -0
  83. package/control.d.ts +1 -1
  84. package/data/Date/definition.d.ts +9 -0
  85. package/data/Date.d.ts +1 -0
  86. package/data/Showable/show.d.ts +2 -2
  87. package/data.d.ts +1 -0
  88. package/global.d.ts +1 -1
  89. package/package.json +1 -1
  90. package/_cjs/control/Z/api.cjs.map +0 -1
  91. package/_cjs/control/Z/definition.cjs +0 -163
  92. package/_cjs/control/Z/definition.cjs.map +0 -1
  93. package/_cjs/control/Z/instances.cjs.map +0 -1
  94. package/_cjs/control/Z/runtime.cjs.map +0 -1
  95. package/_cjs/control/Z.cjs.map +0 -1
  96. package/_mjs/control/Z/api.mjs.map +0 -1
  97. package/_mjs/control/Z/definition.mjs +0 -145
  98. package/_mjs/control/Z/definition.mjs.map +0 -1
  99. package/_mjs/control/Z/instances.mjs.map +0 -1
  100. package/_mjs/control/Z/runtime.mjs.map +0 -1
  101. package/_mjs/control/Z.mjs +0 -6
  102. package/_mjs/control/Z.mjs.map +0 -1
  103. package/_src/control/Z/api.ts +0 -590
  104. package/_src/control/Z/definition.ts +0 -199
  105. package/_src/control/Z.ts +0 -6
  106. package/control/Z/api.d.ts +0 -345
  107. package/control/Z/definition.d.ts +0 -151
  108. package/control/Z/instances.d.ts +0 -8
  109. package/control/Z/runtime.d.ts +0 -56
  110. package/control/Z.d.ts +0 -4
@@ -1 +1 @@
1
- {"version":3,"file":"api.mjs","names":["flatMap","flatMap_1","map","map_1","zipWith","zipWith_1","Chain","identity","and","that","self","b0","b1","f","flatten","a","tsplus_module_1","now","fb","b","zip","tsplus_module_2","make","ap","fa","sequenceT","computations","defer","e","tsplus_module_3","run","GenEval","Symbol","iterator","constructor","computation","__adapter","_","runGenEval","state","done","value","next","gen"],"sources":["../../../_src/control/Eval/api.ts"],"sourcesContent":[null],"mappings":";;;aAiBgBA,OAAO,GAAAC,SAAA;aAgBPC,GAAG,GAAAC,KAAA;aASHC,OAAO,GAAAC,SAAA;AAxCvB,SAASC,KAAK,QAAQ,qCAAqC;AAC3D,SAASC,QAAQ,QAAe,2BAA2B;AAE3D;;;AAGA,OAAM,SAAUC,GAAGA,CAACC,IAAmB;EACrC,OAAQC,IAAmB,IAAmB;IAC5C,OAAOL,SAAA,CAAaI,IAAI,EAAE,CAACE,EAAE,EAAEC,EAAE,KAAKD,EAAE,IAAIC,EAAE,EAAvCF,IAAI,CAAoC;EACjD,CAAC;AACH;AAEA;;;AAGA,SAAAT,UAA8BY,CAAoB;EAChD,OAAQH,IAAa,IAAa;IAChC,OAAO,IAAIJ,KAAK,CAACI,IAAI,EAAEG,CAAC,CAAC;EAC3B,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUC,OAAOA,CAAIJ,IAAmB;EAC5C,OAAOT,SAAA,CAAaM,QAAQ,EAArBG,IAAI,CAAkB;AAC/B;AAEA;;;AAGA,SAAAP,MAA0BU,CAAc;EACtC,OAAQH,IAAa,IAAa;IAChC,OAAOT,SAAA,CAAcc,CAAC,IAAKC,eAAA,CAAAC,GAAA,CAASJ,CAAC,CAACE,CAAC,CAAC,CAAC,EAAlCL,IAAI,CAA+B;EAC5C,CAAC;AACH;AAEA;;;AAGA,SAAAL,UAAiCa,EAAW,EAAEL,CAAoB;EAChE,OAAQH,IAAa,IAAa;IAChC,OAAOT,SAAA,CAAcc,CAAC,IAAKZ,KAAA,CAAQgB,CAAC,IAAKN,CAAC,CAACE,CAAC,EAAEI,CAAC,CAAC,EAArBD,EAAE,CAAoB,EAA1CR,IAAI,CAAuC;EACpD,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUU,GAAGA,CAAIF,EAAW;EAChC,OAAWR,IAAa,IAA6B;IACnD,OAAOL,SAAA,CAAaa,EAAE,EAAE,CAACH,CAAC,EAAEI,CAAC,KAAKE,eAAA,CAAAC,IAAA,CAAOP,CAAC,EAAEI,CAAC,CAAC,EAAvCT,IAAI,CAAoC;EACjD,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUa,EAAEA,CAAIC,EAAW;EAC/B,OAAWd,IAAuB,IAAa;IAC7C,OAAOL,SAAA,CAAamB,EAAE,EAAE,CAACX,CAAC,EAAEE,CAAC,KAAKF,CAAC,CAACE,CAAC,CAAC,EAA/BL,IAAI,CAA4B;EACzC,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUe,SAASA,CACvB,GAAGC,YAAe;EAIlB,OAAOV,eAAA,CAAAW,KAAA,OAAWX,eAAA,CAAAC,GAAA,CAASS,YAAY,CAACxB,GAAG,CAAE0B,CAAC,IAAIC,eAAA,CAAAC,GAAA,CAACF,CAAC,CAAI,CAAC,CAAc,CAAC;AAC1E;AAEA,MAAMG,OAAO;EAEX,EAAEC,MAAM,CAACC,QAAQ,IAAC;IAChB,OAAO,MAAM,IAAI;EACnB;EACAC,YAAqBC,WAAoB;IAApB,KAAAA,WAAW,GAAXA,WAAW;EAAY;;AAG9C,MAAMC,SAAS,GAAIC,CAAY,IAAK,IAAIN,OAAO,CAACM,CAAC,CAAC;AAElD,SAASC,UAAUA,CACjBC,KAAuD,EACvDN,QAA8B;EAE9B,IAAIM,KAAK,CAACC,IAAI,EAAE;IACd,OAAOxB,eAAA,CAAAC,GAAA,CAASsB,KAAK,CAACE,KAAK,CAAC;;EAE9B,OAAOxC,SAAA,CAAiCc,CAAC,IAAI;IAC3C,MAAM2B,IAAI,GAAGT,QAAQ,CAACS,IAAI,CAAC3B,CAAC,CAAC;IAC7B,OAAOuB,UAAU,CAACI,IAAI,EAAET,QAAQ,CAAC;EACnC,CAAC,EAHMM,KAAK,CAACE,KAAK,CAACN,WAAW,CAG5B;AACJ;AAEA;;;AAGA,OAAM,SAAUQ,GAAGA,CACjB9B,CAA+D;EAE/D,OAAOG,eAAA,CAAAW,KAAA,CAAW,MAAK;IACrB,MAAMM,QAAQ,GAAGpB,CAAC,CAACuB,SAAS,CAAC;IAC7B,MAAMG,KAAK,GAAMN,QAAQ,CAACS,IAAI,EAAE;IAChC,OAAOJ,UAAU,CAACC,KAAK,EAAEN,QAAQ,CAAC;EACpC,CAAC,CAAC;AACJ;AAEA;AACA,cAAc,yBAAwB"}
1
+ {"version":3,"file":"api.mjs","names":["flatMap","flatMap_1","map","map_1","zipWith","zipWith_1","EvalPrimitive","identity","and","that","self","b0","b1","f","primitive","i0","i1","flatten","a","tsplus_module_1","now","fb","b","zip","tsplus_module_2","make","ap","fa","sequenceT","computations","defer","e","tsplus_module_3","run","GenEval","Symbol","iterator","constructor","computation","__adapter","_","runGenEval","state","done","value","next","gen"],"sources":["../../../_src/control/Eval/api.ts"],"sourcesContent":[null],"mappings":";;;aAiBgBA,OAAO,GAAAC,SAAA;aAmBPC,GAAG,GAAAC,KAAA;aASHC,OAAO,GAAAC,SAAA;AA3CvB,SAASC,aAAa,QAAiB,qCAAqC;AAC5E,SAASC,QAAQ,QAAe,2BAA2B;AAE3D;;;AAGA,OAAM,SAAUC,GAAGA,CAACC,IAAmB;EACrC,OAAQC,IAAmB,IAAmB;IAC5C,OAAOL,SAAA,CAAaI,IAAI,EAAE,CAACE,EAAE,EAAEC,EAAE,KAAKD,EAAE,IAAIC,EAAE,EAAvCF,IAAI,CAAoC;EACjD,CAAC;AACH;AAEA;;;AAGA,SAAAT,UAA8BY,CAAoB;EAChD,OAAQH,IAAa,IAAa;IAChC,MAAMI,SAAS,GAAG,IAAIR,aAAa,uBAAsB;IACzDQ,SAAS,CAACC,EAAE,GAAML,IAAI;IACtBI,SAAS,CAACE,EAAE,GAAMH,CAAC;IACnB,OAAOC,SAAS;EAClB,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUG,OAAOA,CAAIP,IAAmB;EAC5C,OAAOT,SAAA,CAAaM,QAAQ,EAArBG,IAAI,CAAkB;AAC/B;AAEA;;;AAGA,SAAAP,MAA0BU,CAAc;EACtC,OAAQH,IAAa,IAAa;IAChC,OAAOT,SAAA,CAAciB,CAAC,IAAKC,eAAA,CAAAC,GAAA,CAASP,CAAC,CAACK,CAAC,CAAC,CAAC,EAAlCR,IAAI,CAA+B;EAC5C,CAAC;AACH;AAEA;;;AAGA,SAAAL,UAAiCgB,EAAW,EAAER,CAAoB;EAChE,OAAQH,IAAa,IAAa;IAChC,OAAOT,SAAA,CAAciB,CAAC,IAAKf,KAAA,CAAQmB,CAAC,IAAKT,CAAC,CAACK,CAAC,EAAEI,CAAC,CAAC,EAArBD,EAAE,CAAoB,EAA1CX,IAAI,CAAuC;EACpD,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUa,GAAGA,CAAIF,EAAW;EAChC,OAAWX,IAAa,IAA6B;IACnD,OAAOL,SAAA,CAAagB,EAAE,EAAE,CAACH,CAAC,EAAEI,CAAC,KAAKE,eAAA,CAAAC,IAAA,CAAOP,CAAC,EAAEI,CAAC,CAAC,EAAvCZ,IAAI,CAAoC;EACjD,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUgB,EAAEA,CAAIC,EAAW;EAC/B,OAAWjB,IAAuB,IAAa;IAC7C,OAAOL,SAAA,CAAasB,EAAE,EAAE,CAACd,CAAC,EAAEK,CAAC,KAAKL,CAAC,CAACK,CAAC,CAAC,EAA/BR,IAAI,CAA4B;EACzC,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUkB,SAASA,CACvB,GAAGC,YAAe;EAIlB,OAAOV,eAAA,CAAAW,KAAA,OAAWX,eAAA,CAAAC,GAAA,CAASS,YAAY,CAAC3B,GAAG,CAAE6B,CAAC,IAAIC,eAAA,CAAAC,GAAA,CAACF,CAAC,CAAI,CAAC,CAAc,CAAC;AAC1E;AAEA,MAAMG,OAAO;EAEX,EAAEC,MAAM,CAACC,QAAQ,IAAC;IAChB,OAAO,MAAM,IAAI;EACnB;EACAC,YAAqBC,WAAoB;IAApB,KAAAA,WAAW,GAAXA,WAAW;EAAY;;AAG9C,MAAMC,SAAS,GAAIC,CAAY,IAAK,IAAIN,OAAO,CAACM,CAAC,CAAC;AAElD,SAASC,UAAUA,CACjBC,KAAuD,EACvDN,QAA8B;EAE9B,IAAIM,KAAK,CAACC,IAAI,EAAE;IACd,OAAOxB,eAAA,CAAAC,GAAA,CAASsB,KAAK,CAACE,KAAK,CAAC;;EAE9B,OAAO3C,SAAA,CAAiCiB,CAAC,IAAI;IAC3C,MAAM2B,IAAI,GAAGT,QAAQ,CAACS,IAAI,CAAC3B,CAAC,CAAC;IAC7B,OAAOuB,UAAU,CAACI,IAAI,EAAET,QAAQ,CAAC;EACnC,CAAC,EAHMM,KAAK,CAACE,KAAK,CAACN,WAAW,CAG5B;AACJ;AAEA;;;AAGA,OAAM,SAAUQ,GAAGA,CACjBjC,CAA+D;EAE/D,OAAOM,eAAA,CAAAW,KAAA,CAAW,MAAK;IACrB,MAAMM,QAAQ,GAAGvB,CAAC,CAAC0B,SAAS,CAAC;IAC7B,MAAMG,KAAK,GAAMN,QAAQ,CAACS,IAAI,EAAE;IAChC,OAAOJ,UAAU,CAACC,KAAK,EAAEN,QAAQ,CAAC;EACpC,CAAC,CAAC;AACJ;AAEA;AACA,cAAc,yBAAwB"}
@@ -1,18 +1,22 @@
1
1
  export const now = now_1;
2
2
  export const defer = defer_1;
3
3
  export const always = always_1;
4
- import { Defer, Value } from "@fncts/base/control/Eval/definition";
4
+ import { EvalPrimitive } from "@fncts/base/control/Eval/definition";
5
5
  /**
6
6
  * @tsplus static fncts.control.EvalOps now
7
7
  */
8
8
  function now_1(a) {
9
- return new Value(a);
9
+ const primitive = new EvalPrimitive(0 /* EvalTag.Value */);
10
+ primitive.i0 = a;
11
+ return primitive;
10
12
  }
11
13
  /**
12
14
  * @tsplus static fncts.control.EvalOps defer
13
15
  */
14
16
  function defer_1(make) {
15
- return new Defer(make);
17
+ const primitive = new EvalPrimitive(1 /* EvalTag.Defer */);
18
+ primitive.i0 = make;
19
+ return primitive;
16
20
  }
17
21
  /**
18
22
  * @tsplus static fncts.control.EvalOps always
@@ -22,6 +26,9 @@ function always_1(make) {
22
26
  return defer_1(() => now_1(make()));
23
27
  }
24
28
  const UNSET = /*#__PURE__*/Symbol.for("@tsplus/base/control/Eval/UNSET");
29
+ /**
30
+ * @tsplus static fncts.control.EvalOps later
31
+ */
25
32
  export function later(make) {
26
33
  let v = UNSET;
27
34
  return always_1(() => v === UNSET ? ((v = make(), make = null), v) : v);
@@ -1 +1 @@
1
- {"version":3,"file":"constructors.mjs","names":["now","now_1","defer","defer_1","always","always_1","Defer","Value","a","make","UNSET","Symbol","for","later","v"],"sources":["../../../_src/control/Eval/constructors.ts"],"sourcesContent":[null],"mappings":"aAKgBA,GAAG,GAAAC,KAAA;aAOHC,KAAK,GAAAC,OAAA;aAQLC,MAAM,GAAAC,QAAA;AApBtB,SAASC,KAAK,EAAEC,KAAK,QAAQ,qCAAqC;AAElE;;;AAGA,SAAAN,MAAuBO,CAAI;EACzB,OAAO,IAAID,KAAK,CAACC,CAAC,CAAC;AACrB;AAEA;;;AAGA,SAAAL,QAAyBM,IAAmB;EAC1C,OAAO,IAAIH,KAAK,CAACG,IAAI,CAAC;AACxB;AAEA;;;;AAIA,SAAAJ,SAA0BI,IAAa;EACrC,OAAON,OAAA,OAAWF,KAAA,CAASQ,IAAI,EAAE,CAAC,CAAC;AACrC;AAEA,MAAMC,KAAK,gBAAGC,MAAM,CAACC,GAAG,CAAC,iCAAiC,CAAC;AAE3D,OAAM,SAAUC,KAAKA,CAAIJ,IAAa;EACpC,IAAIK,CAAC,GAAqBJ,KAAK;EAC/B,OAAOL,QAAA,OAAKS,CAAC,KAAKJ,KAAK,IAAI,CAAEI,CAAC,GAAGL,IAAI,EAAE,EAAIA,IAAI,GAAG,IAAM,GAAGK,CAAC,IAAIA,CAAC,CAAC;AACpE"}
1
+ {"version":3,"file":"constructors.mjs","names":["now","now_1","defer","defer_1","always","always_1","EvalPrimitive","a","primitive","i0","make","UNSET","Symbol","for","later","v"],"sources":["../../../_src/control/Eval/constructors.ts"],"sourcesContent":[null],"mappings":"aAKgBA,GAAG,GAAAC,KAAA;aASHC,KAAK,GAAAC,OAAA;aAULC,MAAM,GAAAC,QAAA;AAxBtB,SAASC,aAAa,QAAiB,qCAAqC;AAE5E;;;AAGA,SAAAL,MAAuBM,CAAI;EACzB,MAAMC,SAAS,GAAG,IAAIF,aAAa,uBAAsB;EACzDE,SAAS,CAACC,EAAE,GAAMF,CAAC;EACnB,OAAOC,SAAS;AAClB;AAEA;;;AAGA,SAAAL,QAAyBO,IAAmB;EAC1C,MAAMF,SAAS,GAAG,IAAIF,aAAa,uBAAsB;EACzDE,SAAS,CAACC,EAAE,GAAMC,IAAI;EACtB,OAAOF,SAAS;AAClB;AAEA;;;;AAIA,SAAAH,SAA0BK,IAAa;EACrC,OAAOP,OAAA,OAAWF,KAAA,CAASS,IAAI,EAAE,CAAC,CAAC;AACrC;AAEA,MAAMC,KAAK,gBAAGC,MAAM,CAACC,GAAG,CAAC,iCAAiC,CAAC;AAE3D;;;AAGA,OAAM,SAAUC,KAAKA,CAAIJ,IAAa;EACpC,IAAIK,CAAC,GAAqBJ,KAAK;EAC/B,OAAON,QAAA,OAAKU,CAAC,KAAKJ,KAAK,IAAI,CAAEI,CAAC,GAAGL,IAAI,EAAE,EAAIA,IAAI,GAAG,IAAM,GAAGK,CAAC,IAAIA,CAAC,CAAC;AACpE"}
@@ -1,34 +1,16 @@
1
- var _a, _b, _c;
1
+ var _a;
2
2
  export const EvalVariance = /*#__PURE__*/Symbol.for("fncts.Eval.Variance");
3
3
  export const EvalTypeId = /*#__PURE__*/Symbol.for("@fncts/control/Eval");
4
- export const Eval = {};
5
- export class Value {
6
- constructor(value) {
7
- this.value = value;
8
- this._tag = 0 /* EvalTag.Value */;
4
+ export class EvalPrimitive {
5
+ constructor(_tag) {
6
+ this._tag = _tag;
9
7
  this[_a] = EvalTypeId;
8
+ this.i0 = undefined;
9
+ this.i1 = undefined;
10
10
  }
11
11
  }
12
12
  _a = EvalTypeId;
13
- export class Defer {
14
- constructor(make) {
15
- this.make = make;
16
- this[_b] = EvalTypeId;
17
- this._tag = 1 /* EvalTag.Defer */;
18
- }
19
- }
20
-
21
- _b = EvalTypeId;
22
- export class Chain {
23
- constructor(self, f) {
24
- this.self = self;
25
- this.f = f;
26
- this[_c] = EvalTypeId;
27
- this._tag = 2 /* EvalTag.Chain */;
28
- }
29
- }
30
-
31
- _c = EvalTypeId;
13
+ export const Eval = {};
32
14
  /**
33
15
  * @tsplus smart:remove
34
16
  */
@@ -1 +1 @@
1
- {"version":3,"file":"definition.mjs","names":["EvalVariance","Symbol","for","EvalTypeId","Eval","Value","constructor","value","_tag","_a","Defer","make","_b","Chain","self","f","_c","concrete","_","unifyEval"],"sources":["../../../_src/control/Eval/definition.ts"],"sourcesContent":[null],"mappings":";AAAA,OAAO,MAAMA,YAAY,gBAAGC,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAG7D,OAAO,MAAMC,UAAU,gBAAGF,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAyB3D,OAAO,MAAME,IAAI,GAAY,EAAE;AAQ/B,OAAM,MAAOC,KAAK;EAMhBC,YAAqBC,KAAQ;IAAR,KAAAA,KAAK,GAALA,KAAK;IALjB,KAAAC,IAAI;IACJ,KAAAC,EAAA,CAAY,GAAeN,UAAU;EAId;;KAJtBA,UAAU;AAOtB,OAAM,MAAOO,KAAK;EAOhBJ,YAAqBK,IAAmB;IAAnB,KAAAA,IAAI,GAAJA,IAAI;IANhB,KAAAC,EAAA,CAAY,GAAeT,UAAU;IAIrC,KAAAK,IAAI;EAE8B;;;KANjCL,UAAU;AAStB,OAAM,MAAOU,KAAK;EAMhBP,YAAqBQ,IAAa,EAAWC,CAAoB;IAA5C,KAAAD,IAAI,GAAJA,IAAI;IAAoB,KAAAC,CAAC,GAADA,CAAC;IALrC,KAAAC,EAAA,CAAY,GAAeb,UAAU;IAIrC,KAAAK,IAAI;EACuD;;;KAL1DL,UAAU;AAUtB;;;AAGA,OAAM,SAAUc,QAAQA,CAACC,CAAY;EACnC;AAAA;AAGF;;;AAGA,OAAM,SAAUC,SAASA,CAAsBL,IAAO;EACpD,OAAOA,IAAI;AACb"}
1
+ {"version":3,"file":"definition.mjs","names":["EvalVariance","Symbol","for","EvalTypeId","EvalPrimitive","constructor","_tag","_a","i0","undefined","i1","Eval","concrete","_","unifyEval","self"],"sources":["../../../_src/control/Eval/definition.ts"],"sourcesContent":[null],"mappings":";AAAA,OAAO,MAAMA,YAAY,gBAAGC,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAG7D,OAAO,MAAMC,UAAU,gBAAGF,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAG3D,OAAM,MAAOE,aAAa;EAKxBC,YAAqBC,IAAa;IAAb,KAAAA,IAAI,GAAJA,IAAI;IAJhB,KAAAC,EAAA,CAAY,GAAeJ,UAAU;IAKrC,KAAAK,EAAE,GAAYC,SAAS;IACvB,KAAAC,EAAE,GAAYD,SAAS;EAFK;;KAJ3BN,UAAU;AAoCtB,OAAO,MAAMQ,IAAI,GAAY,EAAE;AAmC/B;;;AAGA,OAAM,SAAUC,QAAQA,CAACC,CAAY;EACnC;AAAA;AAGF;;;AAGA,OAAM,SAAUC,SAASA,CAAsBC,IAAO;EACpD,OAAOA,IAAI;AACb"}
@@ -13,22 +13,22 @@ export function run(computation) {
13
13
  concrete(cur);
14
14
  switch (cur._tag) {
15
15
  case 2 /* EvalTag.Chain */:
16
- concrete(cur.self);
17
- switch (cur.self._tag) {
16
+ concrete(cur.i0);
17
+ switch (cur.i0._tag) {
18
18
  case 0 /* EvalTag.Value */:
19
- cur = cur.f(cur.self.value);
19
+ cur = cur.i1(cur.i0.i0);
20
20
  break;
21
21
  default:
22
- frames.push(cur.f);
23
- cur = cur.self;
22
+ frames.push(cur.i1);
23
+ cur = cur.i0;
24
24
  break;
25
25
  }
26
26
  break;
27
27
  case 1 /* EvalTag.Defer */:
28
- cur = cur.make();
28
+ cur = cur.i0();
29
29
  break;
30
30
  case 0 /* EvalTag.Value */:
31
- out = cur.value;
31
+ out = cur.i0;
32
32
  if (frames.hasNext) {
33
33
  cur = frames.pop()(out);
34
34
  } else {
@@ -1 +1 @@
1
- {"version":3,"file":"run.mjs","names":["concrete","Stack","run","computation","frames","tsplus_module_1","makeStack","out","undefined","cur","_tag","self","f","value","push","make","hasNext","pop"],"sources":["../../../_src/control/Eval/run.ts"],"sourcesContent":[null],"mappings":";AAAA,SAASA,QAAQ,QAAiB,qCAAqC;AACvE,SAASC,KAAK,QAAQ,4BAA4B;AAElD;;;;AAIA,OAAM,SAAUC,GAAGA,CAAIC,WAAoB;EACzC,MAAMC,MAAM,GAAGC,eAAA,CAAAC,SAAA,EAA8B;EAC7C,IAAIC,GAAG,GAAQC,SAAS;EACxB,IAAIC,GAAG,GAAQN,WAAW;EAC1B,OAAOM,GAAG,KAAK,IAAI,EAAE;IACnBT,QAAQ,CAACS,GAAG,CAAC;IACb,QAAQA,GAAG,CAACC,IAAI;MACd;QACEV,QAAQ,CAACS,GAAG,CAACE,IAAI,CAAC;QAClB,QAAQF,GAAG,CAACE,IAAI,CAACD,IAAI;UACnB;YACED,GAAG,GAAGA,GAAG,CAACG,CAAC,CAACH,GAAG,CAACE,IAAI,CAACE,KAAK,CAAC;YAC3B;UACF;YACET,MAAM,CAACU,IAAI,CAACL,GAAG,CAACG,CAAC,CAAC;YAClBH,GAAG,GAAGA,GAAG,CAACE,IAAI;YACd;QAAM;QAEV;MACF;QACEF,GAAG,GAAGA,GAAG,CAACM,IAAI,EAAE;QAChB;MACF;QACER,GAAG,GAAGE,GAAG,CAACI,KAAK;QACf,IAAIT,MAAM,CAACY,OAAO,EAAE;UAClBP,GAAG,GAAGL,MAAM,CAACa,GAAG,EAAG,CAACV,GAAG,CAAC;SACzB,MAAM;UACLE,GAAG,GAAG,IAAK;;QAEb;IAAM;;EAGZ,OAAOF,GAAG;AACZ"}
1
+ {"version":3,"file":"run.mjs","names":["concrete","Stack","run","computation","frames","tsplus_module_1","makeStack","out","undefined","cur","_tag","i0","i1","push","hasNext","pop"],"sources":["../../../_src/control/Eval/run.ts"],"sourcesContent":[null],"mappings":";AAAA,SAASA,QAAQ,QAAiB,qCAAqC;AACvE,SAASC,KAAK,QAAQ,4BAA4B;AAElD;;;;AAIA,OAAM,SAAUC,GAAGA,CAAIC,WAAoB;EACzC,MAAMC,MAAM,GAAGC,eAAA,CAAAC,SAAA,EAA8B;EAC7C,IAAIC,GAAG,GAAQC,SAAS;EACxB,IAAIC,GAAG,GAAQN,WAAW;EAC1B,OAAOM,GAAG,KAAK,IAAI,EAAE;IACnBT,QAAQ,CAACS,GAAG,CAAC;IACb,QAAQA,GAAG,CAACC,IAAI;MACd;QACEV,QAAQ,CAACS,GAAG,CAACE,EAAE,CAAC;QAChB,QAAQF,GAAG,CAACE,EAAE,CAACD,IAAI;UACjB;YACED,GAAG,GAAGA,GAAG,CAACG,EAAE,CAACH,GAAG,CAACE,EAAE,CAACA,EAAE,CAAC;YACvB;UACF;YACEP,MAAM,CAACS,IAAI,CAACJ,GAAG,CAACG,EAAE,CAAC;YACnBH,GAAG,GAAGA,GAAG,CAACE,EAAE;YACZ;QAAM;QAEV;MACF;QACEF,GAAG,GAAGA,GAAG,CAACE,EAAE,EAAE;QACd;MACF;QACEJ,GAAG,GAAGE,GAAG,CAACE,EAAE;QACZ,IAAIP,MAAM,CAACU,OAAO,EAAE;UAClBL,GAAG,GAAGL,MAAM,CAACW,GAAG,EAAG,CAACR,GAAG,CAAC;SACzB,MAAM;UACLE,GAAG,GAAG,IAAK;;QAEb;IAAM;;EAGZ,OAAOF,GAAG;AACZ"}