@explorable-viz/fluid 0.7.76 → 0.7.78

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.
@@ -27879,21 +27879,17 @@ var showEdgeList = (es) => joinWith("\n")([
27879
27879
  "digraph G {",
27880
27880
  ...arrayMap((v) => " " + v)([
27881
27881
  "rankdir = RL",
27882
- ...arrayMap((v) => v._1 + " -> {" + joinWith(", ")(fromFoldable4(map2(ordString)(unsafeCoerce)(v._2._1))) + "}")(fromFoldable13(reverse2(es)))
27882
+ ...arrayMap((v) => v._1 + " -> {" + joinWith(", ")(fromFoldable4(map2(ordString)(unsafeCoerce)(v._2))) + "}")(fromFoldable13(reverse2(es)))
27883
27883
  ]),
27884
27884
  "}"
27885
27885
  ]);
27886
- var pack1 = (x2) => (k) => k(showString)(x2);
27887
27886
  var toEdgeList = (dictGraph) => (g) => {
27888
27887
  const $0 = (v) => {
27889
27888
  if (v._1.tag === "Nil") {
27890
27889
  return $Step("Done", v._2);
27891
27890
  }
27892
27891
  if (v._1.tag === "Cons") {
27893
- return $Step(
27894
- "Loop",
27895
- $Tuple(v._1._2, $List("Cons", $Tuple(v._1._1, $Tuple(dictGraph.outN(g)(v._1._1), pack1(""))), v._2))
27896
- );
27892
+ return $Step("Loop", $Tuple(v._1._2, $List("Cons", $Tuple(v._1._1, dictGraph.outN(g)(v._1._1)), v._2)));
27897
27893
  }
27898
27894
  fail();
27899
27895
  };
@@ -28165,15 +28161,14 @@ var $GraphImpl = (_1) => ({ tag: "GraphImpl", _1 });
28165
28161
  var eqSet = { eq: (v) => (v1) => eqMap(eqVertex)(eqUnit).eq(v)(v1) };
28166
28162
  var eq = /* @__PURE__ */ (() => eqObject(eqSet).eq)();
28167
28163
  var fromFoldable6 = /* @__PURE__ */ foldlArray((m) => (a) => insert3(ordVertex)(a)()(m))(Leaf2);
28168
- var pack = (x2) => (k) => k(showString)(x2);
28169
28164
  var toUnfoldable6 = /* @__PURE__ */ toUnfoldable4(unfoldableList);
28170
28165
  var fromFoldable15 = /* @__PURE__ */ (() => foldableSet.foldr(Cons)(Nil))();
28171
28166
  var fromFoldable23 = /* @__PURE__ */ (() => foldableSet.foldl((m) => (a) => insert3(ordVertex)(a)()(m))(Leaf2))();
28172
28167
  var toUnfoldable12 = /* @__PURE__ */ toAscUnfoldable(unfoldableArray);
28173
28168
  var fromFoldable32 = /* @__PURE__ */ fromFoldable2(ordVertex)(foldableArray);
28174
28169
  var verticesGraphImpl = { vertices: (v) => v._1.vertices };
28175
- var eqGraphImpl = { eq: (v) => (v1) => eq(_fmapObject(v._1.out, fst))(_fmapObject(v1._1.out, fst)) };
28176
- var sinks$p = (m) => fromFoldable6(arrayMap((x2) => x2._1)(filter((x2) => x2._2._1.tag === "Leaf")(toArrayWithKey(Tuple)(m))));
28170
+ var eqGraphImpl = { eq: (v) => (v1) => eq(v._1.out)(v1._1.out) };
28171
+ var sinks$p = (m) => fromFoldable6(arrayMap((x2) => x2._1)(filter((x2) => x2._2.tag === "Leaf")(toArrayWithKey(Tuple)(m))));
28177
28172
  var init5 = (\u03B1s) => () => {
28178
28173
  const obj = {};
28179
28174
  return monadRecST.tailRecM((v) => {
@@ -28185,7 +28180,7 @@ var init5 = (\u03B1s) => () => {
28185
28180
  const $1 = v._1._2;
28186
28181
  const $2 = v._2;
28187
28182
  return () => {
28188
- $2[$0] = $Tuple(Leaf2, pack("uninit: init"));
28183
+ $2[$0] = Leaf2;
28189
28184
  return $Step("Loop", $Tuple($1, $2));
28190
28185
  };
28191
28186
  }
@@ -28221,7 +28216,7 @@ var addIfMissing = (acc) => (v) => {
28221
28216
  return () => {
28222
28217
  const v1 = $0();
28223
28218
  if (v1.tag === "Nothing") {
28224
- acc[v] = $Tuple(Leaf2, pack("uninit: missing"));
28219
+ acc[v] = Leaf2;
28225
28220
  return acc;
28226
28221
  }
28227
28222
  if (v1.tag === "Just") {
@@ -28255,28 +28250,27 @@ var outMap = (\u03B1s) => (es) => {
28255
28250
  if (v._1.tag === "Cons") {
28256
28251
  const $1 = v._2;
28257
28252
  const $2 = v._1._2;
28258
- const $3 = v._1._1._2._2;
28259
- const $4 = v._1._1._1;
28260
- const $5 = v._1._1._2._1;
28261
- const $6 = peek($4)($1);
28253
+ const $3 = v._1._1._1;
28254
+ const $4 = v._1._1._2;
28255
+ const $5 = peek($3)($1);
28262
28256
  return () => {
28263
- const $7 = $6();
28257
+ const $6 = $5();
28264
28258
  if ((() => {
28265
- if ($7.tag === "Nothing") {
28259
+ if ($6.tag === "Nothing") {
28266
28260
  return true;
28267
28261
  }
28268
- if ($7.tag === "Just") {
28269
- return eqMap(eqVertex)(eqUnit).eq($7._1._1)(Leaf2);
28262
+ if ($6.tag === "Just") {
28263
+ return eqMap(eqVertex)(eqUnit).eq($6._1)(Leaf2);
28270
28264
  }
28271
28265
  fail();
28272
28266
  })()) {
28273
- const \u03B2s$p = toUnfoldable6($5);
28267
+ const \u03B2s$p = toUnfoldable6($4);
28274
28268
  monadRecST.tailRecM(assertPresent($1))(\u03B2s$p)();
28275
- $1[$4] = $Tuple($5, $3);
28269
+ $1[$3] = $4;
28276
28270
  const acc$p = addIfMissing$p(\u03B2s$p)($1)();
28277
28271
  return $Step("Loop", $Tuple($2, acc$p));
28278
28272
  }
28279
- return throwException(error("Duplicate edge list entry for " + showStringImpl($4)))()();
28273
+ return throwException(error("Duplicate edge list entry for " + showStringImpl($3)))()();
28280
28274
  };
28281
28275
  }
28282
28276
  fail();
@@ -28293,38 +28287,37 @@ var inMap = (\u03B1s) => (es) => {
28293
28287
  }
28294
28288
  if (v._1.tag === "Cons") {
28295
28289
  const $1 = v._1._2;
28296
- const $2 = v._1._1._2._2;
28297
- const $3 = v._1._1._1;
28298
- const $4 = monadRecST.tailRecM((v2) => {
28299
- if (v2._1.tag === "Nil") {
28300
- return () => $Step("Done", v2._2);
28290
+ const $2 = v._1._1._1;
28291
+ const $3 = monadRecST.tailRecM((v1) => {
28292
+ if (v1._1.tag === "Nil") {
28293
+ return () => $Step("Done", v1._2);
28301
28294
  }
28302
- if (v2._1.tag === "Cons") {
28303
- const $42 = v2._2;
28304
- const $5 = v2._1._1;
28305
- const $6 = v2._1._2;
28306
- const $7 = peek($5)($42);
28295
+ if (v1._1.tag === "Cons") {
28296
+ const $32 = v1._2;
28297
+ const $4 = v1._1._1;
28298
+ const $5 = v1._1._2;
28299
+ const $6 = peek($4)($32);
28307
28300
  return () => {
28308
- const v1 = $7();
28301
+ const v1$1 = $6();
28309
28302
  const acc$p = (() => {
28310
- if (v1.tag === "Nothing") {
28311
- $42[$5] = $Tuple($$$Map("Two", Leaf2, $3, void 0, Leaf2), $2);
28312
- return $42;
28303
+ if (v1$1.tag === "Nothing") {
28304
+ $32[$4] = $$$Map("Two", Leaf2, $2, void 0, Leaf2);
28305
+ return $32;
28313
28306
  }
28314
- if (v1.tag === "Just") {
28315
- $42[$5] = $Tuple(insert3(ordVertex)($3)()(v1._1._1), $2);
28316
- return $42;
28307
+ if (v1$1.tag === "Just") {
28308
+ $32[$4] = insert3(ordVertex)($2)()(v1$1._1);
28309
+ return $32;
28317
28310
  }
28318
28311
  fail();
28319
28312
  })();
28320
- return $Step("Loop", $Tuple($6, acc$p));
28313
+ return $Step("Loop", $Tuple($5, acc$p));
28321
28314
  };
28322
28315
  }
28323
28316
  fail();
28324
- })($Tuple(toUnfoldable6(v._1._1._2._1), v._2));
28317
+ })($Tuple(toUnfoldable6(v._1._1._2), v._2));
28325
28318
  return () => {
28326
- const a = $4();
28327
- const acc$p = addIfMissing(a)($3)();
28319
+ const a = $3();
28320
+ const acc$p = addIfMissing(a)($2)();
28328
28321
  return $Step("Loop", $Tuple($1, acc$p));
28329
28322
  };
28330
28323
  }
@@ -28333,8 +28326,7 @@ var inMap = (\u03B1s) => (es) => {
28333
28326
  };
28334
28327
  };
28335
28328
  var graphGraphImpl = {
28336
- outN: (v) => (\u03B1) => definitely("in graph")(_lookup(Nothing, Just, \u03B1, v._1.out))._1,
28337
- vertexData: (v) => (\u03B1) => definitely("in graph")(_lookup(Nothing, Just, \u03B1, v._1.out))._2,
28329
+ outN: (v) => (\u03B1) => definitely("in graph")(_lookup(Nothing, Just, \u03B1, v._1.out)),
28338
28330
  inN: (g) => graphGraphImpl.outN(graphGraphImpl.op(g)),
28339
28331
  elem: (\u03B1) => (v) => {
28340
28332
  const $0 = _lookup(Nothing, Just, \u03B1, v._1.out);
@@ -28373,7 +28365,7 @@ var graphGraphImpl = {
28373
28365
  topologicalSort: (v) => reverse2(topologicalSort(ordVertex)(fromFoldable32(arrayMap((x2) => $Tuple(
28374
28366
  x2._1,
28375
28367
  $Tuple(void 0, x2._2)
28376
- ))(toUnfoldable12(_fmapObject(_fmapObject(v._1.out, fst), toUnfoldable6)))))),
28368
+ ))(toUnfoldable12(_fmapObject(v._1.out, toUnfoldable6)))))),
28377
28369
  Eq0: () => eqGraphImpl,
28378
28370
  Vertices1: () => verticesGraphImpl
28379
28371
  };
@@ -34062,32 +34054,6 @@ var Dictionary3 = (value0) => $BaseVal("Dictionary", value0);
34062
34054
  var DictRep = (x2) => x2;
34063
34055
  var MatrixRep = (x2) => x2;
34064
34056
  var Env = (x2) => x2;
34065
- var showBaseVal = {
34066
- show: (v) => {
34067
- if (v.tag === "Int") {
34068
- return showIntImpl(v._1);
34069
- }
34070
- if (v.tag === "Float") {
34071
- return showNumberImpl(v._1);
34072
- }
34073
- if (v.tag === "Str") {
34074
- return showStringImpl(v._1);
34075
- }
34076
- if (v.tag === "Constr") {
34077
- return showStringImpl(v._1);
34078
- }
34079
- if (v.tag === "Dictionary") {
34080
- return "Dictionary";
34081
- }
34082
- if (v.tag === "Matrix") {
34083
- return "Matrix";
34084
- }
34085
- if (v.tag === "Fun") {
34086
- return "Function";
34087
- }
34088
- fail();
34089
- }
34090
- };
34091
34057
  var isEmptyEnv = { isEmpty: (v) => isEmpty(v) };
34092
34058
  var setEnvString = {
34093
34059
  empty,
@@ -34898,7 +34864,7 @@ var string2 = {
34898
34864
  return typeError(v)("Str");
34899
34865
  }
34900
34866
  };
34901
- var unary = (dictShow) => (dictBoundedJoinSemilattice) => {
34867
+ var unary = (dictBoundedJoinSemilattice) => {
34902
34868
  const bot2 = dictBoundedJoinSemilattice.bot;
34903
34869
  return (id3) => (f) => $Tuple(
34904
34870
  id3,
@@ -34916,17 +34882,17 @@ var unary = (dictShow) => (dictBoundedJoinSemilattice) => {
34916
34882
  const $0 = dictMonadError.MonadThrow0().Monad0().Bind1().Apply0().Functor0();
34917
34883
  return (v) => {
34918
34884
  if (v.tag === "Cons" && v._2.tag === "Nil") {
34919
- const v$p = f.fwd(f.i.unpack(v._1._2));
34885
+ const $1 = v._1._2;
34920
34886
  return $0.map((() => {
34921
- const $1 = f.o;
34922
- return (v$1) => $Val(v$1._2, $1.pack(v$1._1));
34923
- })())($0.map((v2) => $Tuple(v$p, v2))(dictMonadWithGraphAlloc.new($$$Map(
34887
+ const $2 = f.o;
34888
+ return (v$1) => $Val(v$1._2, $2.pack(v$1._1));
34889
+ })())($0.map((v2) => $Tuple(f.fwd(f.i.unpack($1)), v2))(dictMonadWithGraphAlloc.new($$$Map(
34924
34890
  "Two",
34925
34891
  Leaf2,
34926
34892
  v._1._1,
34927
34893
  void 0,
34928
34894
  Leaf2
34929
- ))((k) => k(dictShow)(v$p))));
34895
+ ))));
34930
34896
  }
34931
34897
  fail();
34932
34898
  };
@@ -35055,7 +35021,7 @@ var $$boolean = {
35055
35021
  return typeError(v)("Boolean");
35056
35022
  }
35057
35023
  };
35058
- var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
35024
+ var binaryZero = (dictBoundedJoinSemilattice) => {
35059
35025
  const bot2 = dictBoundedJoinSemilattice.bot;
35060
35026
  return (dictIsZero) => (id3) => (f) => $Tuple(
35061
35027
  id3,
@@ -35075,11 +35041,10 @@ var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
35075
35041
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
35076
35042
  const $1 = f.i.unpack(v._1._2);
35077
35043
  const $2 = f.i.unpack(v._2._1._2);
35078
- const v$p = f.fwd($1)($2);
35079
35044
  return $0.map((() => {
35080
35045
  const $3 = f.o;
35081
35046
  return (v$1) => $Val(v$1._2, $3.pack(v$1._1));
35082
- })())($0.map((v4) => $Tuple(v$p, v4))(dictMonadWithGraphAlloc.new((() => {
35047
+ })())($0.map((v4) => $Tuple(f.fwd($1)($2), v4))(dictMonadWithGraphAlloc.new((() => {
35083
35048
  if (dictIsZero.isZero($1)) {
35084
35049
  return $$$Map("Two", Leaf2, v._1._1, void 0, Leaf2);
35085
35050
  }
@@ -35093,7 +35058,7 @@ var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
35093
35058
  void 0,
35094
35059
  Leaf2
35095
35060
  ));
35096
- })())((k) => k(dictShow)(v$p))));
35061
+ })())));
35097
35062
  }
35098
35063
  fail();
35099
35064
  };
@@ -35144,7 +35109,7 @@ var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
35144
35109
  )
35145
35110
  );
35146
35111
  };
35147
- var binary = (dictShow) => (dictBoundedJoinSemilattice) => {
35112
+ var binary = (dictBoundedJoinSemilattice) => {
35148
35113
  const bot2 = dictBoundedJoinSemilattice.bot;
35149
35114
  return (id3) => (f) => $Tuple(
35150
35115
  id3,
@@ -35162,17 +35127,18 @@ var binary = (dictShow) => (dictBoundedJoinSemilattice) => {
35162
35127
  const $0 = dictMonadError.MonadThrow0().Monad0().Bind1().Apply0().Functor0();
35163
35128
  return (v) => {
35164
35129
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
35165
- const v$p = f.fwd(f.i1.unpack(v._1._2))(f.i2.unpack(v._2._1._2));
35130
+ const $1 = v._1._2;
35131
+ const $2 = v._2._1._2;
35166
35132
  return $0.map((() => {
35167
- const $1 = f.o;
35168
- return (v$1) => $Val(v$1._2, $1.pack(v$1._1));
35169
- })())($0.map((v3) => $Tuple(v$p, v3))(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
35133
+ const $3 = f.o;
35134
+ return (v$1) => $Val(v$1._2, $3.pack(v$1._1));
35135
+ })())($0.map((v3) => $Tuple(f.fwd(f.i1.unpack($1))(f.i2.unpack($2)), v3))(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
35170
35136
  "Two",
35171
35137
  Leaf2,
35172
35138
  v._1._1,
35173
35139
  void 0,
35174
35140
  Leaf2
35175
- )))((k) => k(dictShow)(v$p))));
35141
+ )))));
35176
35142
  }
35177
35143
  fail();
35178
35144
  };
@@ -37719,9 +37685,9 @@ var drawableTableView = {
37719
37685
  var arrayDictToArray2 = (x2) => arrayMap((a) => arrayMap((a$1) => $$get2(showString)(mapDictString)(a$1)(a))(x2));
37720
37686
 
37721
37687
  // output-es/App.View/index.js
37722
- var pack2 = (x2) => (k) => k(drawableBarChart)(x2);
37723
- var pack12 = (x2) => (k) => k(drawableLineChart)(x2);
37724
- var pack22 = (x2) => (k) => k(drawableScatterPlot)(x2);
37688
+ var pack = (x2) => (k) => k(drawableBarChart)(x2);
37689
+ var pack1 = (x2) => (k) => k(drawableLineChart)(x2);
37690
+ var pack2 = (x2) => (k) => k(drawableScatterPlot)(x2);
37725
37691
  var pack3 = (x2) => (k) => k(drawableParagraphSelState)(x2);
37726
37692
  var pack4 = (x2) => (k) => k(drawableMultiView)(x2);
37727
37693
  var identity28 = (x2) => x2;
@@ -37731,13 +37697,13 @@ var view = () => (v) => (v1) => (v2) => {
37731
37697
  if (v1._2.tag === "Constr") {
37732
37698
  if (v1._2._2.tag === "Cons" && v1._2._2._2.tag === "Nil") {
37733
37699
  if (v1._2._1 === "BarChart") {
37734
- return pack2(dict(reflectDictSelState\u{1D54A}$x215ValS22.from())(v1._2._2._1));
37700
+ return pack(dict(reflectDictSelState\u{1D54A}$x215ValS22.from())(v1._2._2._1));
37735
37701
  }
37736
37702
  if (v1._2._1 === "LineChart") {
37737
- return pack12(dict(reflectDictSelState\u{1D54A}$x215ValS13.from())(v1._2._2._1));
37703
+ return pack1(dict(reflectDictSelState\u{1D54A}$x215ValS13.from())(v1._2._2._1));
37738
37704
  }
37739
37705
  if (v1._2._1 === "ScatterPlot") {
37740
- return pack22(dict(reflectDictSelState\u{1D54A}$x215ValS5.from())(v1._2._2._1));
37706
+ return pack2(dict(reflectDictSelState\u{1D54A}$x215ValS5.from())(v1._2._2._1));
37741
37707
  }
37742
37708
  if (v1._2._1 === "Paragraph") {
37743
37709
  return pack3(reflectValSelState\u{1D54A}Paragr.from()(v1._2._2._1));
@@ -37853,8 +37819,8 @@ var monadWithGraphWithGraphT = (dictMonad) => {
37853
37819
  const $1 = monadStateStateT(dictMonad);
37854
37820
  const monadStateT = { Applicative0: () => applicativeStateT(dictMonad), Bind1: () => bindStateT(dictMonad) };
37855
37821
  return {
37856
- extend: (\u03B1) => (\u03B1s) => (vd) => {
37857
- const $2 = Cons($Tuple(\u03B1, $Tuple(\u03B1s, vd)));
37822
+ extend: (\u03B1) => (\u03B1s) => {
37823
+ const $2 = Cons($Tuple(\u03B1, \u03B1s));
37858
37824
  const $3 = $1.state((s) => $Tuple(void 0, $2(s)));
37859
37825
  return (s) => $0.map((v1) => $Tuple(void 0, v1._2))($3(s));
37860
37826
  },
@@ -37916,10 +37882,10 @@ var runWithGraphT = (dictMonad) => {
37916
37882
  };
37917
37883
  };
37918
37884
  var runWithGraphT_spy = (dictMonad) => {
37919
- const runWithGraphT1 = runWithGraphT(dictMonad);
37885
+ const runWithGraphT2 = runWithGraphT(dictMonad);
37920
37886
  const spyFunWhenM2 = spyFunWhenM(dictMonad.Bind1().Apply0().Functor0());
37921
37887
  return (dictGraph) => {
37922
- const $0 = runWithGraphT1(dictGraph);
37888
+ const $0 = runWithGraphT2(dictGraph);
37923
37889
  const $1 = spyFunWhenM2(false)("runWithGraphT")(showVertices)((x2) => showEdgeList(toEdgeList(dictGraph)(x2._1)));
37924
37890
  return (x2) => $1($0(x2));
37925
37891
  };
@@ -37934,7 +37900,7 @@ var monadWithGraphAllocWithGr = (dictMonadError) => {
37934
37900
  const monadWithGraphWithGraphT1 = monadWithGraphWithGraphT(monadStateT);
37935
37901
  const monadErrorStateT2 = monadErrorStateT(monadErrorStateT(dictMonadError));
37936
37902
  return {
37937
- new: (\u03B1s) => (vd) => bindStateT2.bind(fresh1)((\u03B1) => bindStateT2.bind(monadWithGraphWithGraphT1.extend(\u03B1)(\u03B1s)(vd))(() => applicativeStateT(monadStateT).pure(\u03B1))),
37903
+ new: (\u03B1s) => bindStateT2.bind(fresh1)((\u03B1) => bindStateT2.bind(monadWithGraphWithGraphT1.extend(\u03B1)(\u03B1s))(() => applicativeStateT(monadStateT).pure(\u03B1))),
37938
37904
  MonadAlloc0: () => monadAllocWithGraphAllocT1,
37939
37905
  MonadError1: () => monadErrorStateT2,
37940
37906
  MonadWithGraph2: () => monadWithGraphWithGraphT1
@@ -37944,7 +37910,6 @@ var monadWithGraphAllocWithGr = (dictMonadError) => {
37944
37910
  // output-es/Graph.Slice/index.js
37945
37911
  var pure2 = /* @__PURE__ */ (() => applicativeStateT(monadIdentity).pure)();
37946
37912
  var extend3 = /* @__PURE__ */ (() => monadWithGraphWithGraphT(monadIdentity).extend)();
37947
- var pack7 = (x2) => (k) => k(showString)(x2);
37948
37913
  var tailRecM = /* @__PURE__ */ (() => monadRecStateT(monadRecIdentity).tailRecM)();
37949
37914
  var member4 = /* @__PURE__ */ (() => setSet(ordVertex).member)();
37950
37915
  var fromFoldable19 = /* @__PURE__ */ (() => foldableSet.foldr(Cons)(Nil))();
@@ -37970,7 +37935,7 @@ var fwdSlice = (dictGraph) => {
37970
37935
  fail();
37971
37936
  })();
37972
37937
  if (eqMap(eqVertex)(eqUnit).eq(\u03B2s)(dictGraph.outN($0)(v1.es._1._1))) {
37973
- return bindStateT(monadIdentity).bind(extend3(v1.es._1._1)(\u03B2s)(pack7("uninit: fwd")))(() => pure2($Step(
37938
+ return bindStateT(monadIdentity).bind(extend3(v1.es._1._1)(\u03B2s))(() => pure2($Step(
37974
37939
  "Loop",
37975
37940
  {
37976
37941
  pending: $$delete3(ordVertex)(v1.es._1._1)(v1.pending),
@@ -37995,12 +37960,10 @@ var bwdSlice = (dictGraph) => {
37995
37960
  return pure2($Step("Done", void 0));
37996
37961
  }
37997
37962
  if (v1.pending.tag === "Cons") {
37998
- const $2 = v1.pending._1._2._2;
37999
- const $3 = v1.pending._1._2._1;
38000
37963
  if (member4(v1.pending._1._1)(v1.visited)) {
38001
37964
  return pure2($Step("Loop", { visited: v1.visited, "\u03B1s": Nil, pending: v1.pending._2 }));
38002
37965
  }
38003
- return bindStateT(monadIdentity).bind(extend3(v1.pending._1._1)($3)(spyWhen(true)("Value found at " + showStringImpl(v1.pending._1._1))((v$1) => v$1((dictShow) => dictShow.show))($2)))(() => pure2($Step(
37966
+ return bindStateT(monadIdentity).bind(extend3(v1.pending._1._1)(v1.pending._1._2))(() => pure2($Step(
38004
37967
  "Loop",
38005
37968
  { visited: insert3(ordVertex)(v1.pending._1._1)()(v1.visited), "\u03B1s": Nil, pending: v1.pending._2 }
38006
37969
  )));
@@ -38014,7 +37977,7 @@ var bwdSlice = (dictGraph) => {
38014
37977
  {
38015
37978
  visited: v1.visited,
38016
37979
  "\u03B1s": foldableList.foldr(Cons)(v1["\u03B1s"]._2)(fromFoldable19(\u03B2s)),
38017
- pending: $List("Cons", $Tuple(v1["\u03B1s"]._1, $Tuple(\u03B2s, dictGraph.vertexData($0)(v1["\u03B1s"]._1))), v1.pending)
37980
+ pending: $List("Cons", $Tuple(v1["\u03B1s"]._1, \u03B2s), v1.pending)
38018
37981
  }
38019
37982
  ));
38020
37983
  }
@@ -38035,7 +37998,6 @@ var show22 = /* @__PURE__ */ (() => showSet(showString).show)();
38035
37998
  var toUnfoldable10 = /* @__PURE__ */ toUnfoldable4(unfoldableList);
38036
37999
  var union1 = /* @__PURE__ */ (() => setSet(ordString).union)();
38037
38000
  var fv = /* @__PURE__ */ (() => fVDict(fVElim).fv)();
38038
- var pack8 = (x2) => (k) => k(showBaseVal)(x2);
38039
38001
  var fromFoldable110 = /* @__PURE__ */ fromFoldable(foldableList);
38040
38002
  var greaterThanOrEq = /* @__PURE__ */ (() => {
38041
38003
  const $0 = ordTuple(ordInt)(ordInt);
@@ -38185,22 +38147,22 @@ var closeDefs = (dictMonadWithGraphAlloc) => {
38185
38147
  const traverse2 = traversableDict.traverse(Monad0.Applicative0());
38186
38148
  return (\u03B3) => (\u03C1) => (\u03B1s) => Functor0.map(Env)(traverse2((\u03C3) => {
38187
38149
  const \u03C1$p = forDefs(\u03C1)(\u03C3);
38188
- const v = $BaseVal(
38150
+ const $0 = $BaseVal(
38189
38151
  "Fun",
38190
38152
  $Fun(
38191
38153
  "Closure",
38192
38154
  (() => {
38193
- const $0 = union1(fv(\u03C1$p))(fVElim.fv(\u03C3));
38155
+ const $02 = union1(fv(\u03C1$p))(fVElim.fv(\u03C3));
38194
38156
  return filterWithKey((x2) => {
38195
- const $1 = setSet(ordString).member(x2)($0);
38196
- return (v2) => $1;
38157
+ const $1 = setSet(ordString).member(x2)($02);
38158
+ return (v) => $1;
38197
38159
  })(\u03B3);
38198
38160
  })(),
38199
38161
  \u03C1$p,
38200
38162
  \u03C3
38201
38163
  )
38202
38164
  );
38203
- return Functor0.map((f) => f(v))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(\u03B1s)(pack8(v))));
38165
+ return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(\u03B1s)));
38204
38166
  })(\u03C1));
38205
38167
  };
38206
38168
  var $$eval = (dictMonadWithGraphAlloc) => {
@@ -38225,22 +38187,13 @@ var $$eval = (dictMonadWithGraphAlloc) => {
38225
38187
  return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
38226
38188
  }
38227
38189
  if (v1.tag === "Int") {
38228
- return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8($BaseVal(
38229
- "Int",
38230
- v1._2
38231
- )))));
38190
+ return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
38232
38191
  }
38233
38192
  if (v1.tag === "Float") {
38234
- return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8($BaseVal(
38235
- "Float",
38236
- v1._2
38237
- )))));
38193
+ return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
38238
38194
  }
38239
38195
  if (v1.tag === "Str") {
38240
- return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8($BaseVal(
38241
- "Str",
38242
- v1._2
38243
- )))));
38196
+ return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
38244
38197
  }
38245
38198
  if (v1.tag === "Dictionary") {
38246
38199
  const $0 = v1._1;
@@ -38249,8 +38202,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
38249
38202
  return (a) => $1(a)(v2);
38250
38203
  })()))(v1._2)))((v3) => {
38251
38204
  const v4 = unzip(listMap((v$1) => $Tuple(v$1._2.tag === "Str" ? v$1._2._1 : typeError(v$1._2)("Str"), v$1._1))(v3._1));
38252
- const v5 = $BaseVal("Dictionary", fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2))));
38253
- return Functor0.map((f) => f(v5))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($0)()(v2))(pack8(v5))));
38205
+ const $1 = $BaseVal("Dictionary", fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2))));
38206
+ return Functor0.map((f) => f($1))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($0)()(v2))));
38254
38207
  });
38255
38208
  }
38256
38209
  if (v1.tag === "Constr") {
@@ -38280,11 +38233,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
38280
38233
  })()))(() => Bind1.bind(traverse2((() => {
38281
38234
  const $3 = $$eval(dictMonadWithGraphAlloc)(v);
38282
38235
  return (a) => $3(a)(v2);
38283
- })())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($2)()(v2))(pack8($BaseVal(
38284
- "Constr",
38285
- $0,
38286
- vs
38287
- )))))));
38236
+ })())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($2)()(v2))))));
38288
38237
  }
38289
38238
  if (v1.tag === "Matrix") {
38290
38239
  const $0 = v1._2;
@@ -38312,21 +38261,18 @@ var $$eval = (dictMonadWithGraphAlloc) => {
38312
38261
  return $8;
38313
38262
  })())))($0)(v2)
38314
38263
  ]))
38315
- ])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()(v2))(pack8($BaseVal(
38316
- "Matrix",
38317
- $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7)))
38318
- )))))));
38264
+ ])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()(v2))))));
38319
38265
  });
38320
38266
  }
38321
38267
  if (v1.tag === "Lambda") {
38322
- const v3 = $BaseVal(
38268
+ const $0 = $BaseVal(
38323
38269
  "Fun",
38324
38270
  $Fun(
38325
38271
  "Closure",
38326
38272
  (() => {
38327
- const $0 = fVElim.fv(v1._2);
38273
+ const $02 = fVElim.fv(v1._2);
38328
38274
  return filterWithKey((x2) => {
38329
- const $1 = setSet(ordString).member(x2)($0);
38275
+ const $1 = setSet(ordString).member(x2)($02);
38330
38276
  return (v$1) => $1;
38331
38277
  })(v);
38332
38278
  })(),
@@ -38334,7 +38280,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
38334
38280
  v1._2
38335
38281
  )
38336
38282
  );
38337
- return Functor0.map((f) => f(v3))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8(v3))));
38283
+ return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
38338
38284
  }
38339
38285
  if (v1.tag === "Project") {
38340
38286
  const $0 = v1._2;
@@ -38433,7 +38379,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
38433
38379
  v._1,
38434
38380
  void 0,
38435
38381
  Leaf2
38436
- ))(pack8($BaseVal("Fun", $Fun("Foreign", $Tuple($1, $2), vs$p))))));
38382
+ ))));
38437
38383
  }
38438
38384
  return $2._1["op'"](dictMonadWithGraphAlloc)(MonadError1)(vs$p);
38439
38385
  }
@@ -38484,26 +38430,26 @@ var apply2 = (dictMonadWithGraphAlloc) => {
38484
38430
  };
38485
38431
  return go(0)($2) < (n - 1 | 0);
38486
38432
  })()) {
38487
- const v$p2 = $BaseVal(
38433
+ const $42 = $BaseVal(
38488
38434
  "Fun",
38489
38435
  $Fun("PartialConstr", $1, foldableList.foldr(Cons)($List("Cons", v1, Nil))($2))
38490
38436
  );
38491
- return Functor0.map((f) => f(v$p2))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
38437
+ return Functor0.map((f) => f($42))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
38492
38438
  "Two",
38493
38439
  Leaf2,
38494
38440
  $3,
38495
38441
  void 0,
38496
38442
  Leaf2
38497
- ))(pack8(v$p2))));
38443
+ ))));
38498
38444
  }
38499
- const v$p = $BaseVal("Constr", $1, foldableList.foldr(Cons)($List("Cons", v1, Nil))($2));
38500
- return Functor0.map((f) => f(v$p))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
38445
+ const $4 = $BaseVal("Constr", $1, foldableList.foldr(Cons)($List("Cons", v1, Nil))($2));
38446
+ return Functor0.map((f) => f($4))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
38501
38447
  "Two",
38502
38448
  Leaf2,
38503
38449
  $3,
38504
38450
  void 0,
38505
38451
  Leaf2
38506
- ))(pack8(v$p))));
38452
+ ))));
38507
38453
  });
38508
38454
  }
38509
38455
  }
@@ -42918,7 +42864,6 @@ var apply2Bwd = (dictAnn) => {
42918
42864
  };
42919
42865
 
42920
42866
  // output-es/Primitive.Defs/index.js
42921
- var pack9 = (x2) => (k) => k(showBaseVal)(x2);
42922
42867
  var erase = /* @__PURE__ */ (() => functorVal.map((v) => {
42923
42868
  }))();
42924
42869
  var unzip6 = /* @__PURE__ */ unzip3(functorDict);
@@ -42928,24 +42873,11 @@ var foldWithIndexM = (dictMonad) => (f) => (a0) => foldableWithIndexStringDi.fol
42928
42873
  return (a) => $0(a)(b);
42929
42874
  })()))(dictMonad.Applicative0().pure(a0));
42930
42875
  var disjointUnion5 = /* @__PURE__ */ disjointUnion(mapDictString);
42931
- var unary2 = /* @__PURE__ */ unary(showInt)(boundedJoinSemilatticeUni);
42932
- var showEither = {
42933
- show: (v) => {
42934
- if (v.tag === "Left") {
42935
- return "(Left " + showIntImpl(v._1) + ")";
42936
- }
42937
- if (v.tag === "Right") {
42938
- return "(Right " + showNumberImpl(v._1) + ")";
42939
- }
42940
- fail();
42941
- }
42942
- };
42943
- var binary2 = /* @__PURE__ */ binary(showEither)(boundedJoinSemilatticeUni);
42944
- var binaryZero2 = /* @__PURE__ */ (() => binaryZero(showEither)(boundedJoinSemilatticeUni)({
42945
- isZero: fanin2(isZeroInt.isZero)(isZeroNumber.isZero)
42946
- }))();
42947
- var binary1 = /* @__PURE__ */ binary(showBoolean)(boundedJoinSemilatticeUni);
42948
- var binaryZero1 = /* @__PURE__ */ binaryZero(showInt)(boundedJoinSemilatticeUni)(isZeroInt);
42876
+ var unary2 = /* @__PURE__ */ unary(boundedJoinSemilatticeUni);
42877
+ var binary2 = /* @__PURE__ */ binary(boundedJoinSemilatticeUni);
42878
+ var binaryZero2 = /* @__PURE__ */ binaryZero(boundedJoinSemilatticeUni);
42879
+ var binaryZero1 = /* @__PURE__ */ (() => binaryZero2({ isZero: fanin2(isZeroInt.isZero)(isZeroNumber.isZero) }))();
42880
+ var binaryZero22 = /* @__PURE__ */ binaryZero2(isZeroInt);
42949
42881
  var pow3 = /* @__PURE__ */ union5(asNumberIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)((x2) => (y2) => pow(toNumber(x2))(toNumber(y2)))(pow);
42950
42882
  var numToStr = (v2) => {
42951
42883
  if (v2.tag === "Left") {
@@ -42967,14 +42899,14 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
42967
42899
  return (v) => {
42968
42900
  if (v.tag === "Cons" && v._1._2.tag === "Matrix" && v._2.tag === "Cons" && v._2._1._2.tag === "Constr" && v._2._1._2._2.tag === "Cons" && v._2._1._2._2._1._2.tag === "Int" && v._2._1._2._2._2.tag === "Cons" && v._2._1._2._2._2._1._2.tag === "Int" && v._2._1._2._2._2._2.tag === "Nil" && v._2._2.tag === "Cons" && v._2._2._2.tag === "Nil" && v._2._1._2._1 === "Pair") {
42969
42901
  const $0 = v._2._2._1;
42970
- const v$p = $BaseVal("Matrix", matrixPut(v._2._1._2._2._1._2._1)(v._2._1._2._2._2._1._2._1)((v$1) => $0)(v._1._2._1));
42971
- return Functor0.map((f) => f(v$p))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
42902
+ const $1 = $BaseVal("Matrix", matrixPut(v._2._1._2._2._1._2._1)(v._2._1._2._2._2._1._2._1)((v$1) => $0)(v._1._2._1));
42903
+ return Functor0.map((f) => f($1))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
42972
42904
  "Two",
42973
42905
  Leaf2,
42974
42906
  v._1._1,
42975
42907
  void 0,
42976
42908
  Leaf2
42977
- ))(pack9(v$p))));
42909
+ ))));
42978
42910
  }
42979
42911
  return MonadThrow0.throwError(error("Matrix, pair of integers and value expected"));
42980
42912
  };
@@ -43156,31 +43088,28 @@ var dims = /* @__PURE__ */ $Tuple(
43156
43088
  const Functor0 = Bind1.Apply0().Functor0();
43157
43089
  return (v) => {
43158
43090
  if (v.tag === "Cons" && v._1._2.tag === "Matrix" && v._2.tag === "Nil") {
43159
- const $0 = v._1._2._1._2._1._1;
43160
- const $1 = v._1._2._1._2._2._1;
43161
- const $2 = v._1._1;
43162
- const $3 = v._1._2._1._2._2._2;
43163
- return Bind1.bind(Functor0.map((f) => f($BaseVal("Int", $0)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
43091
+ const $0 = v._1._2._1._2._2._1;
43092
+ const $1 = v._1._1;
43093
+ const $2 = v._1._2._1._2._2._2;
43094
+ return Bind1.bind(Functor0.map((f) => f($BaseVal("Int", v._1._2._1._2._1._1)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
43164
43095
  "Two",
43165
43096
  Leaf2,
43166
43097
  v._1._2._1._2._1._2,
43167
43098
  void 0,
43168
43099
  Leaf2
43169
- ))(pack9($BaseVal("Int", $0))))))((v1) => Bind1.bind(Functor0.map((f) => f($BaseVal("Int", $1)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
43100
+ )))))((v1) => Bind1.bind(Functor0.map((f) => f($BaseVal("Int", $0)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
43170
43101
  "Two",
43171
43102
  Leaf2,
43172
- $3,
43103
+ $2,
43173
43104
  void 0,
43174
43105
  Leaf2
43175
- ))(pack9($BaseVal("Int", $1))))))((v2) => Functor0.map((f) => f($BaseVal(
43176
- "Constr",
43177
- "Pair",
43178
- $List("Cons", v1, $List("Cons", v2, Nil))
43179
- )))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map("Two", Leaf2, $2, void 0, Leaf2))(pack9($BaseVal(
43180
- "Constr",
43181
- "Pair",
43182
- $List("Cons", v1, $List("Cons", v2, Nil))
43183
- )))))));
43106
+ )))))((v2) => Functor0.map((f) => f($BaseVal("Constr", "Pair", $List("Cons", v1, $List("Cons", v2, Nil)))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
43107
+ "Two",
43108
+ Leaf2,
43109
+ $1,
43110
+ void 0,
43111
+ Leaf2
43112
+ ))))));
43184
43113
  }
43185
43114
  return MonadThrow0.throwError(error("Matrix expected"));
43186
43115
  };
@@ -43260,7 +43189,7 @@ var dict_map = /* @__PURE__ */ $Tuple(
43260
43189
  $1,
43261
43190
  void 0,
43262
43191
  Leaf2
43263
- ))(pack9($BaseVal("Dictionary", d$p))))));
43192
+ )))));
43264
43193
  }
43265
43194
  return MonadThrow0.throwError(error("Function and dictionary expected"));
43266
43195
  };
@@ -43325,31 +43254,27 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
43325
43254
  const Bind1 = Monad0.Bind1();
43326
43255
  const Apply0 = Bind1.Apply0();
43327
43256
  const $0 = Apply0.Functor0();
43328
- const Applicative0 = Monad0.Applicative0();
43257
+ const sequence1 = traversableDict.sequence(Monad0.Applicative0());
43329
43258
  return (v) => {
43330
43259
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._2.tag === "Dictionary" && v._2._2.tag === "Cons" && v._2._2._1._2.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
43331
43260
  const $1 = v._1;
43332
- const $2 = v._2._1._1;
43333
- const $3 = v._2._2._1._1;
43334
- const v$p = $0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
43335
- const $4 = v3._2;
43336
- const $5 = v2._1;
43337
- const $6 = v3._1;
43338
- return Bind1.bind(Bind1.bind(apply4($1)(v2._2))((a) => apply4(a)($4)))((v4) => Bind1.bind(dictMonadWithGraphAlloc.new(insert3(ordVertex)($6)()($$$Map(
43339
- "Two",
43340
- Leaf2,
43341
- $5,
43342
- void 0,
43343
- Leaf2
43344
- )))(pack9(v4._2)))((\u03B2$p$p) => $0.map(Tuple(\u03B2$p$p))(Applicative0.pure(v4))));
43345
- })(v._2._1._2._1)(v._2._2._1._2._1))));
43346
- return Bind1.bind(v$p)((packable) => Apply0.apply($0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()($$$Map(
43261
+ return Apply0.apply($0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._2._1._1)()($$$Map(
43347
43262
  "Two",
43348
43263
  Leaf2,
43349
- $2,
43264
+ v._2._1._1,
43350
43265
  void 0,
43351
43266
  Leaf2
43352
- )))(pack9(packable))))(v$p));
43267
+ )))))($0.map(Dictionary3)($0.map(DictRep)(sequence1(intersectionWith_Object((v2) => (v3) => {
43268
+ const $2 = v2._2;
43269
+ const $3 = v3._2;
43270
+ return Bind1.bind(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v3._1)()($$$Map(
43271
+ "Two",
43272
+ Leaf2,
43273
+ v2._1,
43274
+ void 0,
43275
+ Leaf2
43276
+ ))))((\u03B2$p$p) => $0.map(Tuple(\u03B2$p$p))(Bind1.bind(apply4($1)($2))((a) => apply4(a)($3))));
43277
+ })(v._2._1._2._1)(v._2._2._1._2._1)))));
43353
43278
  }
43354
43279
  return MonadThrow0.throwError(error("Function and two dictionaries expected"));
43355
43280
  };
@@ -43582,14 +43507,14 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
43582
43507
  const Functor0 = MonadThrow0.Monad0().Bind1().Apply0().Functor0();
43583
43508
  return (v) => {
43584
43509
  if (v.tag === "Cons" && v._1._2.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._2.tag === "Dictionary" && v._2._2.tag === "Nil") {
43585
- const v1 = $BaseVal("Dictionary", disjointUnion5(v._1._2._1)(v._2._1._2._1));
43586
- return Functor0.map((f) => f(v1))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
43510
+ const $0 = $BaseVal("Dictionary", disjointUnion5(v._1._2._1)(v._2._1._2._1));
43511
+ return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
43587
43512
  "Two",
43588
43513
  Leaf2,
43589
43514
  v._1._1,
43590
43515
  void 0,
43591
43516
  Leaf2
43592
- )))(pack9(v1))));
43517
+ )))));
43593
43518
  }
43594
43519
  return MonadThrow0.throwError(error("Dictionaries expected"));
43595
43520
  };
@@ -43630,14 +43555,14 @@ var dict_difference = /* @__PURE__ */ $Tuple(
43630
43555
  const Functor0 = MonadThrow0.Monad0().Bind1().Apply0().Functor0();
43631
43556
  return (v) => {
43632
43557
  if (v.tag === "Cons" && v._1._2.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._2.tag === "Dictionary" && v._2._2.tag === "Nil") {
43633
- const v1 = $BaseVal("Dictionary", mapFObjectString.difference(v._1._2._1)(v._2._1._2._1));
43634
- return Functor0.map((f) => f(v1))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
43558
+ const $0 = $BaseVal("Dictionary", mapFObjectString.difference(v._1._2._1)(v._2._1._2._1));
43559
+ return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
43635
43560
  "Two",
43636
43561
  Leaf2,
43637
43562
  v._1._1,
43638
43563
  void 0,
43639
43564
  Leaf2
43640
- )))(pack9(v1))));
43565
+ )))));
43641
43566
  }
43642
43567
  return MonadThrow0.throwError(error("Dictionaries expected."));
43643
43568
  };
@@ -43706,8 +43631,8 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
43706
43631
  /* @__PURE__ */ extern1(dims),
43707
43632
  /* @__PURE__ */ extern1(error_),
43708
43633
  /* @__PURE__ */ unary2("floor")({ i: number5, o: $$int, fwd: floor2 }),
43709
- /* @__PURE__ */ unary(showNumber)(boundedJoinSemilatticeUni)("log")({ i: intOrNumber, o: number5, fwd: log3 }),
43710
- /* @__PURE__ */ unary(showString)(boundedJoinSemilatticeUni)("numToStr")({ i: intOrNumber, o: string2, fwd: numToStr }),
43634
+ /* @__PURE__ */ unary2("log")({ i: intOrNumber, o: number5, fwd: log3 }),
43635
+ /* @__PURE__ */ unary2("numToStr")({ i: intOrNumber, o: string2, fwd: numToStr }),
43711
43636
  /* @__PURE__ */ binary2("+")({
43712
43637
  i1: intOrNumber,
43713
43638
  i2: intOrNumber,
@@ -43720,30 +43645,25 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
43720
43645
  o: intOrNumber,
43721
43646
  fwd: /* @__PURE__ */ union5(asIntIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)(intSub)(numSub)
43722
43647
  }),
43723
- /* @__PURE__ */ binaryZero2("*")({
43648
+ /* @__PURE__ */ binaryZero1("*")({
43724
43649
  i: intOrNumber,
43725
43650
  o: intOrNumber,
43726
43651
  fwd: /* @__PURE__ */ union5(asIntIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)(intMul)(numMul)
43727
43652
  }),
43728
- /* @__PURE__ */ binaryZero2("**")({ i: intOrNumber, o: intOrNumber, fwd: pow3 }),
43729
- /* @__PURE__ */ binaryZero2("/")({ i: intOrNumber, o: intOrNumber, fwd: divide }),
43730
- /* @__PURE__ */ binary1("==")({
43653
+ /* @__PURE__ */ binaryZero1("**")({ i: intOrNumber, o: intOrNumber, fwd: pow3 }),
43654
+ /* @__PURE__ */ binaryZero1("/")({ i: intOrNumber, o: intOrNumber, fwd: divide }),
43655
+ /* @__PURE__ */ binary2("==")({
43731
43656
  i1: intOrNumberOrString,
43732
43657
  i2: intOrNumberOrString,
43733
43658
  o: $$boolean,
43734
43659
  fwd: /* @__PURE__ */ union5(asBooleanBoolean)(asBooleanBoolean)(asIntNumberOrString)(asIntNumberOrString)(eqIntImpl)(/* @__PURE__ */ unionStr(asBooleanBoolean)(asNumberString)(eqNumberImpl)(eqStringImpl))
43735
43660
  }),
43736
- /* @__PURE__ */ binary1("/=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: notEquals }),
43737
- /* @__PURE__ */ binary1("<")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: lessThan }),
43738
- /* @__PURE__ */ binary1(">")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: greaterThan }),
43739
- /* @__PURE__ */ binary1("<=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: lessThanEquals }),
43740
- /* @__PURE__ */ binary1(">=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: greaterThanEquals }),
43741
- /* @__PURE__ */ binary(showString)(boundedJoinSemilatticeUni)("++")({
43742
- i1: string2,
43743
- i2: string2,
43744
- o: string2,
43745
- fwd: concatString
43746
- }),
43661
+ /* @__PURE__ */ binary2("/=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: notEquals }),
43662
+ /* @__PURE__ */ binary2("<")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: lessThan }),
43663
+ /* @__PURE__ */ binary2(">")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: greaterThan }),
43664
+ /* @__PURE__ */ binary2("<=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: lessThanEquals }),
43665
+ /* @__PURE__ */ binary2(">=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: greaterThanEquals }),
43666
+ /* @__PURE__ */ binary2("++")({ i1: string2, i2: string2, o: string2, fwd: concatString }),
43747
43667
  /* @__PURE__ */ extern1(matrixLookup),
43748
43668
  /* @__PURE__ */ extern1(dict_difference),
43749
43669
  /* @__PURE__ */ extern1(dict_disjointUnion),
@@ -43752,10 +43672,10 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
43752
43672
  /* @__PURE__ */ extern1(dict_intersectionWith),
43753
43673
  /* @__PURE__ */ extern1(dict_map),
43754
43674
  /* @__PURE__ */ extern1(matrixUpdate),
43755
- /* @__PURE__ */ binaryZero1("div")({ i: $$int, o: $$int, fwd: intDiv2 }),
43756
- /* @__PURE__ */ binaryZero1("mod")({ i: $$int, o: $$int, fwd: intMod }),
43757
- /* @__PURE__ */ binaryZero1("quot")({ i: $$int, o: $$int, fwd: quot }),
43758
- /* @__PURE__ */ binaryZero1("rem")({ i: $$int, o: $$int, fwd: rem })
43675
+ /* @__PURE__ */ binaryZero22("div")({ i: $$int, o: $$int, fwd: intDiv2 }),
43676
+ /* @__PURE__ */ binaryZero22("mod")({ i: $$int, o: $$int, fwd: intMod }),
43677
+ /* @__PURE__ */ binaryZero22("quot")({ i: $$int, o: $$int, fwd: quot }),
43678
+ /* @__PURE__ */ binaryZero22("rem")({ i: $$int, o: $$int, fwd: rem })
43759
43679
  ]);
43760
43680
 
43761
43681
  // output-es/ProgCxt/index.js