@explorable-viz/fluid 0.7.87 → 0.7.89
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/.spago/node-process/v11.0.0/.eslintrc.json +29 -0
- package/.spago/node-process/v11.0.0/.gitignore +8 -0
- package/.spago/node-process/v11.1.0/.eslintrc.json +29 -0
- package/.spago/node-process/v11.1.0/.gitignore +8 -0
- package/.spago/node-process/v11.2.0/.eslintrc.json +29 -0
- package/.spago/node-process/v11.2.0/.gitignore +8 -0
- package/.spago/optparse/v6.0.0/.gitignore +8 -0
- package/.spago/optparse/v6.0.0/.npmrc +1 -0
- package/dist/fluid/shared/fluid.mjs +5173 -5238
- package/dist/fluid/shared/load-figure.js +34 -110
- package/package.json +1 -3
- package/script/bundle-website.sh +8 -29
- package/.spago/affjax-node/v1.0.0/.editorconfig +0 -13
- package/.spago/affjax-node/v1.0.0/.eslintrc.json +0 -30
- package/.spago/affjax-node/v1.0.0/.gitignore +0 -13
- package/.spago/pathy/v9.0.0/.editorconfig +0 -13
- package/.spago/pathy/v9.0.0/.gitignore +0 -9
- package/.spago/pathy/v9.0.0/.tidyrc.json +0 -10
- package/script/bundle-page.sh +0 -30
@@ -27875,6 +27875,7 @@ var verticesDict = (dictVertices) => {
|
|
27875
27875
|
const vertices1 = dictVertices.vertices;
|
27876
27876
|
return { vertices: (d) => unions1(arrayMap(vertices1)(values(d))) };
|
27877
27877
|
};
|
27878
|
+
var typeNameVertexData = { typeName: (v) => v((dictTypeName) => dictTypeName.typeName) };
|
27878
27879
|
var showVertices = (\u03B1s) => "{" + joinWith(", ")(fromFoldable4(map2(ordString)(unsafeCoerce)(\u03B1s))) + "}";
|
27879
27880
|
var showEdgeList = (es) => joinWith("\n")([
|
27880
27881
|
"digraph G {",
|
@@ -27954,7 +27955,6 @@ var inEdges = (dictGraph) => (g) => (\u03B1s) => {
|
|
27954
27955
|
return go($0($Tuple(fromFoldable22(\u03B1s), Nil)));
|
27955
27956
|
};
|
27956
27957
|
var addresses = /* @__PURE__ */ map2(ordVertex)((x2) => x2._1);
|
27957
|
-
var showVertices$p = (x2) => showVertices(addresses(x2));
|
27958
27958
|
|
27959
27959
|
// output-es/Data.CatQueue/index.js
|
27960
27960
|
var $CatQueue = (_1, _2) => ({ tag: "CatQueue", _1, _2 });
|
@@ -34182,7 +34182,7 @@ var unions13 = /* @__PURE__ */ (() => {
|
|
34182
34182
|
var foldMap2 = /* @__PURE__ */ foldMap({ mempty: Leaf2, Semigroup0: () => ({ append: union3(ordDVertex) }) });
|
34183
34183
|
var identity26 = (x2) => x2;
|
34184
34184
|
var boundedLattice = { BoundedJoinSemilattice0: () => boundedJoinSemilatticeUni, BoundedMeetSemilattice1: () => boundedMeetSemilatticeUni };
|
34185
|
-
var
|
34185
|
+
var show3 = /* @__PURE__ */ (() => showSet(showString).show)();
|
34186
34186
|
var fromFoldable8 = /* @__PURE__ */ (() => foldableSet.foldl((m) => (a) => insert3(ordString)(a)()(m))(Leaf2))();
|
34187
34187
|
var setSet1 = /* @__PURE__ */ setSet(ordString);
|
34188
34188
|
var toUnfoldable14 = /* @__PURE__ */ toUnfoldable4(unfoldableList);
|
@@ -35006,7 +35006,7 @@ var joinSemilatticeBaseVal = (dictJoinSemilattice) => {
|
|
35006
35006
|
};
|
35007
35007
|
};
|
35008
35008
|
var annUnit = { Highlightable0: () => highlightableUnit, BoundedLattice1: () => boundedLattice };
|
35009
|
-
var unrestrictGC = (dictBoundedMeetSemilattice) => (\u03B3) => (xs) => assertWith(
|
35009
|
+
var unrestrictGC = (dictBoundedMeetSemilattice) => (\u03B3) => (xs) => assertWith(show3(xs) + " are in environment ")(difference2(ordString)(xs)(mapObjectString.keys(\u03B3)).tag === "Leaf")({
|
35010
35010
|
fwd: (\u03B3$p) => assertWith("")(difference2(ordString)(mapObjectString.keys(\u03B3$p))(mapObjectString.keys(\u03B3)).tag === "Leaf")(union(\u03B3$p)(setObjectString.difference((() => {
|
35011
35011
|
const $0 = dictBoundedMeetSemilattice.top;
|
35012
35012
|
return _fmapObject(\u03B3, functorVal.map((v) => $0));
|
@@ -35014,8 +35014,7 @@ var unrestrictGC = (dictBoundedMeetSemilattice) => (\u03B3) => (xs) => assertWit
|
|
35014
35014
|
bwd: (\u03B3$p) => assertWith("")(eqMap(eqString)(eqUnit).eq(mapObjectString.keys(\u03B3$p))(mapObjectString.keys(\u03B3)))(filterWithKey((x2) => {
|
35015
35015
|
const $0 = setSet(ordString).member(x2)(xs);
|
35016
35016
|
return (v) => $0;
|
35017
|
-
})(\u03B3$p))
|
35018
|
-
connection: void 0
|
35017
|
+
})(\u03B3$p))
|
35019
35018
|
});
|
35020
35019
|
var reaches = (\u03C1) => (xs) => {
|
35021
35020
|
const dom_\u03C1 = fromFoldable8(mapObjectString.keys(\u03C1));
|
@@ -35068,13 +35067,6 @@ var forDefs = (\u03C1) => (\u03C3) => {
|
|
35068
35067
|
return (v) => $1;
|
35069
35068
|
})(\u03C1);
|
35070
35069
|
};
|
35071
|
-
var asVal = (e) => {
|
35072
|
-
const type$p = e((dictTypeName) => dictTypeName.typeName);
|
35073
|
-
if (type$p === "BaseVal") {
|
35074
|
-
return $Either("Left", e((dictTypeName) => unsafeCoerce));
|
35075
|
-
}
|
35076
|
-
return $Either("Right", type$p);
|
35077
|
-
};
|
35078
35070
|
|
35079
35071
|
// output-es/Primitive/index.js
|
35080
35072
|
var fanin2 = /* @__PURE__ */ fanin(categoryFn)(choiceFn);
|
@@ -35531,7 +35523,7 @@ var showSelState = (dictShow) => ({
|
|
35531
35523
|
]
|
35532
35524
|
})(ReactiveIsSymbol)))
|
35533
35525
|
});
|
35534
|
-
var
|
35526
|
+
var show1 = /* @__PURE__ */ (() => showSelState(showBoolean).show)();
|
35535
35527
|
var functorSelState = {
|
35536
35528
|
map: (f) => (m) => {
|
35537
35529
|
if (m.tag === "Inert") {
|
@@ -35602,7 +35594,7 @@ var selector = (v) => (v1) => {
|
|
35602
35594
|
fail();
|
35603
35595
|
};
|
35604
35596
|
const $1 = spyWhen(false)("Setting selState of ")(prettyP2)(v1);
|
35605
|
-
return $Val(spyWhen(false)("to ")(
|
35597
|
+
return $Val(spyWhen(false)("to ")(show1)($0($1._1)), functorBaseVal.map((x2) => spyWhen(false)("to ")(show1)($0(x2)))($1._2));
|
35606
35598
|
};
|
35607
35599
|
var selState = (v) => (v1) => (v2) => {
|
35608
35600
|
if (v) {
|
@@ -38095,7 +38087,7 @@ var runWithGraphT_spy = (dictMonad) => {
|
|
38095
38087
|
const spyFunWhenM2 = spyFunWhenM(dictMonad.Bind1().Apply0().Functor0());
|
38096
38088
|
return (dictGraph) => {
|
38097
38089
|
const runWithGraphT3 = runWithGraphT2(dictGraph);
|
38098
|
-
return (wg) => (\u03B1s) => spyFunWhenM2(false)("runWithGraphT")(showVertices
|
38090
|
+
return (wg) => (\u03B1s) => spyFunWhenM2(false)("runWithGraphT")((x2) => showVertices(addresses(x2)))((x2) => showEdgeList(toEdgeList(dictGraph)(x2._1)))(runWithGraphT3(wg))(\u03B1s);
|
38099
38091
|
};
|
38100
38092
|
};
|
38101
38093
|
var runWithGraphT_spy1 = /* @__PURE__ */ runWithGraphT_spy(monadIdentity);
|
@@ -38165,37 +38157,7 @@ var bwdSlice = (dictGraph) => {
|
|
38165
38157
|
const $0 = v._2;
|
38166
38158
|
const $1 = map2(ordDVertex)((\u03B1) => $Tuple(
|
38167
38159
|
\u03B1,
|
38168
|
-
spyWhen(false)("
|
38169
|
-
const $12 = asVal(x2);
|
38170
|
-
if ($12.tag === "Left") {
|
38171
|
-
if ($12._1.tag === "Int") {
|
38172
|
-
return "BV: Int";
|
38173
|
-
}
|
38174
|
-
if ($12._1.tag === "Float") {
|
38175
|
-
return "BV: Float";
|
38176
|
-
}
|
38177
|
-
if ($12._1.tag === "Str") {
|
38178
|
-
return "BV: Str";
|
38179
|
-
}
|
38180
|
-
if ($12._1.tag === "Constr") {
|
38181
|
-
return "BV: Constr";
|
38182
|
-
}
|
38183
|
-
if ($12._1.tag === "Dictionary") {
|
38184
|
-
return "BV: Dictionary";
|
38185
|
-
}
|
38186
|
-
if ($12._1.tag === "Matrix") {
|
38187
|
-
return "BV: Matrix";
|
38188
|
-
}
|
38189
|
-
if ($12._1.tag === "Fun") {
|
38190
|
-
return "BV: Fun";
|
38191
|
-
}
|
38192
|
-
fail();
|
38193
|
-
}
|
38194
|
-
if ($12.tag === "Right") {
|
38195
|
-
return $12._1;
|
38196
|
-
}
|
38197
|
-
fail();
|
38198
|
-
})(dictGraph.vertexData($0)(\u03B1))
|
38160
|
+
spyWhen(false)("Vertex data found at " + showStringImpl(\u03B1))(typeNameVertexData.typeName)(dictGraph.vertexData($0)(\u03B1))
|
38199
38161
|
))(v._1);
|
38200
38162
|
return runWithGraph_spy(tailRecM((v1) => {
|
38201
38163
|
if (v1["\u03B1s"].tag === "Nil") {
|
@@ -38210,37 +38172,7 @@ var bwdSlice = (dictGraph) => {
|
|
38210
38172
|
}
|
38211
38173
|
return bindStateT(monadIdentity).bind(extend3($Tuple(
|
38212
38174
|
$3,
|
38213
|
-
spyWhen(false)("
|
38214
|
-
const $4 = asVal(x2);
|
38215
|
-
if ($4.tag === "Left") {
|
38216
|
-
if ($4._1.tag === "Int") {
|
38217
|
-
return "BV: Int";
|
38218
|
-
}
|
38219
|
-
if ($4._1.tag === "Float") {
|
38220
|
-
return "BV: Float";
|
38221
|
-
}
|
38222
|
-
if ($4._1.tag === "Str") {
|
38223
|
-
return "BV: Str";
|
38224
|
-
}
|
38225
|
-
if ($4._1.tag === "Constr") {
|
38226
|
-
return "BV: Constr";
|
38227
|
-
}
|
38228
|
-
if ($4._1.tag === "Dictionary") {
|
38229
|
-
return "BV: Dictionary";
|
38230
|
-
}
|
38231
|
-
if ($4._1.tag === "Matrix") {
|
38232
|
-
return "BV: Matrix";
|
38233
|
-
}
|
38234
|
-
if ($4._1.tag === "Fun") {
|
38235
|
-
return "BV: Fun";
|
38236
|
-
}
|
38237
|
-
fail();
|
38238
|
-
}
|
38239
|
-
if ($4.tag === "Right") {
|
38240
|
-
return $4._1;
|
38241
|
-
}
|
38242
|
-
fail();
|
38243
|
-
})($2)
|
38175
|
+
spyWhen(false)("Vertex data found at " + showStringImpl($3))(typeNameVertexData.typeName)($2)
|
38244
38176
|
))(v1.pending._1._2))(() => pure2($Step(
|
38245
38177
|
"Loop",
|
38246
38178
|
{ visited: insert3(ordVertex)($3)()(v1.visited), "\u03B1s": Nil, pending: v1.pending._2 }
|
@@ -38281,7 +38213,7 @@ var greaterThanOrEq = /* @__PURE__ */ (() => {
|
|
38281
38213
|
const $0 = ordTuple(ordInt)(ordInt);
|
38282
38214
|
return (a1) => (a2) => $0.compare(a1)(a2) !== "LT";
|
38283
38215
|
})();
|
38284
|
-
var
|
38216
|
+
var show32 = (v) => "(Tuple " + showIntImpl(v._1) + " " + showIntImpl(v._2) + ")";
|
38285
38217
|
var concatM = (dictMonad) => foldableList.foldr((() => {
|
38286
38218
|
const $0 = dictMonad.Bind1();
|
38287
38219
|
return (f) => (g) => (a) => $0.bind(f(a))(g);
|
@@ -38409,8 +38341,7 @@ var graphGC = (dictGraph) => {
|
|
38409
38341
|
const $3 = v["out\u03B1"];
|
38410
38342
|
return {
|
38411
38343
|
fwd: (in\u{1D539}) => select\u03B1s\u{1D539}Vertex3["select\u{1D539}s"]($3)(addresses($0.vertices(v.graph_fwd(select\u03B1s\u{1D539}Vertex22["select\u03B1s"](in\u{1D539})($2))($1)))),
|
38412
|
-
bwd: (out\u{1D539}) => select\u03B1s\u{1D539}Vertex22["select\u{1D539}s"]($2)(addresses($0.vertices(v.graph_bwd(select\u03B1s\u{1D539}Vertex3["select\u03B1s"](out\u{1D539})($3))($1))))
|
38413
|
-
connection: void 0
|
38344
|
+
bwd: (out\u{1D539}) => select\u03B1s\u{1D539}Vertex22["select\u{1D539}s"]($2)(addresses($0.vertices(v.graph_bwd(select\u03B1s\u{1D539}Vertex3["select\u03B1s"](out\u{1D539})($3))($1))))
|
38414
38345
|
};
|
38415
38346
|
};
|
38416
38347
|
};
|
@@ -38525,7 +38456,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38525
38456
|
const $6 = v5._2._1;
|
38526
38457
|
const $7 = v5._1._2;
|
38527
38458
|
const $8 = v5._2._2;
|
38528
|
-
return Bind1.bind(check(MonadThrow0)(greaterThanOrEq($Tuple($5, $6))($Tuple(1, 1)))("array must be at least (" +
|
38459
|
+
return Bind1.bind(check(MonadThrow0)(greaterThanOrEq($Tuple($5, $6))($Tuple(1, 1)))("array must be at least (" + show32($Tuple(1, 1)) + "); got (" + show32($Tuple(
|
38529
38460
|
$5,
|
38530
38461
|
$6
|
38531
38462
|
)) + ")"))(() => Bind1.bind(sequence1(arrayBind(range(1)($5))((i) => [
|
@@ -38607,8 +38538,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38607
38538
|
}
|
38608
38539
|
if (v1.tag === "LetRec") {
|
38609
38540
|
const $1 = v1._2;
|
38610
|
-
const
|
38611
|
-
return Bind1.bind(closeDefs1(v)(v1._1._2)(
|
38541
|
+
const $2 = v1._1._1;
|
38542
|
+
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)));
|
38612
38543
|
}
|
38613
38544
|
fail();
|
38614
38545
|
};
|
@@ -38805,8 +38736,8 @@ var graphEval = (dictMonadError) => {
|
|
38805
38736
|
|
38806
38737
|
// output-es/GaloisConnection/index.js
|
38807
38738
|
var identity29 = (x2) => x2;
|
38808
|
-
var semigroupoidGaloisConnect = { compose: (v) => (v1) => ({ fwd: (x2) => v.fwd(v1.fwd(x2)), bwd: (x2) => v1.bwd(v.bwd(x2))
|
38809
|
-
var categoryGaloisConnection = { identity: { fwd: identity29, bwd: identity29
|
38739
|
+
var semigroupoidGaloisConnect = { compose: (v) => (v1) => ({ fwd: (x2) => v.fwd(v1.fwd(x2)), bwd: (x2) => v1.bwd(v.bwd(x2)) }) };
|
38740
|
+
var categoryGaloisConnection = { identity: { fwd: identity29, bwd: identity29 }, Semigroupoid0: () => semigroupoidGaloisConnect };
|
38810
38741
|
|
38811
38742
|
// output-es/Parsing.String/index.js
|
38812
38743
|
var updatePosSingle = (v) => (cp) => (after) => {
|
@@ -38948,13 +38879,13 @@ var hexDigitToInt = (c) => {
|
|
38948
38879
|
};
|
38949
38880
|
|
38950
38881
|
// output-es/Parsing.String.Basic/index.js
|
38951
|
-
var
|
38882
|
+
var show12 = /* @__PURE__ */ showArrayImpl(showCharImpl);
|
38952
38883
|
var satisfyCP = (p) => satisfy((x2) => p(toCharCode(x2)));
|
38953
38884
|
var space = /* @__PURE__ */ withErrorMessage(/* @__PURE__ */ satisfyCP(isSpace))("space");
|
38954
38885
|
var upper2 = /* @__PURE__ */ withErrorMessage(/* @__PURE__ */ satisfyCP(isUpper))("uppercase letter");
|
38955
|
-
var oneOf = (ss) => withLazyErrorMessage(satisfy((a) => elem(eqChar)(a)(ss)))((v) => "one of " +
|
38886
|
+
var oneOf = (ss) => withLazyErrorMessage(satisfy((a) => elem(eqChar)(a)(ss)))((v) => "one of " + show12(ss));
|
38956
38887
|
var octDigit = /* @__PURE__ */ withErrorMessage(/* @__PURE__ */ satisfyCP(isOctDigit))("oct digit");
|
38957
|
-
var noneOf = (ss) => withLazyErrorMessage(satisfy((a) => notElem(eqChar)(a)(ss)))((v) => "none of " +
|
38888
|
+
var noneOf = (ss) => withLazyErrorMessage(satisfy((a) => notElem(eqChar)(a)(ss)))((v) => "none of " + show12(ss));
|
38958
38889
|
var letter = /* @__PURE__ */ withErrorMessage(/* @__PURE__ */ satisfyCP(isAlpha))("letter");
|
38959
38890
|
var hexDigit = /* @__PURE__ */ withErrorMessage(/* @__PURE__ */ satisfyCP(isHexDigit))("hex digit");
|
38960
38891
|
var digit = /* @__PURE__ */ withErrorMessage(/* @__PURE__ */ satisfyCP(isDecDigit))("digit");
|
@@ -42107,7 +42038,7 @@ var greaterThanOrEq1 = /* @__PURE__ */ (() => {
|
|
42107
42038
|
const $0 = ordTuple(ordInt)(ordInt);
|
42108
42039
|
return (a1) => (a2) => $0.compare(a1)(a2) !== "LT";
|
42109
42040
|
})();
|
42110
|
-
var
|
42041
|
+
var show33 = (v) => "(Tuple " + showIntImpl(v._1) + " " + showIntImpl(v._2) + ")";
|
42111
42042
|
var erase1 = /* @__PURE__ */ (() => functorElim.map((v) => {
|
42112
42043
|
}))();
|
42113
42044
|
var matchMany2 = (dictMonadError) => {
|
@@ -42360,10 +42291,10 @@ var $$eval2 = (dictMonadError) => {
|
|
42360
42291
|
const $8 = v4._2._1;
|
42361
42292
|
const $9 = v4._1._2;
|
42362
42293
|
const $10 = v4._2._2;
|
42363
|
-
return Bind1.bind(check(MonadThrow0)(greaterThanOrEq1($Tuple($7, $8))($Tuple(1, 1)))("array must be at least (" +
|
42294
|
+
return Bind1.bind(check(MonadThrow0)(greaterThanOrEq1($Tuple($7, $8))($Tuple(1, 1)))("array must be at least (" + show33($Tuple(
|
42364
42295
|
1,
|
42365
42296
|
1
|
42366
|
-
)) + "); got (" +
|
42297
|
+
)) + "); got (" + show33($Tuple($7, $8)) + ")"))(() => Bind1.bind(Functor0.map((() => {
|
42367
42298
|
const $11 = listMap((x2) => {
|
42368
42299
|
const $112 = unzip5(x2);
|
42369
42300
|
return $Tuple(fromFoldable25($112._1), fromFoldable25($112._2));
|
@@ -43508,8 +43439,8 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
|
|
43508
43439
|
const MonadThrow0 = dictMonadError.MonadThrow0();
|
43509
43440
|
const Monad0 = MonadThrow0.Monad0();
|
43510
43441
|
const Bind1 = Monad0.Bind1();
|
43511
|
-
const $0 = Bind1.Apply0().Functor0();
|
43512
43442
|
const Applicative0 = Monad0.Applicative0();
|
43443
|
+
const $0 = Bind1.Apply0().Functor0();
|
43513
43444
|
return (v) => {
|
43514
43445
|
if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._2.tag === "Dictionary" && v._2._2.tag === "Cons" && v._2._2._1._2.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
|
43515
43446
|
const $1 = v._1;
|
@@ -43525,7 +43456,7 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
|
|
43525
43456
|
$5,
|
43526
43457
|
void 0,
|
43527
43458
|
Leaf2
|
43528
|
-
)))(v4._2))((v5) =>
|
43459
|
+
)))(v4._2))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
|
43529
43460
|
})(v._2._1._2._1)(v._2._2._1._2._1)))))((v$p) => $$new(Val)(insert3(ordVertex)($3)()($$$Map(
|
43530
43461
|
"Two",
|
43531
43462
|
Leaf2,
|
@@ -44260,8 +44191,7 @@ var graphGC1 = /* @__PURE__ */ graphGC2(applyEnvExpr)(applyVal)(foldableEnvExpr)
|
|
44260
44191
|
var graphGC22 = /* @__PURE__ */ graphGC2(applyVal)(applyEnvExpr)(foldableVal)(foldableEnvExpr);
|
44261
44192
|
var dual = (v) => ({
|
44262
44193
|
fwd: (x2) => _fmapObject(v.bwd(functorEnvExpr.map(boolNot)(x2)), functorVal.map(boolNot)),
|
44263
|
-
bwd: (x2) => functorEnvExpr.map(boolNot)(v.fwd(_fmapObject(x2, functorVal.map(boolNot))))
|
44264
|
-
connection: void 0
|
44194
|
+
bwd: (x2) => functorEnvExpr.map(boolNot)(v.fwd(_fmapObject(x2, functorVal.map(boolNot))))
|
44265
44195
|
});
|
44266
44196
|
var neg12 = { neg: (x2) => functorSelState.map(boolNot)(x2) };
|
44267
44197
|
var joinSemilatticeSelState = {
|
@@ -44295,8 +44225,7 @@ var meet2 = /* @__PURE__ */ (() => {
|
|
44295
44225
|
$Val(functorSelState.map(boolNot)($1), functorBaseVal.map(neg12.neg)($2)),
|
44296
44226
|
$Val(functorSelState.map(boolNot)($1), functorBaseVal.map(neg12.neg)($2))
|
44297
44227
|
);
|
44298
|
-
}
|
44299
|
-
connection: void 0
|
44228
|
+
}
|
44300
44229
|
};
|
44301
44230
|
})();
|
44302
44231
|
var meet1 = {
|
@@ -44310,8 +44239,7 @@ var meet1 = {
|
|
44310
44239
|
bwd: (x2) => {
|
44311
44240
|
const $0 = _fmapObject(x2, functorVal.map(neg12.neg));
|
44312
44241
|
return $Tuple(_fmapObject($0, functorVal.map(neg12.neg)), _fmapObject($0, functorVal.map(neg12.neg)));
|
44313
|
-
}
|
44314
|
-
connection: void 0
|
44242
|
+
}
|
44315
44243
|
};
|
44316
44244
|
var sequence_3 = /* @__PURE__ */ traverse_(applicativeEffect)(foldableDict)(identity4);
|
44317
44245
|
var unprojExpr = (dictBoundedMeetSemilattice) => (v) => {
|
@@ -44324,8 +44252,7 @@ var unprojExpr = (dictBoundedMeetSemilattice) => (v) => {
|
|
44324
44252
|
return (v$1) => $1;
|
44325
44253
|
})())($0)
|
44326
44254
|
),
|
44327
|
-
bwd: (v1) => v1._1
|
44328
|
-
connection: void 0
|
44255
|
+
bwd: (v1) => v1._1
|
44329
44256
|
};
|
44330
44257
|
};
|
44331
44258
|
var setOutputView = (\u03B4vw) => (fig) => ({
|
@@ -44423,8 +44350,7 @@ var lift = (dictApply) => {
|
|
44423
44350
|
const $1 = dictApply1.Functor0();
|
44424
44351
|
return (selState_f) => (selState_g) => (v) => ({
|
44425
44352
|
bwd: (v1) => dictApply.apply(dictApply.apply(selState_f)(v.bwd($1.map(getPersistent)(v1))))(v.bwd($1.map(getTransient)(v1))),
|
44426
|
-
fwd: (\u03B3) => dictApply1.apply(dictApply1.apply(selState_g)(v.fwd($0.map(getPersistent)(\u03B3))))(v.fwd($0.map(getTransient)(\u03B3)))
|
44427
|
-
connection: void 0
|
44353
|
+
fwd: (\u03B3) => dictApply1.apply(dictApply1.apply(selState_g)(v.fwd($0.map(getPersistent)(\u03B3))))(v.fwd($0.map(getTransient)(\u03B3)))
|
44428
44354
|
});
|
44429
44355
|
};
|
44430
44356
|
};
|
@@ -44450,9 +44376,9 @@ var loadFig = (v) => (dictMonadAff) => {
|
|
44450
44376
|
const v0 = $Val(false, functorBaseVal.map((v$1) => false)(v2["out\u03B1"]._2));
|
44451
44377
|
const $5 = unrestrictGC(boundedMeetSemilatticeBoo)(v3._1)(fromFoldable27($3));
|
44452
44378
|
const $6 = unprojExpr(boundedMeetSemilatticeBoo)($EnvExpr(v3._1, v3._2));
|
44453
|
-
const focus = { fwd: (x2) => $6.fwd($5.fwd(x2)), bwd: (x2) => $5.bwd($6.bwd(x2))
|
44379
|
+
const focus = { fwd: (x2) => $6.fwd($5.fwd(x2)), bwd: (x2) => $5.bwd($6.bwd(x2)) };
|
44454
44380
|
const $7 = graphGC1(v2);
|
44455
|
-
const gc = { fwd: (x2) => $7.fwd(focus.fwd(x2)), bwd: (x2) => focus.bwd($7.bwd(x2))
|
44381
|
+
const gc = { fwd: (x2) => $7.fwd(focus.fwd(x2)), bwd: (x2) => focus.bwd($7.bwd(x2)) };
|
44456
44382
|
const $8 = gc.fwd(\u03B30);
|
44457
44383
|
const vInert = $Val(selState($8._1), functorBaseVal.map(selState)($8._2));
|
44458
44384
|
const \u03B3Inert = _fmapObject(
|
@@ -44467,7 +44393,7 @@ var loadFig = (v) => (dictMonadAff) => {
|
|
44467
44393
|
"out\u03B1": v2["in\u03B1"]
|
44468
44394
|
});
|
44469
44395
|
const $10 = dual(focus);
|
44470
|
-
const gc_dual = { fwd: (x2) => $10.fwd($9.fwd(x2)), bwd: (x2) => $9.bwd($10.bwd(x2))
|
44396
|
+
const gc_dual = { fwd: (x2) => $10.fwd($9.fwd(x2)), bwd: (x2) => $9.bwd($10.bwd(x2)) };
|
44471
44397
|
return Monad0.Applicative0().pure({
|
44472
44398
|
spec: v,
|
44473
44399
|
s: $4,
|
@@ -44484,8 +44410,7 @@ var loadFig = (v) => (dictMonadAff) => {
|
|
44484
44410
|
bwd: (x2) => {
|
44485
44411
|
const $13 = meet1.bwd($12.bwd(x2));
|
44486
44412
|
return $Tuple($11.bwd($13._1), categoryGaloisConnection.identity.bwd($13._2));
|
44487
|
-
}
|
44488
|
-
connection: void 0
|
44413
|
+
}
|
44489
44414
|
};
|
44490
44415
|
})(),
|
44491
44416
|
linkedInputs: (() => {
|
@@ -44496,8 +44421,7 @@ var loadFig = (v) => (dictMonadAff) => {
|
|
44496
44421
|
bwd: (x2) => {
|
44497
44422
|
const $13 = meet2.bwd($12.bwd(x2));
|
44498
44423
|
return $Tuple($11.bwd($13._1), categoryGaloisConnection.identity.bwd($13._2));
|
44499
|
-
}
|
44500
|
-
connection: void 0
|
44424
|
+
}
|
44501
44425
|
};
|
44502
44426
|
})(),
|
44503
44427
|
dir: LinkedOutputs,
|
package/package.json
CHANGED
@@ -1,6 +1,6 @@
|
|
1
1
|
{
|
2
2
|
"name": "@explorable-viz/fluid",
|
3
|
-
"version": "0.7.
|
3
|
+
"version": "0.7.89",
|
4
4
|
"description": "Fluid is an experimental programming language which integrates a bidirectional dynamic analysis to connect outputs to data sources in a fine-grained way. Fluid is implemented in PureScript and runs in the browser.",
|
5
5
|
"main": "index.js",
|
6
6
|
"repository": {
|
@@ -30,9 +30,7 @@
|
|
30
30
|
"build": "./script/build.sh",
|
31
31
|
"build-test": "./script/build-test.sh",
|
32
32
|
"bundle-fluid": "./script/bundle-fluid.sh",
|
33
|
-
"bundle-page": "./script/bundle-page.sh",
|
34
33
|
"bundle-website": "./script/bundle-website.sh",
|
35
|
-
"bundle-website-all": "./script/bundle-website-all.sh",
|
36
34
|
"fluid": "node ./dist/fluid/shared/fluid.mjs",
|
37
35
|
"npm-publish": "./script/npm-publish.sh",
|
38
36
|
"serve": "./script/serve.sh",
|
package/script/bundle-website.sh
CHANGED
@@ -11,54 +11,33 @@ while getopts "w:l" opt; do
|
|
11
11
|
done
|
12
12
|
|
13
13
|
PREFIX_=${PREFIX:+$PREFIX/}
|
14
|
-
|
15
|
-
|
16
|
-
echo "Cleaning dist/$WEBSITE_LISP_CASE"
|
17
|
-
. "${PREFIX_}script/util/clean.sh" $WEBSITE_LISP_CASE
|
18
|
-
|
19
|
-
. "${PREFIX_}script/bundle-page.sh" $WEBSITE ${PREFIX:+$PREFIX}
|
14
|
+
echo "Cleaning dist/$WEBSITE"
|
15
|
+
. "${PREFIX_}script/util/clean.sh" $WEBSITE
|
20
16
|
|
21
17
|
shopt -s nullglob
|
22
18
|
|
23
|
-
# Only support one level of nesting for now
|
24
|
-
set +x
|
25
|
-
PAGES=($(for FILE in website/$WEBSITE/*.html; do
|
26
|
-
basename "$FILE" | sed 's/\.[^.]*$//'
|
27
|
-
done | sort -u))
|
28
|
-
set -x
|
29
|
-
|
30
|
-
for PAGE in "${PAGES[@]}"; do
|
31
|
-
. "${PREFIX_}script/bundle-page.sh" $WEBSITE.$PAGE ${PREFIX:+$PREFIX}
|
32
|
-
done
|
33
|
-
|
34
19
|
echo "Processing other static files:"
|
35
20
|
set +xu # try to remove +u
|
36
21
|
TO_COPY=()
|
37
|
-
shopt -s dotglob
|
38
|
-
shopt -s extglob
|
22
|
+
shopt -s dotglob extglob
|
39
23
|
for CHILD in website/$WEBSITE/!(.|..); do
|
40
24
|
BASENAME="$(basename "$CHILD")"
|
41
25
|
if [[ "$BASENAME" =~ ^[a-z.] ]]; then
|
42
26
|
TO_COPY+=("$CHILD")
|
43
27
|
fi
|
44
28
|
done
|
45
|
-
shopt -u extglob
|
46
|
-
shopt -u dotglob
|
29
|
+
shopt -u extglob dotglob
|
47
30
|
set -xu
|
48
31
|
|
49
32
|
for CHILD in "${TO_COPY[@]}"; do
|
50
|
-
cp -rL "$CHILD" dist/$
|
33
|
+
cp -rL "$CHILD" dist/$WEBSITE
|
51
34
|
done
|
52
35
|
|
53
36
|
echo "Processing Fluid source files:"
|
54
|
-
cp -r "${PREFIX_}dist/fluid/fluid" dist/$
|
55
|
-
[ -d "website/$WEBSITE/fluid" ] && cp -r "website/$WEBSITE/fluid" dist/$
|
37
|
+
cp -r "${PREFIX_}dist/fluid/fluid" dist/$WEBSITE
|
38
|
+
[ -d "website/$WEBSITE/fluid" ] && cp -r "website/$WEBSITE/fluid" dist/$WEBSITE
|
56
39
|
|
57
40
|
echo "Processing shared JavaScript files:"
|
58
|
-
cp -r "${PREFIX_}dist/fluid/shared" dist/$
|
59
|
-
|
60
|
-
if [[ -e "website/$SRC_PATH/test.mjs" ]]; then
|
61
|
-
cp website/$SRC_PATH/test.mjs dist/SRC_PATH_LISP_CASE/test.mjs
|
62
|
-
fi
|
41
|
+
cp -r "${PREFIX_}dist/fluid/shared" dist/$WEBSITE
|
63
42
|
|
64
43
|
echo "Bundled website $WEBSITE"
|
@@ -1,30 +0,0 @@
|
|
1
|
-
{
|
2
|
-
"env": { "browser": true },
|
3
|
-
"extends": "eslint:recommended",
|
4
|
-
"parserOptions": { "ecmaVersion": 6, "sourceType": "module" },
|
5
|
-
"rules": {
|
6
|
-
"block-scoped-var": "error",
|
7
|
-
"consistent-return": "error",
|
8
|
-
"eqeqeq": "error",
|
9
|
-
"guard-for-in": "error",
|
10
|
-
"no-bitwise": "error",
|
11
|
-
"no-caller": "error",
|
12
|
-
"no-constant-condition": ["error", { "checkLoops": false }],
|
13
|
-
"no-extra-parens": "off",
|
14
|
-
"no-extend-native": "error",
|
15
|
-
"no-loop-func": "error",
|
16
|
-
"no-new": "error",
|
17
|
-
"no-param-reassign": "error",
|
18
|
-
"no-return-assign": "error",
|
19
|
-
"no-sequences": "error",
|
20
|
-
"no-unused-expressions": "error",
|
21
|
-
"no-use-before-define": "error",
|
22
|
-
"no-undef": "error",
|
23
|
-
"no-eq-null": "error",
|
24
|
-
"radix": ["error", "always"],
|
25
|
-
"indent": ["error", 2, { "SwitchCase": 0 }],
|
26
|
-
"quotes": ["error", "double"],
|
27
|
-
"semi": ["error", "always"],
|
28
|
-
"strict": ["error", "global"]
|
29
|
-
}
|
30
|
-
}
|
package/script/bundle-page.sh
DELETED
@@ -1,30 +0,0 @@
|
|
1
|
-
#!/usr/bin/env bash
|
2
|
-
# run from project root
|
3
|
-
set -xe
|
4
|
-
|
5
|
-
PREFIX=""
|
6
|
-
|
7
|
-
if [ -n "${2:-}" ]; then
|
8
|
-
PREFIX=$2
|
9
|
-
fi
|
10
|
-
|
11
|
-
MODULE=$1
|
12
|
-
SRC_PATH=${MODULE//./\/}
|
13
|
-
SRC_PATH_LISP_CASE=$(./$PREFIX/script/util/lisp-case.sh "$SRC_PATH")
|
14
|
-
echo "$SRC_PATH -> $SRC_PATH_LISP_CASE"
|
15
|
-
|
16
|
-
if [[ -e "website/$SRC_PATH.purs" ]]; then
|
17
|
-
. "${PREFIX:+$PREFIX}/script/util/bundle.sh" $SRC_PATH_LISP_CASE Website.$MODULE
|
18
|
-
|
19
|
-
if [[ -e "website/$SRC_PATH.html" ]]; then
|
20
|
-
cp website/$SRC_PATH.html dist/$SRC_PATH_LISP_CASE/index.html
|
21
|
-
else
|
22
|
-
cp website/template.html dist/$SRC_PATH_LISP_CASE/index.html
|
23
|
-
fi
|
24
|
-
fi
|
25
|
-
|
26
|
-
if [[ -e "website/$SRC_PATH.json" ]]; then
|
27
|
-
mkdir -p dist/$SRC_PATH_LISP_CASE
|
28
|
-
cp website/$SRC_PATH.html dist/$SRC_PATH_LISP_CASE/index.html
|
29
|
-
cp website/$SRC_PATH.json dist/$SRC_PATH_LISP_CASE/spec.json
|
30
|
-
fi
|