@fncts/base 0.0.29 → 0.0.30

Sign up to get free protection for your applications and to get access to all the features.
Files changed (96) 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/Showable/show.cjs +31 -31
  24. package/_cjs/data/Showable/show.cjs.map +1 -1
  25. package/_mjs/collection/immutable/HashSet/api.mjs +17 -7
  26. package/_mjs/collection/immutable/HashSet/api.mjs.map +1 -1
  27. package/_mjs/collection/immutable/HashSet/definition.mjs +2 -2
  28. package/_mjs/collection/immutable/HashSet/definition.mjs.map +1 -1
  29. package/_mjs/control/Eval/api.mjs +5 -2
  30. package/_mjs/control/Eval/api.mjs.map +1 -1
  31. package/_mjs/control/Eval/constructors.mjs +10 -3
  32. package/_mjs/control/Eval/constructors.mjs.map +1 -1
  33. package/_mjs/control/Eval/definition.mjs +7 -25
  34. package/_mjs/control/Eval/definition.mjs.map +1 -1
  35. package/_mjs/control/Eval/run.mjs +7 -7
  36. package/_mjs/control/Eval/run.mjs.map +1 -1
  37. package/_mjs/control/{Z → Pure}/api.mjs +134 -104
  38. package/_mjs/control/Pure/api.mjs.map +1 -0
  39. package/_mjs/control/Pure/definition.mjs +60 -0
  40. package/_mjs/control/Pure/definition.mjs.map +1 -0
  41. package/_mjs/control/{Z → Pure}/instances.mjs +1 -1
  42. package/_mjs/control/Pure/instances.mjs.map +1 -0
  43. package/_mjs/control/{Z → Pure}/runtime.mjs +68 -67
  44. package/_mjs/control/Pure/runtime.mjs.map +1 -0
  45. package/_mjs/control/Pure.mjs +6 -0
  46. package/_mjs/control/Pure.mjs.map +1 -0
  47. package/_mjs/data/Showable/show.mjs +31 -31
  48. package/_mjs/data/Showable/show.mjs.map +1 -1
  49. package/_src/collection/immutable/HashSet/api.ts +12 -1
  50. package/_src/collection/immutable/HashSet/definition.ts +2 -2
  51. package/_src/control/Eval/api.ts +5 -2
  52. package/_src/control/Eval/constructors.ts +10 -3
  53. package/_src/control/Eval/definition.ts +39 -27
  54. package/_src/control/Eval/run.ts +7 -7
  55. package/_src/control/Pure/api.ts +629 -0
  56. package/_src/control/Pure/definition.ts +222 -0
  57. package/_src/control/{Z → Pure}/instances.ts +3 -3
  58. package/_src/control/{Z → Pure}/runtime.ts +73 -76
  59. package/_src/control/Pure.ts +6 -0
  60. package/_src/control.ts +1 -1
  61. package/_src/data/Showable/show.ts +55 -53
  62. package/_src/global.ts +1 -1
  63. package/collection/immutable/HashSet/api.d.ts +5 -0
  64. package/collection/immutable/HashSet/definition.d.ts +1 -1
  65. package/control/Eval/constructors.d.ts +4 -0
  66. package/control/Eval/definition.d.ts +25 -28
  67. package/control/Pure/api.d.ts +345 -0
  68. package/control/Pure/definition.d.ts +156 -0
  69. package/control/Pure/instances.d.ts +8 -0
  70. package/control/Pure/runtime.d.ts +56 -0
  71. package/control/Pure.d.ts +4 -0
  72. package/control.d.ts +1 -1
  73. package/data/Showable/show.d.ts +2 -2
  74. package/global.d.ts +1 -1
  75. package/package.json +1 -1
  76. package/_cjs/control/Z/api.cjs.map +0 -1
  77. package/_cjs/control/Z/definition.cjs +0 -163
  78. package/_cjs/control/Z/definition.cjs.map +0 -1
  79. package/_cjs/control/Z/instances.cjs.map +0 -1
  80. package/_cjs/control/Z/runtime.cjs.map +0 -1
  81. package/_cjs/control/Z.cjs.map +0 -1
  82. package/_mjs/control/Z/api.mjs.map +0 -1
  83. package/_mjs/control/Z/definition.mjs +0 -145
  84. package/_mjs/control/Z/definition.mjs.map +0 -1
  85. package/_mjs/control/Z/instances.mjs.map +0 -1
  86. package/_mjs/control/Z/runtime.mjs.map +0 -1
  87. package/_mjs/control/Z.mjs +0 -6
  88. package/_mjs/control/Z.mjs.map +0 -1
  89. package/_src/control/Z/api.ts +0 -590
  90. package/_src/control/Z/definition.ts +0 -199
  91. package/_src/control/Z.ts +0 -6
  92. package/control/Z/api.d.ts +0 -345
  93. package/control/Z/definition.d.ts +0 -151
  94. package/control/Z/instances.d.ts +0 -8
  95. package/control/Z/runtime.d.ts +0 -56
  96. package/control/Z.d.ts +0 -4
@@ -0,0 +1,60 @@
1
+ var _a, _b, _c;
2
+ import * as tsplus_module_1 from "@fncts/base/util/predicates";
3
+ export const PureVariance = /*#__PURE__*/Symbol.for("fncts.Pure.Variance");
4
+ export const PureTypeId = /*#__PURE__*/Symbol.for("fncts.Pure");
5
+ /**
6
+ * `Pure<W, S1, S2, R, E, A>` is a purely functional description of a synchronous computation
7
+ * that requires an environment `R` and an initial state `S1` and may either
8
+ * fail with an `E` or succeed with an updated state `S2` and an `A`. Because
9
+ * of its polymorphism `Z` can be used to model a variety of effects
10
+ * including context, state, failure, and logging.
11
+ *
12
+ * @tsplus type fncts.control.Pure
13
+ * @tsplus companion fncts.control.PureOps
14
+ */
15
+ export class Pure {
16
+ constructor() {
17
+ this[_a] = PureTypeId;
18
+ }
19
+ }
20
+ _a = PureTypeId;
21
+ /**
22
+ * @tsplus unify fncts.control.Pure
23
+ */
24
+ export function unifyPure(_) {
25
+ return _;
26
+ }
27
+ export class PurePrimitive {
28
+ constructor(_tag) {
29
+ this._tag = _tag;
30
+ this[_b] = PureTypeId;
31
+ this.i0 = undefined;
32
+ this.i1 = undefined;
33
+ this.i2 = undefined;
34
+ }
35
+ }
36
+ _b = PureTypeId;
37
+ /**
38
+ * @tsplus static fncts.control.PureOps isPure
39
+ */
40
+ export function isPure(u) {
41
+ return tsplus_module_1.isObject(u) && PureTypeId in u;
42
+ }
43
+ /**
44
+ * @tsplus static fncts.control.PureOps concrete
45
+ */
46
+ export function concrete(_) {
47
+ //
48
+ }
49
+ export const PureErrorTypeId = /*#__PURE__*/Symbol.for("fncts.Pure.ZError");
50
+ export class PureError {
51
+ constructor(cause) {
52
+ this.cause = cause;
53
+ this[_c] = PureErrorTypeId;
54
+ }
55
+ }
56
+ _c = PureErrorTypeId;
57
+ export function isPureError(u) {
58
+ return tsplus_module_1.isObject(u) && PureErrorTypeId in u;
59
+ }
60
+ //# sourceMappingURL=definition.mjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"definition.mjs","names":["PureVariance","Symbol","for","PureTypeId","Pure","constructor","_a","unifyPure","_","PurePrimitive","_tag","_b","i0","undefined","i1","i2","isPure","u","tsplus_module_1","isObject","concrete","PureErrorTypeId","PureError","cause","_c","isPureError"],"sources":["../../../_src/control/Pure/definition.ts"],"sourcesContent":[null],"mappings":";;AAWA,OAAO,MAAMA,YAAY,gBAAGC,MAAM,CAACC,GAAG,CAAC,qBAAqB,CAAC;AAG7D,OAAO,MAAMC,UAAU,gBAAGF,MAAM,CAACC,GAAG,CAAC,YAAY,CAAC;AAGlD;;;;;;;;;;AAUA,OAAM,MAAgBE,IAAI;EAA1BC,YAAA;IACW,KAAAC,EAAA,CAAY,GAAeH,UAAU;EAShD;;KATYA,UAAU;AAWtB;;;AAGA,OAAM,SAAUI,SAASA,CACvBC,CAAI;EASJ,OAAOA,CAAC;AACV;AAEA,OAAM,MAAOC,aAAa;EAUxBJ,YAAqBK,IAAa;IAAb,KAAAA,IAAI,GAAJA,IAAI;IAThB,KAAAC,EAAA,CAAY,GAAeR,UAAU;IAUrC,KAAAS,EAAE,GAAYC,SAAS;IACvB,KAAAC,EAAE,GAAYD,SAAS;IACvB,KAAAE,EAAE,GAAYF,SAAS;EAHK;;KAT3BV,UAAU;AAetB;;;AAGA,OAAM,SAAUa,MAAMA,CAACC,CAAU;EAC/B,OAAOC,eAAA,CAAAC,QAAQ,CAACF,CAAC,CAAC,IAAId,UAAU,IAAIc,CAAC;AACvC;AAgIA;;;AAGA,OAAM,SAAUG,QAAQA,CAACZ,CAAqC;EAC5D;AAAA;AAGF,OAAO,MAAMa,eAAe,gBAAGpB,MAAM,CAACC,GAAG,CAAC,mBAAmB,CAAC;AAG9D,OAAM,MAAOoB,SAAS;EAEpBjB,YAAqBkB,KAAe;IAAf,KAAAA,KAAK,GAALA,KAAK;IADjB,KAAAC,EAAA,CAAiB,GAAoBH,eAAe;EACtB;;KAD7BA,eAAe;AAI3B,OAAM,SAAUI,WAAWA,CAACR,CAAU;EACpC,OAAOC,eAAA,CAAAC,QAAQ,CAACF,CAAC,CAAC,IAAII,eAAe,IAAIJ,CAAC;AAC5C"}
@@ -1,7 +1,7 @@
1
1
  import * as tsplus_module_1 from "@fncts/typelevel/HKT";
2
2
  import { map, succeedNow, zip, zipWith } from "./api.mjs";
3
3
  /**
4
- * @tsplus static fncts.control.ZOps Applicative
4
+ * @tsplus static fncts.control.PureOps Applicative
5
5
  * @tsplus implicit
6
6
  */
7
7
  export const Applicative = {
@@ -0,0 +1 @@
1
+ {"version":3,"file":"instances.mjs","names":["map","succeedNow","zip","zipWith","Applicative","pure"],"sources":["../../../_src/control/Pure/instances.ts"],"sourcesContent":[null],"mappings":";AAGA,SAASA,GAAG,EAAEC,UAAU,EAAEC,GAAG,EAAEC,OAAO,QAAQ,WAAU;AACxD;;;;AAIA,OAAO,MAAMC,WAAW,GAAsC;EAC5DJ,GAAG;EACHE,GAAG;EACHC,OAAO;EACPE,IAAI,EAAEJ;CACN"}
@@ -1,35 +1,36 @@
1
- const fileName_1 = "(@fncts/base) src/control/Z/runtime.ts";
1
+ const fileName_1 = "(@fncts/base) src/control/Pure/runtime.ts";
2
2
  import * as tsplus_module_1 from "@fncts/base/internal/Stack";
3
3
  import * as tsplus_module_2 from "@fncts/base/collection/immutable/Conc/api/empty";
4
- import * as tsplus_module_3 from "@fncts/base/control/Z/api";
4
+ import * as tsplus_module_3 from "@fncts/base/control/Pure/api";
5
5
  import * as tsplus_module_4 from "@fncts/base/data/Environment/api";
6
6
  import * as tsplus_module_5 from "@fncts/base/data/Cause/api";
7
7
  import * as tsplus_module_6 from "@fncts/base/data/Exit/constructors";
8
- import * as tsplus_module_7 from "@fncts/base/data/Exit/api";
8
+ import * as tsplus_module_7 from "@fncts/base/data/function/api";
9
+ import * as tsplus_module_8 from "@fncts/base/data/Exit/api";
9
10
  export const unsafeRunAll = unsafeRunAll_1;
10
11
  export const unsafeRun = unsafeRun_1;
11
12
  export const unsafeRunResult = unsafeRunResult_1;
12
13
  import { identity } from "../../data/function.mjs";
13
14
  import { Stack } from "../../internal/Stack.mjs";
14
- import { concrete, isZError } from "./definition.mjs";
15
+ import { concrete, isPureError, PurePrimitive } from "./definition.mjs";
15
16
  class MatchFrame {
16
17
  constructor(failure, apply) {
17
18
  this.failure = failure;
18
19
  this.apply = apply;
19
- this._zTag = "MatchFrame";
20
+ this._tag = "MatchFrame";
20
21
  }
21
22
  }
22
23
  class ApplyFrame {
23
24
  constructor(apply) {
24
25
  this.apply = apply;
25
- this._zTag = "ApplyFrame";
26
+ this._tag = "ApplyFrame";
26
27
  }
27
28
  }
28
29
  /**
29
30
  * Runs this computation with the specified initial state, returning either a
30
31
  * failure or the updated state and the result
31
32
  *
32
- * @tsplus pipeable fncts.control.Z unsafeRunAll
33
+ * @tsplus pipeable fncts.control.Pure unsafeRunAll
33
34
  */
34
35
  function unsafeRunAll_1(s) {
35
36
  return ma => {
@@ -47,7 +48,7 @@ function unsafeRunAll_1(s) {
47
48
  if (next == null) {
48
49
  unwinding = false;
49
50
  } else {
50
- if (next._zTag === "MatchFrame") {
51
+ if (next._tag === "MatchFrame") {
51
52
  unwinding = false;
52
53
  stack.push(new ApplyFrame(next.failure));
53
54
  }
@@ -57,28 +58,28 @@ function unsafeRunAll_1(s) {
57
58
  while (current != null) {
58
59
  try {
59
60
  while (current != null) {
60
- const currZ = current;
61
- concrete(currZ);
62
- switch (currZ._tag) {
63
- case "Chain" /* ZTag.Chain */:
61
+ const currPure = current;
62
+ concrete(currPure);
63
+ switch (currPure._tag) {
64
+ case 5 /* PureTag.Chain */:
64
65
  {
65
- const nested = currZ.ma;
66
- const continuation = currZ.f;
66
+ const nested = currPure.i0;
67
+ const continuation = currPure.i1;
67
68
  concrete(nested);
68
69
  switch (nested._tag) {
69
- case "SucceedNow" /* ZTag.SucceedNow */:
70
+ case 0 /* PureTag.SucceedNow */:
70
71
  {
71
- current = continuation(nested.value);
72
+ current = continuation(nested.i0);
72
73
  break;
73
74
  }
74
- case "Succeed" /* ZTag.Succeed */:
75
+ case 1 /* PureTag.Succeed */:
75
76
  {
76
- current = continuation(nested.effect());
77
+ current = continuation(nested.i0());
77
78
  break;
78
79
  }
79
- case "Modify" /* ZTag.Modify */:
80
+ case 4 /* PureTag.Modify */:
80
81
  {
81
- const updated = nested.run(s0);
82
+ const updated = nested.i0(s0);
82
83
  result = updated[0];
83
84
  s0 = updated[1];
84
85
  current = continuation(result);
@@ -93,9 +94,9 @@ function unsafeRunAll_1(s) {
93
94
  }
94
95
  break;
95
96
  }
96
- case "Succeed" /* ZTag.Succeed */:
97
+ case 1 /* PureTag.Succeed */:
97
98
  {
98
- result = currZ.effect();
99
+ result = currPure.i0();
99
100
  const nextInstruction = stack.pop();
100
101
  if (nextInstruction) {
101
102
  current = nextInstruction.apply(result);
@@ -104,14 +105,14 @@ function unsafeRunAll_1(s) {
104
105
  }
105
106
  break;
106
107
  }
107
- case "Defer" /* ZTag.Defer */:
108
+ case 2 /* PureTag.Defer */:
108
109
  {
109
- current = currZ.make();
110
+ current = currPure.i0();
110
111
  break;
111
112
  }
112
- case "SucceedNow" /* ZTag.SucceedNow */:
113
+ case 0 /* PureTag.SucceedNow */:
113
114
  {
114
- result = currZ.value;
115
+ result = currPure.i0;
115
116
  const nextInstr = stack.pop();
116
117
  if (nextInstr) {
117
118
  current = nextInstr.apply(result);
@@ -120,48 +121,51 @@ function unsafeRunAll_1(s) {
120
121
  }
121
122
  break;
122
123
  }
123
- case "Fail" /* ZTag.Fail */:
124
+ case 3 /* PureTag.Fail */:
124
125
  {
125
126
  unsafeUnwindStack();
126
127
  const nextInst = stack.pop();
127
128
  if (nextInst) {
128
- current = nextInst.apply(currZ.cause);
129
+ current = nextInst.apply(currPure.i0);
129
130
  } else {
130
131
  failed = true;
131
- result = currZ.cause;
132
+ result = currPure.i0;
132
133
  current = undefined;
133
134
  }
134
135
  break;
135
136
  }
136
- case "Match" /* ZTag.Match */:
137
+ case 6 /* PureTag.Match */:
137
138
  {
138
- current = currZ.z;
139
+ current = currPure.i0;
139
140
  const state = s0;
140
141
  stack.push(new MatchFrame(cause => {
141
- const m = tsplus_module_3.flatMap(() => currZ.onFailure(log, cause))(tsplus_module_3.put(state));
142
+ const m = tsplus_module_3.flatMap(() => currPure.i1(log, cause))(tsplus_module_3.put(state));
142
143
  log = tsplus_module_2.empty();
143
144
  return m;
144
145
  }, a => {
145
- const m = currZ.onSuccess(log, a);
146
+ const m = currPure.i2(log, a);
146
147
  log = tsplus_module_2.empty();
147
148
  return m;
148
149
  }));
149
150
  break;
150
151
  }
151
- case "Access" /* ZTag.Access */:
152
+ case 7 /* PureTag.Access */:
152
153
  {
153
- current = currZ.asks(environment.peek() ?? tsplus_module_4.make());
154
+ current = currPure.i0(environment.peek() ?? tsplus_module_4.make());
154
155
  break;
155
156
  }
156
- case "Provide" /* ZTag.Provide */:
157
+ case 8 /* PureTag.Provide */:
157
158
  {
158
- environment.push(currZ.env);
159
- current = tsplus_module_3.match(e => tsplus_module_3.flatMap(() => tsplus_module_3.failNow(e, fileName_1 + ":145:79"))(tsplus_module_3.succeedNow(environment.pop(), fileName_1 + ":145:36")), a => tsplus_module_3.flatMap(() => tsplus_module_3.succeedNow(a, fileName_1 + ":146:82"))(tsplus_module_3.succeedNow(environment.pop(), fileName_1 + ":146:36")))(currZ.ma);
159
+ environment.push(currPure.i1);
160
+ current = new PurePrimitive(6 /* PureTag.Match */);
161
+ current.i0 = currPure;
162
+ current.i1 = e => tsplus_module_3.flatMap(() => tsplus_module_3.failNow(e, fileName_1 + ":146:110"))(tsplus_module_3.succeedNow(environment.pop(), fileName_1 + ":146:64"));
163
+ current.i2 = a => tsplus_module_3.flatMap(() => tsplus_module_3.succeedNow(a, fileName_1 + ":147:113"))(tsplus_module_3.succeedNow(environment.pop(), fileName_1 + ":147:64"));
160
164
  break;
161
165
  }
162
- case "Modify" /* ZTag.Modify */:
166
+ case 4 /* PureTag.Modify */:
163
167
  {
164
- const updated = currZ.run(s0);
168
+ const updated = currPure.i0(s0);
165
169
  s0 = updated[1];
166
170
  result = updated[0];
167
171
  const nextInst = stack.pop();
@@ -172,9 +176,9 @@ function unsafeRunAll_1(s) {
172
176
  }
173
177
  break;
174
178
  }
175
- case "Tell" /* ZTag.Tell */:
179
+ case 9 /* PureTag.Tell */:
176
180
  {
177
- log = currZ.log;
181
+ log = currPure.i0;
178
182
  const nextInst = stack.pop();
179
183
  if (nextInst) {
180
184
  current = nextInst.apply(result);
@@ -183,22 +187,22 @@ function unsafeRunAll_1(s) {
183
187
  }
184
188
  break;
185
189
  }
186
- case "MapLog" /* ZTag.MapLog */:
190
+ case 11 /* PureTag.MapLog */:
187
191
  {
188
- current = currZ.ma;
192
+ current = currPure.i0;
189
193
  stack.push(new MatchFrame(cause => {
190
- log = currZ.modifyLog(log);
191
- return tsplus_module_3.failCauseNow(cause, fileName_1 + ":178:42");
194
+ log = currPure.i1(log);
195
+ return tsplus_module_3.failCauseNow(cause, fileName_1 + ":178:45");
192
196
  }, a => {
193
- log = currZ.modifyLog(log);
194
- return tsplus_module_3.succeedNow(a, fileName_1 + ":182:40");
197
+ log = currPure.i1(log);
198
+ return tsplus_module_3.succeedNow(a, fileName_1 + ":182:43");
195
199
  }));
196
200
  }
197
201
  }
198
202
  }
199
203
  } catch (e) {
200
- if (isZError(e)) {
201
- current = tsplus_module_3.failCauseNow(e.cause, fileName_1 + ":191:35");
204
+ if (isPureError(e)) {
205
+ current = tsplus_module_3.failCauseNow(e.cause, fileName_1 + ":191:38");
202
206
  } else {
203
207
  failed = true;
204
208
  result = tsplus_module_5.halt(e);
@@ -215,20 +219,19 @@ function unsafeRunAll_1(s) {
215
219
  * Runs this computation with the specified initial state, returning both
216
220
  * the updated state and the result.
217
221
  *
218
- * @tsplus pipeable fncts.control.Z unsafeRun
222
+ * @tsplus pipeable fncts.control.Pure unsafeRun
219
223
  */
220
224
  function unsafeRun_1(s) {
221
225
  return ma => {
222
- return tsplus_module_7.match(cause => {
223
- // throw cause.squash
224
- throw new Error();
226
+ return tsplus_module_8.match(cause => {
227
+ throw tsplus_module_5.squashWith(tsplus_module_7.identity)(cause);
225
228
  }, identity)(unsafeRunAll_1(s)(ma)[1]);
226
229
  };
227
230
  }
228
231
  /**
229
232
  * Runs this computation, returning the result.
230
233
  *
231
- * @tsplus getter fncts.control.Z unsafeRunResult
234
+ * @tsplus getter fncts.control.Pure unsafeRunResult
232
235
  */
233
236
  function unsafeRunResult_1(ma) {
234
237
  return unsafeRun_1({})(ma)[1];
@@ -236,7 +239,7 @@ function unsafeRunResult_1(ma) {
236
239
  /**
237
240
  * Runs this computation with the given environment, returning the result.
238
241
  *
239
- * @tsplus pipeable fncts.control.Z unsafeRunReader
242
+ * @tsplus pipeable fncts.control.Pure unsafeRunReader
240
243
  */
241
244
  export function unsafeRunReader(r) {
242
245
  return ma => {
@@ -247,7 +250,7 @@ export function unsafeRunReader(r) {
247
250
  * Runs this computation with the specified initial state, returning the
248
251
  * updated state and discarding the result.
249
252
  *
250
- * @tsplus pipeable fncts.control.Z unsafeRunState
253
+ * @tsplus pipeable fncts.control.Pure unsafeRunState
251
254
  */
252
255
  export function unsafeRunState(s) {
253
256
  return ma => {
@@ -258,33 +261,31 @@ export function unsafeRunState(s) {
258
261
  * Runs this computation with the specified initial state, returning the
259
262
  * result and discarding the updated state.
260
263
  *
261
- * @tsplus pipeable fncts.control.Z unsafeRunStateResult
264
+ * @tsplus pipeable fncts.control.Pure unsafeRunStateResult
262
265
  */
263
266
  export function unsafeRunStateResult(s) {
264
267
  return ma => {
265
- return tsplus_module_7.match(cause => {
266
- // throw cause.squash
267
- throw new Error();
268
+ return tsplus_module_8.match(cause => {
269
+ throw tsplus_module_5.squashWith(tsplus_module_7.identity)(cause);
268
270
  }, ([_, a]) => a)(unsafeRunAll_1(s)(ma)[1]);
269
271
  };
270
272
  }
271
273
  /**
272
274
  * Runs this computation returning either the result or error
273
275
  *
274
- * @tsplus getter fncts.control.Z unsafeRunExit
276
+ * @tsplus getter fncts.control.Pure unsafeRunExit
275
277
  */
276
278
  export function unsafeRunExit(ma) {
277
- return tsplus_module_7.map(([_, a]) => a)(unsafeRunAll_1({})(ma)[1]);
279
+ return tsplus_module_8.map(([_, a]) => a)(unsafeRunAll_1({})(ma)[1]);
278
280
  }
279
281
  /**
280
282
  *
281
- * @tsplus getter fncts.control.Z unsafeRunWriter
283
+ * @tsplus getter fncts.control.Pure unsafeRunWriter
282
284
  */
283
285
  export function unsafeRunWriter(ma) {
284
286
  const [w, exit] = unsafeRunAll_1({})(ma);
285
- return tsplus_module_7.match(() => {
286
- // throw cause.squash
287
- throw new Error();
287
+ return tsplus_module_8.match(cause => {
288
+ throw tsplus_module_5.squashWith(tsplus_module_7.identity)(cause);
288
289
  }, ([_, a]) => [w, a])(exit);
289
290
  }
290
291
  //# sourceMappingURL=runtime.mjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runtime.mjs","names":["unsafeRunAll","unsafeRunAll_1","unsafeRun","unsafeRun_1","unsafeRunResult","unsafeRunResult_1","identity","Stack","concrete","isPureError","PurePrimitive","MatchFrame","constructor","failure","apply","_tag","ApplyFrame","s","ma","stack","tsplus_module_1","makeStack","s0","result","environment","failed","current","log","tsplus_module_2","empty","unsafeUnwindStack","unwinding","next","pop","push","currPure","nested","i0","continuation","i1","updated","nextInstruction","undefined","nextInstr","nextInst","state","cause","m","tsplus_module_3","flatMap","put","a","i2","peek","tsplus_module_4","make","e","failNow","fileName_1","succeedNow","failCauseNow","tsplus_module_5","halt","tsplus_module_6","failCause","succeed","tsplus_module_8","match","squashWith","tsplus_module_7","unsafeRunReader","r","provideEnvironment","unsafeRunState","unsafeRunStateResult","_","unsafeRunExit","map","unsafeRunWriter","w","exit"],"sources":["../../../_src/control/Pure/runtime.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;aAyBgBA,YAAY,GAAAC,cAAA;aAyLZC,SAAS,GAAAC,WAAA;aAaTC,eAAe,GAAAC,iBAAA;AA/N/B,SAASC,QAAQ,QAAQ,yBAAwB;AACjD,SAASC,KAAK,QAAQ,0BAAyB;AAC/C,SAASC,QAAQ,EAAEC,WAAW,EAAEC,aAAa,QAAiB,kBAAiB;AAE/E,MAAMC,UAAU;EAEdC,YACWC,OAAuD,EACvDC,KAAqD;IADrD,KAAAD,OAAO,GAAPA,OAAO;IACP,KAAAC,KAAK,GAALA,KAAK;IAHP,KAAAC,IAAI,GAAG,YAAY;EAIzB;;AAGL,MAAMC,UAAU;EAEdJ,YAAqBE,KAAqD;IAArD,KAAAA,KAAK,GAALA,KAAK;IADjB,KAAAC,IAAI,GAAG,YAAY;EACiD;;AAK/E;;;;;;AAMA,SAAAd,eAAiCgB,CAAK;EACpC,OAAqBC,EAAgC,IAAmD;IACtG,MAAMC,KAAK,GAAiBC,eAAA,CAAAC,SAAA,EAAO;IACnC,IAAIC,EAAE,GAAsBL,CAAQ;IACpC,IAAIM,MAAM,GAAkB,IAAI;IAChC,MAAMC,WAAW,GAAWJ,eAAA,CAAAC,SAAA,EAA6B;IACzD,IAAII,MAAM,GAAkB,KAAK;IACjC,IAAIC,OAAO,GAAiBR,EAAoD;IAChF,IAAIS,GAAG,GAAqBC,eAAA,CAAAC,KAAA,EAAe;IAC3C,SAASC,iBAAiBA,CAAA;MACxB,IAAIC,SAAS,GAAG,IAAI;MACpB,OAAOA,SAAS,EAAE;QAChB,MAAMC,IAAI,GAAGb,KAAK,CAACc,GAAG,EAAE;QACxB,IAAID,IAAI,IAAI,IAAI,EAAE;UAChBD,SAAS,GAAG,KAAK;SAClB,MAAM;UACL,IAAIC,IAAI,CAACjB,IAAI,KAAK,YAAY,EAAE;YAC9BgB,SAAS,GAAG,KAAK;YACjBZ,KAAK,CAACe,IAAI,CAAC,IAAIlB,UAAU,CAACgB,IAAI,CAACnB,OAAO,CAAC,CAAC;;;;IAIhD;IACA,OAAOa,OAAO,IAAI,IAAI,EAAE;MACtB,IAAI;QACF,OAAOA,OAAO,IAAI,IAAI,EAAE;UACtB,MAAMS,QAAQ,GAAuCT,OAAO;UAC5DlB,QAAQ,CAAC2B,QAAQ,CAAC;UAClB,QAAQA,QAAQ,CAACpB,IAAI;YACnB;cAAoB;gBAClB,MAAMqB,MAAM,GAASD,QAAQ,CAACE,EAAE;gBAChC,MAAMC,YAAY,GAAGH,QAAQ,CAACI,EAAE;gBAChC/B,QAAQ,CAAC4B,MAAM,CAAC;gBAChB,QAAQA,MAAM,CAACrB,IAAI;kBACjB;oBAAyB;sBACvBW,OAAO,GAAGY,YAAY,CAACF,MAAM,CAACC,EAAE,CAAC;sBACjC;;kBAEF;oBAAsB;sBACpBX,OAAO,GAAGY,YAAY,CAACF,MAAM,CAACC,EAAE,EAAE,CAAC;sBACnC;;kBAEF;oBAAqB;sBACnB,MAAMG,OAAO,GAAGJ,MAAM,CAACC,EAAE,CAACf,EAAE,CAAC;sBAC7BC,MAAM,GAAUiB,OAAO,CAAC,CAAC,CAAC;sBAC1BlB,EAAE,GAAckB,OAAO,CAAC,CAAC,CAAC;sBAC1Bd,OAAO,GAASY,YAAY,CAACf,MAAM,CAAC;sBACpC;;kBAEF;oBAAS;sBACPG,OAAO,GAAGU,MAAM;sBAChBjB,KAAK,CAACe,IAAI,CAAC,IAAIlB,UAAU,CAACsB,YAAY,CAAC,CAAC;sBACxC;;gBACD;gBAEH;;YAEF;cAAsB;gBACpBf,MAAM,GAAkBY,QAAQ,CAACE,EAAE,EAAE;gBACrC,MAAMI,eAAe,GAAGtB,KAAK,CAACc,GAAG,EAAE;gBACnC,IAAIQ,eAAe,EAAE;kBACnBf,OAAO,GAAGe,eAAe,CAAC3B,KAAK,CAACS,MAAM,CAAC;iBACxC,MAAM;kBACLG,OAAO,GAAGgB,SAAS;;gBAErB;;YAEF;cAAoB;gBAClBhB,OAAO,GAAGS,QAAQ,CAACE,EAAE,EAAE;gBACvB;;YAEF;cAAyB;gBACvBd,MAAM,GAAYY,QAAQ,CAACE,EAAE;gBAC7B,MAAMM,SAAS,GAAGxB,KAAK,CAACc,GAAG,EAAE;gBAC7B,IAAIU,SAAS,EAAE;kBACbjB,OAAO,GAAGiB,SAAS,CAAC7B,KAAK,CAACS,MAAM,CAAC;iBAClC,MAAM;kBACLG,OAAO,GAAGgB,SAAS;;gBAErB;;YAEF;cAAmB;gBACjBZ,iBAAiB,EAAE;gBACnB,MAAMc,QAAQ,GAAGzB,KAAK,CAACc,GAAG,EAAE;gBAC5B,IAAIW,QAAQ,EAAE;kBACZlB,OAAO,GAAGkB,QAAQ,CAAC9B,KAAK,CAACqB,QAAQ,CAACE,EAAE,CAAC;iBACtC,MAAM;kBACLZ,MAAM,GAAI,IAAI;kBACdF,MAAM,GAAIY,QAAQ,CAACE,EAAE;kBACrBX,OAAO,GAAGgB,SAAS;;gBAErB;;YAEF;cAAoB;gBAClBhB,OAAO,GAAOS,QAAQ,CAACE,EAAE;gBACzB,MAAMQ,KAAK,GAAGvB,EAAE;gBAChBH,KAAK,CAACe,IAAI,CACR,IAAIvB,UAAU,CACXmC,KAAiB,IAAI;kBACpB,MAAMC,CAAC,GAAGC,eAAA,CAAAC,OAAA,CAAwB,MAAMd,QAAQ,CAACI,EAAE,CAACZ,GAAG,EAAEmB,KAAK,CAAC,EAArDE,eAAA,CAAAE,GAAA,CAASL,KAAK,CAAC,CAAuC;kBAChElB,GAAG,GAAOC,eAAA,CAAAC,KAAA,EAAY;kBACtB,OAAOkB,CAAC;gBACV,CAAC,EACAI,CAAC,IAAI;kBACJ,MAAMJ,CAAC,GAAGZ,QAAQ,CAACiB,EAAE,CAACzB,GAAG,EAAEwB,CAAC,CAAC;kBAC7BxB,GAAG,GAAOC,eAAA,CAAAC,KAAA,EAAY;kBACtB,OAAOkB,CAAC;gBACV,CAAC,CACF,CACF;gBACD;;YAEF;cAAqB;gBACnBrB,OAAO,GAAGS,QAAQ,CAACE,EAAE,CAACb,WAAW,CAAC6B,IAAI,EAAE,IAAIC,eAAA,CAAAC,IAAA,EAAa,CAAC;gBAC1D;;YAEF;cAAsB;gBACpB/B,WAAW,CAACU,IAAI,CAACC,QAAQ,CAACI,EAAE,CAAC;gBAC7Bb,OAAO,GAAe,IAAIhB,aAAa,uBAAsB;gBAC5DgB,OAAe,CAACW,EAAE,GAAGF,QAAQ;gBAC7BT,OAAe,CAACa,EAAE,GAAIiB,CAAM,IAAKR,eAAA,CAAAC,OAAA,CAA2C,MAAMD,eAAA,CAAAS,OAAA,CAAaD,CAAC,EAAAE,UAAA,cAAC,EAAhEV,eAAA,CAAAW,UAAA,CAAgBnC,WAAW,CAACS,GAAG,EAAE,EAAAyB,UAAA,aAAC,CAA+B;gBAClGhC,OAAe,CAAC0B,EAAE,GAAID,CAAM,IAAKH,eAAA,CAAAC,OAAA,CAA2C,MAAMD,eAAA,CAAAW,UAAA,CAAgBR,CAAC,EAAAO,UAAA,cAAC,EAAnEV,eAAA,CAAAW,UAAA,CAAgBnC,WAAW,CAACS,GAAG,EAAE,EAAAyB,UAAA,aAAC,CAAkC;gBACtG;;YAEF;cAAqB;gBACnB,MAAMlB,OAAO,GAAIL,QAAQ,CAACE,EAAE,CAACf,EAAE,CAAC;gBAChCA,EAAE,GAAekB,OAAO,CAAC,CAAC,CAAC;gBAC3BjB,MAAM,GAAWiB,OAAO,CAAC,CAAC,CAAC;gBAC3B,MAAMI,QAAQ,GAAGzB,KAAK,CAACc,GAAG,EAAE;gBAC5B,IAAIW,QAAQ,EAAE;kBACZlB,OAAO,GAAGkB,QAAQ,CAAC9B,KAAK,CAACS,MAAM,CAAC;iBACjC,MAAM;kBACLG,OAAO,GAAGgB,SAAS;;gBAErB;;YAEF;cAAmB;gBACjBf,GAAG,GAAcQ,QAAQ,CAACE,EAAE;gBAC5B,MAAMO,QAAQ,GAAGzB,KAAK,CAACc,GAAG,EAAE;gBAC5B,IAAIW,QAAQ,EAAE;kBACZlB,OAAO,GAAGkB,QAAQ,CAAC9B,KAAK,CAACS,MAAM,CAAC;iBACjC,MAAM;kBACLG,OAAO,GAAGgB,SAAS;;gBAErB;;YAEF;cAAqB;gBACnBhB,OAAO,GAAGS,QAAQ,CAACE,EAAE;gBACrBlB,KAAK,CAACe,IAAI,CACR,IAAIvB,UAAU,CACXmC,KAAiB,IAAI;kBACpBnB,GAAG,GAAGQ,QAAQ,CAACI,EAAE,CAACZ,GAAG,CAAC;kBACtB,OAAOqB,eAAA,CAAAY,YAAA,CAAkBd,KAAK,EAAAY,UAAA,aAAC;gBACjC,CAAC,EACAP,CAAC,IAAI;kBACJxB,GAAG,GAAGQ,QAAQ,CAACI,EAAE,CAACZ,GAAG,CAAC;kBACtB,OAAOqB,eAAA,CAAAW,UAAA,CAAgBR,CAAC,EAAAO,UAAA,aAAC;gBAC3B,CAAC,CACF,CACF;;UACF;;OAGN,CAAC,OAAOF,CAAC,EAAE;QACV,IAAI/C,WAAW,CAAC+C,CAAC,CAAC,EAAE;UAClB9B,OAAO,GAAGsB,eAAA,CAAAY,YAAA,CAAkBJ,CAAC,CAACV,KAAK,EAAAY,UAAA,aAAC;SACrC,MAAM;UACLjC,MAAM,GAAG,IAAI;UACbF,MAAM,GAAGsC,eAAA,CAAAC,IAAA,CAAWN,CAAC,CAAC;;;;IAI5B,IAAI/B,MAAM,EAAE;MACV,OAAO,CAACE,GAAG,EAAEoC,eAAA,CAAAC,SAAA,CAAezC,MAAM,EAAAmC,UAAA,aAAC,CAAC;;IAEtC,OAAO,CAAC/B,GAAG,EAAEoC,eAAA,CAAAE,OAAA,CAAa,CAAC3C,EAAE,EAAEC,MAAM,CAAC,EAAAmC,UAAA,aAAC,CAAC;EAC1C,CAAC;AACH;AAEA;;;;;;AAMA,SAAAvD,YAA8Bc,CAAK;EACjC,OAAkBC,EAAoC,IAAsB;IAC1E,OAAOgD,eAAA,CAAAC,KAAA,CAA6BrB,KAAK,IAAI;MAC3C,MAAMe,eAAA,CAAAO,UAAA,CAAAC,eAAA,CAAA/D,QAAA,EAAAwC,KAAK,CAA8B;IAC3C,CAAC,EAAExC,QAAQ,EAFJL,cAAA,CAAgBgB,CAAC,EAAjBC,EAAE,CAAgB,CAAC,CAAC,CAAC,CAEhB;EACd,CAAC;AACH;AAEA;;;;;AAKA,SAAAb,kBAAsCa,EAA8C;EAClF,OAAOf,WAAA,CAAa,EAAE,EAAfe,EAAE,CAAc,CAAC,CAAC,CAAC;AAC5B;AAEA;;;;;AAKA,OAAM,SAAUoD,eAAeA,CAAIC,CAAiB;EAClD,OAAcrD,EAAwC,IAAO;IAC3D,OAAOb,iBAAA,CAAgB2C,eAAA,CAAAwB,kBAAA,CAAsBD,CAAC,EAAvBrD,EAAE,CAAsB,CAAC;EAClD,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUuD,cAAcA,CAAKxD,CAAK;EACtC,OAAkBC,EAAoC,IAAQ;IAC5D,OAAOf,WAAA,CAAac,CAAC,EAAdC,EAAE,CAAa,CAAC,CAAC,CAAC;EAC3B,CAAC;AACH;AAEA;;;;;;AAMA,OAAM,SAAUwD,oBAAoBA,CAAKzD,CAAK;EAC5C,OAAkBC,EAAoC,IAAO;IAC3D,OAAOgD,eAAA,CAAAC,KAAA,CACJrB,KAAK,IAAI;MACR,MAAMe,eAAA,CAAAO,UAAA,CAAAC,eAAA,CAAA/D,QAAA,EAAAwC,KAAK,CAA8B;IAC3C,CAAC,EACD,CAAC,CAAC6B,CAAC,EAAExB,CAAC,CAAC,KAAKA,CAAC,EAJRlD,cAAA,CAAgBgB,CAAC,EAAjBC,EAAE,CAAgB,CAAC,CAAC,CAAC,CAK3B;EACH,CAAC;AACH;AAEA;;;;;AAKA,OAAM,SAAU0D,aAAaA,CAAO1D,EAA8C;EAChF,OAAOgD,eAAA,CAAAW,GAAA,CAAoC,CAAC,CAACF,CAAC,EAAExB,CAAC,CAAC,KAAKA,CAAC,EAAjDlD,cAAA,CAAgB,EAAW,EAA3BiB,EAAE,CAA0B,CAAC,CAAC,CAAC,CAAmB;AAC3D;AAEA;;;;AAIA,OAAM,SAAU4D,eAAeA,CAAO5D,EAA8C;EAClF,MAAM,CAAC6D,CAAC,EAAEC,IAAI,CAAC,GAAG/E,cAAA,CAAgB,EAAE,EAAlBiB,EAAE,CAAiB;EACrC,OAAOgD,eAAA,CAAAC,KAAA,CACJrB,KAAK,IAAI;IACR,MAAMe,eAAA,CAAAO,UAAA,CAAAC,eAAA,CAAA/D,QAAA,EAAAwC,KAAK,CAA8B;EAC3C,CAAC,EACD,CAAC,CAAC6B,CAAC,EAAExB,CAAC,CAAC,KAAK,CAAC4B,CAAC,EAAE5B,CAAC,CAAC,EAJb6B,IAAI,CAKV;AACH"}
@@ -0,0 +1,6 @@
1
+ // codegen:start { preset: barrel, include: ./Pure/*.ts }
2
+ export * from "./Pure/api.mjs";
3
+ export * from "./Pure/definition.mjs";
4
+ export * from "./Pure/instances.mjs";
5
+ export * from "./Pure/runtime.mjs";
6
+ //# sourceMappingURL=Pure.mjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Pure.mjs","names":[],"sources":["../../_src/control/Pure.ts"],"sourcesContent":[null],"mappings":"AAAA;AACA,cAAc,gBAAe;AAC7B,cAAc,uBAAsB;AACpC,cAAc,sBAAqB;AACnC,cAAc,oBAAmB"}
@@ -1,15 +1,15 @@
1
1
  const fileName_1 = "(@fncts/base) src/data/Showable/show.ts";
2
2
  import * as tsplus_module_1 from "@fncts/base/data/CaseClass";
3
3
  import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashMap/api";
4
- import * as tsplus_module_3 from "@fncts/base/control/Z/runtime";
5
- import * as tsplus_module_4 from "@fncts/base/control/Z/api";
4
+ import * as tsplus_module_3 from "@fncts/base/control/Pure/runtime";
5
+ import * as tsplus_module_4 from "@fncts/base/control/Pure/api";
6
6
  import * as tsplus_module_5 from "@fncts/base/data/Maybe/destructors";
7
7
  import * as tsplus_module_6 from "@fncts/base/data/Showable/definition";
8
8
  import * as tsplus_module_7 from "@fncts/base/collection/immutable/Conc/api/empty";
9
9
  import * as tsplus_module_8 from "@fncts/base/collection/immutable/Conc/definition";
10
10
  import * as tsplus_module_9 from "@fncts/base/collection/immutable/Conc/api";
11
- import * as tsplus_module_10 from "@fncts/base/control/Z/definition";
12
- import * as tsplus_module_11 from "@fncts/base/control/Z/instances";
11
+ import * as tsplus_module_10 from "@fncts/base/control/Pure/definition";
12
+ import * as tsplus_module_11 from "@fncts/base/control/Pure/instances";
13
13
  import * as tsplus_module_12 from "@fncts/base/collection/immutable/Conc/constructors";
14
14
  import * as tsplus_module_13 from "@fncts/base/collection/Iterable/api/traverseConc";
15
15
  import { tuple } from "@fncts/base/data/function";
@@ -56,21 +56,21 @@ export function showWithOptions(value, options) {
56
56
  return tsplus_module_3.unsafeRunStateResult(getShowContext(options))(_show(value));
57
57
  }
58
58
  export function _show(value) {
59
- return tsplus_module_4.getsZ(context => {
59
+ return tsplus_module_4.getsPure(context => {
60
60
  if (value === undefined) {
61
- return tsplus_module_4.succeedNow(context.stylize("undefined", "undefined"), fileName_1 + ":139:26");
61
+ return tsplus_module_4.succeedNow(context.stylize("undefined", "undefined"), fileName_1 + ":139:29");
62
62
  }
63
63
  if (value === null) {
64
- return tsplus_module_4.succeedNow(context.stylize("null", "null"), fileName_1 + ":142:26");
64
+ return tsplus_module_4.succeedNow(context.stylize("null", "null"), fileName_1 + ":142:29");
65
65
  }
66
66
  if (!isObject(value) && !isFunction(value)) {
67
- return tsplus_module_4.succeedNow(_showPrimitive(context, value), fileName_1 + ":145:26");
67
+ return tsplus_module_4.succeedNow(_showPrimitive(context, value), fileName_1 + ":145:29");
68
68
  }
69
69
  return showValue(value);
70
70
  });
71
71
  }
72
72
  function showValue(value) {
73
- return tsplus_module_4.getsZ(context => {
73
+ return tsplus_module_4.getsPure(context => {
74
74
  if (context.seen.findIndex(v => v === value) !== -1) {
75
75
  return tsplus_module_4.map(index => context.stylize(`[Circular *${index}]`, "special"))(tsplus_module_4.modify(context => tsplus_module_5.match(() => [context.circular.size + 1, context.copy({
76
76
  circular: tsplus_module_2.set(value, context.circular.size + 1)(context.circular)
@@ -110,7 +110,7 @@ function getInspectionInfo(context, value, typedArray) {
110
110
  let keys = [];
111
111
  let tag = value[Symbol.toStringTag];
112
112
  let base = "";
113
- let formatter = _ => tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":227:44");
113
+ let formatter = _ => tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":227:47");
114
114
  let braces = ["", ""];
115
115
  let noIterator = true;
116
116
  let extrasType = OBJECT_TYPE;
@@ -219,7 +219,7 @@ function getInspectionInfo(context, value, typedArray) {
219
219
  return inspectionEarlyReturn(`${getPrefix(constructor, tag, "WeakSet")}{}`);
220
220
  } else if (isWeakMap(value)) {
221
221
  return inspectionEarlyReturn(`${getPrefix(constructor, tag, "WeakMap")}{}`);
222
- } else if (tsplus_module_10.isZ(value)) {
222
+ } else if (tsplus_module_10.isPure(value)) {
223
223
  return constructor !== null ? inspectionEarlyReturn(`Z (${constructor}) {}`) : inspectionEarlyReturn("Z {}");
224
224
  } else {
225
225
  if (keys.length === 0) {
@@ -251,13 +251,13 @@ function showRaw(value, typedArray) {
251
251
  if (info.constructor !== null) {
252
252
  constructorName = `[${constructorName}]`;
253
253
  }
254
- return tsplus_module_4.zipRight(tsplus_module_4.succeedNow(context.stylize(constructorName, "special"), fileName_1 + ":384:32"))(tsplus_module_4.update(context => context.copy({
254
+ return tsplus_module_4.zipRight(tsplus_module_4.succeedNow(context.stylize(constructorName, "special"), fileName_1 + ":384:35"))(tsplus_module_4.update(context => context.copy({
255
255
  recurseTimes: context.recurseTimes - 1,
256
256
  currentDepth: context.currentDepth - 1
257
257
  })));
258
258
  }
259
259
  if (info._tag === "InspectionEarlyReturn") {
260
- return tsplus_module_4.succeedNow(info.shown, fileName_1 + ":387:28");
260
+ return tsplus_module_4.succeedNow(info.shown, fileName_1 + ":387:31");
261
261
  } else {
262
262
  return tsplus_module_4.zipRight(tsplus_module_4.defer(() => {
263
263
  let keys;
@@ -268,7 +268,7 @@ function showRaw(value, typedArray) {
268
268
  switch (info._tag) {
269
269
  case "InspectionInfo":
270
270
  {
271
- base = tsplus_module_4.succeedNow(info.base, fileName_1 + ":401:36");
271
+ base = tsplus_module_4.succeedNow(info.base, fileName_1 + ":401:39");
272
272
  keys = tsplus_module_4.crossWith(tsplus_module_9._traverse(info.protoProps)(tsplus_module_11.Applicative)(key => showProperty(value, key, PROTO_TYPE)), (k1, k2) => tsplus_module_9.concat(k2)(k1))(tsplus_module_9._traverse(tsplus_module_12.from(info.keys))(tsplus_module_11.Applicative)(key => showProperty(value, key, info.extrasType)));
273
273
  indices = info.formatter(value);
274
274
  braces = info.braces;
@@ -279,11 +279,11 @@ function showRaw(value, typedArray) {
279
279
  {
280
280
  const externalComputation = info.computation;
281
281
  if (externalComputation._tag === "Primitive") {
282
- return tsplus_module_4.getsZ(context => tsplus_module_4.map(str => str.replace(/\n/g, `\n${" ".repeat(context.indentationLevel)}`))(externalComputation.computation));
282
+ return tsplus_module_4.getsPure(context => tsplus_module_4.map(str => str.replace(/\n/g, `\n${" ".repeat(context.indentationLevel)}`))(externalComputation.computation));
283
283
  } else {
284
- base = externalComputation.base || tsplus_module_4.succeedNow("", fileName_1 + ":422:72");
285
- keys = externalComputation.keys || tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":423:72");
286
- indices = externalComputation.indices || tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":424:75");
284
+ base = externalComputation.base || tsplus_module_4.succeedNow("", fileName_1 + ":422:75");
285
+ keys = externalComputation.keys || tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":423:75");
286
+ indices = externalComputation.indices || tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":424:78");
287
287
  braces = externalComputation.braces || ["", ""];
288
288
  extrasType = externalComputation.extrasType || OBJECT_TYPE;
289
289
  }
@@ -291,7 +291,7 @@ function showRaw(value, typedArray) {
291
291
  }
292
292
  }
293
293
  const output = tsplus_module_4.crossWith(keys, (idxs, ks) => tsplus_module_9.concat(ks)(idxs))(indices);
294
- const baseWithRef = tsplus_module_4.getsZ(context => tsplus_module_5.match(() => base, index => tsplus_module_4.map(base => {
294
+ const baseWithRef = tsplus_module_4.getsPure(context => tsplus_module_5.match(() => base, index => tsplus_module_4.map(base => {
295
295
  const ref = context.stylize(`<ref *${index}>`, "special");
296
296
  return base === "" ? ref : `${ref} ${base}`;
297
297
  })(base))(tsplus_module_2.get(value)(context.circular)));
@@ -324,7 +324,7 @@ function showRaw(value, typedArray) {
324
324
  recurseTimes: context.recurseTimes + 1,
325
325
  currentDepth: _.recurseTimes + 1
326
326
  }))))));
327
- }, fileName_1 + ":393:18"))(tsplus_module_4.update(context => {
327
+ }, fileName_1 + ":393:21"))(tsplus_module_4.update(context => {
328
328
  context.seen.push(value);
329
329
  return context;
330
330
  }));
@@ -387,7 +387,7 @@ function showMap(value) {
387
387
  }))));
388
388
  }
389
389
  function showTypedArray(value) {
390
- return tsplus_module_4.getsZ(context => tsplus_module_4.defer(() => {
390
+ return tsplus_module_4.getsPure(context => tsplus_module_4.defer(() => {
391
391
  const maxLength = Math.min(Math.max(0, context.maxArrayLength), value.length);
392
392
  const remaining = value.length - maxLength;
393
393
  let output = tsplus_module_7.empty();
@@ -401,13 +401,13 @@ function showTypedArray(value) {
401
401
  if (context.showHidden) {
402
402
  return tsplus_module_4.zipLeft(tsplus_module_4.update(_ => _.copy({
403
403
  indentationLevel: _.indentationLevel - 2
404
- })))(tsplus_module_4.zipRight(tsplus_module_4.flatMap(output => tsplus_module_4.map(shownKeys => tsplus_module_9.concat(shownKeys)(output))(tsplus_module_9._traverse(tsplus_module_12.make("BYTES_PER_ELEMENT", "length", "byteLength", "byteOffset", "buffer"))(tsplus_module_11.Applicative)(key => tsplus_module_4.map(shown => `[${key}]: ${shown}`)(_show(value[key])))))(tsplus_module_4.succeedNow(output, fileName_1 + ":572:25")))(tsplus_module_4.update(_ => _.copy({
404
+ })))(tsplus_module_4.zipRight(tsplus_module_4.flatMap(output => tsplus_module_4.map(shownKeys => tsplus_module_9.concat(shownKeys)(output))(tsplus_module_9._traverse(tsplus_module_12.make("BYTES_PER_ELEMENT", "length", "byteLength", "byteOffset", "buffer"))(tsplus_module_11.Applicative)(key => tsplus_module_4.map(shown => `[${key}]: ${shown}`)(_show(value[key])))))(tsplus_module_4.succeedNow(output, fileName_1 + ":572:28")))(tsplus_module_4.update(_ => _.copy({
405
405
  indentationLevel: _.indentationLevel + 2
406
406
  }))));
407
407
  } else {
408
- return tsplus_module_4.succeedNow(output, fileName_1 + ":582:28");
408
+ return tsplus_module_4.succeedNow(output, fileName_1 + ":582:31");
409
409
  }
410
- }, fileName_1 + ":557:12"));
410
+ }, fileName_1 + ":557:15"));
411
411
  }
412
412
  function showArrayBuffer(value) {
413
413
  return tsplus_module_4.gets(context => {
@@ -427,7 +427,7 @@ function showArrayBuffer(value) {
427
427
  }
428
428
  const maxEntries = 2 ** 32 - 2;
429
429
  function showSpecialArray(value, maxLength, currentComputation, currentIndex, currentLength) {
430
- return tsplus_module_4.getsZ(context => {
430
+ return tsplus_module_4.getsPure(context => {
431
431
  const keys = Object.keys(value);
432
432
  let index = currentIndex;
433
433
  let i = currentIndex;
@@ -469,7 +469,7 @@ function showSpecialArray(value, maxLength, currentComputation, currentIndex, cu
469
469
  }
470
470
  function showArray(value) {
471
471
  return tsplus_module_4.flatMap(([remaining, chunk]) => {
472
- let computation = tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":668:35");
472
+ let computation = tsplus_module_4.succeedNow(tsplus_module_7.empty(), fileName_1 + ":668:38");
473
473
  for (let i = 0; i < chunk.length; i++) {
474
474
  if (!Object.prototype.hasOwnProperty.call(value, i)) {
475
475
  return showSpecialArray(value, chunk.length, computation, i, i);
@@ -499,7 +499,7 @@ function showChunk(value) {
499
499
  }));
500
500
  }
501
501
  export function showProperty(value, key, type, desc) {
502
- return tsplus_module_4.getsZ(context => tsplus_module_4.map(([descriptor, extra, shown]) => {
502
+ return tsplus_module_4.getsPure(context => tsplus_module_4.map(([descriptor, extra, shown]) => {
503
503
  if (type === ARRAY_TYPE) {
504
504
  return shown;
505
505
  }
@@ -534,13 +534,13 @@ export function showProperty(value, key, type, desc) {
534
534
  indentationLevel: _.indentationLevel + diff
535
535
  })))));
536
536
  } else if (isDefined(descriptor.get)) {
537
- return tsplus_module_4.succeedNow(tuple(descriptor, " ", `[${descriptor.set ? "Getter/Settter" : "Getter"}]`), fileName_1 + ":722:28");
537
+ return tsplus_module_4.succeedNow(tuple(descriptor, " ", `[${descriptor.set ? "Getter/Settter" : "Getter"}]`), fileName_1 + ":724:31");
538
538
  } else if (isDefined(descriptor.set)) {
539
- return tsplus_module_4.succeedNow(tuple(descriptor, " ", "Setter"), fileName_1 + ":724:28");
539
+ return tsplus_module_4.succeedNow(tuple(descriptor, " ", "Setter"), fileName_1 + ":726:31");
540
540
  } else {
541
- return tsplus_module_4.succeedNow(tuple(descriptor, " ", "undefined"), fileName_1 + ":726:28");
541
+ return tsplus_module_4.succeedNow(tuple(descriptor, " ", "undefined"), fileName_1 + ":728:31");
542
542
  }
543
- }, fileName_1 + ":703:12")));
543
+ }, fileName_1 + ":703:15")));
544
544
  }
545
545
  /**
546
546
  * Groups the formatted elements of an array-like structure into chunks limited by the