@explorable-viz/fluid 0.7.76 → 0.7.78
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/affjax-node/v1.0.0/.editorconfig +13 -0
- package/.spago/affjax-node/v1.0.0/.eslintrc.json +30 -0
- package/.spago/affjax-node/v1.0.0/.gitignore +13 -0
- package/.spago/pathy/v9.0.0/.editorconfig +13 -0
- package/.spago/pathy/v9.0.0/.gitignore +9 -0
- package/.spago/pathy/v9.0.0/.tidyrc.json +10 -0
- package/dist/fluid/fluid/lib/stats.fld +19 -0
- package/dist/fluid/shared/fluid.mjs +144 -232
- package/dist/fluid/shared/load-figure.js +149 -229
- package/package.json +1 -1
- package/.spago/node-process/v11.0.0/.eslintrc.json +0 -29
- package/.spago/node-process/v11.0.0/.gitignore +0 -8
- package/.spago/node-process/v11.1.0/.eslintrc.json +0 -29
- package/.spago/node-process/v11.1.0/.gitignore +0 -8
- package/.spago/node-process/v11.2.0/.eslintrc.json +0 -29
- package/.spago/node-process/v11.2.0/.gitignore +0 -8
- package/.spago/optparse/v6.0.0/.gitignore +0 -8
- package/.spago/optparse/v6.0.0/.npmrc +0 -1
- package/dist/fluid/fluid/lib/dtw.fld +0 -47
- package/dist/fluid/fluid/lib/fnum.fld +0 -22
- package/dist/fluid/fluid/lib/some-constants.fld +0 -1
- package/dist/fluid/fluid/lib/text-viz.fld +0 -18
@@ -27879,21 +27879,17 @@ var showEdgeList = (es) => joinWith("\n")([
|
|
27879
27879
|
"digraph G {",
|
27880
27880
|
...arrayMap((v) => " " + v)([
|
27881
27881
|
"rankdir = RL",
|
27882
|
-
...arrayMap((v) => v._1 + " -> {" + joinWith(", ")(fromFoldable4(map2(ordString)(unsafeCoerce)(v._2
|
27882
|
+
...arrayMap((v) => v._1 + " -> {" + joinWith(", ")(fromFoldable4(map2(ordString)(unsafeCoerce)(v._2))) + "}")(fromFoldable13(reverse2(es)))
|
27883
27883
|
]),
|
27884
27884
|
"}"
|
27885
27885
|
]);
|
27886
|
-
var pack1 = (x2) => (k) => k(showString)(x2);
|
27887
27886
|
var toEdgeList = (dictGraph) => (g) => {
|
27888
27887
|
const $0 = (v) => {
|
27889
27888
|
if (v._1.tag === "Nil") {
|
27890
27889
|
return $Step("Done", v._2);
|
27891
27890
|
}
|
27892
27891
|
if (v._1.tag === "Cons") {
|
27893
|
-
return $Step(
|
27894
|
-
"Loop",
|
27895
|
-
$Tuple(v._1._2, $List("Cons", $Tuple(v._1._1, $Tuple(dictGraph.outN(g)(v._1._1), pack1(""))), v._2))
|
27896
|
-
);
|
27892
|
+
return $Step("Loop", $Tuple(v._1._2, $List("Cons", $Tuple(v._1._1, dictGraph.outN(g)(v._1._1)), v._2)));
|
27897
27893
|
}
|
27898
27894
|
fail();
|
27899
27895
|
};
|
@@ -28165,15 +28161,14 @@ var $GraphImpl = (_1) => ({ tag: "GraphImpl", _1 });
|
|
28165
28161
|
var eqSet = { eq: (v) => (v1) => eqMap(eqVertex)(eqUnit).eq(v)(v1) };
|
28166
28162
|
var eq = /* @__PURE__ */ (() => eqObject(eqSet).eq)();
|
28167
28163
|
var fromFoldable6 = /* @__PURE__ */ foldlArray((m) => (a) => insert3(ordVertex)(a)()(m))(Leaf2);
|
28168
|
-
var pack = (x2) => (k) => k(showString)(x2);
|
28169
28164
|
var toUnfoldable6 = /* @__PURE__ */ toUnfoldable4(unfoldableList);
|
28170
28165
|
var fromFoldable15 = /* @__PURE__ */ (() => foldableSet.foldr(Cons)(Nil))();
|
28171
28166
|
var fromFoldable23 = /* @__PURE__ */ (() => foldableSet.foldl((m) => (a) => insert3(ordVertex)(a)()(m))(Leaf2))();
|
28172
28167
|
var toUnfoldable12 = /* @__PURE__ */ toAscUnfoldable(unfoldableArray);
|
28173
28168
|
var fromFoldable32 = /* @__PURE__ */ fromFoldable2(ordVertex)(foldableArray);
|
28174
28169
|
var verticesGraphImpl = { vertices: (v) => v._1.vertices };
|
28175
|
-
var eqGraphImpl = { eq: (v) => (v1) => eq(
|
28176
|
-
var sinks$p = (m) => fromFoldable6(arrayMap((x2) => x2._1)(filter((x2) => x2._2.
|
28170
|
+
var eqGraphImpl = { eq: (v) => (v1) => eq(v._1.out)(v1._1.out) };
|
28171
|
+
var sinks$p = (m) => fromFoldable6(arrayMap((x2) => x2._1)(filter((x2) => x2._2.tag === "Leaf")(toArrayWithKey(Tuple)(m))));
|
28177
28172
|
var init5 = (\u03B1s) => () => {
|
28178
28173
|
const obj = {};
|
28179
28174
|
return monadRecST.tailRecM((v) => {
|
@@ -28185,7 +28180,7 @@ var init5 = (\u03B1s) => () => {
|
|
28185
28180
|
const $1 = v._1._2;
|
28186
28181
|
const $2 = v._2;
|
28187
28182
|
return () => {
|
28188
|
-
$2[$0] =
|
28183
|
+
$2[$0] = Leaf2;
|
28189
28184
|
return $Step("Loop", $Tuple($1, $2));
|
28190
28185
|
};
|
28191
28186
|
}
|
@@ -28221,7 +28216,7 @@ var addIfMissing = (acc) => (v) => {
|
|
28221
28216
|
return () => {
|
28222
28217
|
const v1 = $0();
|
28223
28218
|
if (v1.tag === "Nothing") {
|
28224
|
-
acc[v] =
|
28219
|
+
acc[v] = Leaf2;
|
28225
28220
|
return acc;
|
28226
28221
|
}
|
28227
28222
|
if (v1.tag === "Just") {
|
@@ -28255,28 +28250,27 @@ var outMap = (\u03B1s) => (es) => {
|
|
28255
28250
|
if (v._1.tag === "Cons") {
|
28256
28251
|
const $1 = v._2;
|
28257
28252
|
const $2 = v._1._2;
|
28258
|
-
const $3 = v._1._1.
|
28259
|
-
const $4 = v._1._1.
|
28260
|
-
const $5 =
|
28261
|
-
const $6 = peek($4)($1);
|
28253
|
+
const $3 = v._1._1._1;
|
28254
|
+
const $4 = v._1._1._2;
|
28255
|
+
const $5 = peek($3)($1);
|
28262
28256
|
return () => {
|
28263
|
-
const $
|
28257
|
+
const $6 = $5();
|
28264
28258
|
if ((() => {
|
28265
|
-
if ($
|
28259
|
+
if ($6.tag === "Nothing") {
|
28266
28260
|
return true;
|
28267
28261
|
}
|
28268
|
-
if ($
|
28269
|
-
return eqMap(eqVertex)(eqUnit).eq($
|
28262
|
+
if ($6.tag === "Just") {
|
28263
|
+
return eqMap(eqVertex)(eqUnit).eq($6._1)(Leaf2);
|
28270
28264
|
}
|
28271
28265
|
fail();
|
28272
28266
|
})()) {
|
28273
|
-
const \u03B2s$p = toUnfoldable6($
|
28267
|
+
const \u03B2s$p = toUnfoldable6($4);
|
28274
28268
|
monadRecST.tailRecM(assertPresent($1))(\u03B2s$p)();
|
28275
|
-
$1[$
|
28269
|
+
$1[$3] = $4;
|
28276
28270
|
const acc$p = addIfMissing$p(\u03B2s$p)($1)();
|
28277
28271
|
return $Step("Loop", $Tuple($2, acc$p));
|
28278
28272
|
}
|
28279
|
-
return throwException(error("Duplicate edge list entry for " + showStringImpl($
|
28273
|
+
return throwException(error("Duplicate edge list entry for " + showStringImpl($3)))()();
|
28280
28274
|
};
|
28281
28275
|
}
|
28282
28276
|
fail();
|
@@ -28293,38 +28287,37 @@ var inMap = (\u03B1s) => (es) => {
|
|
28293
28287
|
}
|
28294
28288
|
if (v._1.tag === "Cons") {
|
28295
28289
|
const $1 = v._1._2;
|
28296
|
-
const $2 = v._1._1.
|
28297
|
-
const $3 =
|
28298
|
-
|
28299
|
-
|
28300
|
-
return () => $Step("Done", v2._2);
|
28290
|
+
const $2 = v._1._1._1;
|
28291
|
+
const $3 = monadRecST.tailRecM((v1) => {
|
28292
|
+
if (v1._1.tag === "Nil") {
|
28293
|
+
return () => $Step("Done", v1._2);
|
28301
28294
|
}
|
28302
|
-
if (
|
28303
|
-
const $
|
28304
|
-
const $
|
28305
|
-
const $
|
28306
|
-
const $
|
28295
|
+
if (v1._1.tag === "Cons") {
|
28296
|
+
const $32 = v1._2;
|
28297
|
+
const $4 = v1._1._1;
|
28298
|
+
const $5 = v1._1._2;
|
28299
|
+
const $6 = peek($4)($32);
|
28307
28300
|
return () => {
|
28308
|
-
const v1 = $
|
28301
|
+
const v1$1 = $6();
|
28309
28302
|
const acc$p = (() => {
|
28310
|
-
if (v1.tag === "Nothing") {
|
28311
|
-
$
|
28312
|
-
return $
|
28303
|
+
if (v1$1.tag === "Nothing") {
|
28304
|
+
$32[$4] = $$$Map("Two", Leaf2, $2, void 0, Leaf2);
|
28305
|
+
return $32;
|
28313
28306
|
}
|
28314
|
-
if (v1.tag === "Just") {
|
28315
|
-
$
|
28316
|
-
return $
|
28307
|
+
if (v1$1.tag === "Just") {
|
28308
|
+
$32[$4] = insert3(ordVertex)($2)()(v1$1._1);
|
28309
|
+
return $32;
|
28317
28310
|
}
|
28318
28311
|
fail();
|
28319
28312
|
})();
|
28320
|
-
return $Step("Loop", $Tuple($
|
28313
|
+
return $Step("Loop", $Tuple($5, acc$p));
|
28321
28314
|
};
|
28322
28315
|
}
|
28323
28316
|
fail();
|
28324
|
-
})($Tuple(toUnfoldable6(v._1._1._2
|
28317
|
+
})($Tuple(toUnfoldable6(v._1._1._2), v._2));
|
28325
28318
|
return () => {
|
28326
|
-
const a = $
|
28327
|
-
const acc$p = addIfMissing(a)($
|
28319
|
+
const a = $3();
|
28320
|
+
const acc$p = addIfMissing(a)($2)();
|
28328
28321
|
return $Step("Loop", $Tuple($1, acc$p));
|
28329
28322
|
};
|
28330
28323
|
}
|
@@ -28333,8 +28326,7 @@ var inMap = (\u03B1s) => (es) => {
|
|
28333
28326
|
};
|
28334
28327
|
};
|
28335
28328
|
var graphGraphImpl = {
|
28336
|
-
outN: (v) => (\u03B1) => definitely("in graph")(_lookup(Nothing, Just, \u03B1, v._1.out))
|
28337
|
-
vertexData: (v) => (\u03B1) => definitely("in graph")(_lookup(Nothing, Just, \u03B1, v._1.out))._2,
|
28329
|
+
outN: (v) => (\u03B1) => definitely("in graph")(_lookup(Nothing, Just, \u03B1, v._1.out)),
|
28338
28330
|
inN: (g) => graphGraphImpl.outN(graphGraphImpl.op(g)),
|
28339
28331
|
elem: (\u03B1) => (v) => {
|
28340
28332
|
const $0 = _lookup(Nothing, Just, \u03B1, v._1.out);
|
@@ -28373,7 +28365,7 @@ var graphGraphImpl = {
|
|
28373
28365
|
topologicalSort: (v) => reverse2(topologicalSort(ordVertex)(fromFoldable32(arrayMap((x2) => $Tuple(
|
28374
28366
|
x2._1,
|
28375
28367
|
$Tuple(void 0, x2._2)
|
28376
|
-
))(toUnfoldable12(_fmapObject(
|
28368
|
+
))(toUnfoldable12(_fmapObject(v._1.out, toUnfoldable6)))))),
|
28377
28369
|
Eq0: () => eqGraphImpl,
|
28378
28370
|
Vertices1: () => verticesGraphImpl
|
28379
28371
|
};
|
@@ -34062,32 +34054,6 @@ var Dictionary3 = (value0) => $BaseVal("Dictionary", value0);
|
|
34062
34054
|
var DictRep = (x2) => x2;
|
34063
34055
|
var MatrixRep = (x2) => x2;
|
34064
34056
|
var Env = (x2) => x2;
|
34065
|
-
var showBaseVal = {
|
34066
|
-
show: (v) => {
|
34067
|
-
if (v.tag === "Int") {
|
34068
|
-
return showIntImpl(v._1);
|
34069
|
-
}
|
34070
|
-
if (v.tag === "Float") {
|
34071
|
-
return showNumberImpl(v._1);
|
34072
|
-
}
|
34073
|
-
if (v.tag === "Str") {
|
34074
|
-
return showStringImpl(v._1);
|
34075
|
-
}
|
34076
|
-
if (v.tag === "Constr") {
|
34077
|
-
return showStringImpl(v._1);
|
34078
|
-
}
|
34079
|
-
if (v.tag === "Dictionary") {
|
34080
|
-
return "Dictionary";
|
34081
|
-
}
|
34082
|
-
if (v.tag === "Matrix") {
|
34083
|
-
return "Matrix";
|
34084
|
-
}
|
34085
|
-
if (v.tag === "Fun") {
|
34086
|
-
return "Function";
|
34087
|
-
}
|
34088
|
-
fail();
|
34089
|
-
}
|
34090
|
-
};
|
34091
34057
|
var isEmptyEnv = { isEmpty: (v) => isEmpty(v) };
|
34092
34058
|
var setEnvString = {
|
34093
34059
|
empty,
|
@@ -34898,7 +34864,7 @@ var string2 = {
|
|
34898
34864
|
return typeError(v)("Str");
|
34899
34865
|
}
|
34900
34866
|
};
|
34901
|
-
var unary = (
|
34867
|
+
var unary = (dictBoundedJoinSemilattice) => {
|
34902
34868
|
const bot2 = dictBoundedJoinSemilattice.bot;
|
34903
34869
|
return (id3) => (f) => $Tuple(
|
34904
34870
|
id3,
|
@@ -34916,17 +34882,17 @@ var unary = (dictShow) => (dictBoundedJoinSemilattice) => {
|
|
34916
34882
|
const $0 = dictMonadError.MonadThrow0().Monad0().Bind1().Apply0().Functor0();
|
34917
34883
|
return (v) => {
|
34918
34884
|
if (v.tag === "Cons" && v._2.tag === "Nil") {
|
34919
|
-
const
|
34885
|
+
const $1 = v._1._2;
|
34920
34886
|
return $0.map((() => {
|
34921
|
-
const $
|
34922
|
-
return (v$1) => $Val(v$1._2, $
|
34923
|
-
})())($0.map((v2) => $Tuple(
|
34887
|
+
const $2 = f.o;
|
34888
|
+
return (v$1) => $Val(v$1._2, $2.pack(v$1._1));
|
34889
|
+
})())($0.map((v2) => $Tuple(f.fwd(f.i.unpack($1)), v2))(dictMonadWithGraphAlloc.new($$$Map(
|
34924
34890
|
"Two",
|
34925
34891
|
Leaf2,
|
34926
34892
|
v._1._1,
|
34927
34893
|
void 0,
|
34928
34894
|
Leaf2
|
34929
|
-
))
|
34895
|
+
))));
|
34930
34896
|
}
|
34931
34897
|
fail();
|
34932
34898
|
};
|
@@ -35055,7 +35021,7 @@ var $$boolean = {
|
|
35055
35021
|
return typeError(v)("Boolean");
|
35056
35022
|
}
|
35057
35023
|
};
|
35058
|
-
var binaryZero = (
|
35024
|
+
var binaryZero = (dictBoundedJoinSemilattice) => {
|
35059
35025
|
const bot2 = dictBoundedJoinSemilattice.bot;
|
35060
35026
|
return (dictIsZero) => (id3) => (f) => $Tuple(
|
35061
35027
|
id3,
|
@@ -35075,11 +35041,10 @@ var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
|
|
35075
35041
|
if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
|
35076
35042
|
const $1 = f.i.unpack(v._1._2);
|
35077
35043
|
const $2 = f.i.unpack(v._2._1._2);
|
35078
|
-
const v$p = f.fwd($1)($2);
|
35079
35044
|
return $0.map((() => {
|
35080
35045
|
const $3 = f.o;
|
35081
35046
|
return (v$1) => $Val(v$1._2, $3.pack(v$1._1));
|
35082
|
-
})())($0.map((v4) => $Tuple(
|
35047
|
+
})())($0.map((v4) => $Tuple(f.fwd($1)($2), v4))(dictMonadWithGraphAlloc.new((() => {
|
35083
35048
|
if (dictIsZero.isZero($1)) {
|
35084
35049
|
return $$$Map("Two", Leaf2, v._1._1, void 0, Leaf2);
|
35085
35050
|
}
|
@@ -35093,7 +35058,7 @@ var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
|
|
35093
35058
|
void 0,
|
35094
35059
|
Leaf2
|
35095
35060
|
));
|
35096
|
-
})())
|
35061
|
+
})())));
|
35097
35062
|
}
|
35098
35063
|
fail();
|
35099
35064
|
};
|
@@ -35144,7 +35109,7 @@ var binaryZero = (dictShow) => (dictBoundedJoinSemilattice) => {
|
|
35144
35109
|
)
|
35145
35110
|
);
|
35146
35111
|
};
|
35147
|
-
var binary = (
|
35112
|
+
var binary = (dictBoundedJoinSemilattice) => {
|
35148
35113
|
const bot2 = dictBoundedJoinSemilattice.bot;
|
35149
35114
|
return (id3) => (f) => $Tuple(
|
35150
35115
|
id3,
|
@@ -35162,17 +35127,18 @@ var binary = (dictShow) => (dictBoundedJoinSemilattice) => {
|
|
35162
35127
|
const $0 = dictMonadError.MonadThrow0().Monad0().Bind1().Apply0().Functor0();
|
35163
35128
|
return (v) => {
|
35164
35129
|
if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
|
35165
|
-
const
|
35130
|
+
const $1 = v._1._2;
|
35131
|
+
const $2 = v._2._1._2;
|
35166
35132
|
return $0.map((() => {
|
35167
|
-
const $
|
35168
|
-
return (v$1) => $Val(v$1._2, $
|
35169
|
-
})())($0.map((v3) => $Tuple(
|
35133
|
+
const $3 = f.o;
|
35134
|
+
return (v$1) => $Val(v$1._2, $3.pack(v$1._1));
|
35135
|
+
})())($0.map((v3) => $Tuple(f.fwd(f.i1.unpack($1))(f.i2.unpack($2)), v3))(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
|
35170
35136
|
"Two",
|
35171
35137
|
Leaf2,
|
35172
35138
|
v._1._1,
|
35173
35139
|
void 0,
|
35174
35140
|
Leaf2
|
35175
|
-
)))
|
35141
|
+
)))));
|
35176
35142
|
}
|
35177
35143
|
fail();
|
35178
35144
|
};
|
@@ -37719,9 +37685,9 @@ var drawableTableView = {
|
|
37719
37685
|
var arrayDictToArray2 = (x2) => arrayMap((a) => arrayMap((a$1) => $$get2(showString)(mapDictString)(a$1)(a))(x2));
|
37720
37686
|
|
37721
37687
|
// output-es/App.View/index.js
|
37722
|
-
var
|
37723
|
-
var
|
37724
|
-
var
|
37688
|
+
var pack = (x2) => (k) => k(drawableBarChart)(x2);
|
37689
|
+
var pack1 = (x2) => (k) => k(drawableLineChart)(x2);
|
37690
|
+
var pack2 = (x2) => (k) => k(drawableScatterPlot)(x2);
|
37725
37691
|
var pack3 = (x2) => (k) => k(drawableParagraphSelState)(x2);
|
37726
37692
|
var pack4 = (x2) => (k) => k(drawableMultiView)(x2);
|
37727
37693
|
var identity28 = (x2) => x2;
|
@@ -37731,13 +37697,13 @@ var view = () => (v) => (v1) => (v2) => {
|
|
37731
37697
|
if (v1._2.tag === "Constr") {
|
37732
37698
|
if (v1._2._2.tag === "Cons" && v1._2._2._2.tag === "Nil") {
|
37733
37699
|
if (v1._2._1 === "BarChart") {
|
37734
|
-
return
|
37700
|
+
return pack(dict(reflectDictSelState\u{1D54A}$x215ValS22.from())(v1._2._2._1));
|
37735
37701
|
}
|
37736
37702
|
if (v1._2._1 === "LineChart") {
|
37737
|
-
return
|
37703
|
+
return pack1(dict(reflectDictSelState\u{1D54A}$x215ValS13.from())(v1._2._2._1));
|
37738
37704
|
}
|
37739
37705
|
if (v1._2._1 === "ScatterPlot") {
|
37740
|
-
return
|
37706
|
+
return pack2(dict(reflectDictSelState\u{1D54A}$x215ValS5.from())(v1._2._2._1));
|
37741
37707
|
}
|
37742
37708
|
if (v1._2._1 === "Paragraph") {
|
37743
37709
|
return pack3(reflectValSelState\u{1D54A}Paragr.from()(v1._2._2._1));
|
@@ -37853,8 +37819,8 @@ var monadWithGraphWithGraphT = (dictMonad) => {
|
|
37853
37819
|
const $1 = monadStateStateT(dictMonad);
|
37854
37820
|
const monadStateT = { Applicative0: () => applicativeStateT(dictMonad), Bind1: () => bindStateT(dictMonad) };
|
37855
37821
|
return {
|
37856
|
-
extend: (\u03B1) => (\u03B1s) =>
|
37857
|
-
const $2 = Cons($Tuple(\u03B1,
|
37822
|
+
extend: (\u03B1) => (\u03B1s) => {
|
37823
|
+
const $2 = Cons($Tuple(\u03B1, \u03B1s));
|
37858
37824
|
const $3 = $1.state((s) => $Tuple(void 0, $2(s)));
|
37859
37825
|
return (s) => $0.map((v1) => $Tuple(void 0, v1._2))($3(s));
|
37860
37826
|
},
|
@@ -37916,10 +37882,10 @@ var runWithGraphT = (dictMonad) => {
|
|
37916
37882
|
};
|
37917
37883
|
};
|
37918
37884
|
var runWithGraphT_spy = (dictMonad) => {
|
37919
|
-
const
|
37885
|
+
const runWithGraphT2 = runWithGraphT(dictMonad);
|
37920
37886
|
const spyFunWhenM2 = spyFunWhenM(dictMonad.Bind1().Apply0().Functor0());
|
37921
37887
|
return (dictGraph) => {
|
37922
|
-
const $0 =
|
37888
|
+
const $0 = runWithGraphT2(dictGraph);
|
37923
37889
|
const $1 = spyFunWhenM2(false)("runWithGraphT")(showVertices)((x2) => showEdgeList(toEdgeList(dictGraph)(x2._1)));
|
37924
37890
|
return (x2) => $1($0(x2));
|
37925
37891
|
};
|
@@ -37934,7 +37900,7 @@ var monadWithGraphAllocWithGr = (dictMonadError) => {
|
|
37934
37900
|
const monadWithGraphWithGraphT1 = monadWithGraphWithGraphT(monadStateT);
|
37935
37901
|
const monadErrorStateT2 = monadErrorStateT(monadErrorStateT(dictMonadError));
|
37936
37902
|
return {
|
37937
|
-
new: (\u03B1s) =>
|
37903
|
+
new: (\u03B1s) => bindStateT2.bind(fresh1)((\u03B1) => bindStateT2.bind(monadWithGraphWithGraphT1.extend(\u03B1)(\u03B1s))(() => applicativeStateT(monadStateT).pure(\u03B1))),
|
37938
37904
|
MonadAlloc0: () => monadAllocWithGraphAllocT1,
|
37939
37905
|
MonadError1: () => monadErrorStateT2,
|
37940
37906
|
MonadWithGraph2: () => monadWithGraphWithGraphT1
|
@@ -37944,7 +37910,6 @@ var monadWithGraphAllocWithGr = (dictMonadError) => {
|
|
37944
37910
|
// output-es/Graph.Slice/index.js
|
37945
37911
|
var pure2 = /* @__PURE__ */ (() => applicativeStateT(monadIdentity).pure)();
|
37946
37912
|
var extend3 = /* @__PURE__ */ (() => monadWithGraphWithGraphT(monadIdentity).extend)();
|
37947
|
-
var pack7 = (x2) => (k) => k(showString)(x2);
|
37948
37913
|
var tailRecM = /* @__PURE__ */ (() => monadRecStateT(monadRecIdentity).tailRecM)();
|
37949
37914
|
var member4 = /* @__PURE__ */ (() => setSet(ordVertex).member)();
|
37950
37915
|
var fromFoldable19 = /* @__PURE__ */ (() => foldableSet.foldr(Cons)(Nil))();
|
@@ -37970,7 +37935,7 @@ var fwdSlice = (dictGraph) => {
|
|
37970
37935
|
fail();
|
37971
37936
|
})();
|
37972
37937
|
if (eqMap(eqVertex)(eqUnit).eq(\u03B2s)(dictGraph.outN($0)(v1.es._1._1))) {
|
37973
|
-
return bindStateT(monadIdentity).bind(extend3(v1.es._1._1)(\u03B2s)
|
37938
|
+
return bindStateT(monadIdentity).bind(extend3(v1.es._1._1)(\u03B2s))(() => pure2($Step(
|
37974
37939
|
"Loop",
|
37975
37940
|
{
|
37976
37941
|
pending: $$delete3(ordVertex)(v1.es._1._1)(v1.pending),
|
@@ -37995,12 +37960,10 @@ var bwdSlice = (dictGraph) => {
|
|
37995
37960
|
return pure2($Step("Done", void 0));
|
37996
37961
|
}
|
37997
37962
|
if (v1.pending.tag === "Cons") {
|
37998
|
-
const $2 = v1.pending._1._2._2;
|
37999
|
-
const $3 = v1.pending._1._2._1;
|
38000
37963
|
if (member4(v1.pending._1._1)(v1.visited)) {
|
38001
37964
|
return pure2($Step("Loop", { visited: v1.visited, "\u03B1s": Nil, pending: v1.pending._2 }));
|
38002
37965
|
}
|
38003
|
-
return bindStateT(monadIdentity).bind(extend3(v1.pending._1._1)(
|
37966
|
+
return bindStateT(monadIdentity).bind(extend3(v1.pending._1._1)(v1.pending._1._2))(() => pure2($Step(
|
38004
37967
|
"Loop",
|
38005
37968
|
{ visited: insert3(ordVertex)(v1.pending._1._1)()(v1.visited), "\u03B1s": Nil, pending: v1.pending._2 }
|
38006
37969
|
)));
|
@@ -38014,7 +37977,7 @@ var bwdSlice = (dictGraph) => {
|
|
38014
37977
|
{
|
38015
37978
|
visited: v1.visited,
|
38016
37979
|
"\u03B1s": foldableList.foldr(Cons)(v1["\u03B1s"]._2)(fromFoldable19(\u03B2s)),
|
38017
|
-
pending: $List("Cons", $Tuple(v1["\u03B1s"]._1,
|
37980
|
+
pending: $List("Cons", $Tuple(v1["\u03B1s"]._1, \u03B2s), v1.pending)
|
38018
37981
|
}
|
38019
37982
|
));
|
38020
37983
|
}
|
@@ -38035,7 +37998,6 @@ var show22 = /* @__PURE__ */ (() => showSet(showString).show)();
|
|
38035
37998
|
var toUnfoldable10 = /* @__PURE__ */ toUnfoldable4(unfoldableList);
|
38036
37999
|
var union1 = /* @__PURE__ */ (() => setSet(ordString).union)();
|
38037
38000
|
var fv = /* @__PURE__ */ (() => fVDict(fVElim).fv)();
|
38038
|
-
var pack8 = (x2) => (k) => k(showBaseVal)(x2);
|
38039
38001
|
var fromFoldable110 = /* @__PURE__ */ fromFoldable(foldableList);
|
38040
38002
|
var greaterThanOrEq = /* @__PURE__ */ (() => {
|
38041
38003
|
const $0 = ordTuple(ordInt)(ordInt);
|
@@ -38185,22 +38147,22 @@ var closeDefs = (dictMonadWithGraphAlloc) => {
|
|
38185
38147
|
const traverse2 = traversableDict.traverse(Monad0.Applicative0());
|
38186
38148
|
return (\u03B3) => (\u03C1) => (\u03B1s) => Functor0.map(Env)(traverse2((\u03C3) => {
|
38187
38149
|
const \u03C1$p = forDefs(\u03C1)(\u03C3);
|
38188
|
-
const
|
38150
|
+
const $0 = $BaseVal(
|
38189
38151
|
"Fun",
|
38190
38152
|
$Fun(
|
38191
38153
|
"Closure",
|
38192
38154
|
(() => {
|
38193
|
-
const $
|
38155
|
+
const $02 = union1(fv(\u03C1$p))(fVElim.fv(\u03C3));
|
38194
38156
|
return filterWithKey((x2) => {
|
38195
|
-
const $1 = setSet(ordString).member(x2)($
|
38196
|
-
return (
|
38157
|
+
const $1 = setSet(ordString).member(x2)($02);
|
38158
|
+
return (v) => $1;
|
38197
38159
|
})(\u03B3);
|
38198
38160
|
})(),
|
38199
38161
|
\u03C1$p,
|
38200
38162
|
\u03C3
|
38201
38163
|
)
|
38202
38164
|
);
|
38203
|
-
return Functor0.map((f) => f(
|
38165
|
+
return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(\u03B1s)));
|
38204
38166
|
})(\u03C1));
|
38205
38167
|
};
|
38206
38168
|
var $$eval = (dictMonadWithGraphAlloc) => {
|
@@ -38225,22 +38187,13 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38225
38187
|
return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
|
38226
38188
|
}
|
38227
38189
|
if (v1.tag === "Int") {
|
38228
|
-
return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))
|
38229
|
-
"Int",
|
38230
|
-
v1._2
|
38231
|
-
)))));
|
38190
|
+
return Functor0.map((f) => f($BaseVal("Int", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
|
38232
38191
|
}
|
38233
38192
|
if (v1.tag === "Float") {
|
38234
|
-
return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))
|
38235
|
-
"Float",
|
38236
|
-
v1._2
|
38237
|
-
)))));
|
38193
|
+
return Functor0.map((f) => f($BaseVal("Float", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
|
38238
38194
|
}
|
38239
38195
|
if (v1.tag === "Str") {
|
38240
|
-
return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))
|
38241
|
-
"Str",
|
38242
|
-
v1._2
|
38243
|
-
)))));
|
38196
|
+
return Functor0.map((f) => f($BaseVal("Str", v1._2)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
|
38244
38197
|
}
|
38245
38198
|
if (v1.tag === "Dictionary") {
|
38246
38199
|
const $0 = v1._1;
|
@@ -38249,8 +38202,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38249
38202
|
return (a) => $1(a)(v2);
|
38250
38203
|
})()))(v1._2)))((v3) => {
|
38251
38204
|
const v4 = unzip(listMap((v$1) => $Tuple(v$1._2.tag === "Str" ? v$1._2._1 : typeError(v$1._2)("Str"), v$1._1))(v3._1));
|
38252
|
-
const
|
38253
|
-
return Functor0.map((f) => f(
|
38205
|
+
const $1 = $BaseVal("Dictionary", fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2))));
|
38206
|
+
return Functor0.map((f) => f($1))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($0)()(v2))));
|
38254
38207
|
});
|
38255
38208
|
}
|
38256
38209
|
if (v1.tag === "Constr") {
|
@@ -38280,11 +38233,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38280
38233
|
})()))(() => Bind1.bind(traverse2((() => {
|
38281
38234
|
const $3 = $$eval(dictMonadWithGraphAlloc)(v);
|
38282
38235
|
return (a) => $3(a)(v2);
|
38283
|
-
})())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($2)()(v2))
|
38284
|
-
"Constr",
|
38285
|
-
$0,
|
38286
|
-
vs
|
38287
|
-
)))))));
|
38236
|
+
})())($1))((vs) => Functor0.map((f) => f($BaseVal("Constr", $0, vs)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($2)()(v2))))));
|
38288
38237
|
}
|
38289
38238
|
if (v1.tag === "Matrix") {
|
38290
38239
|
const $0 = v1._2;
|
@@ -38312,21 +38261,18 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38312
38261
|
return $8;
|
38313
38262
|
})())))($0)(v2)
|
38314
38263
|
]))
|
38315
|
-
])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()(v2))
|
38316
|
-
"Matrix",
|
38317
|
-
$Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7)))
|
38318
|
-
)))))));
|
38264
|
+
])))((vss) => Functor0.map((f) => f($BaseVal("Matrix", $Tuple(vss, $Tuple($Tuple($4, $6), $Tuple($5, $7))))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()(v2))))));
|
38319
38265
|
});
|
38320
38266
|
}
|
38321
38267
|
if (v1.tag === "Lambda") {
|
38322
|
-
const
|
38268
|
+
const $0 = $BaseVal(
|
38323
38269
|
"Fun",
|
38324
38270
|
$Fun(
|
38325
38271
|
"Closure",
|
38326
38272
|
(() => {
|
38327
|
-
const $
|
38273
|
+
const $02 = fVElim.fv(v1._2);
|
38328
38274
|
return filterWithKey((x2) => {
|
38329
|
-
const $1 = setSet(ordString).member(x2)($
|
38275
|
+
const $1 = setSet(ordString).member(x2)($02);
|
38330
38276
|
return (v$1) => $1;
|
38331
38277
|
})(v);
|
38332
38278
|
})(),
|
@@ -38334,7 +38280,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
38334
38280
|
v1._2
|
38335
38281
|
)
|
38336
38282
|
);
|
38337
|
-
return Functor0.map((f) => f(
|
38283
|
+
return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v1._1)()(v2))));
|
38338
38284
|
}
|
38339
38285
|
if (v1.tag === "Project") {
|
38340
38286
|
const $0 = v1._2;
|
@@ -38433,7 +38379,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
|
|
38433
38379
|
v._1,
|
38434
38380
|
void 0,
|
38435
38381
|
Leaf2
|
38436
|
-
))
|
38382
|
+
))));
|
38437
38383
|
}
|
38438
38384
|
return $2._1["op'"](dictMonadWithGraphAlloc)(MonadError1)(vs$p);
|
38439
38385
|
}
|
@@ -38484,26 +38430,26 @@ var apply2 = (dictMonadWithGraphAlloc) => {
|
|
38484
38430
|
};
|
38485
38431
|
return go(0)($2) < (n - 1 | 0);
|
38486
38432
|
})()) {
|
38487
|
-
const
|
38433
|
+
const $42 = $BaseVal(
|
38488
38434
|
"Fun",
|
38489
38435
|
$Fun("PartialConstr", $1, foldableList.foldr(Cons)($List("Cons", v1, Nil))($2))
|
38490
38436
|
);
|
38491
|
-
return Functor0.map((f) => f(
|
38437
|
+
return Functor0.map((f) => f($42))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
38492
38438
|
"Two",
|
38493
38439
|
Leaf2,
|
38494
38440
|
$3,
|
38495
38441
|
void 0,
|
38496
38442
|
Leaf2
|
38497
|
-
))
|
38443
|
+
))));
|
38498
38444
|
}
|
38499
|
-
const
|
38500
|
-
return Functor0.map((f) => f(
|
38445
|
+
const $4 = $BaseVal("Constr", $1, foldableList.foldr(Cons)($List("Cons", v1, Nil))($2));
|
38446
|
+
return Functor0.map((f) => f($4))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
38501
38447
|
"Two",
|
38502
38448
|
Leaf2,
|
38503
38449
|
$3,
|
38504
38450
|
void 0,
|
38505
38451
|
Leaf2
|
38506
|
-
))
|
38452
|
+
))));
|
38507
38453
|
});
|
38508
38454
|
}
|
38509
38455
|
}
|
@@ -42918,7 +42864,6 @@ var apply2Bwd = (dictAnn) => {
|
|
42918
42864
|
};
|
42919
42865
|
|
42920
42866
|
// output-es/Primitive.Defs/index.js
|
42921
|
-
var pack9 = (x2) => (k) => k(showBaseVal)(x2);
|
42922
42867
|
var erase = /* @__PURE__ */ (() => functorVal.map((v) => {
|
42923
42868
|
}))();
|
42924
42869
|
var unzip6 = /* @__PURE__ */ unzip3(functorDict);
|
@@ -42928,24 +42873,11 @@ var foldWithIndexM = (dictMonad) => (f) => (a0) => foldableWithIndexStringDi.fol
|
|
42928
42873
|
return (a) => $0(a)(b);
|
42929
42874
|
})()))(dictMonad.Applicative0().pure(a0));
|
42930
42875
|
var disjointUnion5 = /* @__PURE__ */ disjointUnion(mapDictString);
|
42931
|
-
var unary2 = /* @__PURE__ */ unary(
|
42932
|
-
var
|
42933
|
-
|
42934
|
-
|
42935
|
-
|
42936
|
-
}
|
42937
|
-
if (v.tag === "Right") {
|
42938
|
-
return "(Right " + showNumberImpl(v._1) + ")";
|
42939
|
-
}
|
42940
|
-
fail();
|
42941
|
-
}
|
42942
|
-
};
|
42943
|
-
var binary2 = /* @__PURE__ */ binary(showEither)(boundedJoinSemilatticeUni);
|
42944
|
-
var binaryZero2 = /* @__PURE__ */ (() => binaryZero(showEither)(boundedJoinSemilatticeUni)({
|
42945
|
-
isZero: fanin2(isZeroInt.isZero)(isZeroNumber.isZero)
|
42946
|
-
}))();
|
42947
|
-
var binary1 = /* @__PURE__ */ binary(showBoolean)(boundedJoinSemilatticeUni);
|
42948
|
-
var binaryZero1 = /* @__PURE__ */ binaryZero(showInt)(boundedJoinSemilatticeUni)(isZeroInt);
|
42876
|
+
var unary2 = /* @__PURE__ */ unary(boundedJoinSemilatticeUni);
|
42877
|
+
var binary2 = /* @__PURE__ */ binary(boundedJoinSemilatticeUni);
|
42878
|
+
var binaryZero2 = /* @__PURE__ */ binaryZero(boundedJoinSemilatticeUni);
|
42879
|
+
var binaryZero1 = /* @__PURE__ */ (() => binaryZero2({ isZero: fanin2(isZeroInt.isZero)(isZeroNumber.isZero) }))();
|
42880
|
+
var binaryZero22 = /* @__PURE__ */ binaryZero2(isZeroInt);
|
42949
42881
|
var pow3 = /* @__PURE__ */ union5(asNumberIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)((x2) => (y2) => pow(toNumber(x2))(toNumber(y2)))(pow);
|
42950
42882
|
var numToStr = (v2) => {
|
42951
42883
|
if (v2.tag === "Left") {
|
@@ -42967,14 +42899,14 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
|
|
42967
42899
|
return (v) => {
|
42968
42900
|
if (v.tag === "Cons" && v._1._2.tag === "Matrix" && v._2.tag === "Cons" && v._2._1._2.tag === "Constr" && v._2._1._2._2.tag === "Cons" && v._2._1._2._2._1._2.tag === "Int" && v._2._1._2._2._2.tag === "Cons" && v._2._1._2._2._2._1._2.tag === "Int" && v._2._1._2._2._2._2.tag === "Nil" && v._2._2.tag === "Cons" && v._2._2._2.tag === "Nil" && v._2._1._2._1 === "Pair") {
|
42969
42901
|
const $0 = v._2._2._1;
|
42970
|
-
const
|
42971
|
-
return Functor0.map((f) => f(
|
42902
|
+
const $1 = $BaseVal("Matrix", matrixPut(v._2._1._2._2._1._2._1)(v._2._1._2._2._2._1._2._1)((v$1) => $0)(v._1._2._1));
|
42903
|
+
return Functor0.map((f) => f($1))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
42972
42904
|
"Two",
|
42973
42905
|
Leaf2,
|
42974
42906
|
v._1._1,
|
42975
42907
|
void 0,
|
42976
42908
|
Leaf2
|
42977
|
-
))
|
42909
|
+
))));
|
42978
42910
|
}
|
42979
42911
|
return MonadThrow0.throwError(error("Matrix, pair of integers and value expected"));
|
42980
42912
|
};
|
@@ -43156,31 +43088,28 @@ var dims = /* @__PURE__ */ $Tuple(
|
|
43156
43088
|
const Functor0 = Bind1.Apply0().Functor0();
|
43157
43089
|
return (v) => {
|
43158
43090
|
if (v.tag === "Cons" && v._1._2.tag === "Matrix" && v._2.tag === "Nil") {
|
43159
|
-
const $0 = v._1._2._1._2.
|
43160
|
-
const $1 = v._1.
|
43161
|
-
const $2 = v._1._1;
|
43162
|
-
|
43163
|
-
return Bind1.bind(Functor0.map((f) => f($BaseVal("Int", $0)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
43091
|
+
const $0 = v._1._2._1._2._2._1;
|
43092
|
+
const $1 = v._1._1;
|
43093
|
+
const $2 = v._1._2._1._2._2._2;
|
43094
|
+
return Bind1.bind(Functor0.map((f) => f($BaseVal("Int", v._1._2._1._2._1._1)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
43164
43095
|
"Two",
|
43165
43096
|
Leaf2,
|
43166
43097
|
v._1._2._1._2._1._2,
|
43167
43098
|
void 0,
|
43168
43099
|
Leaf2
|
43169
|
-
))
|
43100
|
+
)))))((v1) => Bind1.bind(Functor0.map((f) => f($BaseVal("Int", $0)))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
43170
43101
|
"Two",
|
43171
43102
|
Leaf2,
|
43172
|
-
$
|
43103
|
+
$2,
|
43173
43104
|
void 0,
|
43174
43105
|
Leaf2
|
43175
|
-
))
|
43176
|
-
"
|
43177
|
-
|
43178
|
-
$
|
43179
|
-
|
43180
|
-
|
43181
|
-
|
43182
|
-
$List("Cons", v1, $List("Cons", v2, Nil))
|
43183
|
-
)))))));
|
43106
|
+
)))))((v2) => Functor0.map((f) => f($BaseVal("Constr", "Pair", $List("Cons", v1, $List("Cons", v2, Nil)))))(Functor0.map(Val)(dictMonadWithGraphAlloc.new($$$Map(
|
43107
|
+
"Two",
|
43108
|
+
Leaf2,
|
43109
|
+
$1,
|
43110
|
+
void 0,
|
43111
|
+
Leaf2
|
43112
|
+
))))));
|
43184
43113
|
}
|
43185
43114
|
return MonadThrow0.throwError(error("Matrix expected"));
|
43186
43115
|
};
|
@@ -43260,7 +43189,7 @@ var dict_map = /* @__PURE__ */ $Tuple(
|
|
43260
43189
|
$1,
|
43261
43190
|
void 0,
|
43262
43191
|
Leaf2
|
43263
|
-
))
|
43192
|
+
)))));
|
43264
43193
|
}
|
43265
43194
|
return MonadThrow0.throwError(error("Function and dictionary expected"));
|
43266
43195
|
};
|
@@ -43325,31 +43254,27 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
|
|
43325
43254
|
const Bind1 = Monad0.Bind1();
|
43326
43255
|
const Apply0 = Bind1.Apply0();
|
43327
43256
|
const $0 = Apply0.Functor0();
|
43328
|
-
const
|
43257
|
+
const sequence1 = traversableDict.sequence(Monad0.Applicative0());
|
43329
43258
|
return (v) => {
|
43330
43259
|
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") {
|
43331
43260
|
const $1 = v._1;
|
43332
|
-
|
43333
|
-
const $3 = v._2._2._1._1;
|
43334
|
-
const v$p = $0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
|
43335
|
-
const $4 = v3._2;
|
43336
|
-
const $5 = v2._1;
|
43337
|
-
const $6 = v3._1;
|
43338
|
-
return Bind1.bind(Bind1.bind(apply4($1)(v2._2))((a) => apply4(a)($4)))((v4) => Bind1.bind(dictMonadWithGraphAlloc.new(insert3(ordVertex)($6)()($$$Map(
|
43339
|
-
"Two",
|
43340
|
-
Leaf2,
|
43341
|
-
$5,
|
43342
|
-
void 0,
|
43343
|
-
Leaf2
|
43344
|
-
)))(pack9(v4._2)))((\u03B2$p$p) => $0.map(Tuple(\u03B2$p$p))(Applicative0.pure(v4))));
|
43345
|
-
})(v._2._1._2._1)(v._2._2._1._2._1))));
|
43346
|
-
return Bind1.bind(v$p)((packable) => Apply0.apply($0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)($3)()($$$Map(
|
43261
|
+
return Apply0.apply($0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._2._1._1)()($$$Map(
|
43347
43262
|
"Two",
|
43348
43263
|
Leaf2,
|
43349
|
-
|
43264
|
+
v._2._1._1,
|
43350
43265
|
void 0,
|
43351
43266
|
Leaf2
|
43352
|
-
)))(
|
43267
|
+
)))))($0.map(Dictionary3)($0.map(DictRep)(sequence1(intersectionWith_Object((v2) => (v3) => {
|
43268
|
+
const $2 = v2._2;
|
43269
|
+
const $3 = v3._2;
|
43270
|
+
return Bind1.bind(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v3._1)()($$$Map(
|
43271
|
+
"Two",
|
43272
|
+
Leaf2,
|
43273
|
+
v2._1,
|
43274
|
+
void 0,
|
43275
|
+
Leaf2
|
43276
|
+
))))((\u03B2$p$p) => $0.map(Tuple(\u03B2$p$p))(Bind1.bind(apply4($1)($2))((a) => apply4(a)($3))));
|
43277
|
+
})(v._2._1._2._1)(v._2._2._1._2._1)))));
|
43353
43278
|
}
|
43354
43279
|
return MonadThrow0.throwError(error("Function and two dictionaries expected"));
|
43355
43280
|
};
|
@@ -43582,14 +43507,14 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
|
|
43582
43507
|
const Functor0 = MonadThrow0.Monad0().Bind1().Apply0().Functor0();
|
43583
43508
|
return (v) => {
|
43584
43509
|
if (v.tag === "Cons" && v._1._2.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._2.tag === "Dictionary" && v._2._2.tag === "Nil") {
|
43585
|
-
const
|
43586
|
-
return Functor0.map((f) => f(
|
43510
|
+
const $0 = $BaseVal("Dictionary", disjointUnion5(v._1._2._1)(v._2._1._2._1));
|
43511
|
+
return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
|
43587
43512
|
"Two",
|
43588
43513
|
Leaf2,
|
43589
43514
|
v._1._1,
|
43590
43515
|
void 0,
|
43591
43516
|
Leaf2
|
43592
|
-
)))
|
43517
|
+
)))));
|
43593
43518
|
}
|
43594
43519
|
return MonadThrow0.throwError(error("Dictionaries expected"));
|
43595
43520
|
};
|
@@ -43630,14 +43555,14 @@ var dict_difference = /* @__PURE__ */ $Tuple(
|
|
43630
43555
|
const Functor0 = MonadThrow0.Monad0().Bind1().Apply0().Functor0();
|
43631
43556
|
return (v) => {
|
43632
43557
|
if (v.tag === "Cons" && v._1._2.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._2.tag === "Dictionary" && v._2._2.tag === "Nil") {
|
43633
|
-
const
|
43634
|
-
return Functor0.map((f) => f(
|
43558
|
+
const $0 = $BaseVal("Dictionary", mapFObjectString.difference(v._1._2._1)(v._2._1._2._1));
|
43559
|
+
return Functor0.map((f) => f($0))(Functor0.map(Val)(dictMonadWithGraphAlloc.new(insert3(ordVertex)(v._2._1._1)()($$$Map(
|
43635
43560
|
"Two",
|
43636
43561
|
Leaf2,
|
43637
43562
|
v._1._1,
|
43638
43563
|
void 0,
|
43639
43564
|
Leaf2
|
43640
|
-
)))
|
43565
|
+
)))));
|
43641
43566
|
}
|
43642
43567
|
return MonadThrow0.throwError(error("Dictionaries expected."));
|
43643
43568
|
};
|
@@ -43706,8 +43631,8 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
|
|
43706
43631
|
/* @__PURE__ */ extern1(dims),
|
43707
43632
|
/* @__PURE__ */ extern1(error_),
|
43708
43633
|
/* @__PURE__ */ unary2("floor")({ i: number5, o: $$int, fwd: floor2 }),
|
43709
|
-
/* @__PURE__ */
|
43710
|
-
/* @__PURE__ */
|
43634
|
+
/* @__PURE__ */ unary2("log")({ i: intOrNumber, o: number5, fwd: log3 }),
|
43635
|
+
/* @__PURE__ */ unary2("numToStr")({ i: intOrNumber, o: string2, fwd: numToStr }),
|
43711
43636
|
/* @__PURE__ */ binary2("+")({
|
43712
43637
|
i1: intOrNumber,
|
43713
43638
|
i2: intOrNumber,
|
@@ -43720,30 +43645,25 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
|
|
43720
43645
|
o: intOrNumber,
|
43721
43646
|
fwd: /* @__PURE__ */ union5(asIntIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)(intSub)(numSub)
|
43722
43647
|
}),
|
43723
|
-
/* @__PURE__ */
|
43648
|
+
/* @__PURE__ */ binaryZero1("*")({
|
43724
43649
|
i: intOrNumber,
|
43725
43650
|
o: intOrNumber,
|
43726
43651
|
fwd: /* @__PURE__ */ union5(asIntIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)(intMul)(numMul)
|
43727
43652
|
}),
|
43728
|
-
/* @__PURE__ */
|
43729
|
-
/* @__PURE__ */
|
43730
|
-
/* @__PURE__ */
|
43653
|
+
/* @__PURE__ */ binaryZero1("**")({ i: intOrNumber, o: intOrNumber, fwd: pow3 }),
|
43654
|
+
/* @__PURE__ */ binaryZero1("/")({ i: intOrNumber, o: intOrNumber, fwd: divide }),
|
43655
|
+
/* @__PURE__ */ binary2("==")({
|
43731
43656
|
i1: intOrNumberOrString,
|
43732
43657
|
i2: intOrNumberOrString,
|
43733
43658
|
o: $$boolean,
|
43734
43659
|
fwd: /* @__PURE__ */ union5(asBooleanBoolean)(asBooleanBoolean)(asIntNumberOrString)(asIntNumberOrString)(eqIntImpl)(/* @__PURE__ */ unionStr(asBooleanBoolean)(asNumberString)(eqNumberImpl)(eqStringImpl))
|
43735
43660
|
}),
|
43736
|
-
/* @__PURE__ */
|
43737
|
-
/* @__PURE__ */
|
43738
|
-
/* @__PURE__ */
|
43739
|
-
/* @__PURE__ */
|
43740
|
-
/* @__PURE__ */
|
43741
|
-
/* @__PURE__ */
|
43742
|
-
i1: string2,
|
43743
|
-
i2: string2,
|
43744
|
-
o: string2,
|
43745
|
-
fwd: concatString
|
43746
|
-
}),
|
43661
|
+
/* @__PURE__ */ binary2("/=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: notEquals }),
|
43662
|
+
/* @__PURE__ */ binary2("<")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: lessThan }),
|
43663
|
+
/* @__PURE__ */ binary2(">")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: greaterThan }),
|
43664
|
+
/* @__PURE__ */ binary2("<=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: lessThanEquals }),
|
43665
|
+
/* @__PURE__ */ binary2(">=")({ i1: intOrNumberOrString, i2: intOrNumberOrString, o: $$boolean, fwd: greaterThanEquals }),
|
43666
|
+
/* @__PURE__ */ binary2("++")({ i1: string2, i2: string2, o: string2, fwd: concatString }),
|
43747
43667
|
/* @__PURE__ */ extern1(matrixLookup),
|
43748
43668
|
/* @__PURE__ */ extern1(dict_difference),
|
43749
43669
|
/* @__PURE__ */ extern1(dict_disjointUnion),
|
@@ -43752,10 +43672,10 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
|
|
43752
43672
|
/* @__PURE__ */ extern1(dict_intersectionWith),
|
43753
43673
|
/* @__PURE__ */ extern1(dict_map),
|
43754
43674
|
/* @__PURE__ */ extern1(matrixUpdate),
|
43755
|
-
/* @__PURE__ */
|
43756
|
-
/* @__PURE__ */
|
43757
|
-
/* @__PURE__ */
|
43758
|
-
/* @__PURE__ */
|
43675
|
+
/* @__PURE__ */ binaryZero22("div")({ i: $$int, o: $$int, fwd: intDiv2 }),
|
43676
|
+
/* @__PURE__ */ binaryZero22("mod")({ i: $$int, o: $$int, fwd: intMod }),
|
43677
|
+
/* @__PURE__ */ binaryZero22("quot")({ i: $$int, o: $$int, fwd: quot }),
|
43678
|
+
/* @__PURE__ */ binaryZero22("rem")({ i: $$int, o: $$int, fwd: rem })
|
43759
43679
|
]);
|
43760
43680
|
|
43761
43681
|
// output-es/ProgCxt/index.js
|