@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
@@ -2662,17 +2662,6 @@ var applyStateT = (dictMonad) => {
2662
2662
  };
2663
2663
  };
2664
2664
  var applicativeStateT = (dictMonad) => ({ pure: (a) => (s) => dictMonad.Applicative0().pure($Tuple(a, s)), Apply0: () => applyStateT(dictMonad) });
2665
- var monadEffectState = (dictMonadEffect) => {
2666
- const Monad0 = dictMonadEffect.Monad0();
2667
- const monadStateT1 = { Applicative0: () => applicativeStateT(Monad0), Bind1: () => bindStateT(Monad0) };
2668
- return {
2669
- liftEffect: (x) => {
2670
- const $0 = dictMonadEffect.liftEffect(x);
2671
- return (s) => Monad0.Bind1().bind($0)((x$1) => Monad0.Applicative0().pure($Tuple(x$1, s)));
2672
- },
2673
- Monad0: () => monadStateT1
2674
- };
2675
- };
2676
2665
  var monadRecStateT = (dictMonadRec) => {
2677
2666
  const Monad0 = dictMonadRec.Monad0();
2678
2667
  const monadStateT1 = { Applicative0: () => applicativeStateT(Monad0), Bind1: () => bindStateT(Monad0) };
@@ -2711,20 +2700,6 @@ var monadErrorStateT = (dictMonadError) => {
2711
2700
 
2712
2701
  // output-es/Effect.Aff.Class/index.js
2713
2702
  var monadAffAff = { liftAff: (x) => x, MonadEffect0: () => monadEffectAff };
2714
- var monadAffState = (dictMonadAff) => {
2715
- const MonadEffect0 = dictMonadAff.MonadEffect0();
2716
- const monadEffectState2 = monadEffectState(MonadEffect0);
2717
- return {
2718
- liftAff: (() => {
2719
- const $0 = MonadEffect0.Monad0();
2720
- return (x) => {
2721
- const $1 = dictMonadAff.liftAff(x);
2722
- return (s) => $0.Bind1().bind($1)((x$1) => $0.Applicative0().pure($Tuple(x$1, s)));
2723
- };
2724
- })(),
2725
- MonadEffect0: () => monadEffectState2
2726
- };
2727
- };
2728
2703
 
2729
2704
  // output-es/Effect.Console/foreign.js
2730
2705
  var log = function(s) {
@@ -10169,8 +10144,8 @@ var dataTypes = /* @__PURE__ */ foldrArray(Cons)(Nil)([
10169
10144
  /* @__PURE__ */ dataType("View")([
10170
10145
  /* @__PURE__ */ $Tuple("BarChart", 1),
10171
10146
  /* @__PURE__ */ $Tuple("LineChart", 1),
10172
- /* @__PURE__ */ $Tuple("MultiView", 1),
10173
10147
  /* @__PURE__ */ $Tuple("Paragraph", 1),
10148
+ /* @__PURE__ */ $Tuple("MultiView", 1),
10174
10149
  /* @__PURE__ */ $Tuple("ScatterPlot", 1)
10175
10150
  ]),
10176
10151
  /* @__PURE__ */ dataType("Point")([/* @__PURE__ */ $Tuple("Point", 2)]),
@@ -17986,7 +17961,7 @@ var unary = (dictBoundedJoinSemilattice) => {
17986
17961
  arity: 1,
17987
17962
  op: (dictMonadWithGraphAlloc) => {
17988
17963
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
17989
- return (dictMonadError) => (dictLoadFile) => (v) => {
17964
+ return (dictMonadError) => (v) => {
17990
17965
  if (v.tag === "Cons" && v._2.tag === "Nil") {
17991
17966
  const $0 = v._1._2;
17992
17967
  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))));
@@ -18135,7 +18110,7 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
18135
18110
  arity: 2,
18136
18111
  op: (dictMonadWithGraphAlloc) => {
18137
18112
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18138
- return (dictMonadError) => (dictLoadFile) => (v) => {
18113
+ return (dictMonadError) => (v) => {
18139
18114
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
18140
18115
  const $0 = f.i.unpack(v._1._3);
18141
18116
  const $1 = f.i.unpack(v._2._1._3);
@@ -18183,7 +18158,7 @@ var binary = (dictBoundedJoinSemilattice) => {
18183
18158
  arity: 2,
18184
18159
  op: (dictMonadWithGraphAlloc) => {
18185
18160
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18186
- return (dictMonadError) => (dictLoadFile) => (v) => {
18161
+ return (dictMonadError) => (v) => {
18187
18162
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
18188
18163
  return $$new((a) => Val(a)(None))(insert(ordVertex)(v._2._1._1)()($$$Map(
18189
18164
  "Two",
@@ -18387,11 +18362,11 @@ var new$p = (dictMonadWithGraphAlloc) => {
18387
18362
  const Monad0 = MonadWithGraph2.Monad0();
18388
18363
  const Bind1 = Monad0.Bind1();
18389
18364
  const fresh = dictMonadWithGraphAlloc.MonadAlloc0().fresh;
18390
- return (dictLoadFile) => (v) => (v1) => (v2) => (v3) => {
18365
+ return (v) => (v1) => (v2) => (v3) => {
18391
18366
  if (v2.tag === "None") {
18392
18367
  return $$new((\u03B1s$p) => (u$p) => $Val(\u03B1s$p, None, u$p))(v1)(v3);
18393
18368
  }
18394
- return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith2((v$1) => identity13)(v)((() => {
18369
+ return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity13)(v)((() => {
18395
18370
  const $0 = {};
18396
18371
  $0.this = $Val(\u03B1, None, v3);
18397
18372
  return $0;
@@ -18403,7 +18378,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => {
18403
18378
  const Applicative0 = Monad0.Applicative0();
18404
18379
  const $0 = Monad0.Bind1().Apply0().Functor0();
18405
18380
  const sequence2 = traversableList.traverse(Applicative0)(identity5);
18406
- return (dictLoadFile) => (v) => (v1) => {
18381
+ return (v) => (v1) => {
18407
18382
  if (v1.tag === "None") {
18408
18383
  return Applicative0.pure(None);
18409
18384
  }
@@ -18413,7 +18388,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => {
18413
18388
  return Applicative0.pure($DocCommentElem("Token", v2._1));
18414
18389
  }
18415
18390
  if (v2.tag === "Unquote") {
18416
- return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v2._1)(setSet4.empty));
18391
+ return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(v)(v2._1)(setSet4.empty));
18417
18392
  }
18418
18393
  fail();
18419
18394
  })(v1._1)));
@@ -18436,7 +18411,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18436
18411
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18437
18412
  const match1 = match(dictMonadWithGraphAlloc);
18438
18413
  const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
18439
- return (dictLoadFile) => (v) => (v1) => (v2) => {
18414
+ return (v) => (v1) => (v2) => {
18440
18415
  if (v1.tag === "Var") {
18441
18416
  return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
18442
18417
  }
@@ -18444,23 +18419,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18444
18419
  return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
18445
18420
  }
18446
18421
  if (v1.tag === "Int") {
18447
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
18422
+ return new$p(dictMonadWithGraphAlloc)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
18448
18423
  }
18449
18424
  if (v1.tag === "Float") {
18450
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
18425
+ return new$p(dictMonadWithGraphAlloc)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
18451
18426
  }
18452
18427
  if (v1.tag === "Str") {
18453
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
18428
+ return new$p(dictMonadWithGraphAlloc)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
18454
18429
  }
18455
18430
  if (v1.tag === "Dictionary") {
18456
18431
  const $1 = v1._2;
18457
18432
  const $2 = v1._1;
18458
18433
  return Bind1.bind($0.map(unzip3)(traverse2(traverse3((() => {
18459
- const $3 = $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v);
18434
+ const $3 = $$eval(dictMonadWithGraphAlloc)(v);
18460
18435
  return (a) => $3(a)(v2);
18461
18436
  })()))(v1._3)))((v3) => {
18462
18437
  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));
18463
- return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert(ordVertex)($2)()(v2))($1)($BaseVal(
18438
+ return new$p(dictMonadWithGraphAlloc)(v)(insert(ordVertex)($2)()(v2))($1)($BaseVal(
18464
18439
  "Dictionary",
18465
18440
  fromFoldable17(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2)))
18466
18441
  ));
@@ -18492,9 +18467,9 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18492
18467
  };
18493
18468
  return go(0)($3);
18494
18469
  })()))(() => Bind1.bind(traverse2((() => {
18495
- const $5 = $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v);
18470
+ const $5 = $$eval(dictMonadWithGraphAlloc)(v);
18496
18471
  return (a) => $5(a)(v2);
18497
- })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
18472
+ })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(v)(insert(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
18498
18473
  }
18499
18474
  if (v1.tag === "Matrix") {
18500
18475
  const $1 = v1._2;
@@ -18502,7 +18477,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18502
18477
  const $3 = v1._4._1;
18503
18478
  const $4 = v1._4._2;
18504
18479
  const $5 = v1._1;
18505
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
18480
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._5)(v2))((v3) => {
18506
18481
  const v5 = intPair.unpack(v3._3);
18507
18482
  const $6 = v5._1._1;
18508
18483
  const $7 = v5._2._1;
@@ -18513,7 +18488,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18513
18488
  $7
18514
18489
  )) + ")"))(() => Bind1.bind(sequence2(arrayBind(range(1)($6))((i) => [
18515
18490
  sequence2(arrayBind(range(1)($7))((j) => [
18516
- $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(disjointUnion2((() => {
18491
+ $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity13)(v)(disjointUnion2((() => {
18517
18492
  const $10 = {};
18518
18493
  $10[$3] = $Val($8, None, $BaseVal("Int", i));
18519
18494
  return $10;
@@ -18523,7 +18498,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18523
18498
  return $10;
18524
18499
  })())))($2)(v2)
18525
18500
  ]))
18526
- ])))((vss) => new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert(ordVertex)($5)()(v2))($1)($BaseVal(
18501
+ ])))((vss) => new$p(dictMonadWithGraphAlloc)(v)(insert(ordVertex)($5)()(v2))($1)($BaseVal(
18527
18502
  "Matrix",
18528
18503
  $Tuple(vss, $Tuple($Tuple($6, $8), $Tuple($7, $9)))
18529
18504
  ))));
@@ -18549,7 +18524,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18549
18524
  if (v1.tag === "Project") {
18550
18525
  const $1 = v1._1;
18551
18526
  const $2 = v1._3;
18552
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
18527
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => {
18553
18528
  if (v3._3.tag === "Dictionary") {
18554
18529
  return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + $2 + '" not found')((() => {
18555
18530
  const $3 = _lookup(Nothing, Just, $2, v3._3._1);
@@ -18557,7 +18532,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18557
18532
  return $Maybe("Just", $3._1._2);
18558
18533
  }
18559
18534
  return Nothing;
18560
- })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v$p)($1));
18535
+ })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(v)(v$p)($1));
18561
18536
  }
18562
18537
  return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v3)).lines) + ", expected dictionary"));
18563
18538
  });
@@ -18565,7 +18540,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18565
18540
  if (v1.tag === "DProject") {
18566
18541
  const $1 = v1._1;
18567
18542
  const $2 = v1._3;
18568
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)($2)(v2))((v$p) => {
18543
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)($2)(v2))((v$p) => {
18569
18544
  if (v3._3.tag === "Dictionary") {
18570
18545
  if (v$p._3.tag === "Str") {
18571
18546
  return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + v$p._3._1 + '" not found')((() => {
@@ -18574,7 +18549,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18574
18549
  return $Maybe("Just", $3._1._2);
18575
18550
  }
18576
18551
  return Nothing;
18577
- })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v$p$p)($1));
18552
+ })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(v)(v$p$p)($1));
18578
18553
  }
18579
18554
  return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v$p)).lines) + ", expected string"));
18580
18555
  }
@@ -18584,10 +18559,10 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18584
18559
  if (v1.tag === "App") {
18585
18560
  const $1 = v1._1;
18586
18561
  const $2 = v1._3;
18587
- 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) => {
18562
+ 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) => {
18588
18563
  const $3 = v4._3;
18589
18564
  const $4 = v4._1;
18590
- return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith2((v$1) => identity13)(v)((() => {
18565
+ return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity13)(v)((() => {
18591
18566
  const $5 = {};
18592
18567
  $5.this = v4;
18593
18568
  return $5;
@@ -18597,23 +18572,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18597
18572
  if (v1.tag === "Let") {
18598
18573
  const $1 = v1._2;
18599
18574
  const $2 = v1._1._1;
18600
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18575
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18601
18576
  }
18602
18577
  if (v1.tag === "LetRec") {
18603
18578
  const $1 = v1._2;
18604
18579
  const $2 = v1._1._1;
18605
- return Bind1.bind(closeDefs1(v)(v1._1._2)(insert(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(\u03B3$p))($1)(insert(ordVertex)($2)()(v2)));
18580
+ return Bind1.bind(closeDefs1(v)(v1._1._2)(insert(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity13)(v)(\u03B3$p))($1)(insert(ordVertex)($2)()(v2)));
18606
18581
  }
18607
18582
  fail();
18608
18583
  };
18609
18584
  };
18610
18585
  var concatDocs = (dictMonadWithGraphAlloc) => {
18611
18586
  const Monad0 = dictMonadWithGraphAlloc.MonadWithGraph2().Monad0();
18612
- return (dictLoadFile) => (\u03B3) => (v) => (doc) => {
18587
+ return (\u03B3) => (v) => (doc) => {
18613
18588
  const $0 = v._3;
18614
18589
  const $1 = v._2;
18615
18590
  const $2 = v._1;
18616
- return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith2((v$1) => identity13)(\u03B3)((() => {
18591
+ return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity13)(\u03B3)((() => {
18617
18592
  const $3 = {};
18618
18593
  $3.this = $Val($2, None, $0);
18619
18594
  return $3;
@@ -18627,14 +18602,14 @@ var apply2 = (dictMonadWithGraphAlloc) => {
18627
18602
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18628
18603
  const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
18629
18604
  const MonadThrow0 = MonadError1.MonadThrow0();
18630
- return (dictLoadFile) => (v) => (v1) => {
18605
+ return (v) => (v1) => {
18631
18606
  const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", expected function"));
18632
18607
  if (v._3.tag === "Fun") {
18633
18608
  if (v._3._1.tag === "Closure") {
18634
18609
  const $1 = v._1;
18635
18610
  const $2 = v._3._1._1;
18636
18611
  const $3 = v._3._1._3;
18637
- 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)(unionWith2((v$1) => identity13)(unionWith2((v$1) => identity13)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v3._2._2))));
18612
+ 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)(unionWith2((v$1) => identity13)(unionWith2((v$1) => identity13)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v3._2._2))));
18638
18613
  }
18639
18614
  if (v._3._1.tag === "Foreign") {
18640
18615
  const $1 = v._3._1._1._2;
@@ -18665,7 +18640,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
18665
18640
  $Fun("Foreign", $Tuple(v._3._1._1._1, $1), vs$p)
18666
18641
  ));
18667
18642
  }
18668
- return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictLoadFile)(vs$p);
18643
+ return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(vs$p);
18669
18644
  }
18670
18645
  if (v._3._1.tag === "PartialConstr") {
18671
18646
  const $1 = v._1;
@@ -18736,28 +18711,25 @@ var eval_module = (dictMonadWithGraphAlloc) => {
18736
18711
  const eval1 = $$eval(dictMonadWithGraphAlloc);
18737
18712
  const match1 = match(dictMonadWithGraphAlloc);
18738
18713
  const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
18739
- return (dictLoadFile) => {
18740
- const eval2 = eval1(dictLoadFile);
18741
- return (\u03B3) => {
18742
- const go = (v) => (v1) => (v2) => {
18743
- if (v1.tag === "Nil") {
18744
- return Monad0.Applicative0().pure(v);
18714
+ return (\u03B3) => {
18715
+ const go = (v) => (v1) => (v2) => {
18716
+ if (v1.tag === "Nil") {
18717
+ return Monad0.Applicative0().pure(v);
18718
+ }
18719
+ if (v1.tag === "Cons") {
18720
+ if (v1._1.tag === "Left") {
18721
+ const $1 = v1._2;
18722
+ const $2 = v1._1._1._1;
18723
+ return $0.bind(eval1(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18745
18724
  }
18746
- if (v1.tag === "Cons") {
18747
- if (v1._1.tag === "Left") {
18748
- const $1 = v1._2;
18749
- const $2 = v1._1._1._1;
18750
- return $0.bind(eval2(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18751
- }
18752
- if (v1._1.tag === "Right") {
18753
- const $1 = v1._2;
18754
- return $0.bind(closeDefs1(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(insert(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith2((v$1) => identity13)(v)(\u03B3$p$p))($1)(v2));
18755
- }
18725
+ if (v1._1.tag === "Right") {
18726
+ const $1 = v1._2;
18727
+ return $0.bind(closeDefs1(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(insert(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith2((v$1) => identity13)(v)(\u03B3$p$p))($1)(v2));
18756
18728
  }
18757
- fail();
18758
- };
18759
- return go(empty);
18729
+ }
18730
+ fail();
18760
18731
  };
18732
+ return go(empty);
18761
18733
  };
18762
18734
  };
18763
18735
  var eval_progCxt = (dictMonadWithGraphAlloc) => {
@@ -18767,21 +18739,18 @@ var eval_progCxt = (dictMonadWithGraphAlloc) => {
18767
18739
  const $1 = Monad0.Applicative0();
18768
18740
  const eval1 = $$eval(dictMonadWithGraphAlloc);
18769
18741
  const concatM1 = concatM(Monad0);
18770
- return (dictLoadFile) => {
18771
- const eval_module2 = eval_module1(dictLoadFile);
18772
- const eval2 = eval1(dictLoadFile);
18773
- return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
18774
- const $2 = v1._1;
18775
- return $0.bind(eval2(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)((() => {
18776
- const $3 = {};
18777
- $3[$2] = v2;
18778
- return $3;
18779
- })())));
18780
- })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module2(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
18781
- };
18742
+ return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
18743
+ const $2 = v1._1;
18744
+ return $0.bind(eval1(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)((() => {
18745
+ const $3 = {};
18746
+ $3[$2] = v2;
18747
+ return $3;
18748
+ })())));
18749
+ })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module1(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
18782
18750
  };
18783
- var graphEval = (dictMonadAff) => {
18784
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18751
+ var graphEval = (dictMonadError) => {
18752
+ const MonadThrow0 = dictMonadError.MonadThrow0();
18753
+ const Monad0 = MonadThrow0.Monad0();
18785
18754
  const bindStateT2 = bindStateT(Monad0);
18786
18755
  const $0 = monadAllocAllocT(Monad0);
18787
18756
  const fresh1 = $0.fresh;
@@ -18790,47 +18759,29 @@ var graphEval = (dictMonadAff) => {
18790
18759
  Applicative0: () => applicativeStateT(Monad0),
18791
18760
  Bind1: () => bindStateT(Monad0)
18792
18761
  })(graphGraphImpl);
18793
- const $1 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
18794
- const $2 = dictMonadAff.MonadEffect0().Monad0();
18795
- return (dictLoadFile) => (dictMonadError) => {
18796
- const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))((() => {
18797
- const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
18798
- return {
18799
- loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
18800
- const $3 = loadFile1(folders);
18801
- return (x) => {
18802
- const $4 = $3(x);
18803
- 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(
18804
- x$1,
18805
- s
18806
- )));
18807
- };
18808
- }
18809
- };
18810
- })());
18811
- const check2 = check(monadThrowStateT(dictMonadError.MonadThrow0()));
18812
- return (v) => (e) => {
18813
- const $3 = v["\u03B3"];
18814
- const $4 = spyFunWhen(false)("fwdSlice")((x) => $Tuple(showVertices(x._1), showEdgeList(toEdgeList(graphGraphImpl)(x._2))))(showGraph(graphGraphImpl))(fwdSlice2);
18815
- const $5 = spyFunWhen(false)("bwdSlice")((x) => $Tuple(showVertices(x._1), showEdgeList(toEdgeList(graphGraphImpl)(x._2))))(showGraph(graphGraphImpl))(bwdSlice2);
18816
- return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($3)(e\u03B1)(Leaf2))(verticesEnvExprVertex.vertices($EnvExpr(
18817
- $3,
18818
- e\u03B1
18819
- ))))((v1) => {
18820
- const $6 = v1._1;
18821
- const $7 = v1._2;
18822
- return bindStateT2.bind(check2(difference2(ordDVertex$p)(verticesValVertex.vertices($7))(verticesGraphImpl.vertices($6)).tag === "Leaf")("outputs in graph"))(() => applicativeStateT(Monad0).pure($Tuple(
18823
- $6,
18824
- $Tuple($EnvExpr($3, e\u03B1), $7)
18825
- )));
18826
- })))(v.n))((v1) => Monad0.Applicative0().pure({
18827
- g: v1._2._2._1,
18828
- graph_fwd: (a) => (b) => $4($Tuple(a, b)),
18829
- graph_bwd: (a) => (b) => $5($Tuple(a, b)),
18830
- "in\u03B1": v1._2._2._2._1,
18831
- "out\u03B1": v1._2._2._2._2
18832
- }));
18833
- };
18762
+ const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError));
18763
+ const check2 = check(monadThrowStateT(MonadThrow0));
18764
+ return (v) => (e) => {
18765
+ const $1 = v["\u03B3"];
18766
+ const $2 = spyFunWhen(false)("fwdSlice")((x) => $Tuple(showVertices(x._1), showEdgeList(toEdgeList(graphGraphImpl)(x._2))))(showGraph(graphGraphImpl))(fwdSlice2);
18767
+ const $3 = spyFunWhen(false)("bwdSlice")((x) => $Tuple(showVertices(x._1), showEdgeList(toEdgeList(graphGraphImpl)(x._2))))(showGraph(graphGraphImpl))(bwdSlice2);
18768
+ return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($1)(e\u03B1)(Leaf2))(verticesEnvExprVertex.vertices($EnvExpr(
18769
+ $1,
18770
+ e\u03B1
18771
+ ))))((v1) => {
18772
+ const $4 = v1._1;
18773
+ const $5 = v1._2;
18774
+ return bindStateT2.bind(check2(difference2(ordDVertex$p)(verticesValVertex.vertices($5))(verticesGraphImpl.vertices($4)).tag === "Leaf")("outputs in graph"))(() => applicativeStateT(Monad0).pure($Tuple(
18775
+ $4,
18776
+ $Tuple($EnvExpr($1, e\u03B1), $5)
18777
+ )));
18778
+ })))(v.n))((v1) => Monad0.Applicative0().pure({
18779
+ g: v1._2._2._1,
18780
+ graph_fwd: (a) => (b) => $2($Tuple(a, b)),
18781
+ graph_bwd: (a) => (b) => $3($Tuple(a, b)),
18782
+ "in\u03B1": v1._2._2._2._1,
18783
+ "out\u03B1": v1._2._2._2._2
18784
+ }));
18834
18785
  };
18835
18786
  };
18836
18787
 
@@ -19667,9 +19618,6 @@ var monoidRecord = () => (dictMonoidRecord) => {
19667
19618
  return { mempty: dictMonoidRecord.memptyRecord($$Proxy), Semigroup0: () => semigroupRecord1 };
19668
19619
  };
19669
19620
 
19670
- // output-es/File/index.js
19671
- var Folder = (x) => x;
19672
-
19673
19621
  // output-es/Data.CodePoint.Unicode/index.js
19674
19622
  var isUpper = (x) => checkAttr([512, 524288])(x);
19675
19623
  var isSpace = (c) => {
@@ -22980,7 +22928,7 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
22980
22928
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
22981
22929
  return (dictMonadError) => {
22982
22930
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
22983
- return (dictLoadFile) => (v) => {
22931
+ return (v) => {
22984
22932
  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") {
22985
22933
  const $0 = v._2._2._1;
22986
22934
  return $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))($BaseVal(
@@ -23000,7 +22948,7 @@ var matrixLookup = /* @__PURE__ */ $Tuple(
23000
22948
  arity: 2,
23001
22949
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23002
22950
  const MonadThrow0 = dictMonadError.MonadThrow0();
23003
- return (dictLoadFile) => (v) => {
22951
+ return (v) => {
23004
22952
  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") {
23005
22953
  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));
23006
22954
  }
@@ -23033,7 +22981,7 @@ var error_ = /* @__PURE__ */ $Tuple(
23033
22981
  arity: 1,
23034
22982
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23035
22983
  const MonadThrow0 = dictMonadError.MonadThrow0();
23036
- return (dictLoadFile) => (v) => {
22984
+ return (v) => {
23037
22985
  if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
23038
22986
  return MonadThrow0.Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
23039
22987
  }
@@ -23052,7 +23000,7 @@ var dims = /* @__PURE__ */ $Tuple(
23052
23000
  return (dictMonadError) => {
23053
23001
  const MonadThrow0 = dictMonadError.MonadThrow0();
23054
23002
  const $0 = MonadThrow0.Monad0().Bind1();
23055
- return (dictLoadFile) => (v) => {
23003
+ return (v) => {
23056
23004
  if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
23057
23005
  const $1 = v._1._3._1._2._2._1;
23058
23006
  const $2 = v._1._1;
@@ -23087,22 +23035,19 @@ var dict_map = /* @__PURE__ */ $Tuple(
23087
23035
  const Monad0 = MonadThrow0.Monad0();
23088
23036
  const Bind1 = Monad0.Bind1();
23089
23037
  const traverse1 = traversableDict.traverse(Monad0.Applicative0());
23090
- return (dictLoadFile) => {
23091
- const apply12 = apply5(dictLoadFile);
23092
- return (v) => {
23093
- if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23094
- const $0 = v._1;
23095
- const $1 = v._2._1._1;
23096
- return Bind1.bind(traverse1((v2) => {
23097
- const $2 = v2._1;
23098
- return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply12($0)(v2._2));
23099
- })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
23100
- "Dictionary",
23101
- d$p
23102
- )));
23103
- }
23104
- return MonadThrow0.throwError(error("Function and dictionary expected"));
23105
- };
23038
+ return (v) => {
23039
+ if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23040
+ const $0 = v._1;
23041
+ const $1 = v._2._1._1;
23042
+ return Bind1.bind(traverse1((v2) => {
23043
+ const $2 = v2._1;
23044
+ return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply5($0)(v2._2));
23045
+ })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
23046
+ "Dictionary",
23047
+ d$p
23048
+ )));
23049
+ }
23050
+ return MonadThrow0.throwError(error("Function and dictionary expected"));
23106
23051
  };
23107
23052
  };
23108
23053
  }
@@ -23121,34 +23066,31 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
23121
23066
  const Bind1 = Monad0.Bind1();
23122
23067
  const Applicative0 = Monad0.Applicative0();
23123
23068
  const $0 = Bind1.Apply0().Functor0();
23124
- return (dictLoadFile) => {
23125
- const apply12 = apply5(dictLoadFile);
23126
- return (v) => {
23127
- 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") {
23128
- const $1 = v._1;
23129
- const $2 = v._2._1._1;
23130
- const $3 = v._2._2._1._1;
23131
- return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity14)(intersectionWith_Object((v2) => (v3) => {
23132
- const $4 = v3._2;
23133
- const $5 = v2._1;
23134
- const $6 = v3._1;
23135
- return Bind1.bind(Bind1.bind(apply12($1)(v2._2))((a) => apply12(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert(ordVertex)($6)()($$$Map(
23136
- "Two",
23137
- Leaf2,
23138
- $5,
23139
- void 0,
23140
- Leaf2
23141
- )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
23142
- })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert(ordVertex)($3)()($$$Map(
23069
+ return (v) => {
23070
+ 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") {
23071
+ const $1 = v._1;
23072
+ const $2 = v._2._1._1;
23073
+ const $3 = v._2._2._1._1;
23074
+ return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity14)(intersectionWith_Object((v2) => (v3) => {
23075
+ const $4 = v3._2;
23076
+ const $5 = v2._1;
23077
+ const $6 = v3._1;
23078
+ return Bind1.bind(Bind1.bind(apply5($1)(v2._2))((a) => apply5(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert(ordVertex)($6)()($$$Map(
23143
23079
  "Two",
23144
23080
  Leaf2,
23145
- $2,
23081
+ $5,
23146
23082
  void 0,
23147
23083
  Leaf2
23148
- )))(v$p));
23149
- }
23150
- return MonadThrow0.throwError(error("Function and two dictionaries expected"));
23151
- };
23084
+ )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
23085
+ })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert(ordVertex)($3)()($$$Map(
23086
+ "Two",
23087
+ Leaf2,
23088
+ $2,
23089
+ void 0,
23090
+ Leaf2
23091
+ )))(v$p));
23092
+ }
23093
+ return MonadThrow0.throwError(error("Function and two dictionaries expected"));
23152
23094
  };
23153
23095
  };
23154
23096
  }
@@ -23160,7 +23102,7 @@ var dict_get = /* @__PURE__ */ $Tuple(
23160
23102
  arity: 2,
23161
23103
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23162
23104
  const MonadThrow0 = dictMonadError.MonadThrow0();
23163
- return (dictLoadFile) => (v) => {
23105
+ return (v) => {
23164
23106
  if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23165
23107
  return orElse(MonadThrow0)('Key "' + v._1._3._1 + '" not found')((() => {
23166
23108
  const $0 = _lookup(Nothing, Just, v._1._3._1, v._2._1._3._1);
@@ -23184,18 +23126,15 @@ var dict_foldl = /* @__PURE__ */ $Tuple(
23184
23126
  return (dictMonadError) => {
23185
23127
  const MonadThrow0 = dictMonadError.MonadThrow0();
23186
23128
  const Monad0 = MonadThrow0.Monad0();
23187
- return (dictLoadFile) => {
23188
- const apply12 = apply5(dictLoadFile);
23189
- return (v) => {
23190
- 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") {
23191
- const $0 = v._1;
23192
- return foldM4(Monad0)((u1) => (v2) => {
23193
- const $1 = v2._2;
23194
- return Monad0.Bind1().bind(apply12($0)(u1))((a) => apply12(a)($1));
23195
- })(v._2._1)(v._2._2._1._3._1);
23196
- }
23197
- return MonadThrow0.throwError(error("Function, value and dictionary expected"));
23198
- };
23129
+ return (v) => {
23130
+ 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") {
23131
+ const $0 = v._1;
23132
+ return foldM4(Monad0)((u1) => (v2) => {
23133
+ const $1 = v2._2;
23134
+ return Monad0.Bind1().bind(apply5($0)(u1))((a) => apply5(a)($1));
23135
+ })(v._2._1)(v._2._2._1._3._1);
23136
+ }
23137
+ return MonadThrow0.throwError(error("Function, value and dictionary expected"));
23199
23138
  };
23200
23139
  };
23201
23140
  }
@@ -23209,7 +23148,7 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
23209
23148
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23210
23149
  return (dictMonadError) => {
23211
23150
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23212
- return (dictLoadFile) => (v) => {
23151
+ return (v) => {
23213
23152
  if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23214
23153
  return $$new((a) => Val(a)(None))(insert(ordVertex)(v._2._1._1)()($$$Map(
23215
23154
  "Two",
@@ -23233,7 +23172,7 @@ var dict_difference = /* @__PURE__ */ $Tuple(
23233
23172
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23234
23173
  return (dictMonadError) => {
23235
23174
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23236
- return (dictLoadFile) => (v) => {
23175
+ return (v) => {
23237
23176
  if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23238
23177
  return $$new((a) => Val(a)(None))(insert(ordVertex)(v._2._1._1)()($$$Map(
23239
23178
  "Two",
@@ -23255,7 +23194,7 @@ var debugLog = /* @__PURE__ */ $Tuple(
23255
23194
  arity: 1,
23256
23195
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23257
23196
  const MonadThrow0 = dictMonadError.MonadThrow0();
23258
- return (dictLoadFile) => (v) => {
23197
+ return (v) => {
23259
23198
  if (v.tag === "Cons" && v._2.tag === "Nil") {
23260
23199
  const $0 = v._1;
23261
23200
  return MonadThrow0.Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
@@ -23351,7 +23290,6 @@ var verticesProgCxtVertex = {
23351
23290
  };
23352
23291
  var functorProgCxt = {
23353
23292
  map: (f) => (m) => ({
23354
- fluidSrcPaths: m.fluidSrcPaths,
23355
23293
  primitives: _fmapObject(m.primitives, functorVal.map(f)),
23356
23294
  mods: listMap(functorModule.map(f))(m.mods),
23357
23295
  datasets: listMap((m$1) => $Tuple(m$1._1, functorExpr.map(f)(m$1._2)))(m.datasets)
@@ -23421,7 +23359,7 @@ var traversableProgCxt = {
23421
23359
  const traverse7 = traversableExpr.traverse(dictApplicative);
23422
23360
  const traverse8 = traversableModule.traverse(dictApplicative);
23423
23361
  const traverse9 = traversableEnv.traverse(dictApplicative);
23424
- 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));
23362
+ 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));
23425
23363
  },
23426
23364
  sequence: (dictApplicative) => (v) => traversableProgCxt.traverse(dictApplicative)(identity25)(v),
23427
23365
  Functor0: () => functorProgCxt,
@@ -23434,6 +23372,7 @@ var concatM2 = (dictMonad) => foldrArray((() => {
23434
23372
  const $0 = dictMonad.Bind1();
23435
23373
  return (f) => (g) => (a) => $0.bind(f(a))(g);
23436
23374
  })())(dictMonad.Applicative0().pure);
23375
+ var Folder = (x) => x;
23437
23376
  var parse = (dictMonadError) => {
23438
23377
  const $0 = dictMonadError.MonadThrow0();
23439
23378
  const $1 = $0.Monad0().Applicative0().pure;
@@ -23451,7 +23390,7 @@ var parse = (dictMonadError) => {
23451
23390
  };
23452
23391
  };
23453
23392
  };
23454
- var parseProgram = (dictLoadFile) => (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().bind(dictLoadFile.loadFile(dictMonadError)(dictMonadAff)(folders)(file))((() => {
23393
+ var parseProgram = (loadFile2) => (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().bind(loadFile2(folders)(file)(dictMonadAff)(dictMonadError))((() => {
23455
23394
  const $0 = parse(dictMonadError);
23456
23395
  return (a) => $0(a)(topLevel(expr_));
23457
23396
  })());
@@ -23462,22 +23401,18 @@ var module_2 = (dictMonadAff) => {
23462
23401
  return (dictMonadError) => {
23463
23402
  const parse1 = parse(dictMonadError);
23464
23403
  const desugarModuleFwd = moduleFwd(dictMonadError)(boundedLattice2);
23465
- return (dictLoadFile) => {
23466
- const loadFile = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
23467
- return (folders) => (file) => (v) => {
23468
- const $0 = v.mods;
23469
- return Bind1.bind(Applicative0.pure())(() => Bind1.bind(loadFile(folders)(file))((src) => Bind1.bind(Bind1.bind(parse1(src)(module_))(desugarModuleFwd))((mod) => Applicative0.pure({
23470
- fluidSrcPaths: v.fluidSrcPaths,
23471
- primitives: v.primitives,
23472
- mods: $List("Cons", mod, $0),
23473
- datasets: v.datasets
23474
- }))));
23475
- };
23404
+ return (loadFile2) => (folders) => (file) => (v) => {
23405
+ const $0 = v.mods;
23406
+ return Bind1.bind(Applicative0.pure())(() => Bind1.bind(loadFile2(folders)(file)(dictMonadAff)(dictMonadError))((src) => Bind1.bind(Bind1.bind(parse1(src)(module_))(desugarModuleFwd))((mod) => Applicative0.pure({
23407
+ primitives: v.primitives,
23408
+ mods: $List("Cons", mod, $0),
23409
+ datasets: v.datasets
23410
+ }))));
23476
23411
  };
23477
23412
  };
23478
23413
  };
23479
- var initialConfig = (dictMonadAff) => {
23480
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23414
+ var initialConfig = (dictMonadError) => {
23415
+ const Monad0 = dictMonadError.MonadThrow0().Monad0();
23481
23416
  const Bind1 = Monad0.Bind1();
23482
23417
  const Applicative0 = Monad0.Applicative0();
23483
23418
  const $0 = monadAllocAllocT(Monad0);
@@ -23488,54 +23423,29 @@ var initialConfig = (dictMonadAff) => {
23488
23423
  Applicative0: () => applicativeStateT(Monad0),
23489
23424
  Bind1: () => bindStateT(Monad0)
23490
23425
  })(graphGraphImpl);
23491
- const $2 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
23492
- const $3 = dictMonadAff.MonadEffect0().Monad0();
23493
- return (dictMonadError) => {
23494
- const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
23495
- return (dictLoadFile) => {
23496
- const eval_progCxt1 = eval_progCxt2((() => {
23497
- const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
23498
- return {
23499
- loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
23500
- const $4 = loadFile1(folders);
23501
- return (x) => {
23502
- const $5 = $4(x);
23503
- 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(
23504
- x$1,
23505
- s
23506
- )));
23507
- };
23508
- }
23509
- };
23510
- })());
23511
- 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(
23512
- progCxt$p,
23513
- (() => {
23514
- const $4 = dictFV.fv(e);
23515
- return filterWithKey2((x) => {
23516
- const $5 = setSet(ordString).member(x)($4);
23517
- return (v$1) => $5;
23518
- })(v._2);
23519
- })()
23520
- )))))(0))((v) => Applicative0.pure({ n: v._1, progCxt: v._2._2._1, "\u03B3": v._2._2._2 })));
23521
- };
23522
- };
23426
+ const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
23427
+ 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(
23428
+ progCxt$p,
23429
+ (() => {
23430
+ const $2 = dictFV.fv(e);
23431
+ return filterWithKey2((x) => {
23432
+ const $3 = setSet(ordString).member(x)($2);
23433
+ return (v$1) => $3;
23434
+ })(v._2);
23435
+ })()
23436
+ )))))(0))((v) => Applicative0.pure({ n: v._1, progCxt: v._2._2._1, "\u03B3": v._2._2._2 })));
23523
23437
  };
23524
23438
  var prepConfig = (dictMonadAff) => {
23525
23439
  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23526
23440
  const $0 = Monad0.Bind1();
23527
- const initialConfig1 = initialConfig(dictMonadAff);
23528
23441
  return (dictMonadError) => {
23529
23442
  const desug1 = exprFwd(boundedLattice2)(dictMonadError)(joinSemilatticeUnit);
23530
- const initialConfig2 = initialConfig1(dictMonadError);
23531
- return (dictLoadFile) => {
23532
- const initialConfig3 = initialConfig2(dictLoadFile)(fVExpr);
23533
- 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({
23534
- s,
23535
- e,
23536
- gconfig
23537
- }))));
23538
- };
23443
+ const initialConfig1 = initialConfig(dictMonadError)(fVExpr);
23444
+ 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({
23445
+ s,
23446
+ e,
23447
+ gconfig
23448
+ }))));
23539
23449
  };
23540
23450
  };
23541
23451
  var datasetAs = (dictMonadAff) => {
@@ -23543,11 +23453,10 @@ var datasetAs = (dictMonadAff) => {
23543
23453
  const $0 = Monad0.Bind1();
23544
23454
  return (dictMonadError) => {
23545
23455
  const desug1 = exprFwd(boundedLattice2)(dictMonadError)(joinSemilatticeUnit);
23546
- return (dictLoadFile) => (folders) => (v) => (v1) => {
23456
+ return (loadFile2) => (folders) => (v) => (v1) => {
23547
23457
  const $1 = v1.datasets;
23548
23458
  const $2 = v._1;
23549
- return $0.bind($0.bind(parseProgram(dictLoadFile)(folders)(v._2)(dictMonadAff)(dictMonadError))(desug1))((e\u03B1) => Monad0.Applicative0().pure({
23550
- fluidSrcPaths: v1.fluidSrcPaths,
23459
+ return $0.bind($0.bind(parseProgram(loadFile2)(folders)(v._2)(dictMonadAff)(dictMonadError))(desug1))((e\u03B1) => Monad0.Applicative0().pure({
23551
23460
  primitives: v1.primitives,
23552
23461
  mods: v1.mods,
23553
23462
  datasets: $List("Cons", $Tuple($2, e\u03B1), $1)
@@ -23564,19 +23473,14 @@ var loadProgCxt = (dictMonadAff) => {
23564
23473
  return (dictMonadError) => {
23565
23474
  const module_22 = module_1(dictMonadError);
23566
23475
  const datasetAs2 = datasetAs1(dictMonadError);
23567
- return (dictLoadFile) => {
23568
- const module_3 = module_22(dictLoadFile);
23569
- const datasetAs3 = datasetAs2(dictLoadFile);
23570
- return (v) => (mods) => (datasets) => $0.bind($0.bind(Monad0.Applicative0().pure({
23571
- fluidSrcPaths: v.fluidSrcPaths,
23572
- primitives,
23573
- mods: Nil,
23574
- datasets: Nil
23575
- }))(concatM1(arrayMap(module_3(v.fluidSrcPaths))(["lib/prelude", ...mods]))))(concatM1(arrayMap((() => {
23576
- const $1 = datasetAs3(v.fluidSrcPaths);
23577
- return (x) => $1($Tuple(x._1, x._2));
23578
- })())(datasets)));
23579
- };
23476
+ return (v) => (mods) => (datasets) => $0.bind($0.bind(Monad0.Applicative0().pure({
23477
+ primitives,
23478
+ mods: Nil,
23479
+ datasets: Nil
23480
+ }))(concatM1(arrayMap(module_22(v.loadFile)(v.fluidSrcPaths))(["lib/prelude", ...mods]))))(concatM1(arrayMap((() => {
23481
+ const $1 = datasetAs2(v.loadFile)(v.fluidSrcPaths);
23482
+ return (x) => $1($Tuple(x._1, x._2));
23483
+ })())(datasets)));
23580
23484
  };
23581
23485
  };
23582
23486
 
@@ -23753,33 +23657,45 @@ var findM = (dictMonad) => {
23753
23657
  const $0 = dictMonad.Bind1().Apply0();
23754
23658
  return (dictFoldable) => (xs) => (f) => (base) => dictFoldable.foldr((x) => (acc) => $0.apply($0.Functor0().map(altMaybe.alt)(acc))(f(x)))(dictMonad.Applicative0().pure(base))(xs);
23755
23659
  };
23756
- var loadFileNodeT = (dictMonadAff) => {
23660
+ var loadFile = (folders) => (v) => (dictMonadAff) => {
23757
23661
  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23758
23662
  const $0 = Monad0.Bind1();
23759
23663
  const findM1 = findM(Monad0)(foldableArray);
23760
- return (dictMonadError) => ({
23761
- loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => (v) => $0.bind(findM1(arrayMap((() => {
23762
- const $1 = v + ".fld";
23763
- return (a) => a + "/" + $1;
23764
- })())(folders))((v1) => $0.bind(dictMonadAff1.liftAff($$try3(toAff1(stat2)(v1))))((stats) => Monad0.Applicative0().pure((() => {
23765
- if (stats.tag === "Left") {
23766
- return false;
23767
- }
23768
- if (stats.tag === "Right") {
23769
- return isFileImpl(stats._1);
23770
- }
23771
- fail();
23772
- })() ? $Maybe("Just", v1) : Nothing)))(Nothing))((url) => {
23773
- if (url.tag === "Nothing") {
23774
- return throwException(error("File " + v + " not found."))();
23775
- }
23776
- if (url.tag === "Just") {
23777
- return dictMonadAff1.liftAff(toAff2(readTextFile)(UTF8)(url._1));
23778
- }
23779
- fail();
23780
- })
23664
+ return (dictMonadError) => $0.bind(findM1(arrayMap((() => {
23665
+ const $1 = v + ".fld";
23666
+ return (a) => a + "/" + $1;
23667
+ })())(folders))((v1) => $0.bind(dictMonadAff.liftAff($$try3(toAff1(stat2)(v1))))((stats) => Monad0.Applicative0().pure((() => {
23668
+ if (stats.tag === "Left") {
23669
+ return false;
23670
+ }
23671
+ if (stats.tag === "Right") {
23672
+ return isFileImpl(stats._1);
23673
+ }
23674
+ fail();
23675
+ })() ? $Maybe("Just", v1) : Nothing)))(Nothing))((url) => {
23676
+ if (url.tag === "Nothing") {
23677
+ return throwException(error("File " + v + " not found."))();
23678
+ }
23679
+ if (url.tag === "Just") {
23680
+ return dictMonadAff.liftAff(toAff2(readTextFile)(UTF8)(url._1));
23681
+ }
23682
+ fail();
23781
23683
  });
23782
23684
  };
23685
+ var loadProgCxt2 = (dictMonadAff) => {
23686
+ const loadProgCxt1 = loadProgCxt(dictMonadAff);
23687
+ return (dictMonadError) => {
23688
+ const loadProgCxt22 = loadProgCxt1(dictMonadError);
23689
+ return (fluidSrcPaths) => loadProgCxt22({ loadFile, fluidSrcPaths });
23690
+ };
23691
+ };
23692
+ var prepConfig2 = (dictMonadAff) => {
23693
+ const prepConfig1 = prepConfig(dictMonadAff);
23694
+ return (dictMonadError) => {
23695
+ const prepConfig22 = prepConfig1(dictMonadError);
23696
+ return (fluidSrcPaths) => prepConfig22({ loadFile, fluidSrcPaths });
23697
+ };
23698
+ };
23783
23699
 
23784
23700
  // output-es/Node.ChildProcess/foreign.js
23785
23701
  import { spawn, exec, execFile, execSync, execFileSync, fork as cp_fork } from "child_process";
@@ -27071,10 +26987,9 @@ var execParserPure = (pprefs) => (pinfo) => (args) => {
27071
26987
  var $BundleArgs = (_1, _2) => ({ tag: "BundleArgs", _1, _2 });
27072
26988
  var $Command = (tag, _1) => ({ tag, _1 });
27073
26989
  var $EvalArgs = (_1) => ({ tag: "EvalArgs", _1 });
27074
- var loadFileNodeT2 = /* @__PURE__ */ loadFileNodeT(monadAffAff)(monadErrorAff);
27075
- var loadProgCxt2 = /* @__PURE__ */ loadProgCxt(monadAffAff)(monadErrorAff)(loadFileNodeT2);
27076
- var prepConfig2 = /* @__PURE__ */ prepConfig(monadAffAff)(monadErrorAff)(loadFileNodeT2);
27077
- var graphEval2 = /* @__PURE__ */ graphEval(monadAffAff)(loadFileNodeT2)(monadErrorAff);
26990
+ var loadProgCxt3 = /* @__PURE__ */ loadProgCxt2(monadAffAff)(monadErrorAff);
26991
+ var prepConfig3 = /* @__PURE__ */ prepConfig2(monadAffAff)(monadErrorAff);
26992
+ var graphEval2 = /* @__PURE__ */ graphEval(monadErrorAff);
27078
26993
  var fromFoldable25 = /* @__PURE__ */ (() => fromFoldableImpl(foldableList.foldr))();
27079
26994
  var Evaluate = (value0) => $Command("Evaluate", value0);
27080
26995
  var BundleWebsite = (value0) => $Command("BundleWebsite", value0);
@@ -27134,7 +27049,7 @@ var parseBundleArgs = /* @__PURE__ */ (() => $Parser(
27134
27049
  var evaluate = (v) => {
27135
27050
  const $0 = v._1.fileName;
27136
27051
  const fluidSrcPaths = [v._1.fluidSrcPath, ...v._1.local ? ["node_modules/@explorable-viz/fluid/dist/fluid/fluid"] : []];
27137
- return _bind(loadProgCxt2({ fluidSrcPaths })(v._1.imports)(v._1.datasets))((progCxt) => _bind(prepConfig2({ fluidSrcPaths })($0)(progCxt))((v1) => _bind(graphEval2(v1.gconfig)(v1.e))((v2) => _pure(functorVal.map((v$1) => {
27052
+ return _bind(loadProgCxt3(fluidSrcPaths)(v._1.imports)(v._1.datasets))((progCxt) => _bind(prepConfig3(fluidSrcPaths)($0)(progCxt))((v1) => _bind(graphEval2(v1.gconfig)(v1.e))((v2) => _pure(functorVal.map((v$1) => {
27138
27053
  })(v2["out\u03B1"])))));
27139
27054
  };
27140
27055
  var copyOptions = {