@explorable-viz/fluid 0.7.90 → 0.7.92

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (188) hide show
  1. package/dist/fluid/fluid/lib/matrix.fld +18 -16
  2. package/dist/fluid/shared/fluid.mjs +210 -295
  3. package/dist/fluid/shared/load-figure.js +458 -700
  4. package/package.json +6 -3
  5. package/script/bundle-website.sh +13 -2
  6. package/script/install-article.sh +6 -0
  7. package/website/article/README.md +3 -0
  8. package/website/article/convolution/index.html +90 -0
  9. package/website/article/convolution/spec.json +9 -0
  10. package/website/article/fluid/convolution/emboss.fld +5 -0
  11. package/website/article/fluid/convolution/test-image.fld +7 -0
  12. package/website/article/fluid/convolution.fld +24 -0
  13. package/website/article/fluid/dataset/methane-emissions.fld +123 -0
  14. package/website/article/fluid/dataset/non-renewables.fld +67 -0
  15. package/website/article/fluid/dataset/renewables-new.fld +301 -0
  16. package/website/article/fluid/dataset/scigen/1805.02474v1-10.fld +17 -0
  17. package/website/article/fluid/moving-average.fld +19 -0
  18. package/website/article/fluid/non-renewables.fld +21 -0
  19. package/website/article/fluid/scigen.fld +50 -0
  20. package/website/article/fluid/util.fld +36 -0
  21. package/website/article/image/fluid-logo.png +0 -0
  22. package/website/article/image/iccs-full-logo.png +0 -0
  23. package/website/article/image/schmidtsciences_primary_color.png +0 -0
  24. package/website/article/index.html +26 -0
  25. package/website/article/moving-average/index.html +57 -0
  26. package/website/article/moving-average/spec.json +9 -0
  27. package/website/article/non-renewables/index.html +46 -0
  28. package/website/article/non-renewables/spec.json +9 -0
  29. package/website/article/test.mjs +10 -0
  30. package/.spago/aff/v7.0.0/.editorconfig +0 -13
  31. package/.spago/aff/v7.0.0/.eslintrc.json +0 -28
  32. package/.spago/aff/v7.0.0/.gitignore +0 -14
  33. package/.spago/aff/v7.0.0/.tidyrc.json +0 -10
  34. package/.spago/affjax/v13.0.0/.editorconfig +0 -13
  35. package/.spago/affjax/v13.0.0/.eslintrc.json +0 -28
  36. package/.spago/affjax/v13.0.0/.gitignore +0 -14
  37. package/.spago/affjax/v13.0.0/.tidyrc.json +0 -10
  38. package/.spago/affjax-web/v1.0.0/.editorconfig +0 -13
  39. package/.spago/affjax-web/v1.0.0/.eslintrc.json +0 -30
  40. package/.spago/affjax-web/v1.0.0/.gitignore +0 -14
  41. package/.spago/affjax-web/v1.0.0/.tidyrc.json +0 -10
  42. package/.spago/argonaut-codecs/v9.0.0/.editorconfig +0 -13
  43. package/.spago/argonaut-codecs/v9.0.0/.gitignore +0 -9
  44. package/.spago/argonaut-codecs/v9.0.0/.tidyrc.json +0 -10
  45. package/.spago/argonaut-core/v7.0.0/.editorconfig +0 -13
  46. package/.spago/argonaut-core/v7.0.0/.eslintrc.json +0 -29
  47. package/.spago/argonaut-core/v7.0.0/.gitignore +0 -14
  48. package/.spago/argonaut-core/v7.0.0/.tidyrc.json +0 -10
  49. package/.spago/arraybuffer-types/v3.0.2/.editorconfig +0 -13
  50. package/.spago/arraybuffer-types/v3.0.2/.gitignore +0 -9
  51. package/.spago/arraybuffer-types/v3.0.2/.tidyrc.json +0 -10
  52. package/.spago/arrays/v7.0.0/.eslintrc.json +0 -26
  53. package/.spago/arrays/v7.0.0/.gitignore +0 -9
  54. package/.spago/assert/v6.0.0/.eslintrc.json +0 -26
  55. package/.spago/assert/v6.0.0/.gitignore +0 -8
  56. package/.spago/bifunctors/v6.0.0/.gitignore +0 -7
  57. package/.spago/catenable-lists/v7.0.0/.gitignore +0 -7
  58. package/.spago/console/v6.0.0/.eslintrc.json +0 -30
  59. package/.spago/console/v6.0.0/.gitignore +0 -9
  60. package/.spago/const/v6.0.0/.gitignore +0 -7
  61. package/.spago/contravariant/v6.0.0/.gitignore +0 -7
  62. package/.spago/control/v6.0.0/.gitignore +0 -7
  63. package/.spago/datetime/v6.1.0/.eslintrc.json +0 -26
  64. package/.spago/datetime/v6.1.0/.gitignore +0 -8
  65. package/.spago/debug/v6.0.0/.eslintrc.json +0 -36
  66. package/.spago/debug/v6.0.0/.gitignore +0 -8
  67. package/.spago/distributive/v6.0.0/.gitignore +0 -7
  68. package/.spago/effect/v4.0.0/.eslintrc.json +0 -26
  69. package/.spago/effect/v4.0.0/.gitignore +0 -8
  70. package/.spago/either/v6.1.0/.gitignore +0 -7
  71. package/.spago/enums/v6.0.0/.gitignore +0 -7
  72. package/.spago/exceptions/v6.0.0/.eslintrc.json +0 -26
  73. package/.spago/exceptions/v6.0.0/.gitignore +0 -8
  74. package/.spago/exists/v6.0.0/.gitignore +0 -7
  75. package/.spago/filterable/v5.0.0/.gitignore +0 -11
  76. package/.spago/foldable-traversable/v6.0.0/.eslintrc.json +0 -26
  77. package/.spago/foldable-traversable/v6.0.0/.gitignore +0 -8
  78. package/.spago/foreign/v7.0.0/.eslintrc.json +0 -26
  79. package/.spago/foreign/v7.0.0/.gitignore +0 -8
  80. package/.spago/foreign-object/v4.0.0/.eslintrc.json +0 -26
  81. package/.spago/foreign-object/v4.0.0/.gitignore +0 -8
  82. package/.spago/form-urlencoded/v7.0.0/.editorconfig +0 -13
  83. package/.spago/form-urlencoded/v7.0.0/.gitignore +0 -9
  84. package/.spago/form-urlencoded/v7.0.0/.tidyrc.json +0 -10
  85. package/.spago/free/v7.0.0/.gitignore +0 -8
  86. package/.spago/functions/v6.0.0/.eslintrc.json +0 -26
  87. package/.spago/functions/v6.0.0/.gitignore +0 -8
  88. package/.spago/functors/v5.0.0/.gitignore +0 -7
  89. package/.spago/gen/v4.0.0/.gitignore +0 -8
  90. package/.spago/graphs/v8.0.0/.gitignore +0 -7
  91. package/.spago/http-methods/v6.0.0/.editorconfig +0 -13
  92. package/.spago/http-methods/v6.0.0/.gitignore +0 -9
  93. package/.spago/http-methods/v6.0.0/.tidyrc.json +0 -10
  94. package/.spago/identity/v6.0.0/.gitignore +0 -7
  95. package/.spago/integers/v6.0.0/.eslintrc.json +0 -26
  96. package/.spago/integers/v6.0.0/.gitignore +0 -8
  97. package/.spago/invariant/v6.0.0/.gitignore +0 -7
  98. package/.spago/js-date/v8.0.0/.editorconfig +0 -13
  99. package/.spago/js-date/v8.0.0/.eslintrc.json +0 -29
  100. package/.spago/js-date/v8.0.0/.gitignore +0 -14
  101. package/.spago/js-date/v8.0.0/.tidyrc.json +0 -10
  102. package/.spago/js-uri/v3.0.0/.eslintrc.json +0 -30
  103. package/.spago/js-uri/v3.0.0/.gitignore +0 -14
  104. package/.spago/js-uri/v3.0.0/.tidyrc.json +0 -10
  105. package/.spago/lazy/v6.0.0/.eslintrc.json +0 -26
  106. package/.spago/lazy/v6.0.0/.gitignore +0 -8
  107. package/.spago/lcg/v4.0.0/.gitignore +0 -8
  108. package/.spago/lists/v7.0.0/.gitignore +0 -7
  109. package/.spago/maybe/v6.0.0/.gitignore +0 -7
  110. package/.spago/media-types/v6.0.0/.editorconfig +0 -13
  111. package/.spago/media-types/v6.0.0/.gitignore +0 -9
  112. package/.spago/media-types/v6.0.0/.tidyrc.json +0 -10
  113. package/.spago/newtype/v5.0.0/.gitignore +0 -7
  114. package/.spago/node-buffer/v8.0.0/.eslintrc.json +0 -26
  115. package/.spago/node-buffer/v8.0.0/.gitignore +0 -8
  116. package/.spago/node-child-process/v9.0.0/.eslintrc.json +0 -29
  117. package/.spago/node-child-process/v9.0.0/.gitignore +0 -8
  118. package/.spago/node-fs/v9.1.0/.eslintrc.json +0 -29
  119. package/.spago/node-fs/v9.1.0/.gitignore +0 -9
  120. package/.spago/node-path/v5.0.0/.eslintrc.json +0 -26
  121. package/.spago/node-path/v5.0.0/.gitignore +0 -8
  122. package/.spago/node-process/v10.0.0/.eslintrc.json +0 -29
  123. package/.spago/node-process/v10.0.0/.gitignore +0 -8
  124. package/.spago/node-streams/v7.0.0/.eslintrc.json +0 -29
  125. package/.spago/node-streams/v7.0.0/.gitignore +0 -8
  126. package/.spago/nonempty/v7.0.0/.gitignore +0 -7
  127. package/.spago/now/v6.0.0/.editorconfig +0 -13
  128. package/.spago/now/v6.0.0/.eslintrc.json +0 -29
  129. package/.spago/now/v6.0.0/.gitignore +0 -14
  130. package/.spago/now/v6.0.0/.tidyrc.json +0 -10
  131. package/.spago/nullable/v6.0.0/.editorconfig +0 -13
  132. package/.spago/nullable/v6.0.0/.eslintrc.json +0 -29
  133. package/.spago/nullable/v6.0.0/.gitignore +0 -14
  134. package/.spago/nullable/v6.0.0/.tidyrc.json +0 -10
  135. package/.spago/optparse/v5.0.0/.gitignore +0 -8
  136. package/.spago/optparse/v5.0.0/.npmrc +0 -1
  137. package/.spago/ordered-collections/v3.0.0/.gitignore +0 -8
  138. package/.spago/orders/v6.0.0/.gitignore +0 -7
  139. package/.spago/parallel/v6.0.0/.gitignore +0 -7
  140. package/.spago/parsing/v10.0.0/.editorconfig +0 -13
  141. package/.spago/parsing/v10.0.0/.gitignore +0 -10
  142. package/.spago/parsing/v10.0.0/.tidyoperators +0 -231
  143. package/.spago/parsing/v10.0.0/.tidyrc.json +0 -10
  144. package/.spago/partial/v4.0.0/.eslintrc.json +0 -26
  145. package/.spago/partial/v4.0.0/.gitignore +0 -8
  146. package/.spago/posix-types/v6.0.0/.gitignore +0 -7
  147. package/.spago/prelude/v6.0.0/.eslintrc.json +0 -26
  148. package/.spago/prelude/v6.0.0/.gitignore +0 -8
  149. package/.spago/profunctor/v6.0.0/.gitignore +0 -7
  150. package/.spago/psci-support/v6.0.0/.eslintrc.json +0 -28
  151. package/.spago/psci-support/v6.0.0/.gitignore +0 -8
  152. package/.spago/quickcheck/v8.0.1/.eslintrc.json +0 -26
  153. package/.spago/quickcheck/v8.0.1/.gitignore +0 -8
  154. package/.spago/random/v6.0.0/.eslintrc.json +0 -26
  155. package/.spago/random/v6.0.0/.gitignore +0 -8
  156. package/.spago/record/v4.0.0/.eslintrc.json +0 -26
  157. package/.spago/record/v4.0.0/.gitignore +0 -8
  158. package/.spago/refs/v6.0.0/.eslintrc.json +0 -26
  159. package/.spago/refs/v6.0.0/.gitignore +0 -8
  160. package/.spago/st/v6.0.0/.eslintrc.json +0 -26
  161. package/.spago/st/v6.0.0/.gitignore +0 -8
  162. package/.spago/strings/v6.0.0/.eslintrc.json +0 -26
  163. package/.spago/strings/v6.0.0/.gitignore +0 -8
  164. package/.spago/tailrec/v6.0.0/.gitignore +0 -7
  165. package/.spago/transformers/v6.0.0/.gitignore +0 -7
  166. package/.spago/tuples/v7.0.0/.gitignore +0 -7
  167. package/.spago/type-equality/v4.0.1/.gitignore +0 -7
  168. package/.spago/typelevel-prelude/v7.0.0/.gitignore +0 -8
  169. package/.spago/unfoldable/v6.0.0/.eslintrc.json +0 -26
  170. package/.spago/unfoldable/v6.0.0/.gitignore +0 -8
  171. package/.spago/unicode/v6.0.0/.editorconfig +0 -13
  172. package/.spago/unicode/v6.0.0/.gitattributes +0 -2
  173. package/.spago/unicode/v6.0.0/.gitignore +0 -19
  174. package/.spago/unicode/v6.0.0/.tidyrc.json +0 -10
  175. package/.spago/unsafe-coerce/v6.0.0/.eslintrc.json +0 -26
  176. package/.spago/unsafe-coerce/v6.0.0/.gitignore +0 -8
  177. package/.spago/web-dom/v6.0.0/.eslintrc.json +0 -29
  178. package/.spago/web-dom/v6.0.0/.gitignore +0 -9
  179. package/.spago/web-events/v4.0.0/.eslintrc.json +0 -29
  180. package/.spago/web-events/v4.0.0/.gitignore +0 -8
  181. package/.spago/web-file/v4.0.0/.eslintrc.json +0 -29
  182. package/.spago/web-file/v4.0.0/.gitignore +0 -8
  183. package/.spago/web-html/v4.0.0/.eslintrc.json +0 -29
  184. package/.spago/web-html/v4.0.0/.gitignore +0 -8
  185. package/.spago/web-storage/v5.0.0/.eslintrc.json +0 -29
  186. package/.spago/web-storage/v5.0.0/.gitignore +0 -8
  187. package/.spago/web-xhr/v5.0.0/.eslintrc.json +0 -29
  188. package/.spago/web-xhr/v5.0.0/.gitignore +0 -8
@@ -1851,7 +1851,7 @@ var foldableNonEmptyList = {
1851
1851
  };
1852
1852
  var semigroupNonEmptyList = { append: (v) => (as$p) => $NonEmpty(v._1, foldableList.foldr(Cons)($List("Cons", as$p._1, as$p._2))(v._2)) };
1853
1853
  var showList = (dictShow) => {
1854
- const show4 = dictShow.show;
1854
+ const show5 = dictShow.show;
1855
1855
  return {
1856
1856
  show: (v) => {
1857
1857
  if (v.tag === "Nil") {
@@ -1875,7 +1875,7 @@ var showList = (dictShow) => {
1875
1875
  }
1876
1876
  return go$r;
1877
1877
  };
1878
- return "(" + go({ init: true, acc: "" })(listMap(show4)(v)).acc + " : Nil)";
1878
+ return "(" + go({ init: true, acc: "" })(listMap(show5)(v)).acc + " : Nil)";
1879
1879
  }
1880
1880
  };
1881
1881
  };
@@ -27828,8 +27828,8 @@ var dataTypes = /* @__PURE__ */ foldrArray(Cons)(Nil)([
27828
27828
  /* @__PURE__ */ dataType("View")([
27829
27829
  /* @__PURE__ */ $Tuple("BarChart", 1),
27830
27830
  /* @__PURE__ */ $Tuple("LineChart", 1),
27831
- /* @__PURE__ */ $Tuple("MultiView", 1),
27832
27831
  /* @__PURE__ */ $Tuple("Paragraph", 1),
27832
+ /* @__PURE__ */ $Tuple("MultiView", 1),
27833
27833
  /* @__PURE__ */ $Tuple("ScatterPlot", 1)
27834
27834
  ]),
27835
27835
  /* @__PURE__ */ dataType("Point")([/* @__PURE__ */ $Tuple("Point", 2)]),
@@ -36216,7 +36216,7 @@ var unary = (dictBoundedJoinSemilattice) => {
36216
36216
  arity: 1,
36217
36217
  op: (dictMonadWithGraphAlloc) => {
36218
36218
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
36219
- return (dictMonadError) => (dictLoadFile) => (v) => {
36219
+ return (dictMonadError) => (v) => {
36220
36220
  if (v.tag === "Cons" && v._2.tag === "Nil") {
36221
36221
  const $0 = v._1._2;
36222
36222
  return $$new((a) => Val(a)($0))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))(f.o.pack(f.fwd(f.i.unpack(v._1._3))));
@@ -36365,7 +36365,7 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
36365
36365
  arity: 2,
36366
36366
  op: (dictMonadWithGraphAlloc) => {
36367
36367
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
36368
- return (dictMonadError) => (dictLoadFile) => (v) => {
36368
+ return (dictMonadError) => (v) => {
36369
36369
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
36370
36370
  const $0 = f.i.unpack(v._1._3);
36371
36371
  const $1 = f.i.unpack(v._2._1._3);
@@ -36413,7 +36413,7 @@ var binary = (dictBoundedJoinSemilattice) => {
36413
36413
  arity: 2,
36414
36414
  op: (dictMonadWithGraphAlloc) => {
36415
36415
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
36416
- return (dictMonadError) => (dictLoadFile) => (v) => {
36416
+ return (dictMonadError) => (v) => {
36417
36417
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
36418
36418
  return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
36419
36419
  "Two",
@@ -36654,7 +36654,7 @@ var runAffs_ = (f) => (as1) => {
36654
36654
  $0();
36655
36655
  };
36656
36656
  };
36657
- var primary = (dictApply) => (x2) => dictApply.Functor0().map((v) => {
36657
+ var primary = (dictApply) => (f) => dictApply.Functor0().map((v) => {
36658
36658
  if (v.tag === "Inert") {
36659
36659
  return Inert;
36660
36660
  }
@@ -36662,7 +36662,7 @@ var primary = (dictApply) => (x2) => dictApply.Functor0().map((v) => {
36662
36662
  return $SelState("Reactive", v._1 ? Primary : None2);
36663
36663
  }
36664
36664
  fail();
36665
- })(x2);
36665
+ })(f);
36666
36666
  var get_intOrNumber = (x2) => (r) => {
36667
36667
  const $0 = $$get2(showString)(mapDictString)(x2)(r);
36668
36668
  const $1 = intOrNumber.unpack($0._2._3);
@@ -36887,7 +36887,7 @@ var as\u{1D54A} = (v) => (v1) => {
36887
36887
  };
36888
36888
  var primaryOrSecondary = (dictApply) => {
36889
36889
  const $0 = dictApply.Functor0();
36890
- return (selType) => (x2) => (x$p) => dictApply.apply($0.map((a) => (b) => applySelState.apply((() => {
36890
+ return (selType) => (f) => (f1) => dictApply.apply($0.map((a) => (b) => applySelState.apply((() => {
36891
36891
  if (a.tag === "Inert") {
36892
36892
  return Inert;
36893
36893
  }
@@ -36895,7 +36895,7 @@ var primaryOrSecondary = (dictApply) => {
36895
36895
  return $SelState("Reactive", as\u{1D54A}(a._1));
36896
36896
  }
36897
36897
  fail();
36898
- })())(b))($0.map(getSel(selType))(x2)))(x$p);
36898
+ })())(b))($0.map(getSel(selType))(f)))(f1);
36899
36899
  };
36900
36900
 
36901
36901
  // output-es/App.Util.Selector/index.js
@@ -37218,12 +37218,10 @@ var $ElementType = (tag) => tag;
37218
37218
  var fromFoldable9 = /* @__PURE__ */ fromFoldable(foldableArray);
37219
37219
  var Caption = /* @__PURE__ */ $ElementType("Caption");
37220
37220
  var Circle = /* @__PURE__ */ $ElementType("Circle");
37221
- var Div = /* @__PURE__ */ $ElementType("Div");
37222
37221
  var G = /* @__PURE__ */ $ElementType("G");
37223
37222
  var Line2 = /* @__PURE__ */ $ElementType("Line");
37224
37223
  var Path2 = /* @__PURE__ */ $ElementType("Path");
37225
37224
  var Rect = /* @__PURE__ */ $ElementType("Rect");
37226
- var Span = /* @__PURE__ */ $ElementType("Span");
37227
37225
  var SVG = /* @__PURE__ */ $ElementType("SVG");
37228
37226
  var Table = /* @__PURE__ */ $ElementType("Table");
37229
37227
  var Text2 = /* @__PURE__ */ $ElementType("Text");
@@ -37244,64 +37242,54 @@ var genericElementType_ = {
37244
37242
  }
37245
37243
  if (x2._1.tag === "Inr") {
37246
37244
  if (x2._1._1.tag === "Inl") {
37247
- return Div;
37245
+ return G;
37248
37246
  }
37249
37247
  if (x2._1._1.tag === "Inr") {
37250
37248
  if (x2._1._1._1.tag === "Inl") {
37251
- return G;
37249
+ return Line2;
37252
37250
  }
37253
37251
  if (x2._1._1._1.tag === "Inr") {
37254
37252
  if (x2._1._1._1._1.tag === "Inl") {
37255
- return Line2;
37253
+ return Path2;
37256
37254
  }
37257
37255
  if (x2._1._1._1._1.tag === "Inr") {
37258
37256
  if (x2._1._1._1._1._1.tag === "Inl") {
37259
- return Path2;
37257
+ return Rect;
37260
37258
  }
37261
37259
  if (x2._1._1._1._1._1.tag === "Inr") {
37262
37260
  if (x2._1._1._1._1._1._1.tag === "Inl") {
37263
- return Rect;
37261
+ return SVG;
37264
37262
  }
37265
37263
  if (x2._1._1._1._1._1._1.tag === "Inr") {
37266
37264
  if (x2._1._1._1._1._1._1._1.tag === "Inl") {
37267
- return Span;
37265
+ return Table;
37268
37266
  }
37269
37267
  if (x2._1._1._1._1._1._1._1.tag === "Inr") {
37270
37268
  if (x2._1._1._1._1._1._1._1._1.tag === "Inl") {
37271
- return SVG;
37269
+ return Text2;
37272
37270
  }
37273
37271
  if (x2._1._1._1._1._1._1._1._1.tag === "Inr") {
37274
37272
  if (x2._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37275
- return Table;
37273
+ return TBody;
37276
37274
  }
37277
37275
  if (x2._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37278
37276
  if (x2._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37279
- return Text2;
37277
+ return TD;
37280
37278
  }
37281
37279
  if (x2._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37282
37280
  if (x2._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37283
- return TBody;
37281
+ return TH;
37284
37282
  }
37285
37283
  if (x2._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37286
37284
  if (x2._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37287
- return TD;
37285
+ return THead;
37288
37286
  }
37289
37287
  if (x2._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37290
37288
  if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37291
- return TH;
37289
+ return TR;
37292
37290
  }
37293
37291
  if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37294
- if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37295
- return THead;
37296
- }
37297
- if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37298
- if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
37299
- return TR;
37300
- }
37301
- if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
37302
- return Pattern;
37303
- }
37304
- }
37292
+ return Pattern;
37305
37293
  }
37306
37294
  }
37307
37295
  }
@@ -37325,25 +37313,16 @@ var genericElementType_ = {
37325
37313
  if (x2 === "Circle") {
37326
37314
  return $Sum("Inr", $Sum("Inl", NoArguments));
37327
37315
  }
37328
- if (x2 === "Div") {
37329
- return $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)));
37330
- }
37331
37316
  if (x2 === "G") {
37332
- return $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))));
37317
+ return $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)));
37333
37318
  }
37334
37319
  if (x2 === "Line") {
37335
- return $Sum(
37336
- "Inr",
37337
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37338
- );
37320
+ return $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))));
37339
37321
  }
37340
37322
  if (x2 === "Path") {
37341
37323
  return $Sum(
37342
37324
  "Inr",
37343
- $Sum(
37344
- "Inr",
37345
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37346
- )
37325
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37347
37326
  );
37348
37327
  }
37349
37328
  if (x2 === "Rect") {
@@ -37351,25 +37330,7 @@ var genericElementType_ = {
37351
37330
  "Inr",
37352
37331
  $Sum(
37353
37332
  "Inr",
37354
- $Sum(
37355
- "Inr",
37356
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37357
- )
37358
- )
37359
- );
37360
- }
37361
- if (x2 === "Span") {
37362
- return $Sum(
37363
- "Inr",
37364
- $Sum(
37365
- "Inr",
37366
- $Sum(
37367
- "Inr",
37368
- $Sum(
37369
- "Inr",
37370
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37371
- )
37372
- )
37333
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37373
37334
  )
37374
37335
  );
37375
37336
  }
@@ -37380,13 +37341,7 @@ var genericElementType_ = {
37380
37341
  "Inr",
37381
37342
  $Sum(
37382
37343
  "Inr",
37383
- $Sum(
37384
- "Inr",
37385
- $Sum(
37386
- "Inr",
37387
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37388
- )
37389
- )
37344
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37390
37345
  )
37391
37346
  )
37392
37347
  );
@@ -37400,13 +37355,7 @@ var genericElementType_ = {
37400
37355
  "Inr",
37401
37356
  $Sum(
37402
37357
  "Inr",
37403
- $Sum(
37404
- "Inr",
37405
- $Sum(
37406
- "Inr",
37407
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37408
- )
37409
- )
37358
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37410
37359
  )
37411
37360
  )
37412
37361
  )
@@ -37423,13 +37372,7 @@ var genericElementType_ = {
37423
37372
  "Inr",
37424
37373
  $Sum(
37425
37374
  "Inr",
37426
- $Sum(
37427
- "Inr",
37428
- $Sum(
37429
- "Inr",
37430
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37431
- )
37432
- )
37375
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37433
37376
  )
37434
37377
  )
37435
37378
  )
@@ -37449,13 +37392,7 @@ var genericElementType_ = {
37449
37392
  "Inr",
37450
37393
  $Sum(
37451
37394
  "Inr",
37452
- $Sum(
37453
- "Inr",
37454
- $Sum(
37455
- "Inr",
37456
- $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37457
- )
37458
- )
37395
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37459
37396
  )
37460
37397
  )
37461
37398
  )
@@ -37478,16 +37415,7 @@ var genericElementType_ = {
37478
37415
  "Inr",
37479
37416
  $Sum(
37480
37417
  "Inr",
37481
- $Sum(
37482
- "Inr",
37483
- $Sum(
37484
- "Inr",
37485
- $Sum(
37486
- "Inr",
37487
- $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)))
37488
- )
37489
- )
37490
- )
37418
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37491
37419
  )
37492
37420
  )
37493
37421
  )
@@ -37513,16 +37441,7 @@ var genericElementType_ = {
37513
37441
  "Inr",
37514
37442
  $Sum(
37515
37443
  "Inr",
37516
- $Sum(
37517
- "Inr",
37518
- $Sum(
37519
- "Inr",
37520
- $Sum(
37521
- "Inr",
37522
- $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)))
37523
- )
37524
- )
37525
- )
37444
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
37526
37445
  )
37527
37446
  )
37528
37447
  )
@@ -37553,13 +37472,7 @@ var genericElementType_ = {
37553
37472
  "Inr",
37554
37473
  $Sum(
37555
37474
  "Inr",
37556
- $Sum(
37557
- "Inr",
37558
- $Sum(
37559
- "Inr",
37560
- $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)))
37561
- )
37562
- )
37475
+ $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)))
37563
37476
  )
37564
37477
  )
37565
37478
  )
@@ -37594,13 +37507,7 @@ var genericElementType_ = {
37594
37507
  "Inr",
37595
37508
  $Sum(
37596
37509
  "Inr",
37597
- $Sum(
37598
- "Inr",
37599
- $Sum(
37600
- "Inr",
37601
- $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)))
37602
- )
37603
- )
37510
+ $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)))
37604
37511
  )
37605
37512
  )
37606
37513
  )
@@ -37636,13 +37543,7 @@ var genericElementType_ = {
37636
37543
  "Inr",
37637
37544
  $Sum(
37638
37545
  "Inr",
37639
- $Sum(
37640
- "Inr",
37641
- $Sum(
37642
- "Inr",
37643
- $Sum("Inr", $Sum("Inr", $Sum("Inr", NoArguments)))
37644
- )
37645
- )
37546
+ $Sum("Inr", $Sum("Inr", $Sum("Inr", NoArguments)))
37646
37547
  )
37647
37548
  )
37648
37549
  )
@@ -37665,66 +37566,38 @@ var showElementType = {
37665
37566
  const $2 = (() => {
37666
37567
  const $22 = (() => {
37667
37568
  const $23 = (() => {
37668
- const $24 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Div" });
37569
+ const $24 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "G" });
37669
37570
  const $3 = (() => {
37670
- const $32 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "G" });
37571
+ const $32 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Line" });
37671
37572
  const $4 = (() => {
37672
- const $42 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Line" });
37573
+ const $42 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Path" });
37673
37574
  const $5 = (() => {
37674
- const $52 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Path" });
37575
+ const $52 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Rect" });
37675
37576
  const $6 = (() => {
37676
- const $62 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Rect" });
37577
+ const $62 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "SVG" });
37677
37578
  const $7 = (() => {
37678
- const $72 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Span" });
37579
+ const $72 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Table" });
37679
37580
  const $8 = (() => {
37680
- const $82 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "SVG" });
37581
+ const $82 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Text" });
37681
37582
  const $9 = (() => {
37682
- const $92 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Table" });
37583
+ const $92 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TBody" });
37683
37584
  const $10 = (() => {
37684
- const $102 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Text" });
37585
+ const $102 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TD" });
37685
37586
  const $11 = (() => {
37686
- const $112 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TBody" });
37587
+ const $112 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TH" });
37687
37588
  const $12 = (() => {
37688
- const $122 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TD" });
37589
+ const $122 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "THead" });
37689
37590
  const $13 = (() => {
37690
- const $132 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TH" });
37591
+ const $132 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TR" });
37691
37592
  const $14 = (() => {
37692
- const $142 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "THead" });
37693
- const $15 = (() => {
37694
- const $152 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TR" });
37695
- const $16 = (() => {
37696
- const $162 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Pattern" });
37697
- return {
37698
- "genericShow'": (v) => {
37699
- if (v.tag === "Inl") {
37700
- return $152["genericShow'"](v._1);
37701
- }
37702
- if (v.tag === "Inr") {
37703
- return $162["genericShow'"](v._1);
37704
- }
37705
- fail();
37706
- }
37707
- };
37708
- })();
37709
- return {
37710
- "genericShow'": (v) => {
37711
- if (v.tag === "Inl") {
37712
- return $142["genericShow'"](v._1);
37713
- }
37714
- if (v.tag === "Inr") {
37715
- return $16["genericShow'"](v._1);
37716
- }
37717
- fail();
37718
- }
37719
- };
37720
- })();
37593
+ const $142 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Pattern" });
37721
37594
  return {
37722
37595
  "genericShow'": (v) => {
37723
37596
  if (v.tag === "Inl") {
37724
37597
  return $132["genericShow'"](v._1);
37725
37598
  }
37726
37599
  if (v.tag === "Inr") {
37727
- return $15["genericShow'"](v._1);
37600
+ return $142["genericShow'"](v._1);
37728
37601
  }
37729
37602
  fail();
37730
37603
  }
@@ -38246,9 +38119,7 @@ var setSelStates$p = (v) => (select2) => (rootElement) => {
38246
38119
  };
38247
38120
  var createRootElement$p = (v) => (parent) => {
38248
38121
  const $0 = v._2;
38249
- const $1 = createChild(parent)(showElementType.show(Div))(fromFoldable9([
38250
- $Tuple("class", "para-text")
38251
- ]));
38122
+ const $1 = createChild(parent)(showElementType.show(G))(fromFoldable9([]));
38252
38123
  return () => {
38253
38124
  const rootElement = $1();
38254
38125
  sequence_2(arrayMap((view2) => view2((dictView) => (v1) => dictView.createElement()(v1)(rootElement)))($0))();
@@ -38633,7 +38504,6 @@ function createElement_({ val }, { title: title2, matrix }, parent) {
38633
38504
  const vMargin = h / 2;
38634
38505
  const rootElement = parent.append("svg");
38635
38506
  rootElement.attr("width", width + hMargin).attr("height", height + vMargin);
38636
- rootElement.append("text").text(title2 === "intermediate" ? " " : title2).attr("x", hMargin / 2).attr("y", vMargin / 2).attr("class", "title-text").attr("dominant-baseline", "middle").attr("text-anchor", "left");
38637
38507
  const matrixGrp = rootElement.append("g").attr("transform", `translate(${highlightStrokeWidth / 2 + hMargin / 2}, ${highlightStrokeWidth / 2 + vMargin})`).attr("fill", "currentColor").attr("stroke", "currentColor").attr("stroke-width", ".25");
38638
38508
  const rowGrp = matrixGrp.selectAll("g").data([...matrix.cells.entries()].map(([i, ns]) => {
38639
38509
  return { i: i + 1, ns };
@@ -38734,7 +38604,7 @@ var setSelStates$p2 = (v) => (select2) => (rootElement) => sequence_3((() => {
38734
38604
  })());
38735
38605
  var createRootElement$p2 = (v) => (parent) => {
38736
38606
  const views$p = toUnfoldable9(v._1);
38737
- const $0 = createChild(parent)(showElementType.show(Div))(fromFoldable9([]));
38607
+ const $0 = createChild(parent)(showElementType.show(G))(fromFoldable9([]));
38738
38608
  return () => {
38739
38609
  const rootElement = $0();
38740
38610
  sequence_3(arrayMap((v1) => v1._2((dictView) => (v2) => dictView.createElement()(v2)(rootElement)))(views$p))();
@@ -39157,7 +39027,9 @@ var textAttrs = (dictTextual) => (x2) => {
39157
39027
  var viewTextUnit = {
39158
39028
  createElement: (v) => (v1) => (parent) => {
39159
39029
  const $0 = v1._1;
39160
- const $1 = createChild(parent)(showElementType.show(Span))(fromFoldable9([]));
39030
+ const $1 = createChild(parent)(showElementType.show(Text2))(fromFoldable9([
39031
+ $Tuple("class", "para-text")
39032
+ ]));
39161
39033
  return () => {
39162
39034
  const rootElement = $1();
39163
39035
  return setText($0)(rootElement)();
@@ -39165,7 +39037,7 @@ var viewTextUnit = {
39165
39037
  },
39166
39038
  setSelection: (v) => (v1) => (redraw) => (rootElement) => {
39167
39039
  const $0 = v1._1;
39168
- const $1 = select(":nth-child(1)")(rootElement);
39040
+ const $1 = select(".para-text")(rootElement);
39169
39041
  return () => {
39170
39042
  const elem2 = $1();
39171
39043
  const listener = eventListener((x2) => redraw(selectionEventData$p(x2)._2))();
@@ -39256,26 +39128,18 @@ var viewLinkUnit = {
39256
39128
  };
39257
39129
 
39258
39130
  // output-es/App.View/index.js
39259
- var pack3 = (x2) => (v) => v(viewTextUnit)(x2);
39260
- var pack14 = (x2) => (v) => v(viewBarChartUnit)(x2);
39261
- var pack23 = (x2) => (v) => v(viewLineChartUnit)(x2);
39262
- var pack32 = (x2) => (v) => v(viewScatterPlotUnit)(x2);
39263
- var pack4 = (x2) => (v) => v(viewMultiViewUnit)(x2);
39264
- var pack5 = (x2) => (v) => v(viewParagraphUnit)(x2);
39265
- var pack6 = (x2) => (v) => v(viewLinkUnit)(x2);
39131
+ var pack3 = (x2) => (v) => v(viewBarChartUnit)(x2);
39132
+ var pack14 = (x2) => (v) => v(viewLineChartUnit)(x2);
39133
+ var pack23 = (x2) => (v) => v(viewScatterPlotUnit)(x2);
39134
+ var pack32 = (x2) => (v) => v(viewMultiViewUnit)(x2);
39135
+ var pack4 = (x2) => (v) => v(viewParagraphUnit)(x2);
39136
+ var pack5 = (x2) => (v) => v(viewLinkUnit)(x2);
39266
39137
  var identity29 = (x2) => x2;
39267
- var pack7 = (x2) => (v) => v(viewTableViewUnit)(x2);
39268
- var pack8 = (x2) => (v) => v(viewMatrixViewUnit)(x2);
39138
+ var pack6 = (x2) => (v) => v(viewTableViewUnit)(x2);
39139
+ var pack7 = (x2) => (v) => v(viewMatrixViewUnit)(x2);
39140
+ var pack8 = (x2) => (v) => v(viewTextUnit)(x2);
39269
39141
  var fromFoldable11 = /* @__PURE__ */ (() => fromFoldableImpl(foldableList.foldr))();
39270
39142
  var pack9 = (x2) => (v) => v(viewDocViewUnit)(x2);
39271
- var reflectValSelStates\u{1D54A}Text = {
39272
- from: () => (v) => {
39273
- if (v._3.tag === "Str") {
39274
- return $Tuple(v._3._1, v._1);
39275
- }
39276
- return typeError(v._3)("Text");
39277
- }
39278
- };
39279
39143
  var reflectValSelStates\u{1D54A}Link = {
39280
39144
  from: () => (v) => {
39281
39145
  if (v._3.tag === "Constr" && v._3._2.tag === "Cons" && v._3._2._2.tag === "Cons" && v._3._2._2._1._3.tag === "Str" && v._3._2._2._2.tag === "Nil" && v._3._1 === "Link") {
@@ -39423,17 +39287,14 @@ var view = () => (v) => (v1) => (v2) => {
39423
39287
  if (v1._3.tag === "Constr") {
39424
39288
  if (v1._3._2.tag === "Cons") {
39425
39289
  if (v1._3._2._2.tag === "Nil") {
39426
- if (v1._3._1 === "Text") {
39427
- return pack3(reflectValSelStates\u{1D54A}Text.from()(v1._3._2._1));
39428
- }
39429
39290
  if (v1._3._1 === "BarChart") {
39430
- return pack14(dict(reflectDictSelStates\u{1D54A}$x215Val9.from())(v1._3._2._1));
39291
+ return pack3(dict(reflectDictSelStates\u{1D54A}$x215Val9.from())(v1._3._2._1));
39431
39292
  }
39432
39293
  if (v1._3._1 === "LineChart") {
39433
- return pack23(dict(reflectDictSelStates\u{1D54A}$x215Val7.from())(v1._3._2._1));
39294
+ return pack14(dict(reflectDictSelStates\u{1D54A}$x215Val7.from())(v1._3._2._1));
39434
39295
  }
39435
39296
  if (v1._3._1 === "ScatterPlot") {
39436
- return pack32(dict(reflectDictSelStates\u{1D54A}$x215Val6.from())(v1._3._2._1));
39297
+ return pack23(dict(reflectDictSelStates\u{1D54A}$x215Val6.from())(v1._3._2._1));
39437
39298
  }
39438
39299
  if (v1._3._1 === "MultiView") {
39439
39300
  const vws = _fmapObject(
@@ -39448,16 +39309,16 @@ var view = () => (v) => (v1) => (v2) => {
39448
39309
  ),
39449
39310
  view()(v)
39450
39311
  );
39451
- return pack4($MultiView(intersectionWith_Object(apply)(vws)(_fmapObject(vws, (v$1) => Nothing))));
39312
+ return pack32($MultiView(intersectionWith_Object(apply)(vws)(_fmapObject(vws, (v$1) => Nothing))));
39452
39313
  }
39453
39314
  if (v1._3._1 === "Paragraph") {
39454
39315
  const vws = arrayMap(view()(v))(reflectValSelStates\u{1D54A}Array.from()(v1._3._2._1));
39455
- return pack5($Paragraph(false, arrayApply(vws)(arrayMap((v$1) => Nothing)(vws))));
39316
+ return pack4($Paragraph(false, arrayApply(vws)(arrayMap((v$1) => Nothing)(vws))));
39456
39317
  }
39457
39318
  if (v1._3._1 === "Nil" || v1._3._1 === ":") {
39458
39319
  const records = arrayMap(dict(identity29))(reflectValSelStates\u{1D54A}Array.from()(v1));
39459
39320
  const colNames = headers(records);
39460
- return pack7({
39321
+ return pack6({
39461
39322
  title: v,
39462
39323
  filter: Interactive,
39463
39324
  colNames,
@@ -39467,13 +39328,13 @@ var view = () => (v) => (v1) => (v2) => {
39467
39328
  fail();
39468
39329
  }
39469
39330
  if (v1._3._2._2.tag === "Cons" && v1._3._2._2._2.tag === "Nil" && v1._3._1 === "Link") {
39470
- return pack6(reflectValSelStates\u{1D54A}Link.from()(v1));
39331
+ return pack5(reflectValSelStates\u{1D54A}Link.from()(v1));
39471
39332
  }
39472
39333
  }
39473
39334
  if (v1._3._1 === "Nil" || v1._3._1 === ":") {
39474
39335
  const records = arrayMap(dict(identity29))(reflectValSelStates\u{1D54A}Array.from()(v1));
39475
39336
  const colNames = headers(records);
39476
- return pack7({
39337
+ return pack6({
39477
39338
  title: v,
39478
39339
  filter: Interactive,
39479
39340
  colNames,
@@ -39483,7 +39344,7 @@ var view = () => (v) => (v1) => (v2) => {
39483
39344
  fail();
39484
39345
  }
39485
39346
  if (v1._3.tag === "Matrix") {
39486
- return pack8({ title: v, matrix: matrixRep(v1._3._1) });
39347
+ return pack7({ title: v, matrix: matrixRep(v1._3._1) });
39487
39348
  }
39488
39349
  fail();
39489
39350
  };
@@ -39501,11 +39362,11 @@ var viewPara = () => (v) => {
39501
39362
  if (v1._2.tag === "Cons" && v1._2._1.tag === "Token") {
39502
39363
  return formatPara($List("Cons", $DocCommentElem("Token", v1._1._1 + " " + v1._2._1._1), v1._2._2));
39503
39364
  }
39504
- return $List("Cons", pack3($Tuple(v1._1._1, Inert)), formatPara(v1._2));
39365
+ return $List("Cons", pack8($Tuple(v1._1._1, Inert)), formatPara(v1._2));
39505
39366
  }
39506
39367
  if (v1._1.tag === "Unquote") {
39507
39368
  if (v1._1._1._3.tag === "Int") {
39508
- return $List("Cons", pack3($Tuple(showIntImpl(v1._1._1._3._1), v1._1._1._1)), formatPara(v1._2));
39369
+ return $List("Cons", pack8($Tuple(showIntImpl(v1._1._1._3._1), v1._1._1._1)), formatPara(v1._2));
39509
39370
  }
39510
39371
  return $List("Cons", view()("")(v1._1._1)(Nothing), formatPara(v1._2));
39511
39372
  }
@@ -39532,17 +39393,6 @@ var applyStateT = (dictMonad) => {
39532
39393
  };
39533
39394
  };
39534
39395
  var applicativeStateT = (dictMonad) => ({ pure: (a) => (s) => dictMonad.Applicative0().pure($Tuple(a, s)), Apply0: () => applyStateT(dictMonad) });
39535
- var monadEffectState = (dictMonadEffect) => {
39536
- const Monad0 = dictMonadEffect.Monad0();
39537
- const monadStateT1 = { Applicative0: () => applicativeStateT(Monad0), Bind1: () => bindStateT(Monad0) };
39538
- return {
39539
- liftEffect: (x2) => {
39540
- const $0 = dictMonadEffect.liftEffect(x2);
39541
- return (s) => Monad0.Bind1().bind($0)((x$1) => Monad0.Applicative0().pure($Tuple(x$1, s)));
39542
- },
39543
- Monad0: () => monadStateT1
39544
- };
39545
- };
39546
39396
  var monadRecStateT = (dictMonadRec) => {
39547
39397
  const Monad0 = dictMonadRec.Monad0();
39548
39398
  const monadStateT1 = { Applicative0: () => applicativeStateT(Monad0), Bind1: () => bindStateT(Monad0) };
@@ -39579,23 +39429,6 @@ var monadErrorStateT = (dictMonadError) => {
39579
39429
  return { catchError: (v) => (h) => (s) => dictMonadError.catchError(v(s))((e) => h(e)(s)), MonadThrow0: () => monadThrowStateT1 };
39580
39430
  };
39581
39431
 
39582
- // output-es/Effect.Aff.Class/index.js
39583
- var monadAffAff = { liftAff: (x2) => x2, MonadEffect0: () => monadEffectAff };
39584
- var monadAffState = (dictMonadAff) => {
39585
- const MonadEffect0 = dictMonadAff.MonadEffect0();
39586
- const monadEffectState2 = monadEffectState(MonadEffect0);
39587
- return {
39588
- liftAff: (() => {
39589
- const $0 = MonadEffect0.Monad0();
39590
- return (x2) => {
39591
- const $1 = dictMonadAff.liftAff(x2);
39592
- return (s) => $0.Bind1().bind($1)((x$1) => $0.Applicative0().pure($Tuple(x$1, s)));
39593
- };
39594
- })(),
39595
- MonadEffect0: () => monadEffectState2
39596
- };
39597
- };
39598
-
39599
39432
  // output-es/Graph.WithGraph/index.js
39600
39433
  var fromFoldable17 = /* @__PURE__ */ (() => {
39601
39434
  const go = (go$a0$copy) => (go$a1$copy) => {
@@ -39990,11 +39823,11 @@ var new$p = (dictMonadWithGraphAlloc) => {
39990
39823
  const Monad0 = MonadWithGraph2.Monad0();
39991
39824
  const Bind1 = Monad0.Bind1();
39992
39825
  const fresh = dictMonadWithGraphAlloc.MonadAlloc0().fresh;
39993
- return (dictLoadFile) => (v) => (v1) => (v2) => (v3) => {
39826
+ return (v) => (v1) => (v2) => (v3) => {
39994
39827
  if (v2.tag === "None") {
39995
39828
  return $$new((\u03B1s$p) => (u$p) => $Val(\u03B1s$p, None, u$p))(v1)(v3);
39996
39829
  }
39997
- return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
39830
+ return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)((() => {
39998
39831
  const $0 = {};
39999
39832
  $0.this = $Val(\u03B1, None, v3);
40000
39833
  return $0;
@@ -40006,7 +39839,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => {
40006
39839
  const Applicative0 = Monad0.Applicative0();
40007
39840
  const $0 = Monad0.Bind1().Apply0().Functor0();
40008
39841
  const sequence2 = traversableList.traverse(Applicative0)(identity7);
40009
- return (dictLoadFile) => (v) => (v1) => {
39842
+ return (v) => (v1) => {
40010
39843
  if (v1.tag === "None") {
40011
39844
  return Applicative0.pure(None);
40012
39845
  }
@@ -40016,7 +39849,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => {
40016
39849
  return Applicative0.pure($DocCommentElem("Token", v2._1));
40017
39850
  }
40018
39851
  if (v2.tag === "Unquote") {
40019
- return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v2._1)(setSet4.empty));
39852
+ return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(v)(v2._1)(setSet4.empty));
40020
39853
  }
40021
39854
  fail();
40022
39855
  })(v1._1)));
@@ -40039,7 +39872,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40039
39872
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
40040
39873
  const match1 = match(dictMonadWithGraphAlloc);
40041
39874
  const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
40042
- return (dictLoadFile) => (v) => (v1) => (v2) => {
39875
+ return (v) => (v1) => (v2) => {
40043
39876
  if (v1.tag === "Var") {
40044
39877
  return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
40045
39878
  }
@@ -40047,23 +39880,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40047
39880
  return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
40048
39881
  }
40049
39882
  if (v1.tag === "Int") {
40050
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
39883
+ return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
40051
39884
  }
40052
39885
  if (v1.tag === "Float") {
40053
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
39886
+ return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
40054
39887
  }
40055
39888
  if (v1.tag === "Str") {
40056
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
39889
+ return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
40057
39890
  }
40058
39891
  if (v1.tag === "Dictionary") {
40059
39892
  const $1 = v1._2;
40060
39893
  const $2 = v1._1;
40061
39894
  return Bind1.bind($0.map(unzip3)(traverse2(traverse3((() => {
40062
- const $3 = $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v);
39895
+ const $3 = $$eval(dictMonadWithGraphAlloc)(v);
40063
39896
  return (a) => $3(a)(v2);
40064
39897
  })()))(v1._3)))((v3) => {
40065
39898
  const v4 = unzip(listMap((v$1) => $Tuple(v$1._3.tag === "Str" ? v$1._3._1 : typeError(v$1._3)("Str"), v$1._1))(v3._1));
40066
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)($2)()(v2))($1)($BaseVal(
39899
+ return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)($2)()(v2))($1)($BaseVal(
40067
39900
  "Dictionary",
40068
39901
  fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2)))
40069
39902
  ));
@@ -40095,9 +39928,9 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40095
39928
  };
40096
39929
  return go(0)($3);
40097
39930
  })()))(() => Bind1.bind(traverse2((() => {
40098
- const $5 = $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v);
39931
+ const $5 = $$eval(dictMonadWithGraphAlloc)(v);
40099
39932
  return (a) => $5(a)(v2);
40100
- })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
39933
+ })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
40101
39934
  }
40102
39935
  if (v1.tag === "Matrix") {
40103
39936
  const $1 = v1._2;
@@ -40105,7 +39938,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40105
39938
  const $3 = v1._4._1;
40106
39939
  const $4 = v1._4._2;
40107
39940
  const $5 = v1._1;
40108
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
39941
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._5)(v2))((v3) => {
40109
39942
  const v5 = intPair.unpack(v3._3);
40110
39943
  const $6 = v5._1._1;
40111
39944
  const $7 = v5._2._1;
@@ -40116,7 +39949,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40116
39949
  $7
40117
39950
  )) + ")"))(() => Bind1.bind(sequence2(arrayBind(range(1)($6))((i) => [
40118
39951
  sequence2(arrayBind(range(1)($7))((j) => [
40119
- $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)(disjointUnion2((() => {
39952
+ $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(disjointUnion2((() => {
40120
39953
  const $10 = {};
40121
39954
  $10[$3] = $Val($8, None, $BaseVal("Int", i));
40122
39955
  return $10;
@@ -40126,7 +39959,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40126
39959
  return $10;
40127
39960
  })())))($2)(v2)
40128
39961
  ]))
40129
- ])))((vss) => new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)($5)()(v2))($1)($BaseVal(
39962
+ ])))((vss) => new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)($5)()(v2))($1)($BaseVal(
40130
39963
  "Matrix",
40131
39964
  $Tuple(vss, $Tuple($Tuple($6, $8), $Tuple($7, $9)))
40132
39965
  ))));
@@ -40152,7 +39985,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40152
39985
  if (v1.tag === "Project") {
40153
39986
  const $1 = v1._1;
40154
39987
  const $2 = v1._3;
40155
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
39988
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => {
40156
39989
  if (v3._3.tag === "Dictionary") {
40157
39990
  return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + $2 + '" not found')((() => {
40158
39991
  const $3 = _lookup(Nothing, Just, $2, v3._3._1);
@@ -40160,7 +39993,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40160
39993
  return $Maybe("Just", $3._1._2);
40161
39994
  }
40162
39995
  return Nothing;
40163
- })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v$p)($1));
39996
+ })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(v)(v$p)($1));
40164
39997
  }
40165
39998
  return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v3)).lines) + ", expected dictionary"));
40166
39999
  });
@@ -40168,7 +40001,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40168
40001
  if (v1.tag === "DProject") {
40169
40002
  const $1 = v1._1;
40170
40003
  const $2 = v1._3;
40171
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)($2)(v2))((v$p) => {
40004
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)($2)(v2))((v$p) => {
40172
40005
  if (v3._3.tag === "Dictionary") {
40173
40006
  if (v$p._3.tag === "Str") {
40174
40007
  return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + v$p._3._1 + '" not found')((() => {
@@ -40177,7 +40010,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40177
40010
  return $Maybe("Just", $3._1._2);
40178
40011
  }
40179
40012
  return Nothing;
40180
- })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v$p$p)($1));
40013
+ })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(v)(v$p$p)($1));
40181
40014
  }
40182
40015
  return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v$p)).lines) + ", expected string"));
40183
40016
  }
@@ -40187,10 +40020,10 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40187
40020
  if (v1.tag === "App") {
40188
40021
  const $1 = v1._1;
40189
40022
  const $2 = v1._3;
40190
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)($2)(v2))((v$p) => Bind1.bind(apply2(dictMonadWithGraphAlloc)(dictLoadFile)(v3)(v$p))((v4) => {
40023
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)($2)(v2))((v$p) => Bind1.bind(apply2(dictMonadWithGraphAlloc)(v3)(v$p))((v4) => {
40191
40024
  const $3 = v4._3;
40192
40025
  const $4 = v4._1;
40193
- return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
40026
+ return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)((() => {
40194
40027
  const $5 = {};
40195
40028
  $5.this = v4;
40196
40029
  return $5;
@@ -40200,23 +40033,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
40200
40033
  if (v1.tag === "Let") {
40201
40034
  const $1 = v1._2;
40202
40035
  const $2 = v1._1._1;
40203
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
40036
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
40204
40037
  }
40205
40038
  if (v1.tag === "LetRec") {
40206
40039
  const $1 = v1._2;
40207
40040
  const $2 = v1._1._1;
40208
- return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)(\u03B3$p))($1)(insert3(ordVertex)($2)()(v2)));
40041
+ return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(\u03B3$p))($1)(insert3(ordVertex)($2)()(v2)));
40209
40042
  }
40210
40043
  fail();
40211
40044
  };
40212
40045
  };
40213
40046
  var concatDocs = (dictMonadWithGraphAlloc) => {
40214
40047
  const Monad0 = dictMonadWithGraphAlloc.MonadWithGraph2().Monad0();
40215
- return (dictLoadFile) => (\u03B3) => (v) => (doc2) => {
40048
+ return (\u03B3) => (v) => (doc2) => {
40216
40049
  const $0 = v._3;
40217
40050
  const $1 = v._2;
40218
40051
  const $2 = v._1;
40219
- return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(\u03B3)((() => {
40052
+ return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(\u03B3)((() => {
40220
40053
  const $3 = {};
40221
40054
  $3.this = $Val($2, None, $0);
40222
40055
  return $3;
@@ -40230,14 +40063,14 @@ var apply2 = (dictMonadWithGraphAlloc) => {
40230
40063
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
40231
40064
  const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
40232
40065
  const MonadThrow0 = MonadError1.MonadThrow0();
40233
- return (dictLoadFile) => (v) => (v1) => {
40066
+ return (v) => (v1) => {
40234
40067
  const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", expected function"));
40235
40068
  if (v._3.tag === "Fun") {
40236
40069
  if (v._3._1.tag === "Closure") {
40237
40070
  const $1 = v._1;
40238
40071
  const $2 = v._3._1._1;
40239
40072
  const $3 = v._3._1._3;
40240
- return Bind1.bind(closeDefs1($2)(v._3._1._2)($$$Map("Two", Leaf2, $1, void 0, Leaf2)))((\u03B32) => Bind1.bind(match1(v1)($3))((v3) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(unionWith((v$1) => identity18)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert3(ordVertex)($1)()(v3._2._2))));
40073
+ return Bind1.bind(closeDefs1($2)(v._3._1._2)($$$Map("Two", Leaf2, $1, void 0, Leaf2)))((\u03B32) => Bind1.bind(match1(v1)($3))((v3) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(unionWith((v$1) => identity18)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert3(ordVertex)($1)()(v3._2._2))));
40241
40074
  }
40242
40075
  if (v._3._1.tag === "Foreign") {
40243
40076
  const $1 = v._3._1._1._2;
@@ -40268,7 +40101,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
40268
40101
  $Fun("Foreign", $Tuple(v._3._1._1._1, $1), vs$p)
40269
40102
  ));
40270
40103
  }
40271
- return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictLoadFile)(vs$p);
40104
+ return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(vs$p);
40272
40105
  }
40273
40106
  if (v._3._1.tag === "PartialConstr") {
40274
40107
  const $1 = v._1;
@@ -40339,28 +40172,25 @@ var eval_module = (dictMonadWithGraphAlloc) => {
40339
40172
  const eval1 = $$eval(dictMonadWithGraphAlloc);
40340
40173
  const match1 = match(dictMonadWithGraphAlloc);
40341
40174
  const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
40342
- return (dictLoadFile) => {
40343
- const eval2 = eval1(dictLoadFile);
40344
- return (\u03B3) => {
40345
- const go = (v) => (v1) => (v2) => {
40346
- if (v1.tag === "Nil") {
40347
- return Monad0.Applicative0().pure(v);
40175
+ return (\u03B3) => {
40176
+ const go = (v) => (v1) => (v2) => {
40177
+ if (v1.tag === "Nil") {
40178
+ return Monad0.Applicative0().pure(v);
40179
+ }
40180
+ if (v1.tag === "Cons") {
40181
+ if (v1._1.tag === "Left") {
40182
+ const $1 = v1._2;
40183
+ const $2 = v1._1._1._1;
40184
+ return $0.bind(eval1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
40348
40185
  }
40349
- if (v1.tag === "Cons") {
40350
- if (v1._1.tag === "Left") {
40351
- const $1 = v1._2;
40352
- const $2 = v1._1._1._1;
40353
- return $0.bind(eval2(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
40354
- }
40355
- if (v1._1.tag === "Right") {
40356
- const $1 = v1._2;
40357
- return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
40358
- }
40186
+ if (v1._1.tag === "Right") {
40187
+ const $1 = v1._2;
40188
+ return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
40359
40189
  }
40360
- fail();
40361
- };
40362
- return go(empty);
40190
+ }
40191
+ fail();
40363
40192
  };
40193
+ return go(empty);
40364
40194
  };
40365
40195
  };
40366
40196
  var eval_progCxt = (dictMonadWithGraphAlloc) => {
@@ -40370,21 +40200,18 @@ var eval_progCxt = (dictMonadWithGraphAlloc) => {
40370
40200
  const $1 = Monad0.Applicative0();
40371
40201
  const eval1 = $$eval(dictMonadWithGraphAlloc);
40372
40202
  const concatM1 = concatM(Monad0);
40373
- return (dictLoadFile) => {
40374
- const eval_module2 = eval_module1(dictLoadFile);
40375
- const eval2 = eval1(dictLoadFile);
40376
- return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
40377
- const $2 = v1._1;
40378
- return $0.bind(eval2(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith((v$1) => identity18)(\u03B3)((() => {
40379
- const $3 = {};
40380
- $3[$2] = v2;
40381
- return $3;
40382
- })())));
40383
- })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module2(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith((v$1) => identity18)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
40384
- };
40203
+ return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
40204
+ const $2 = v1._1;
40205
+ return $0.bind(eval1(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith((v$1) => identity18)(\u03B3)((() => {
40206
+ const $3 = {};
40207
+ $3[$2] = v2;
40208
+ return $3;
40209
+ })())));
40210
+ })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module1(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith((v$1) => identity18)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
40385
40211
  };
40386
- var graphEval = (dictMonadAff) => {
40387
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
40212
+ var graphEval = (dictMonadError) => {
40213
+ const MonadThrow0 = dictMonadError.MonadThrow0();
40214
+ const Monad0 = MonadThrow0.Monad0();
40388
40215
  const bindStateT2 = bindStateT(Monad0);
40389
40216
  const $0 = monadAllocAllocT(Monad0);
40390
40217
  const fresh1 = $0.fresh;
@@ -40393,47 +40220,29 @@ var graphEval = (dictMonadAff) => {
40393
40220
  Applicative0: () => applicativeStateT(Monad0),
40394
40221
  Bind1: () => bindStateT(Monad0)
40395
40222
  })(graphGraphImpl);
40396
- const $1 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
40397
- const $2 = dictMonadAff.MonadEffect0().Monad0();
40398
- return (dictLoadFile) => (dictMonadError) => {
40399
- const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))((() => {
40400
- const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
40401
- return {
40402
- loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
40403
- const $3 = loadFile1(folders);
40404
- return (x2) => {
40405
- const $4 = $3(x2);
40406
- return (s) => $1.Bind1().bind((s$1) => $2.Bind1().bind($4)((x$1) => $2.Applicative0().pure($Tuple(x$1, s$1))))((x$1) => $1.Applicative0().pure($Tuple(
40407
- x$1,
40408
- s
40409
- )));
40410
- };
40411
- }
40412
- };
40413
- })());
40414
- const check2 = check(monadThrowStateT(dictMonadError.MonadThrow0()));
40415
- return (v) => (e) => {
40416
- const $3 = v["\u03B3"];
40417
- const $4 = spyFunWhen(false)("fwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(fwdSlice2);
40418
- const $5 = spyFunWhen(false)("bwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(bwdSlice2);
40419
- return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($3)(e\u03B1)(Leaf2))(verticesEnvExprVertex.vertices($EnvExpr(
40420
- $3,
40421
- e\u03B1
40422
- ))))((v1) => {
40423
- const $6 = v1._1;
40424
- const $7 = v1._2;
40425
- return bindStateT2.bind(check2(difference2(ordDVertex$p)(verticesValVertex.vertices($7))(verticesGraphImpl.vertices($6)).tag === "Leaf")("outputs in graph"))(() => applicativeStateT(Monad0).pure($Tuple(
40426
- $6,
40427
- $Tuple($EnvExpr($3, e\u03B1), $7)
40428
- )));
40429
- })))(v.n))((v1) => Monad0.Applicative0().pure({
40430
- g: v1._2._2._1,
40431
- graph_fwd: (a) => (b) => $4($Tuple(a, b)),
40432
- graph_bwd: (a) => (b) => $5($Tuple(a, b)),
40433
- "in\u03B1": v1._2._2._2._1,
40434
- "out\u03B1": v1._2._2._2._2
40435
- }));
40436
- };
40223
+ const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError));
40224
+ const check2 = check(monadThrowStateT(MonadThrow0));
40225
+ return (v) => (e) => {
40226
+ const $1 = v["\u03B3"];
40227
+ const $2 = spyFunWhen(false)("fwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(fwdSlice2);
40228
+ const $3 = spyFunWhen(false)("bwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(bwdSlice2);
40229
+ return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($1)(e\u03B1)(Leaf2))(verticesEnvExprVertex.vertices($EnvExpr(
40230
+ $1,
40231
+ e\u03B1
40232
+ ))))((v1) => {
40233
+ const $4 = v1._1;
40234
+ const $5 = v1._2;
40235
+ return bindStateT2.bind(check2(difference2(ordDVertex$p)(verticesValVertex.vertices($5))(verticesGraphImpl.vertices($4)).tag === "Leaf")("outputs in graph"))(() => applicativeStateT(Monad0).pure($Tuple(
40236
+ $4,
40237
+ $Tuple($EnvExpr($1, e\u03B1), $5)
40238
+ )));
40239
+ })))(v.n))((v1) => Monad0.Applicative0().pure({
40240
+ g: v1._2._2._1,
40241
+ graph_fwd: (a) => (b) => $2($Tuple(a, b)),
40242
+ graph_bwd: (a) => (b) => $3($Tuple(a, b)),
40243
+ "in\u03B1": v1._2._2._2._1,
40244
+ "out\u03B1": v1._2._2._2._2
40245
+ }));
40437
40246
  };
40438
40247
  };
40439
40248
 
@@ -43721,7 +43530,7 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
43721
43530
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
43722
43531
  return (dictMonadError) => {
43723
43532
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
43724
- return (dictLoadFile) => (v) => {
43533
+ return (v) => {
43725
43534
  if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Cons" && v._2._1._3.tag === "Constr" && v._2._1._3._2.tag === "Cons" && v._2._1._3._2._1._3.tag === "Int" && v._2._1._3._2._2.tag === "Cons" && v._2._1._3._2._2._1._3.tag === "Int" && v._2._1._3._2._2._2.tag === "Nil" && v._2._2.tag === "Cons" && v._2._2._2.tag === "Nil" && v._2._1._3._1 === "Pair") {
43726
43535
  const $0 = v._2._2._1;
43727
43536
  return $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))($BaseVal(
@@ -43741,7 +43550,7 @@ var matrixLookup = /* @__PURE__ */ $Tuple(
43741
43550
  arity: 2,
43742
43551
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
43743
43552
  const MonadThrow0 = dictMonadError.MonadThrow0();
43744
- return (dictLoadFile) => (v) => {
43553
+ return (v) => {
43745
43554
  if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Cons" && v._2._1._3.tag === "Constr" && v._2._1._3._2.tag === "Cons" && v._2._1._3._2._1._3.tag === "Int" && v._2._1._3._2._2.tag === "Cons" && v._2._1._3._2._2._1._3.tag === "Int" && v._2._1._3._2._2._2.tag === "Nil" && v._2._2.tag === "Nil" && v._2._1._3._1 === "Pair") {
43746
43555
  return MonadThrow0.Monad0().Applicative0().pure(matrixGet(v._2._1._3._2._1._3._1)(v._2._1._3._2._2._1._3._1)(v._1._3._1));
43747
43556
  }
@@ -43774,7 +43583,7 @@ var error_ = /* @__PURE__ */ $Tuple(
43774
43583
  arity: 1,
43775
43584
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
43776
43585
  const MonadThrow0 = dictMonadError.MonadThrow0();
43777
- return (dictLoadFile) => (v) => {
43586
+ return (v) => {
43778
43587
  if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
43779
43588
  return MonadThrow0.Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
43780
43589
  }
@@ -43793,7 +43602,7 @@ var dims = /* @__PURE__ */ $Tuple(
43793
43602
  return (dictMonadError) => {
43794
43603
  const MonadThrow0 = dictMonadError.MonadThrow0();
43795
43604
  const $0 = MonadThrow0.Monad0().Bind1();
43796
- return (dictLoadFile) => (v) => {
43605
+ return (v) => {
43797
43606
  if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
43798
43607
  const $1 = v._1._3._1._2._2._1;
43799
43608
  const $2 = v._1._1;
@@ -43828,22 +43637,19 @@ var dict_map = /* @__PURE__ */ $Tuple(
43828
43637
  const Monad0 = MonadThrow0.Monad0();
43829
43638
  const Bind1 = Monad0.Bind1();
43830
43639
  const traverse1 = traversableDict.traverse(Monad0.Applicative0());
43831
- return (dictLoadFile) => {
43832
- const apply1 = apply3(dictLoadFile);
43833
- return (v) => {
43834
- if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
43835
- const $0 = v._1;
43836
- const $1 = v._2._1._1;
43837
- return Bind1.bind(traverse1((v2) => {
43838
- const $2 = v2._1;
43839
- return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply1($0)(v2._2));
43840
- })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
43841
- "Dictionary",
43842
- d$p
43843
- )));
43844
- }
43845
- return MonadThrow0.throwError(error("Function and dictionary expected"));
43846
- };
43640
+ return (v) => {
43641
+ if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
43642
+ const $0 = v._1;
43643
+ const $1 = v._2._1._1;
43644
+ return Bind1.bind(traverse1((v2) => {
43645
+ const $2 = v2._1;
43646
+ return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply3($0)(v2._2));
43647
+ })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
43648
+ "Dictionary",
43649
+ d$p
43650
+ )));
43651
+ }
43652
+ return MonadThrow0.throwError(error("Function and dictionary expected"));
43847
43653
  };
43848
43654
  };
43849
43655
  }
@@ -43862,34 +43668,31 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
43862
43668
  const Bind1 = Monad0.Bind1();
43863
43669
  const Applicative0 = Monad0.Applicative0();
43864
43670
  const $0 = Bind1.Apply0().Functor0();
43865
- return (dictLoadFile) => {
43866
- const apply1 = apply3(dictLoadFile);
43867
- return (v) => {
43868
- if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Cons" && v._2._2._1._3.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
43869
- const $1 = v._1;
43870
- const $2 = v._2._1._1;
43871
- const $3 = v._2._2._1._1;
43872
- return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
43873
- const $4 = v3._2;
43874
- const $5 = v2._1;
43875
- const $6 = v3._1;
43876
- return Bind1.bind(Bind1.bind(apply1($1)(v2._2))((a) => apply1(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert3(ordVertex)($6)()($$$Map(
43877
- "Two",
43878
- Leaf2,
43879
- $5,
43880
- void 0,
43881
- Leaf2
43882
- )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
43883
- })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert3(ordVertex)($3)()($$$Map(
43671
+ return (v) => {
43672
+ if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Cons" && v._2._2._1._3.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
43673
+ const $1 = v._1;
43674
+ const $2 = v._2._1._1;
43675
+ const $3 = v._2._2._1._1;
43676
+ return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
43677
+ const $4 = v3._2;
43678
+ const $5 = v2._1;
43679
+ const $6 = v3._1;
43680
+ return Bind1.bind(Bind1.bind(apply3($1)(v2._2))((a) => apply3(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert3(ordVertex)($6)()($$$Map(
43884
43681
  "Two",
43885
43682
  Leaf2,
43886
- $2,
43683
+ $5,
43887
43684
  void 0,
43888
43685
  Leaf2
43889
- )))(v$p));
43890
- }
43891
- return MonadThrow0.throwError(error("Function and two dictionaries expected"));
43892
- };
43686
+ )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
43687
+ })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert3(ordVertex)($3)()($$$Map(
43688
+ "Two",
43689
+ Leaf2,
43690
+ $2,
43691
+ void 0,
43692
+ Leaf2
43693
+ )))(v$p));
43694
+ }
43695
+ return MonadThrow0.throwError(error("Function and two dictionaries expected"));
43893
43696
  };
43894
43697
  };
43895
43698
  }
@@ -43901,7 +43704,7 @@ var dict_get = /* @__PURE__ */ $Tuple(
43901
43704
  arity: 2,
43902
43705
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
43903
43706
  const MonadThrow0 = dictMonadError.MonadThrow0();
43904
- return (dictLoadFile) => (v) => {
43707
+ return (v) => {
43905
43708
  if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
43906
43709
  return orElse(MonadThrow0)('Key "' + v._1._3._1 + '" not found')((() => {
43907
43710
  const $0 = _lookup(Nothing, Just, v._1._3._1, v._2._1._3._1);
@@ -43925,18 +43728,15 @@ var dict_foldl = /* @__PURE__ */ $Tuple(
43925
43728
  return (dictMonadError) => {
43926
43729
  const MonadThrow0 = dictMonadError.MonadThrow0();
43927
43730
  const Monad0 = MonadThrow0.Monad0();
43928
- return (dictLoadFile) => {
43929
- const apply1 = apply3(dictLoadFile);
43930
- return (v) => {
43931
- if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Cons" && v._2._2._1._3.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
43932
- const $0 = v._1;
43933
- return foldM4(Monad0)((u1) => (v2) => {
43934
- const $1 = v2._2;
43935
- return Monad0.Bind1().bind(apply1($0)(u1))((a) => apply1(a)($1));
43936
- })(v._2._1)(v._2._2._1._3._1);
43937
- }
43938
- return MonadThrow0.throwError(error("Function, value and dictionary expected"));
43939
- };
43731
+ return (v) => {
43732
+ if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Cons" && v._2._2._1._3.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
43733
+ const $0 = v._1;
43734
+ return foldM4(Monad0)((u1) => (v2) => {
43735
+ const $1 = v2._2;
43736
+ return Monad0.Bind1().bind(apply3($0)(u1))((a) => apply3(a)($1));
43737
+ })(v._2._1)(v._2._2._1._3._1);
43738
+ }
43739
+ return MonadThrow0.throwError(error("Function, value and dictionary expected"));
43940
43740
  };
43941
43741
  };
43942
43742
  }
@@ -43950,7 +43750,7 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
43950
43750
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
43951
43751
  return (dictMonadError) => {
43952
43752
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
43953
- return (dictLoadFile) => (v) => {
43753
+ return (v) => {
43954
43754
  if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
43955
43755
  return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
43956
43756
  "Two",
@@ -43974,7 +43774,7 @@ var dict_difference = /* @__PURE__ */ $Tuple(
43974
43774
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
43975
43775
  return (dictMonadError) => {
43976
43776
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
43977
- return (dictLoadFile) => (v) => {
43777
+ return (v) => {
43978
43778
  if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
43979
43779
  return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
43980
43780
  "Two",
@@ -43996,7 +43796,7 @@ var debugLog = /* @__PURE__ */ $Tuple(
43996
43796
  arity: 1,
43997
43797
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
43998
43798
  const MonadThrow0 = dictMonadError.MonadThrow0();
43999
- return (dictLoadFile) => (v) => {
43799
+ return (v) => {
44000
43800
  if (v.tag === "Cons" && v._2.tag === "Nil") {
44001
43801
  const $0 = v._1;
44002
43802
  return MonadThrow0.Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
@@ -44092,7 +43892,6 @@ var verticesProgCxtVertex = {
44092
43892
  };
44093
43893
  var functorProgCxt = {
44094
43894
  map: (f) => (m) => ({
44095
- fluidSrcPaths: m.fluidSrcPaths,
44096
43895
  primitives: _fmapObject(m.primitives, functorVal.map(f)),
44097
43896
  mods: listMap(functorModule.map(f))(m.mods),
44098
43897
  datasets: listMap((m$1) => $Tuple(m$1._1, functorExpr.map(f)(m$1._2)))(m.datasets)
@@ -44162,7 +43961,7 @@ var traversableProgCxt = {
44162
43961
  const traverse7 = traversableExpr.traverse(dictApplicative);
44163
43962
  const traverse8 = traversableModule.traverse(dictApplicative);
44164
43963
  const traverse9 = traversableEnv.traverse(dictApplicative);
44165
- return (f) => (m) => Apply0.apply(Apply0.apply(Apply0.Functor0().map((v1) => (v2) => (v3) => ({ fluidSrcPaths: m.fluidSrcPaths, primitives: v3, mods: v2, datasets: v1 }))(traverse5(traversableTuple.traverse(dictApplicative)(traverse7(f)))(m.datasets)))(traverse5(traverse8(f))(m.mods)))(traverse9(f)(m.primitives));
43964
+ return (f) => (m) => Apply0.apply(Apply0.apply(Apply0.Functor0().map((v1) => (v2) => (v3) => ({ primitives: v3, mods: v2, datasets: v1 }))(traverse5(traversableTuple.traverse(dictApplicative)(traverse7(f)))(m.datasets)))(traverse5(traverse8(f))(m.mods)))(traverse9(f)(m.primitives));
44166
43965
  },
44167
43966
  sequence: (dictApplicative) => (v) => traversableProgCxt.traverse(dictApplicative)(identity32)(v),
44168
43967
  Functor0: () => functorProgCxt,
@@ -44175,6 +43974,7 @@ var concatM2 = (dictMonad) => foldrArray((() => {
44175
43974
  const $0 = dictMonad.Bind1();
44176
43975
  return (f) => (g) => (a) => $0.bind(f(a))(g);
44177
43976
  })())(dictMonad.Applicative0().pure);
43977
+ var Folder = (x2) => x2;
44178
43978
  var parse = (dictMonadError) => {
44179
43979
  const $0 = dictMonadError.MonadThrow0();
44180
43980
  const $1 = $0.Monad0().Applicative0().pure;
@@ -44192,7 +43992,7 @@ var parse = (dictMonadError) => {
44192
43992
  };
44193
43993
  };
44194
43994
  };
44195
- var parseProgram = (dictLoadFile) => (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().bind(dictLoadFile.loadFile(dictMonadError)(dictMonadAff)(folders)(file))((() => {
43995
+ var parseProgram = (loadFile2) => (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().bind(loadFile2(folders)(file)(dictMonadAff)(dictMonadError))((() => {
44196
43996
  const $0 = parse(dictMonadError);
44197
43997
  return (a) => $0(a)(topLevel(expr_));
44198
43998
  })());
@@ -44203,22 +44003,18 @@ var module_2 = (dictMonadAff) => {
44203
44003
  return (dictMonadError) => {
44204
44004
  const parse1 = parse(dictMonadError);
44205
44005
  const desugarModuleFwd = moduleFwd(dictMonadError)(boundedLattice2);
44206
- return (dictLoadFile) => {
44207
- const loadFile = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
44208
- return (folders) => (file) => (v) => {
44209
- const $0 = v.mods;
44210
- return Bind1.bind(Applicative0.pure())(() => Bind1.bind(loadFile(folders)(file))((src) => Bind1.bind(Bind1.bind(parse1(src)(module_))(desugarModuleFwd))((mod) => Applicative0.pure({
44211
- fluidSrcPaths: v.fluidSrcPaths,
44212
- primitives: v.primitives,
44213
- mods: $List("Cons", mod, $0),
44214
- datasets: v.datasets
44215
- }))));
44216
- };
44006
+ return (loadFile2) => (folders) => (file) => (v) => {
44007
+ const $0 = v.mods;
44008
+ return Bind1.bind(Applicative0.pure())(() => Bind1.bind(loadFile2(folders)(file)(dictMonadAff)(dictMonadError))((src) => Bind1.bind(Bind1.bind(parse1(src)(module_))(desugarModuleFwd))((mod) => Applicative0.pure({
44009
+ primitives: v.primitives,
44010
+ mods: $List("Cons", mod, $0),
44011
+ datasets: v.datasets
44012
+ }))));
44217
44013
  };
44218
44014
  };
44219
44015
  };
44220
- var initialConfig = (dictMonadAff) => {
44221
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44016
+ var initialConfig = (dictMonadError) => {
44017
+ const Monad0 = dictMonadError.MonadThrow0().Monad0();
44222
44018
  const Bind1 = Monad0.Bind1();
44223
44019
  const Applicative0 = Monad0.Applicative0();
44224
44020
  const $0 = monadAllocAllocT(Monad0);
@@ -44229,54 +44025,29 @@ var initialConfig = (dictMonadAff) => {
44229
44025
  Applicative0: () => applicativeStateT(Monad0),
44230
44026
  Bind1: () => bindStateT(Monad0)
44231
44027
  })(graphGraphImpl);
44232
- const $2 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
44233
- const $3 = dictMonadAff.MonadEffect0().Monad0();
44234
- return (dictMonadError) => {
44235
- const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
44236
- return (dictLoadFile) => {
44237
- const eval_progCxt1 = eval_progCxt2((() => {
44238
- const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
44239
- return {
44240
- loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
44241
- const $4 = loadFile1(folders);
44242
- return (x2) => {
44243
- const $5 = $4(x2);
44244
- return (s) => $2.Bind1().bind((s$1) => $3.Bind1().bind($5)((x$1) => $3.Applicative0().pure($Tuple(x$1, s$1))))((x$1) => $2.Applicative0().pure($Tuple(
44245
- x$1,
44246
- s
44247
- )));
44248
- };
44249
- }
44250
- };
44251
- })());
44252
- return (dictFV) => (e) => (progCxt) => Bind1.bind(Applicative0.pure())(() => Bind1.bind(runAllocT(Monad0)($1.bind(alloc(progCxt))((progCxt$p) => $1.bind(runWithGraphT_spy2(eval_progCxt1(progCxt$p))(verticesProgCxtVertex.vertices(progCxt$p)))((v) => applicativeStateT(Monad0).pure($Tuple(
44253
- progCxt$p,
44254
- (() => {
44255
- const $4 = dictFV.fv(e);
44256
- return filterWithKey((x2) => {
44257
- const $5 = setSet(ordString).member(x2)($4);
44258
- return (v$1) => $5;
44259
- })(v._2);
44260
- })()
44261
- )))))(0))((v) => Applicative0.pure({ n: v._1, progCxt: v._2._2._1, "\u03B3": v._2._2._2 })));
44262
- };
44263
- };
44028
+ const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
44029
+ return (dictFV) => (e) => (progCxt) => Bind1.bind(Applicative0.pure())(() => Bind1.bind(runAllocT(Monad0)($1.bind(alloc(progCxt))((progCxt$p) => $1.bind(runWithGraphT_spy2(eval_progCxt2(progCxt$p))(verticesProgCxtVertex.vertices(progCxt$p)))((v) => applicativeStateT(Monad0).pure($Tuple(
44030
+ progCxt$p,
44031
+ (() => {
44032
+ const $2 = dictFV.fv(e);
44033
+ return filterWithKey((x2) => {
44034
+ const $3 = setSet(ordString).member(x2)($2);
44035
+ return (v$1) => $3;
44036
+ })(v._2);
44037
+ })()
44038
+ )))))(0))((v) => Applicative0.pure({ n: v._1, progCxt: v._2._2._1, "\u03B3": v._2._2._2 })));
44264
44039
  };
44265
44040
  var prepConfig = (dictMonadAff) => {
44266
44041
  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44267
44042
  const $0 = Monad0.Bind1();
44268
- const initialConfig1 = initialConfig(dictMonadAff);
44269
44043
  return (dictMonadError) => {
44270
44044
  const desug1 = exprFwd(boundedLattice2)(dictMonadError)(joinSemilatticeUnit);
44271
- const initialConfig2 = initialConfig1(dictMonadError);
44272
- return (dictLoadFile) => {
44273
- const initialConfig3 = initialConfig2(dictLoadFile)(fVExpr);
44274
- return (v) => (file) => (progCxt) => $0.bind(parseProgram(dictLoadFile)(v.fluidSrcPaths)(file)(dictMonadAff)(dictMonadError))((s) => $0.bind(desug1(s))((e) => $0.bind(initialConfig3(e)(progCxt))((gconfig) => Monad0.Applicative0().pure({
44275
- s,
44276
- e,
44277
- gconfig
44278
- }))));
44279
- };
44045
+ const initialConfig1 = initialConfig(dictMonadError)(fVExpr);
44046
+ return (v) => (file) => (progCxt) => $0.bind(parseProgram(v.loadFile)(v.fluidSrcPaths)(file)(dictMonadAff)(dictMonadError))((s) => $0.bind(desug1(s))((e) => $0.bind(initialConfig1(e)(progCxt))((gconfig) => Monad0.Applicative0().pure({
44047
+ s,
44048
+ e,
44049
+ gconfig
44050
+ }))));
44280
44051
  };
44281
44052
  };
44282
44053
  var datasetAs = (dictMonadAff) => {
@@ -44284,11 +44055,10 @@ var datasetAs = (dictMonadAff) => {
44284
44055
  const $0 = Monad0.Bind1();
44285
44056
  return (dictMonadError) => {
44286
44057
  const desug1 = exprFwd(boundedLattice2)(dictMonadError)(joinSemilatticeUnit);
44287
- return (dictLoadFile) => (folders) => (v) => (v1) => {
44058
+ return (loadFile2) => (folders) => (v) => (v1) => {
44288
44059
  const $1 = v1.datasets;
44289
44060
  const $2 = v._1;
44290
- return $0.bind($0.bind(parseProgram(dictLoadFile)(folders)(v._2)(dictMonadAff)(dictMonadError))(desug1))((e\u03B1) => Monad0.Applicative0().pure({
44291
- fluidSrcPaths: v1.fluidSrcPaths,
44061
+ return $0.bind($0.bind(parseProgram(loadFile2)(folders)(v._2)(dictMonadAff)(dictMonadError))(desug1))((e\u03B1) => Monad0.Applicative0().pure({
44292
44062
  primitives: v1.primitives,
44293
44063
  mods: v1.mods,
44294
44064
  datasets: $List("Cons", $Tuple($2, e\u03B1), $1)
@@ -44305,19 +44075,84 @@ var loadProgCxt = (dictMonadAff) => {
44305
44075
  return (dictMonadError) => {
44306
44076
  const module_22 = module_1(dictMonadError);
44307
44077
  const datasetAs2 = datasetAs1(dictMonadError);
44308
- return (dictLoadFile) => {
44309
- const module_3 = module_22(dictLoadFile);
44310
- const datasetAs3 = datasetAs2(dictLoadFile);
44311
- return (v) => (mods) => (datasets) => $0.bind($0.bind(Monad0.Applicative0().pure({
44312
- fluidSrcPaths: v.fluidSrcPaths,
44313
- primitives,
44314
- mods: Nil,
44315
- datasets: Nil
44316
- }))(concatM1(arrayMap(module_3(v.fluidSrcPaths))(["lib/prelude", ...mods]))))(concatM1(arrayMap((() => {
44317
- const $1 = datasetAs3(v.fluidSrcPaths);
44318
- return (x2) => $1($Tuple(x2._1, x2._2));
44319
- })())(datasets)));
44320
- };
44078
+ return (v) => (mods) => (datasets) => $0.bind($0.bind(Monad0.Applicative0().pure({
44079
+ primitives,
44080
+ mods: Nil,
44081
+ datasets: Nil
44082
+ }))(concatM1(arrayMap(module_22(v.loadFile)(v.fluidSrcPaths))(["lib/prelude", ...mods]))))(concatM1(arrayMap((() => {
44083
+ const $1 = datasetAs2(v.loadFile)(v.fluidSrcPaths);
44084
+ return (x2) => $1($Tuple(x2._1, x2._2));
44085
+ })())(datasets)));
44086
+ };
44087
+ };
44088
+
44089
+ // output-es/Module.Web/index.js
44090
+ var findM = (xs) => (f) => (base2) => foldrArray((x2) => (acc) => applyAff.apply(_map(altEither.alt)(acc))(f(x2)))(_pure(base2))(xs);
44091
+ var loadFile = (folders) => (v) => (dictMonadAff) => {
44092
+ const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44093
+ const bindExceptT2 = bindExceptT(Monad0);
44094
+ const applicativeExceptT2 = applicativeExceptT(Monad0);
44095
+ const pure22 = Monad0.Applicative0().pure;
44096
+ return (dictMonadError) => Monad0.Bind1().bind(bindExceptT2.bind(dictMonadAff.liftAff(findM(arrayMap((() => {
44097
+ const $0 = v + ".fld";
44098
+ return (a) => a + "/" + $0;
44099
+ })())(folders))((v1) => _bind(request(driver)({
44100
+ method: $Either("Left", HEAD),
44101
+ url: v1,
44102
+ headers: [],
44103
+ content: Nothing,
44104
+ username: Nothing,
44105
+ password: Nothing,
44106
+ withCredentials: false,
44107
+ responseFormat: $ResponseFormat("String", identity),
44108
+ timeout: Nothing
44109
+ }))((resp) => _pure((() => {
44110
+ if (resp.tag === "Right") {
44111
+ if (resp._1.status === 200) {
44112
+ return $Either("Right", $Tuple(resp._1, v1));
44113
+ }
44114
+ return $Either("Left", RequestFailedError);
44115
+ }
44116
+ if (resp.tag === "Left") {
44117
+ return $Either("Left", resp._1);
44118
+ }
44119
+ fail();
44120
+ })())))($Either("Left", RequestFailedError))))((v1) => {
44121
+ const $0 = v1._2;
44122
+ return bindExceptT2.bind(applicativeExceptT2.pure())(() => bindExceptT2.bind(dictMonadAff.liftAff(request(driver)({
44123
+ method: $Either("Left", GET),
44124
+ url: $0,
44125
+ headers: [],
44126
+ content: Nothing,
44127
+ username: Nothing,
44128
+ password: Nothing,
44129
+ withCredentials: false,
44130
+ responseFormat: $ResponseFormat("String", identity),
44131
+ timeout: Nothing
44132
+ })))((contents) => applicativeExceptT2.pure(contents.body)));
44133
+ }))((result) => {
44134
+ if (result.tag === "Left") {
44135
+ return dictMonadError.MonadThrow0().throwError(error(printError(result._1)));
44136
+ }
44137
+ if (result.tag === "Right") {
44138
+ return pure22(result._1);
44139
+ }
44140
+ fail();
44141
+ });
44142
+ };
44143
+ var loadFile$p = (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().Apply0().Functor0().map((v) => $Tuple(file, v))(loadFile(folders)(file)(dictMonadAff)(dictMonadError));
44144
+ var loadProgCxt2 = (dictMonadAff) => {
44145
+ const loadProgCxt1 = loadProgCxt(dictMonadAff);
44146
+ return (dictMonadError) => {
44147
+ const loadProgCxt22 = loadProgCxt1(dictMonadError);
44148
+ return (fluidSrcPaths) => loadProgCxt22({ loadFile, fluidSrcPaths });
44149
+ };
44150
+ };
44151
+ var prepConfig2 = (dictMonadAff) => {
44152
+ const prepConfig1 = prepConfig(dictMonadAff);
44153
+ return (dictMonadError) => {
44154
+ const prepConfig22 = prepConfig1(dictMonadError);
44155
+ return (fluidSrcPaths) => prepConfig22({ loadFile, fluidSrcPaths });
44321
44156
  };
44322
44157
  };
44323
44158
 
@@ -44337,6 +44172,8 @@ var select\u03B1s\u{1D539}Vertex2 = /* @__PURE__ */ select\u03B1s\u{1D539}Vertex
44337
44172
  var bwdSlice3 = /* @__PURE__ */ bwdSlice(graphGraphImpl);
44338
44173
  var intersection3 = /* @__PURE__ */ intersection(ordDVertex$p);
44339
44174
  var member5 = /* @__PURE__ */ (() => setSet(ordVertex).member)();
44175
+ var show4 = /* @__PURE__ */ showArrayImpl(showStringImpl);
44176
+ var fromFoldable42 = /* @__PURE__ */ (() => fromFoldableImpl(foldableSet.foldr))();
44340
44177
  var runQuery2 = /* @__PURE__ */ runQuery(ordVal2);
44341
44178
  var primaryOrSecondary2 = /* @__PURE__ */ primaryOrSecondary(applyEnv);
44342
44179
  var primaryOrSecondary1 = /* @__PURE__ */ primaryOrSecondary(applyVal);
@@ -44658,127 +44495,116 @@ var lift = (dictApply) => (dictApply1) => {
44658
44495
  return $Tuple(dictApply.apply(selState_f)($1._1), $1._2);
44659
44496
  };
44660
44497
  };
44661
- var lift1 = /* @__PURE__ */ lift(applyEnv)(applyVal);
44662
- var lift2 = /* @__PURE__ */ lift(applyVal)(applyEnv);
44663
- var loadFig = (dictMonadAff) => {
44498
+ var lift1 = /* @__PURE__ */ lift(applyVal)(applyEnv);
44499
+ var lift2 = /* @__PURE__ */ lift(applyEnv)(applyVal);
44500
+ var loadFig = (v) => (dictMonadAff) => {
44664
44501
  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44665
44502
  const $0 = Monad0.Bind1();
44666
- const loadProgCxt2 = loadProgCxt(dictMonadAff);
44667
- const prepConfig2 = prepConfig(dictMonadAff);
44668
- const graphEval2 = graphEval(dictMonadAff);
44503
+ const loadProgCxt3 = loadProgCxt2(dictMonadAff);
44504
+ const prepConfig3 = prepConfig2(dictMonadAff);
44669
44505
  return (dictMonadError) => {
44670
- const loadProgCxt1 = loadProgCxt2(dictMonadError);
44671
- const prepConfig1 = prepConfig2(dictMonadError);
44672
- return (dictLoadFile) => {
44673
- const loadProgCxt22 = loadProgCxt1(dictLoadFile);
44674
- const prepConfig22 = prepConfig1(dictLoadFile);
44675
- const graphEval1 = graphEval2(dictLoadFile)(dictMonadError);
44676
- return (v) => {
44677
- const $1 = v.file;
44678
- const $2 = v.fluidSrcPaths;
44679
- const $3 = v.inputs;
44680
- const $4 = v.linking;
44681
- return $0.bind(loadProgCxt22({ fluidSrcPaths: $2 })(v.imports)(v.datasets))((progCxt) => $0.bind(prepConfig22({ fluidSrcPaths: $2 })($1)(progCxt))((v1) => {
44682
- const $5 = v1.s;
44683
- return $0.bind(graphEval1(v1.gconfig)(v1.e))((v2) => {
44684
- const $6 = v2.g;
44685
- const $7 = v2["out\u03B1"];
44686
- const $8 = v2["in\u03B1"]._1;
44687
- const opEval = {
44688
- g: $GraphImpl({ out: v2.g._1.in_, in_: v2.g._1.out, sinks: v2.g._1.sources, sources: v2.g._1.sinks, vertices: v2.g._1.vertices }),
44689
- graph_fwd: v2.graph_fwd,
44690
- graph_bwd: v2.graph_bwd,
44691
- "in\u03B1": v2["out\u03B1"],
44692
- "out\u03B1": v2["in\u03B1"]
44693
- };
44694
- const inputs$p = fromFoldable25($3);
44695
- const v3 = functorEnvExpr.map((v$1) => {
44696
- })(v2["in\u03B1"]);
44697
- const $9 = unrestrictGC(boundedMeetSemilatticeBoo)(v3._1)(inputs$p);
44698
- const $10 = unprojExpr(boundedMeetSemilatticeBoo)($EnvExpr(v3._1, v3._2));
44699
- const $11 = filterWithKey((x2) => {
44700
- const $112 = setSet(ordString).member(x2)(inputs$p);
44701
- return (v$1) => $112;
44702
- })($8);
44703
- const $12 = _fmapObject($8, functorVal.map((v$1) => false));
44704
- const $13 = functorVal.map((v$1) => false)($7);
44705
- const graphgc_op = graphGC1(opEval);
44706
- const graphgc = graphGC22(v2);
44707
- const inertFwd = verticesGraphImpl.vertices(graphgc.fwd($10.fwd($9.fwd($12)))._2);
44708
- const inertBwd = setSet5.difference(verticesGraphImpl.vertices($6))(verticesGraphImpl.vertices(graphgc.bwd(functorVal.map((v$1) => true)($7))._2));
44709
- const $14 = select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($8)(inertBwd);
44710
- const $15 = select\u{1D539}s($7)(inertFwd);
44711
- const $16 = _fmapObject($14, functorVal.map(selState));
44712
- const $17 = functorVal.map(selState)($15);
44713
- const demands = lift1($16)((v6) => {
44714
- const $18 = graphgc.bwd(v6);
44715
- return $Tuple($9.bwd($10.bwd($18._1)), $18._2);
44716
- });
44717
- const demandedBy = lift2($17)((\u03B31) => graphgc_op.bwd(deMorgan((x2) => $10.fwd($9.fwd(x2)))(\u03B31)));
44718
- return Monad0.Applicative0().pure({
44719
- spec: v,
44720
- s: $5,
44721
- "\u03B3": intersectionWith_Object(apply)(_fmapObject(
44722
- intersectionWith_Object(apply)(_fmapObject(
44723
- _fmapObject($14, functorVal.map(selStates)),
44724
- applyVal.apply
44725
- ))($12),
44726
- applyVal.apply
44727
- ))($12),
44728
- v: applyVal.apply(applyVal.apply(functorVal.map(selStates)($15))($13))($13),
44729
- "\u03B9": empty,
44730
- linkedOutputs: (selType) => (v6) => {
44731
- const v$p = functorVal.map(getSel(selType))(v6);
44732
- const v7 = demands(v$p);
44733
- return $Tuple(v7._1, $Tuple($4 ? demandedBy(v7._1)._1 : v$p, verticesGraphImpl.vertices(v7._2)));
44734
- },
44735
- linkedInputs: (selType) => (\u03B31) => {
44736
- const \u03B3$p = _fmapObject(\u03B31, functorVal.map(getSel(selType)));
44737
- const v6 = demandedBy(\u03B3$p);
44738
- return $Tuple($4 ? demands(v6._1)._1 : \u03B3$p, $Tuple(v6._1, verticesGraphImpl.vertices(v6._2)));
44739
- },
44740
- linkIntermediates: (\u03B9) => {
44741
- const \u03B1s = select\u03B1s\u{1D539}Vertex2["select\u03B1s"](_fmapObject(
44742
- \u03B9,
44743
- functorVal.map((x2) => {
44744
- const $18 = getSel(Transient)(x2);
44745
- if ($18.tag === "Inert") {
44746
- return false;
44747
- }
44748
- if ($18.tag === "Reactive") {
44749
- return $18._1;
44750
- }
44751
- fail();
44752
- })
44753
- ))(\u03B9from\u03B1s(graphGraphImpl)($6)(mapObjectString.keys(\u03B9)));
44754
- return $Tuple(
44755
- intersectionWith_Object(apply)(_fmapObject($16, applyVal.apply))(select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($8)(verticesGraphImpl.vertices(bwdSlice3($Tuple(
44756
- \u03B1s,
44757
- v2.g
44758
- ))))),
44759
- $Tuple(
44760
- applyVal.apply($17)(select\u{1D539}s($7)(verticesGraphImpl.vertices(bwdSlice3($Tuple(\u03B1s, opEval.g))))),
44761
- map2(ordDVertex$p)((\u03B1) => $Tuple(
44762
- \u03B1,
44763
- definitely("in graph")(_lookup(Nothing, Just, \u03B1, $6._1.out))._2
44764
- ))(\u03B1s)
44765
- )
44766
- );
44767
- },
44768
- dir: { persistent: LinkedOutputs, transient: LinkedOutputs },
44769
- in_views: _fmapObject($11, (v$1) => Nothing),
44770
- out_view: Nothing,
44771
- intermediate_views: empty,
44772
- in_roots: fold((z) => (v$1) => (a) => insert3(ordVertex)(a)()(z))(Leaf2)(_fmapObject(
44773
- $11,
44774
- (v6) => v6._1
44775
- )),
44776
- inerts: intersection3(inertFwd)(inertBwd)
44777
- });
44778
- });
44779
- }));
44780
- };
44781
- };
44506
+ const prepConfig1 = prepConfig3(dictMonadError);
44507
+ const graphEval2 = graphEval(dictMonadError);
44508
+ const $1 = v.file;
44509
+ const $2 = v.fluidSrcPaths;
44510
+ const $3 = v.inputs;
44511
+ return $0.bind(loadProgCxt3(dictMonadError)($2)(v.imports)(v.datasets))((progCxt) => $0.bind(prepConfig1($2)($1)(progCxt))((v1) => {
44512
+ const $4 = v1.s;
44513
+ return $0.bind(graphEval2(v1.gconfig)(v1.e))((v2) => {
44514
+ const $5 = v2.g;
44515
+ const $6 = v2["out\u03B1"];
44516
+ const $7 = v2["in\u03B1"]._1;
44517
+ const opEval = {
44518
+ g: $GraphImpl({ out: v2.g._1.in_, in_: v2.g._1.out, sinks: v2.g._1.sources, sources: v2.g._1.sinks, vertices: v2.g._1.vertices }),
44519
+ graph_fwd: v2.graph_fwd,
44520
+ graph_bwd: v2.graph_bwd,
44521
+ "in\u03B1": v2["out\u03B1"],
44522
+ "out\u03B1": v2["in\u03B1"]
44523
+ };
44524
+ const inputs$p = fromFoldable25($3);
44525
+ const v3 = functorEnvExpr.map((v$1) => {
44526
+ })(v2["in\u03B1"]);
44527
+ const $8 = unrestrictGC(boundedMeetSemilatticeBoo)(v3._1)(inputs$p);
44528
+ const $9 = unprojExpr(boundedMeetSemilatticeBoo)($EnvExpr(v3._1, v3._2));
44529
+ const $10 = filterWithKey((x2) => {
44530
+ const $102 = setSet(ordString).member(x2)(inputs$p);
44531
+ return (v$1) => $102;
44532
+ })($7);
44533
+ const $11 = _fmapObject($7, functorVal.map((v$1) => false));
44534
+ const $12 = functorVal.map((v$1) => false)($6);
44535
+ const graphgc_op = graphGC1(opEval);
44536
+ const graphgc = graphGC22(v2);
44537
+ const inertFwd = verticesGraphImpl.vertices(graphgc.fwd($9.fwd($8.fwd($11)))._2);
44538
+ const inertBwd = setSet5.difference(verticesGraphImpl.vertices($5))(verticesGraphImpl.vertices(graphgc.bwd(functorVal.map((v$1) => true)($6))._2));
44539
+ const $13 = select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($7)(inertBwd);
44540
+ const $14 = select\u{1D539}s($6)(inertFwd);
44541
+ const $15 = _fmapObject($13, functorVal.map(selState));
44542
+ const $16 = functorVal.map(selState)($14);
44543
+ const \u03B3f = lift1($16)((\u03B31) => graphgc_op.bwd(deMorgan((x2) => $9.fwd($8.fwd(x2)))(\u03B31)));
44544
+ const vf = lift2($15)((v6) => {
44545
+ const $17 = graphgc.bwd(v6);
44546
+ return $Tuple($8.bwd($9.bwd($17._1)), $17._2);
44547
+ });
44548
+ return Monad0.Applicative0().pure({
44549
+ spec: v,
44550
+ s: $4,
44551
+ "\u03B3": intersectionWith_Object(apply)(_fmapObject(
44552
+ intersectionWith_Object(apply)(_fmapObject(
44553
+ _fmapObject($13, functorVal.map(selStates)),
44554
+ applyVal.apply
44555
+ ))($11),
44556
+ applyVal.apply
44557
+ ))($11),
44558
+ v: applyVal.apply(applyVal.apply(functorVal.map(selStates)($14))($12))($12),
44559
+ "\u03B9": empty,
44560
+ linkedOutputs: (selType) => (v6) => {
44561
+ const v7 = vf(functorVal.map(getSel(selType))(v6));
44562
+ return $Tuple(v7._1, $Tuple(\u03B3f(v7._1)._1, verticesGraphImpl.vertices(v7._2)));
44563
+ },
44564
+ linkedInputs: (selType) => (\u03B31) => {
44565
+ const v6 = \u03B3f(_fmapObject(\u03B31, functorVal.map(getSel(selType))));
44566
+ return $Tuple(vf(v6._1)._1, $Tuple(v6._1, verticesGraphImpl.vertices(v6._2)));
44567
+ },
44568
+ linkIntermediates: (\u03B9) => {
44569
+ const \u03B1s = select\u03B1s\u{1D539}Vertex2["select\u03B1s"](_fmapObject(
44570
+ \u03B9,
44571
+ functorVal.map((x2) => {
44572
+ const $17 = getSel(Transient)(x2);
44573
+ if ($17.tag === "Inert") {
44574
+ return false;
44575
+ }
44576
+ if ($17.tag === "Reactive") {
44577
+ return $17._1;
44578
+ }
44579
+ fail();
44580
+ })
44581
+ ))(\u03B9from\u03B1s(graphGraphImpl)($5)(mapObjectString.keys(\u03B9)));
44582
+ return $Tuple(
44583
+ intersectionWith_Object(apply)(_fmapObject($15, applyVal.apply))(select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($7)(verticesGraphImpl.vertices(bwdSlice3($Tuple(
44584
+ \u03B1s,
44585
+ v2.g
44586
+ ))))),
44587
+ $Tuple(
44588
+ applyVal.apply($16)(select\u{1D539}s($6)(verticesGraphImpl.vertices(bwdSlice3($Tuple(\u03B1s, opEval.g))))),
44589
+ map2(ordDVertex$p)((\u03B1) => $Tuple(
44590
+ \u03B1,
44591
+ definitely("in graph")(_lookup(Nothing, Just, \u03B1, $5._1.out))._2
44592
+ ))(\u03B1s)
44593
+ )
44594
+ );
44595
+ },
44596
+ dir: { persistent: LinkedOutputs, transient: LinkedOutputs },
44597
+ in_views: _fmapObject($10, (v$1) => Nothing),
44598
+ out_view: Nothing,
44599
+ intermediate_views: empty,
44600
+ in_roots: fold((z) => (v$1) => (a) => insert3(ordVertex)(a)()(z))(Leaf2)(_fmapObject(
44601
+ $10,
44602
+ (v6) => v6._1
44603
+ )),
44604
+ inerts: intersection3(inertFwd)(inertBwd)
44605
+ });
44606
+ });
44607
+ }));
44782
44608
  };
44783
44609
  };
44784
44610
  var intermediates = (v) => (\u03B1s) => {
@@ -44789,7 +44615,7 @@ var intermediates = (v) => (\u03B1s) => {
44789
44615
  return rebuild\u03B9(v.inerts)(\u03B1s)(filterWithKey((x2) => {
44790
44616
  const $0 = !member5(x2)(v.in_roots);
44791
44617
  return (v$1) => $0;
44792
- })(runQuery2(v.spec.query._1)(setSet5.union(\u03B1s.persistent)(\u03B1s.transient))));
44618
+ })(spyWhen(true)("Query keys: ")((x2) => show4(fromFoldable42(mapObjectString.keys(x2))))(runQuery2(v.spec.query._1)(setSet5.union(\u03B1s.persistent)(\u03B1s.transient)))));
44793
44619
  }
44794
44620
  fail();
44795
44621
  };
@@ -44885,7 +44711,7 @@ var drawIntermediates = (divId) => (v) => (unused) => (redraw) => {
44885
44711
  (\u03B1) => (v1) => drawView({
44886
44712
  divId: prefix,
44887
44713
  suffix: \u03B1,
44888
- view: view$p()("intermediate")(functorVal.map(functorSelStates.map(to\u{1D54A}))(v1))(Nothing)
44714
+ view: view$p()(\u03B1)(functorVal.map(functorSelStates.map(to\u{1D54A}))(v1))(Nothing)
44889
44715
  })(selectIntermediate(\u03B1))(setIntermediateView(\u03B1))(redraw)
44890
44716
  ))();
44891
44717
  };
@@ -45104,65 +44930,8 @@ var gDecodeJsonCons = (dictDecodeJsonField) => (dictGDecodeJson) => (dictIsSymbo
45104
44930
  }
45105
44931
  });
45106
44932
 
45107
- // output-es/File/index.js
45108
- var Folder = (x2) => x2;
45109
-
45110
- // output-es/Module.Web/index.js
45111
- var findM = (xs) => (f) => (base2) => foldrArray((x2) => (acc) => applyAff.apply(_map(altEither.alt)(acc))(f(x2)))(_pure(base2))(xs);
45112
- var loadFileWebT = (dictMonadAff) => {
45113
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
45114
- const bindExceptT2 = bindExceptT(Monad0);
45115
- const applicativeExceptT2 = applicativeExceptT(Monad0);
45116
- const pure22 = Monad0.Applicative0().pure;
45117
- return (dictMonadError) => ({
45118
- loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => (v) => Monad0.Bind1().bind(bindExceptT2.bind(dictMonadAff1.liftAff(findM(arrayMap((() => {
45119
- const $0 = v + ".fld";
45120
- return (a) => a + "/" + $0;
45121
- })())(folders))((v1) => _bind(request(driver)({
45122
- method: $Either("Left", HEAD),
45123
- url: v1,
45124
- headers: [],
45125
- content: Nothing,
45126
- username: Nothing,
45127
- password: Nothing,
45128
- withCredentials: false,
45129
- responseFormat: $ResponseFormat("String", identity),
45130
- timeout: Nothing
45131
- }))((resp) => _pure((() => {
45132
- if (resp.tag === "Right") {
45133
- if (resp._1.status === 200) {
45134
- return $Either("Right", $Tuple(resp._1, v1));
45135
- }
45136
- return $Either("Left", RequestFailedError);
45137
- }
45138
- if (resp.tag === "Left") {
45139
- return $Either("Left", resp._1);
45140
- }
45141
- fail();
45142
- })())))($Either("Left", RequestFailedError))))((v1) => {
45143
- const $0 = v1._2;
45144
- return bindExceptT2.bind(applicativeExceptT2.pure())(() => bindExceptT2.bind(dictMonadAff1.liftAff(request(driver)({
45145
- method: $Either("Left", GET),
45146
- url: $0,
45147
- headers: [],
45148
- content: Nothing,
45149
- username: Nothing,
45150
- password: Nothing,
45151
- withCredentials: false,
45152
- responseFormat: $ResponseFormat("String", identity),
45153
- timeout: Nothing
45154
- })))((contents) => applicativeExceptT2.pure(contents.body)));
45155
- }))((result) => {
45156
- if (result.tag === "Left") {
45157
- return dictMonadError.MonadThrow0().throwError(error(printError(result._1)));
45158
- }
45159
- if (result.tag === "Right") {
45160
- return pure22(result._1);
45161
- }
45162
- fail();
45163
- })
45164
- });
45165
- };
44933
+ // output-es/Effect.Aff.Class/index.js
44934
+ var monadAffAff = { liftAff: (x2) => x2, MonadEffect0: () => monadEffectAff };
45166
44935
 
45167
44936
  // output-es/App.LoadFigure/index.js
45168
44937
  var gDecodeJsonCons2 = /* @__PURE__ */ gDecodeJsonCons(/* @__PURE__ */ (() => {
@@ -45179,25 +44948,6 @@ var gDecodeJsonCons2 = /* @__PURE__ */ gDecodeJsonCons(/* @__PURE__ */ (() => {
45179
44948
  }
45180
44949
  };
45181
44950
  })());
45182
- var gDecodeJsonCons1 = /* @__PURE__ */ gDecodeJsonCons({
45183
- decodeJsonField: (j) => {
45184
- if (j.tag === "Just") {
45185
- return $Maybe(
45186
- "Just",
45187
- _caseJson(
45188
- (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
45189
- Right,
45190
- (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
45191
- (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
45192
- (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
45193
- (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
45194
- j._1
45195
- )
45196
- );
45197
- }
45198
- return Nothing;
45199
- }
45200
- });
45201
44951
  var decodeJson = /* @__PURE__ */ (() => decodeRecord(gDecodeJsonCons((() => {
45202
44952
  const $0 = decodeArray(decodeTuple(caseJsonString($Either(
45203
44953
  "Left",
@@ -45229,21 +44979,34 @@ var decodeJson = /* @__PURE__ */ (() => decodeRecord(gDecodeJsonCons((() => {
45229
44979
  }
45230
44980
  return Nothing;
45231
44981
  }
45232
- })(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons1(gDecodeJsonCons1(gDecodeJsonNil)({ reflectSymbol: () => "query" })()())({
45233
- reflectSymbol: () => "linking"
45234
- })()())({ reflectSymbol: () => "inputs" })()())({ reflectSymbol: () => "imports" })()())({ reflectSymbol: () => "fluidSrcPath" })()())({ reflectSymbol: () => "file" })()())({
45235
- reflectSymbol: () => "datasets"
45236
- })()())().decodeJson)();
45237
- var loadFileWebT2 = /* @__PURE__ */ loadFileWebT(monadAffAff)(monadErrorAff);
45238
- var loadFig2 = /* @__PURE__ */ loadFig(monadAffAff)(monadErrorAff)(loadFileWebT2);
45239
- var loadFile$p = (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().Apply0().Functor0().map((v) => $Tuple(file, v))(loadFileWebT2.loadFile(dictMonadError)(dictMonadAff)(folders)(file));
45240
- var figSpecFromJson = (v) => ({
45241
- fluidSrcPaths: arrayMap(Folder)(v.fluidSrcPath),
45242
- datasets: v.datasets,
45243
- imports: v.imports,
45244
- file: v.file,
45245
- inputs: v.inputs,
45246
- query: v.query ? $Maybe(
44982
+ })(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons({
44983
+ decodeJsonField: (j) => {
44984
+ if (j.tag === "Just") {
44985
+ return $Maybe(
44986
+ "Just",
44987
+ _caseJson(
44988
+ (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
44989
+ Right,
44990
+ (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
44991
+ (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
44992
+ (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
44993
+ (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
44994
+ j._1
44995
+ )
44996
+ );
44997
+ }
44998
+ return Nothing;
44999
+ }
45000
+ })(gDecodeJsonNil)({ reflectSymbol: () => "query" })()())({ reflectSymbol: () => "inputs" })()())({ reflectSymbol: () => "imports" })()())({
45001
+ reflectSymbol: () => "fluidSrcPath"
45002
+ })()())({ reflectSymbol: () => "file" })()())({ reflectSymbol: () => "datasets" })()())().decodeJson)();
45003
+ var figSpecFromJson = (spec) => ({
45004
+ fluidSrcPaths: arrayMap(Folder)(spec.fluidSrcPath),
45005
+ datasets: spec.datasets,
45006
+ imports: spec.imports,
45007
+ file: spec.file,
45008
+ inputs: spec.inputs,
45009
+ query: spec.query ? $Maybe(
45247
45010
  "Just",
45248
45011
  (a) => {
45249
45012
  const $0 = asVal(a);
@@ -45258,8 +45021,7 @@ var figSpecFromJson = (v) => ({
45258
45021
  }
45259
45022
  fail();
45260
45023
  }
45261
- ) : Nothing,
45262
- linking: v.linking
45024
+ ) : Nothing
45263
45025
  });
45264
45026
  var loadFigure = (fileName) => runAffs_((v) => drawFig(v._1)(v._2))([
45265
45027
  _bind($$get(driver)($ResponseFormat("Json", identity))(fileName))((result) => {
@@ -45272,7 +45034,7 @@ var loadFigure = (fileName) => runAffs_((v) => drawFig(v._1)(v._2))([
45272
45034
  return throwException(error("JSON decoding failed with " + showJsonDecodeError.show(v._1)))();
45273
45035
  }
45274
45036
  if (v.tag === "Right") {
45275
- return _map((v1) => $Tuple("fig", v1))(loadFig2(figSpecFromJson(v._1)));
45037
+ return _map((v1) => $Tuple("fig", v1))(loadFig(figSpecFromJson(v._1))(monadAffAff)(monadErrorAff));
45276
45038
  }
45277
45039
  }
45278
45040
  fail();
@@ -45284,9 +45046,5 @@ export {
45284
45046
  drawCode2 as drawCode,
45285
45047
  figSpecFromJson,
45286
45048
  gDecodeJsonCons2 as gDecodeJsonCons,
45287
- gDecodeJsonCons1,
45288
- loadFig2 as loadFig,
45289
- loadFigure,
45290
- loadFile$p,
45291
- loadFileWebT2 as loadFileWebT
45049
+ loadFigure
45292
45050
  };