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