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