@explorable-viz/fluid 0.7.76 → 0.7.77

package/.spago/affjax-node/v1.0.0/.editorconfig

@@ -0,0 +1,13 @@
+# https://editorconfig.org
+root = true
+
+[*]
+indent_style = space
+indent_size = 2
+end_of_line = lf
+charset = utf-8
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+[*.md]
+trim_trailing_whitespace = false

package/.spago/affjax-node/v1.0.0/.eslintrc.json

@@ -0,0 +1,30 @@
+{
+  "env": { "browser": true },
+  "extends": "eslint:recommended",
+  "parserOptions": { "ecmaVersion": 6, "sourceType": "module" },
+  "rules": {
+    "block-scoped-var": "error",
+    "consistent-return": "error",
+    "eqeqeq": "error",
+    "guard-for-in": "error",
+    "no-bitwise": "error",
+    "no-caller": "error",
+    "no-constant-condition": ["error", { "checkLoops": false }],
+    "no-extra-parens": "off",
+    "no-extend-native": "error",
+    "no-loop-func": "error",
+    "no-new": "error",
+    "no-param-reassign": "error",
+    "no-return-assign": "error",
+    "no-sequences": "error",
+    "no-unused-expressions": "error",
+    "no-use-before-define": "error",
+    "no-undef": "error",
+    "no-eq-null": "error",
+    "radix": ["error", "always"],
+    "indent": ["error", 2, { "SwitchCase": 0 }],
+    "quotes": ["error", "double"],
+    "semi": ["error", "always"],
+    "strict": ["error", "global"]
+  }
+}

package/.spago/affjax-node/v1.0.0/.gitignore

@@ -0,0 +1,13 @@
+.*
+!.gitignore
+!.github
+!.editorconfig
+!.eslintrc.json
+
+output
+generated-docs
+bower_components
+
+node_modules
+package-lock.json
+*.lock

package/.spago/pathy/v9.0.0/.editorconfig

@@ -0,0 +1,13 @@
+# https://editorconfig.org
+root = true
+
+[*]
+indent_style = space
+indent_size = 2
+end_of_line = lf
+charset = utf-8
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+[*.md]
+trim_trailing_whitespace = false

package/.spago/pathy/v9.0.0/.gitignore

@@ -0,0 +1,9 @@
+.*
+!.gitignore
+!.github
+!.editorconfig
+!.tidyrc.json
+
+output
+generated-docs
+bower_components

package/.spago/pathy/v9.0.0/.tidyrc.json

@@ -0,0 +1,10 @@
+{
+  "importSort": "source",
+  "importWrap": "source",
+  "indent": 2,
+  "operatorsFile": null,
+  "ribbon": 1,
+  "typeArrowPlacement": "first",
+  "unicode": "never",
+  "width": null
+}

package/dist/fluid/shared/fluid.mjs

@@ -11584,6 +11584,9 @@ var verticesVertex = (dictFunctor) => (dictFoldable) => ({
     return (x) => $0(dictFunctor.map(singleton2)(x));
   })()
 });
+var eqDVertex = { eq: (v) => (v1) => v._1 === v1._1 };
+var ordDVertex = { compare: (v) => (v1) => ordString.compare(v._1)(v1._1), Eq0: () => eqDVertex };
+var unDVertex = /* @__PURE__ */ map(ordVertex)((x) => x._1);
 var showVertices = (\u03B1s) => "{" + joinWith(", ")(fromFoldable5(map(ordString)(unsafeCoerce)(\u03B1s))) + "}";
 var showEdgeList = (es) => joinWith("\n")([
   "digraph G {",
@@ -12194,10 +12197,10 @@ var runWithGraphT = (dictMonad) => {
   };
 };
 var runWithGraphT_spy = (dictMonad) => {
-  const runWithGraphT1 = runWithGraphT(dictMonad);
+  const runWithGraphT2 = runWithGraphT(dictMonad);
   const spyFunWhenM2 = spyFunWhenM(dictMonad.Bind1().Apply0().Functor0());
   return (dictGraph) => {
-    const $0 = runWithGraphT1(dictGraph);
+    const $0 = runWithGraphT2(dictGraph);
     const $1 = spyFunWhenM2(false)("runWithGraphT")(showVertices)((x) => showEdgeList(toEdgeList(dictGraph)(x._1)));
     return (x) => $1($0(x));
   };
@@ -12278,7 +12281,7 @@ var bwdSlice = (dictGraph) => {
           if (member3(v1.pending._1._1)(v1.visited)) {
             return pure($Step("Loop", { visited: v1.visited, "\u03B1s": Nil, pending: v1.pending._2 }));
           }
-          return bindStateT(monadIdentity).bind(extend(v1.pending._1._1)($3)(spyWhen(true)("Value found at " + showStringImpl(v1.pending._1._1))((v$1) => v$1((dictShow) => dictShow.show))($2)))(() => pure($Step(
+          return bindStateT(monadIdentity).bind(extend(v1.pending._1._1)($3)(spyWhen(false)("Value found at " + showStringImpl(v1.pending._1._1))((v$1) => v$1((dictShow) => dictShow.show))($2)))(() => pure($Step(
             "Loop",
             { visited: insert(ordVertex)(v1.pending._1._1)()(v1.visited), "\u03B1s": Nil, pending: v1.pending._2 }
           )));
@@ -18254,7 +18257,7 @@ var union5 = (dictAs) => (dictAs1) => (dictAs2) => (dictAs3) => (v) => (v1) => (
 var unionStr = (dictAs) => (dictAs1) => union5(dictAs)(dictAs)(dictAs1)(dictAs1);
 
 // output-es/EvalGraph/index.js
-var setSet4 = /* @__PURE__ */ setSet(ordVertex);
+var setSet4 = /* @__PURE__ */ setSet(ordDVertex);
 var disjointUnion2 = /* @__PURE__ */ disjointUnion(mapEnvStringVal);
 var fromFoldable17 = /* @__PURE__ */ (() => foldableSet.foldl((m) => (a) => insert(ordString)(a)()(m))(Leaf2))();
 var show22 = /* @__PURE__ */ (() => showSet(showString).show)();
@@ -18351,29 +18354,31 @@ var match = (dictMonadWithGraphAlloc) => {
       if (v._2.tag === "Constr") {
         const $1 = v._2._1;
         const $2 = v1._1;
-        const $3 = v._2._2;
-        const $4 = v._1;
+        const $3 = v._2;
+        const $4 = v._2._2;
+        const $5 = v._1;
         return Bind1.bind(withMsg2("Pattern mismatch")(consistentWith2($$$Map("Two", Leaf2, $1, void 0, Leaf2))(mapObjectString.keys($2))))(() => Bind1.bind(orElse(MonadThrow0)("Incomplete patterns: no branch for " + showCtr($1))(_lookup(
           Nothing,
           Just,
           $1,
           $2
-        )))((\u03BA) => Bind1.bind(matchMany(dictMonadWithGraphAlloc)($3)(\u03BA))((v2) => $0.pure($Tuple(
-          v2._1,
-          $Tuple(v2._2._1, insert(ordVertex)($4)()(v2._2._2))
+        )))((\u03BA) => Bind1.bind(matchMany(dictMonadWithGraphAlloc)($4)(\u03BA))((v3) => $0.pure($Tuple(
+          v3._1,
+          $Tuple(v3._2._1, insert(ordDVertex)($Tuple($5, (k) => k(showBaseVal)($3)))()(v3._2._2))
         )))));
       }
       return Bind1.bind(dataTypeForSetCtr.dataTypeFor(MonadThrow0)(mapObjectString.keys(v1._1)))((d) => MonadThrow0.throwError(error("Pattern mismatch: found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v)).lines) + ", expected " + d._1)));
     }
     if (v1.tag === "ElimDict") {
       if (v._2.tag === "Dictionary") {
-        const $1 = v1._1;
-        const $2 = v._2._1;
-        const $3 = v._1;
-        const $4 = v1._2;
-        return Bind1.bind(check(MonadThrow0)(difference2(ordString)($1)(fromFoldable17(mapObjectString.keys($2))).tag === "Leaf")("Pattern mismatch: found " + show22(mapObjectString.keys($2)) + ", expected " + show22($1)))(() => Bind1.bind(matchMany(dictMonadWithGraphAlloc)(listMap((k) => $$get(showString)(mapObjectString)(k)($2)._2)(toUnfoldable9($1)))($4))((v2) => $0.pure($Tuple(
-          v2._1,
-          $Tuple(v2._2._1, insert(ordVertex)($3)()(v2._2._2))
+        const $1 = v._2;
+        const $2 = v1._1;
+        const $3 = v._2._1;
+        const $4 = v._1;
+        const $5 = v1._2;
+        return Bind1.bind(check(MonadThrow0)(difference2(ordString)($2)(fromFoldable17(mapObjectString.keys($3))).tag === "Leaf")("Pattern mismatch: found " + show22(mapObjectString.keys($3)) + ", expected " + show22($2)))(() => Bind1.bind(matchMany(dictMonadWithGraphAlloc)(listMap((k) => $$get(showString)(mapObjectString)(k)($3)._2)(toUnfoldable9($2)))($5))((v3) => $0.pure($Tuple(
+          v3._1,
+          $Tuple(v3._2._1, insert(ordDVertex)($Tuple($4, (k) => k(showBaseVal)($1)))()(v3._2._2))
         ))));
       }
       return MonadThrow0.throwError(error("Pattern mismatch: found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v)).lines) + ", expected " + show22(v1._1)));
@@ -18402,7 +18407,7 @@ var closeDefs = (dictMonadWithGraphAlloc) => {
         \u03C3
       )
     );
-    return Functor0.map((f) => f(v))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(\u03B1s)(pack3(v))));
+    return Functor0.map((f) => f(v))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(unDVertex(\u03B1s))(pack3(v))));
   })(\u03C1));
 };
 var $$eval = (dictMonadWithGraphAlloc) => {
@@ -18427,19 +18432,19 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
     }
     if (v1.tag === "Int") {
-      return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(v2))(pack3($BaseVal(
+      return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(unDVertex(v2)))(pack3($BaseVal(
         "Int",
         v1._2
       )))));
     }
     if (v1.tag === "Float") {
-      return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(v2))(pack3($BaseVal(
+      return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(unDVertex(v2)))(pack3($BaseVal(
         "Float",
         v1._2
       )))));
     }
     if (v1.tag === "Str") {
-      return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(v2))(pack3($BaseVal(
+      return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(unDVertex(v2)))(pack3($BaseVal(
         "Str",
         v1._2
       )))));
@@ -18452,7 +18457,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       })()))(v1._2)))((v3) => {
         const v4 = unzip(listMap((v$1) => $Tuple(v$1._2.tag === "Str" ? v$1._2._1 : typeError(v$1._2)("Str"), v$1._1))(v3._1));
         const v5 = $BaseVal("Dictionary", fromFoldable18(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2))));
-        return Functor0.map((f) => f(v5))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)($0)()(v2))(pack3(v5))));
+        return Functor0.map((f) => f(v5))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)($0)()(unDVertex(v2)))(pack3(v5))));
       });
     }
     if (v1.tag === "Constr") {
@@ -18482,7 +18487,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       })()))(() => Bind1.bind(traverse2((() => {
         const $3 = $$eval(dictMonadWithGraphAlloc)(v);
         return (a) => $3(a)(v2);
-      })())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)($2)()(v2))(pack3($BaseVal(
+      })())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)($2)()(unDVertex(v2)))(pack3($BaseVal(
         "Constr",
         $0,
         vs
@@ -18514,7 +18519,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
               return $8;
             })())))($0)(v2)
           ]))
-        ])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)($3)()(v2))(pack3($BaseVal(
+        ])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)($3)()(unDVertex(v2)))(pack3($BaseVal(
           "Matrix",
           $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7)))
         )))))));
@@ -18536,7 +18541,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
           v1._2
         )
       );
-      return Functor0.map((f) => f(v3))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(v2))(pack3(v3))));
+      return Functor0.map((f) => f(v3))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert(ordVertex)(v1._1)()(unDVertex(v2)))(pack3(v3))));
     }
     if (v1.tag === "Project") {
       const $0 = v1._2;
@@ -18582,8 +18587,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
     }
     if (v1.tag === "LetRec") {
       const $0 = v1._2;
-      const $1 = v1._1._1;
-      return Bind1.bind(closeDefs1(v)(v1._1._2)(insert(ordVertex)($1)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity14)(v)(\u03B3$p))($0)(insert(ordVertex)($1)()(v2)));
+      const inserted\u03B1 = insert(ordDVertex)($Tuple(v1._1._1, (k) => k(showString)("Expr")))()(v2);
+      return Bind1.bind(closeDefs1(v)(v1._1._2)(inserted\u03B1))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity14)(v)(\u03B3$p))($0)(inserted\u03B1));
     }
     fail();
   };
@@ -18599,10 +18604,20 @@ var apply2 = (dictMonadWithGraphAlloc) => {
     const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", expected function"));
     if (v._2.tag === "Fun") {
       if (v._2._1.tag === "Closure") {
-        const $1 = v._1;
-        const $2 = v._2._1._1;
-        const $3 = v._2._1._3;
-        return Bind1.bind(closeDefs1($2)(v._2._1._2)($$$Map("Two", Leaf2, $1, void 0, Leaf2)))((\u03B32) => Bind1.bind(match1(v1)($3))((v3) => $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity14)(unionWith2((v$1) => identity14)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v3._2._2))));
+        const $1 = v._2;
+        const $2 = v._1;
+        const $3 = v._2._1._1;
+        const $4 = v._2._1._3;
+        return Bind1.bind(closeDefs1($3)(v._2._1._2)($$$Map(
+          "Two",
+          Leaf2,
+          $Tuple($2, (k) => k(showBaseVal)($1)),
+          void 0,
+          Leaf2
+        )))((\u03B32) => Bind1.bind(match1(v1)($4))((v3) => $$eval(dictMonadWithGraphAlloc)(unionWith2((v$1) => identity14)(unionWith2((v$1) => identity14)($3)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordDVertex)($Tuple(
+          $2,
+          (k) => k(showBaseVal)($1)
+        ))()(v3._2._2))));
       }
       if (v._2._1.tag === "Foreign") {
         const $1 = v._2._1._1._1;
@@ -18731,7 +18746,10 @@ var eval_module = (dictMonadWithGraphAlloc) => {
         }
         if (v1._1.tag === "Right") {
           const $1 = v1._2;
-          return $0.bind(closeDefs1(unionWith2((v$1) => identity14)(\u03B3)(v))(v1._1._1._2)(insert(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith2((v$1) => identity14)(v)(\u03B3$p$p))($1)(v2));
+          return $0.bind(closeDefs1(unionWith2((v$1) => identity14)(\u03B3)(v))(v1._1._1._2)(insert(ordDVertex)($Tuple(
+            v1._1._1._1,
+            (k) => k(showString)("Expr")
+          ))()(v2)))((\u03B3$p$p) => go(unionWith2((v$1) => identity14)(v)(\u03B3$p$p))($1)(v2));
         }
       }
       fail();

package/dist/fluid/shared/load-figure.js

@@ -27874,6 +27874,9 @@ var verticesVertex = (dictFunctor) => (dictFoldable) => ({
     return (x2) => $0(dictFunctor.map(singleton3)(x2));
   })()
 });
+var eqDVertex = { eq: (v) => (v1) => v._1 === v1._1 };
+var ordDVertex = { compare: (v) => (v1) => ordString.compare(v._1)(v1._1), Eq0: () => eqDVertex };
+var unDVertex = /* @__PURE__ */ map2(ordVertex)((x2) => x2._1);
 var showVertices = (\u03B1s) => "{" + joinWith(", ")(fromFoldable4(map2(ordString)(unsafeCoerce)(\u03B1s))) + "}";
 var showEdgeList = (es) => joinWith("\n")([
   "digraph G {",
@@ -37916,10 +37919,10 @@ var runWithGraphT = (dictMonad) => {
   };
 };
 var runWithGraphT_spy = (dictMonad) => {
-  const runWithGraphT1 = runWithGraphT(dictMonad);
+  const runWithGraphT2 = runWithGraphT(dictMonad);
   const spyFunWhenM2 = spyFunWhenM(dictMonad.Bind1().Apply0().Functor0());
   return (dictGraph) => {
-    const $0 = runWithGraphT1(dictGraph);
+    const $0 = runWithGraphT2(dictGraph);
     const $1 = spyFunWhenM2(false)("runWithGraphT")(showVertices)((x2) => showEdgeList(toEdgeList(dictGraph)(x2._1)));
     return (x2) => $1($0(x2));
   };
@@ -38000,7 +38003,7 @@ var bwdSlice = (dictGraph) => {
           if (member4(v1.pending._1._1)(v1.visited)) {
             return pure2($Step("Loop", { visited: v1.visited, "\u03B1s": Nil, pending: v1.pending._2 }));
           }
-          return bindStateT(monadIdentity).bind(extend3(v1.pending._1._1)($3)(spyWhen(true)("Value found at " + showStringImpl(v1.pending._1._1))((v$1) => v$1((dictShow) => dictShow.show))($2)))(() => pure2($Step(
+          return bindStateT(monadIdentity).bind(extend3(v1.pending._1._1)($3)(spyWhen(false)("Value found at " + showStringImpl(v1.pending._1._1))((v$1) => v$1((dictShow) => dictShow.show))($2)))(() => pure2($Step(
             "Loop",
             { visited: insert3(ordVertex)(v1.pending._1._1)()(v1.visited), "\u03B1s": Nil, pending: v1.pending._2 }
           )));
@@ -38028,7 +38031,7 @@ var bwdSlice = (dictGraph) => {
 };
 
 // output-es/EvalGraph/index.js
-var setSet4 = /* @__PURE__ */ setSet(ordVertex);
+var setSet4 = /* @__PURE__ */ setSet(ordDVertex);
 var disjointUnion2 = /* @__PURE__ */ disjointUnion(mapEnvStringVal);
 var fromFoldable20 = /* @__PURE__ */ (() => foldableSet.foldl((m) => (a) => insert3(ordString)(a)()(m))(Leaf2))();
 var show22 = /* @__PURE__ */ (() => showSet(showString).show)();
@@ -38125,29 +38128,31 @@ var match = (dictMonadWithGraphAlloc) => {
       if (v._2.tag === "Constr") {
         const $1 = v._2._1;
         const $2 = v1._1;
-        const $3 = v._2._2;
-        const $4 = v._1;
+        const $3 = v._2;
+        const $4 = v._2._2;
+        const $5 = v._1;
         return Bind1.bind(withMsg2("Pattern mismatch")(consistentWith2($$$Map("Two", Leaf2, $1, void 0, Leaf2))(mapObjectString.keys($2))))(() => Bind1.bind(orElse(MonadThrow0)("Incomplete patterns: no branch for " + showCtr($1))(_lookup(
           Nothing,
           Just,
           $1,
           $2
-        )))((\u03BA) => Bind1.bind(matchMany(dictMonadWithGraphAlloc)($3)(\u03BA))((v2) => $0.pure($Tuple(
-          v2._1,
-          $Tuple(v2._2._1, insert3(ordVertex)($4)()(v2._2._2))
+        )))((\u03BA) => Bind1.bind(matchMany(dictMonadWithGraphAlloc)($4)(\u03BA))((v3) => $0.pure($Tuple(
+          v3._1,
+          $Tuple(v3._2._1, insert3(ordDVertex)($Tuple($5, (k) => k(showBaseVal)($3)))()(v3._2._2))
         )))));
       }
       return Bind1.bind(dataTypeForSetCtr.dataTypeFor(MonadThrow0)(mapObjectString.keys(v1._1)))((d) => MonadThrow0.throwError(error("Pattern mismatch: found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v)).lines) + ", expected " + d._1)));
     }
     if (v1.tag === "ElimDict") {
       if (v._2.tag === "Dictionary") {
-        const $1 = v1._1;
-        const $2 = v._2._1;
-        const $3 = v._1;
-        const $4 = v1._2;
-        return Bind1.bind(check(MonadThrow0)(difference2(ordString)($1)(fromFoldable20(mapObjectString.keys($2))).tag === "Leaf")("Pattern mismatch: found " + show22(mapObjectString.keys($2)) + ", expected " + show22($1)))(() => Bind1.bind(matchMany(dictMonadWithGraphAlloc)(listMap((k) => $$get2(showString)(mapObjectString)(k)($2)._2)(toUnfoldable10($1)))($4))((v2) => $0.pure($Tuple(
-          v2._1,
-          $Tuple(v2._2._1, insert3(ordVertex)($3)()(v2._2._2))
+        const $1 = v._2;
+        const $2 = v1._1;
+        const $3 = v._2._1;
+        const $4 = v._1;
+        const $5 = v1._2;
+        return Bind1.bind(check(MonadThrow0)(difference2(ordString)($2)(fromFoldable20(mapObjectString.keys($3))).tag === "Leaf")("Pattern mismatch: found " + show22(mapObjectString.keys($3)) + ", expected " + show22($2)))(() => Bind1.bind(matchMany(dictMonadWithGraphAlloc)(listMap((k) => $$get2(showString)(mapObjectString)(k)($3)._2)(toUnfoldable10($2)))($5))((v3) => $0.pure($Tuple(
+          v3._1,
+          $Tuple(v3._2._1, insert3(ordDVertex)($Tuple($4, (k) => k(showBaseVal)($1)))()(v3._2._2))
         ))));
       }
       return MonadThrow0.throwError(error("Pattern mismatch: found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v)).lines) + ", expected " + show22(v1._1)));
@@ -38200,7 +38205,7 @@ var closeDefs = (dictMonadWithGraphAlloc) => {
         \u03C3
       )
     );
-    return Functor0.map((f) => f(v))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(\u03B1s)(pack8(v))));
+    return Functor0.map((f) => f(v))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(unDVertex(\u03B1s))(pack8(v))));
   })(\u03C1));
 };
 var $$eval = (dictMonadWithGraphAlloc) => {
@@ -38225,19 +38230,19 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
     }
     if (v1.tag === "Int") {
-      return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8($BaseVal(
+      return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(unDVertex(v2)))(pack8($BaseVal(
         "Int",
         v1._2
       )))));
     }
     if (v1.tag === "Float") {
-      return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8($BaseVal(
+      return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(unDVertex(v2)))(pack8($BaseVal(
         "Float",
         v1._2
       )))));
     }
     if (v1.tag === "Str") {
-      return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8($BaseVal(
+      return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(unDVertex(v2)))(pack8($BaseVal(
         "Str",
         v1._2
       )))));
@@ -38250,7 +38255,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       })()))(v1._2)))((v3) => {
         const v4 = unzip(listMap((v$1) => $Tuple(v$1._2.tag === "Str" ? v$1._2._1 : typeError(v$1._2)("Str"), v$1._1))(v3._1));
         const v5 = $BaseVal("Dictionary", fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2))));
-        return Functor0.map((f) => f(v5))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($0)()(v2))(pack8(v5))));
+        return Functor0.map((f) => f(v5))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($0)()(unDVertex(v2)))(pack8(v5))));
       });
     }
     if (v1.tag === "Constr") {
@@ -38280,7 +38285,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       })()))(() => Bind1.bind(traverse2((() => {
         const $3 = $$eval(dictMonadWithGraphAlloc)(v);
         return (a) => $3(a)(v2);
-      })())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($2)()(v2))(pack8($BaseVal(
+      })())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($2)()(unDVertex(v2)))(pack8($BaseVal(
         "Constr",
         $0,
         vs
@@ -38312,7 +38317,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
               return $8;
             })())))($0)(v2)
           ]))
-        ])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()(v2))(pack8($BaseVal(
+        ])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()(unDVertex(v2)))(pack8($BaseVal(
           "Matrix",
           $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7)))
         )))))));
@@ -38334,7 +38339,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
           v1._2
         )
       );
-      return Functor0.map((f) => f(v3))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))(pack8(v3))));
+      return Functor0.map((f) => f(v3))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(unDVertex(v2)))(pack8(v3))));
     }
     if (v1.tag === "Project") {
       const $0 = v1._2;
@@ -38380,8 +38385,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
     }
     if (v1.tag === "LetRec") {
       const $0 = v1._2;
-      const $1 = v1._1._1;
-      return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($1)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(\u03B3$p))($0)(insert3(ordVertex)($1)()(v2)));
+      const inserted\u03B1 = insert3(ordDVertex)($Tuple(v1._1._1, (k) => k(showString)("Expr")))()(v2);
+      return Bind1.bind(closeDefs1(v)(v1._1._2)(inserted\u03B1))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(\u03B3$p))($0)(inserted\u03B1));
     }
     fail();
   };
@@ -38397,10 +38402,20 @@ var apply2 = (dictMonadWithGraphAlloc) => {
     const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", expected function"));
     if (v._2.tag === "Fun") {
       if (v._2._1.tag === "Closure") {
-        const $1 = v._1;
-        const $2 = v._2._1._1;
-        const $3 = v._2._1._3;
-        return Bind1.bind(closeDefs1($2)(v._2._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))));
+        const $1 = v._2;
+        const $2 = v._1;
+        const $3 = v._2._1._1;
+        const $4 = v._2._1._3;
+        return Bind1.bind(closeDefs1($3)(v._2._1._2)($$$Map(
+          "Two",
+          Leaf2,
+          $Tuple($2, (k) => k(showBaseVal)($1)),
+          void 0,
+          Leaf2
+        )))((\u03B32) => Bind1.bind(match1(v1)($4))((v3) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(unionWith((v$1) => identity18)($3)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert3(ordDVertex)($Tuple(
+          $2,
+          (k) => k(showBaseVal)($1)
+        ))()(v3._2._2))));
       }
       if (v._2._1.tag === "Foreign") {
         const $1 = v._2._1._1._1;
@@ -38529,7 +38544,10 @@ var eval_module = (dictMonadWithGraphAlloc) => {
         }
         if (v1._1.tag === "Right") {
           const $1 = v1._2;
-          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));
+          return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordDVertex)($Tuple(
+            v1._1._1._1,
+            (k) => k(showString)("Expr")
+          ))()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
         }
       }
       fail();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@explorable-viz/fluid",
-  "version": "0.7.76",
+  "version": "0.7.77",
   "description": "Fluid is an experimental programming language which integrates a bidirectional dynamic analysis to connect outputs to data sources in a fine-grained way. Fluid is implemented in PureScript and runs in the browser.",
   "main": "index.js",
   "repository": {

package/.spago/node-process/v11.0.0/.eslintrc.json

@@ -1,29 +0,0 @@
-{
-  "parserOptions": {
-    "ecmaVersion": 6,
-    "sourceType": "module"
-  },
-  "extends": "eslint:recommended",
-  "env": {
-    "node": true
-  },
-  "rules": {
-    "strict": [2, "global"],
-    "block-scoped-var": 2,
-    "consistent-return": 2,
-    "eqeqeq": [2, "smart"],
-    "guard-for-in": 2,
-    "no-caller": 2,
-    "no-extend-native": 2,
-    "no-loop-func": 2,
-    "no-new": 2,
-    "no-param-reassign": 2,
-    "no-return-assign": 2,
-    "no-unused-expressions": 2,
-    "no-use-before-define": 2,
-    "radix": [2, "always"],
-    "indent": [2, 2],
-    "quotes": [2, "double"],
-    "semi": [2, "always"]
-  }
-}

package/.spago/node-process/v11.0.0/.gitignore

@@ -1,8 +0,0 @@
-/.*
-!/.gitignore
-!/.eslintrc.json
-!/.github/
-/bower_components/
-/node_modules/
-/output/
-package-lock.json

package/.spago/node-process/v11.1.0/.eslintrc.json

@@ -1,29 +0,0 @@
-{
-  "parserOptions": {
-    "ecmaVersion": 6,
-    "sourceType": "module"
-  },
-  "extends": "eslint:recommended",
-  "env": {
-    "node": true
-  },
-  "rules": {
-    "strict": [2, "global"],
-    "block-scoped-var": 2,
-    "consistent-return": 2,
-    "eqeqeq": [2, "smart"],
-    "guard-for-in": 2,
-    "no-caller": 2,
-    "no-extend-native": 2,
-    "no-loop-func": 2,
-    "no-new": 2,
-    "no-param-reassign": 2,
-    "no-return-assign": 2,
-    "no-unused-expressions": 2,
-    "no-use-before-define": 2,
-    "radix": [2, "always"],
-    "indent": [2, 2],
-    "quotes": [2, "double"],
-    "semi": [2, "always"]
-  }
-}

package/.spago/node-process/v11.1.0/.gitignore

@@ -1,8 +0,0 @@
-/.*
-!/.gitignore
-!/.eslintrc.json
-!/.github/
-/bower_components/
-/node_modules/
-/output/
-package-lock.json

package/.spago/node-process/v11.2.0/.eslintrc.json

@@ -1,29 +0,0 @@
-{
-  "parserOptions": {
-    "ecmaVersion": 6,
-    "sourceType": "module"
-  },
-  "extends": "eslint:recommended",
-  "env": {
-    "node": true
-  },
-  "rules": {
-    "strict": [2, "global"],
-    "block-scoped-var": 2,
-    "consistent-return": 2,
-    "eqeqeq": [2, "smart"],
-    "guard-for-in": 2,
-    "no-caller": 2,
-    "no-extend-native": 2,
-    "no-loop-func": 2,
-    "no-new": 2,
-    "no-param-reassign": 2,
-    "no-return-assign": 2,
-    "no-unused-expressions": 2,
-    "no-use-before-define": 2,
-    "radix": [2, "always"],
-    "indent": [2, 2],
-    "quotes": [2, "double"],
-    "semi": [2, "always"]
-  }
-}

package/.spago/node-process/v11.2.0/.gitignore

@@ -1,8 +0,0 @@
-/.*
-!/.gitignore
-!/.eslintrc.json
-!/.github/
-/bower_components/
-/node_modules/
-/output/
-package-lock.json

package/.spago/optparse/v6.0.0/.gitignore

@@ -1,8 +0,0 @@
-/.*
-!/.github
-!/.gitignore
-!/.npmrc
-!/.travis.yml
-/bower_components/
-/node_modules/
-/output/

package/.spago/optparse/v6.0.0/.npmrc

@@ -1 +0,0 @@
-package-lock=false