@explorable-viz/fluid 0.7.103 → 0.7.104
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/shared/fluid.mjs +186 -245
- package/dist/fluid/shared/load-figure.js +207 -266
- package/dist/fluid/shared/webtest-lib.js +596 -596
- package/package.json +1 -1
- package/script/bundle-website.sh +6 -10
@@ -36216,7 +36216,7 @@ var unary = (dictBoundedJoinSemilattice) => {
|
|
36216
36216
|
arity: 1,
|
36217
36217
|
op: (dictMonadWithGraphAlloc) => {
|
36218
36218
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
36219
|
-
return (dictMonadError) => (
|
36219
|
+
return (dictMonadError) => (dictMonadReader) => (dictLoadFile) => (v) => {
|
36220
36220
|
if (v.tag === "Cons" && v._2.tag === "Nil") {
|
36221
36221
|
const $0 = v._1._2;
|
36222
36222
|
return $$new((a) => Val(a)($0))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))(f.o.pack(f.fwd(f.i.unpack(v._1._3))));
|
@@ -36365,7 +36365,7 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
|
|
36365
36365
|
arity: 2,
|
36366
36366
|
op: (dictMonadWithGraphAlloc) => {
|
36367
36367
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
36368
|
-
return (dictMonadError) => (
|
36368
|
+
return (dictMonadError) => (dictMonadReader) => (dictLoadFile) => (v) => {
|
36369
36369
|
if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
|
36370
36370
|
const $0 = f.i.unpack(v._1._3);
|
36371
36371
|
const $1 = f.i.unpack(v._2._1._3);
|
@@ -36413,7 +36413,7 @@ var binary = (dictBoundedJoinSemilattice) => {
|
|
36413
36413
|
arity: 2,
|
36414
36414
|
op: (dictMonadWithGraphAlloc) => {
|
36415
36415
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
36416
|
-
return (dictMonadError) => (
|
36416
|
+
return (dictMonadError) => (dictMonadReader) => (dictLoadFile) => (v) => {
|
36417
36417
|
if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
|
36418
36418
|
return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
|
36419
36419
|
"Two",
|
@@ -40087,14 +40087,14 @@ var closeDefs = (dictMonadWithGraphAlloc) => {
|
|
40087
40087
|
var new$p = (dictMonadWithGraphAlloc) => {
|
40088
40088
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
40089
40089
|
const fresh = dictMonadWithGraphAlloc.MonadAlloc0().fresh;
|
40090
|
-
return (dictMonadReader) =>
|
40091
|
-
const Monad0 =
|
40090
|
+
return (dictMonadReader) => {
|
40091
|
+
const Monad0 = dictMonadReader.MonadAsk0().Monad0();
|
40092
40092
|
const Bind1 = Monad0.Bind1();
|
40093
40093
|
return (dictLoadFile) => (v) => (v1) => (v2) => (v3) => {
|
40094
40094
|
if (v2.tag === "None") {
|
40095
40095
|
return $$new((\u03B1s$p) => (u$p) => $Val(\u03B1s$p, None, u$p))(v1)(v3);
|
40096
40096
|
}
|
40097
|
-
return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40097
|
+
return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
|
40098
40098
|
const $0 = {};
|
40099
40099
|
$0.this = $Val(\u03B1, None, v3);
|
40100
40100
|
return $0;
|
@@ -40106,8 +40106,8 @@ var new$p = (dictMonadWithGraphAlloc) => {
|
|
40106
40106
|
};
|
40107
40107
|
};
|
40108
40108
|
};
|
40109
|
-
var evalDocOpt = (dictMonadWithGraphAlloc) => (dictMonadReader) =>
|
40110
|
-
const Monad0 =
|
40109
|
+
var evalDocOpt = (dictMonadWithGraphAlloc) => (dictMonadReader) => {
|
40110
|
+
const Monad0 = dictMonadReader.MonadAsk0().Monad0();
|
40111
40111
|
const Applicative0 = Monad0.Applicative0();
|
40112
40112
|
const $0 = Monad0.Bind1().Apply0().Functor0();
|
40113
40113
|
const sequence2 = traversableList.traverse(Applicative0)(identity7);
|
@@ -40121,7 +40121,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => (dictMonadReader) => (dictMonadAff
|
|
40121
40121
|
return Applicative0.pure($DocCommentElem("Token", v2._1));
|
40122
40122
|
}
|
40123
40123
|
if (v2.tag === "Unquote") {
|
40124
|
-
return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40124
|
+
return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v2._1)(setSet4.empty));
|
40125
40125
|
}
|
40126
40126
|
fail();
|
40127
40127
|
})(v1._1)));
|
@@ -40137,8 +40137,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40137
40137
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
40138
40138
|
const match1 = match(dictMonadWithGraphAlloc);
|
40139
40139
|
const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
|
40140
|
-
return (dictMonadReader) =>
|
40141
|
-
const Monad0 =
|
40140
|
+
return (dictMonadReader) => {
|
40141
|
+
const Monad0 = dictMonadReader.MonadAsk0().Monad0();
|
40142
40142
|
const Bind1 = Monad0.Bind1();
|
40143
40143
|
const $0 = Bind1.Apply0().Functor0();
|
40144
40144
|
const Applicative0 = Monad0.Applicative0();
|
@@ -40153,32 +40153,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40153
40153
|
return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
|
40154
40154
|
}
|
40155
40155
|
if (v1.tag === "Int") {
|
40156
|
-
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40157
|
-
"Int",
|
40158
|
-
v1._3
|
40159
|
-
));
|
40156
|
+
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
|
40160
40157
|
}
|
40161
40158
|
if (v1.tag === "Float") {
|
40162
|
-
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40163
|
-
"Float",
|
40164
|
-
v1._3
|
40165
|
-
));
|
40159
|
+
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
|
40166
40160
|
}
|
40167
40161
|
if (v1.tag === "Str") {
|
40168
|
-
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40169
|
-
"Str",
|
40170
|
-
v1._3
|
40171
|
-
));
|
40162
|
+
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
|
40172
40163
|
}
|
40173
40164
|
if (v1.tag === "Dictionary") {
|
40174
40165
|
const $1 = v1._2;
|
40175
40166
|
const $2 = v1._1;
|
40176
40167
|
return Bind1.bind($0.map(unzip3)(traverse2(traverse3((() => {
|
40177
|
-
const $3 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40168
|
+
const $3 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v);
|
40178
40169
|
return (a) => $3(a)(v2);
|
40179
40170
|
})()))(v1._3)))((v3) => {
|
40180
40171
|
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));
|
40181
|
-
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40172
|
+
return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert3(ordVertex)($2)()(v2))($1)($BaseVal(
|
40182
40173
|
"Dictionary",
|
40183
40174
|
fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2)))
|
40184
40175
|
));
|
@@ -40210,13 +40201,9 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40210
40201
|
};
|
40211
40202
|
return go(0)($3);
|
40212
40203
|
})()))(() => Bind1.bind(traverse2((() => {
|
40213
|
-
const $5 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40204
|
+
const $5 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v);
|
40214
40205
|
return (a) => $5(a)(v2);
|
40215
|
-
})())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40216
|
-
"Constr",
|
40217
|
-
$1,
|
40218
|
-
vs
|
40219
|
-
))));
|
40206
|
+
})())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert3(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
|
40220
40207
|
}
|
40221
40208
|
if (v1.tag === "Matrix") {
|
40222
40209
|
const $1 = v1._2;
|
@@ -40224,7 +40211,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40224
40211
|
const $3 = v1._4._1;
|
40225
40212
|
const $4 = v1._4._2;
|
40226
40213
|
const $5 = v1._1;
|
40227
|
-
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40214
|
+
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
|
40228
40215
|
const v5 = intPair.unpack(v3._3);
|
40229
40216
|
const $6 = v5._1._1;
|
40230
40217
|
const $7 = v5._2._1;
|
@@ -40235,7 +40222,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40235
40222
|
1
|
40236
40223
|
)) + "); got (" + show32($Tuple($6, $7)) + ")"))(() => Bind1.bind(sequence2(arrayBind(range(1)($6))((i) => [
|
40237
40224
|
sequence2(arrayBind(range(1)($7))((j) => [
|
40238
|
-
$$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40225
|
+
$$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(v)(disjointUnion2((() => {
|
40239
40226
|
const $10 = {};
|
40240
40227
|
$10[$3] = $Val($8, None, $BaseVal("Int", i));
|
40241
40228
|
return $10;
|
@@ -40245,7 +40232,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40245
40232
|
return $10;
|
40246
40233
|
})())))($2)(v2)
|
40247
40234
|
]))
|
40248
|
-
])))((vss) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40235
|
+
])))((vss) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert3(ordVertex)($5)()(v2))($1)($BaseVal(
|
40249
40236
|
"Matrix",
|
40250
40237
|
$Tuple(vss, $Tuple($Tuple($6, $8), $Tuple($7, $9)))
|
40251
40238
|
))));
|
@@ -40271,7 +40258,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40271
40258
|
if (v1.tag === "Project") {
|
40272
40259
|
const $1 = v1._1;
|
40273
40260
|
const $2 = v1._3;
|
40274
|
-
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40261
|
+
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
|
40275
40262
|
if (v3._3.tag === "Dictionary") {
|
40276
40263
|
return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + $2 + '" not found')((() => {
|
40277
40264
|
const $3 = _lookup(Nothing, Just, $2, v3._3._1);
|
@@ -40279,7 +40266,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40279
40266
|
return $Maybe("Just", $3._1._2);
|
40280
40267
|
}
|
40281
40268
|
return Nothing;
|
40282
|
-
})())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40269
|
+
})())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v$p)($1));
|
40283
40270
|
}
|
40284
40271
|
return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v3)).lines) + ", expected dictionary"));
|
40285
40272
|
});
|
@@ -40287,7 +40274,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40287
40274
|
if (v1.tag === "DProject") {
|
40288
40275
|
const $1 = v1._1;
|
40289
40276
|
const $2 = v1._3;
|
40290
|
-
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40277
|
+
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)($2)(v2))((v$p) => {
|
40291
40278
|
if (v3._3.tag === "Dictionary") {
|
40292
40279
|
if (v$p._3.tag === "Str") {
|
40293
40280
|
return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + v$p._3._1 + '" not found')((() => {
|
@@ -40296,7 +40283,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40296
40283
|
return $Maybe("Just", $3._1._2);
|
40297
40284
|
}
|
40298
40285
|
return Nothing;
|
40299
|
-
})())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40286
|
+
})())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v$p$p)($1));
|
40300
40287
|
}
|
40301
40288
|
return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v$p)).lines) + ", expected string"));
|
40302
40289
|
}
|
@@ -40306,10 +40293,10 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40306
40293
|
if (v1.tag === "App") {
|
40307
40294
|
const $1 = v1._1;
|
40308
40295
|
const $2 = v1._3;
|
40309
|
-
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40296
|
+
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)($2)(v2))((v$p) => Bind1.bind(apply2(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v3)(v$p))((v4) => {
|
40310
40297
|
const $3 = v4._3;
|
40311
40298
|
const $4 = v4._1;
|
40312
|
-
return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40299
|
+
return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
|
40313
40300
|
const $5 = {};
|
40314
40301
|
$5.this = v4;
|
40315
40302
|
return $5;
|
@@ -40319,24 +40306,24 @@ var $$eval = (dictMonadWithGraphAlloc) => {
|
|
40319
40306
|
if (v1.tag === "Let") {
|
40320
40307
|
const $1 = v1._2;
|
40321
40308
|
const $2 = v1._1._1;
|
40322
|
-
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40309
|
+
return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
|
40323
40310
|
}
|
40324
40311
|
if (v1.tag === "LetRec") {
|
40325
40312
|
const $1 = v1._2;
|
40326
40313
|
const $2 = v1._1._1;
|
40327
|
-
return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40314
|
+
return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(v)(\u03B3$p))($1)(insert3(ordVertex)($2)()(v2)));
|
40328
40315
|
}
|
40329
40316
|
fail();
|
40330
40317
|
};
|
40331
40318
|
};
|
40332
40319
|
};
|
40333
|
-
var concatDocs = (dictMonadWithGraphAlloc) => (dictMonadReader) =>
|
40334
|
-
const Monad0 =
|
40320
|
+
var concatDocs = (dictMonadWithGraphAlloc) => (dictMonadReader) => {
|
40321
|
+
const Monad0 = dictMonadReader.MonadAsk0().Monad0();
|
40335
40322
|
return (dictLoadFile) => (\u03B3) => (v) => (doc2) => {
|
40336
40323
|
const $0 = v._3;
|
40337
40324
|
const $1 = v._2;
|
40338
40325
|
const $2 = v._1;
|
40339
|
-
return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(
|
40326
|
+
return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(\u03B3)((() => {
|
40340
40327
|
const $3 = {};
|
40341
40328
|
$3.this = $Val($2, None, $0);
|
40342
40329
|
return $3;
|
@@ -40349,8 +40336,8 @@ var apply2 = (dictMonadWithGraphAlloc) => {
|
|
40349
40336
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
40350
40337
|
const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
|
40351
40338
|
const MonadThrow0 = MonadError1.MonadThrow0();
|
40352
|
-
return (dictMonadReader) =>
|
40353
|
-
const Bind1 =
|
40339
|
+
return (dictMonadReader) => {
|
40340
|
+
const Bind1 = dictMonadReader.MonadAsk0().Monad0().Bind1();
|
40354
40341
|
return (dictLoadFile) => (v) => (v1) => {
|
40355
40342
|
const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", expected function"));
|
40356
40343
|
if (v._3.tag === "Fun") {
|
@@ -40358,7 +40345,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
|
|
40358
40345
|
const $1 = v._1;
|
40359
40346
|
const $2 = v._3._1._1;
|
40360
40347
|
const $3 = v._3._1._3;
|
40361
|
-
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)(dictMonadReader)(
|
40348
|
+
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)(dictMonadReader)(dictLoadFile)(unionWith((v$1) => identity18)(unionWith((v$1) => identity18)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert3(ordVertex)($1)()(v3._2._2))));
|
40362
40349
|
}
|
40363
40350
|
if (v._3._1.tag === "Foreign") {
|
40364
40351
|
const $1 = v._3._1._1._2;
|
@@ -40389,7 +40376,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
|
|
40389
40376
|
$Fun("Foreign", $Tuple(v._3._1._1._1, $1), vs$p)
|
40390
40377
|
));
|
40391
40378
|
}
|
40392
|
-
return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(
|
40379
|
+
return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictMonadReader)(dictLoadFile)(vs$p);
|
40393
40380
|
}
|
40394
40381
|
if (v._3._1.tag === "PartialConstr") {
|
40395
40382
|
const $1 = v._1;
|
@@ -40464,33 +40451,30 @@ var eval_module = (dictMonadWithGraphAlloc) => {
|
|
40464
40451
|
const match1 = match(dictMonadWithGraphAlloc);
|
40465
40452
|
const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
|
40466
40453
|
return (dictMonadReader) => {
|
40454
|
+
const Monad0 = dictMonadReader.MonadAsk0().Monad0();
|
40455
|
+
const $0 = Monad0.Bind1();
|
40467
40456
|
const eval2 = eval1(dictMonadReader);
|
40468
|
-
return (
|
40469
|
-
const
|
40470
|
-
|
40471
|
-
|
40472
|
-
|
40473
|
-
|
40474
|
-
|
40475
|
-
|
40476
|
-
if (v1.tag === "
|
40477
|
-
|
40457
|
+
return (dictLoadFile) => {
|
40458
|
+
const eval3 = eval2(dictLoadFile);
|
40459
|
+
return (\u03B3) => {
|
40460
|
+
const go = (v) => (v1) => (v2) => {
|
40461
|
+
if (v1.tag === "Nil") {
|
40462
|
+
return Monad0.Applicative0().pure(v);
|
40463
|
+
}
|
40464
|
+
if (v1.tag === "Cons") {
|
40465
|
+
if (v1._1.tag === "Left") {
|
40466
|
+
const $1 = v1._2;
|
40467
|
+
const $2 = v1._1._1._1;
|
40468
|
+
return $0.bind(eval3(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
|
40478
40469
|
}
|
40479
|
-
if (v1.tag === "
|
40480
|
-
|
40481
|
-
|
40482
|
-
const $2 = v1._1._1._1;
|
40483
|
-
return $0.bind(eval4(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
|
40484
|
-
}
|
40485
|
-
if (v1._1.tag === "Right") {
|
40486
|
-
const $1 = v1._2;
|
40487
|
-
return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
|
40488
|
-
}
|
40470
|
+
if (v1._1.tag === "Right") {
|
40471
|
+
const $1 = v1._2;
|
40472
|
+
return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
|
40489
40473
|
}
|
40490
|
-
|
40491
|
-
|
40492
|
-
return go(empty);
|
40474
|
+
}
|
40475
|
+
fail();
|
40493
40476
|
};
|
40477
|
+
return go(empty);
|
40494
40478
|
};
|
40495
40479
|
};
|
40496
40480
|
};
|
@@ -40499,27 +40483,23 @@ var eval_progCxt = (dictMonadWithGraphAlloc) => {
|
|
40499
40483
|
const eval_module1 = eval_module(dictMonadWithGraphAlloc);
|
40500
40484
|
const eval1 = $$eval(dictMonadWithGraphAlloc);
|
40501
40485
|
return (dictMonadReader) => {
|
40486
|
+
const Monad0 = dictMonadReader.MonadAsk0().Monad0();
|
40487
|
+
const $0 = Monad0.Bind1();
|
40502
40488
|
const eval_module2 = eval_module1(dictMonadReader);
|
40489
|
+
const $1 = Monad0.Applicative0();
|
40503
40490
|
const eval2 = eval1(dictMonadReader);
|
40504
|
-
|
40505
|
-
|
40506
|
-
const
|
40507
|
-
const
|
40508
|
-
|
40509
|
-
|
40510
|
-
|
40511
|
-
|
40512
|
-
|
40513
|
-
|
40514
|
-
|
40515
|
-
|
40516
|
-
return $0.bind(eval4(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith((v$1) => identity18)(\u03B3)((() => {
|
40517
|
-
const $3 = {};
|
40518
|
-
$3[$2] = v2;
|
40519
|
-
return $3;
|
40520
|
-
})())));
|
40521
|
-
})(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module4(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith((v$1) => identity18)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
|
40522
|
-
};
|
40491
|
+
const concatM1 = concatM(Monad0);
|
40492
|
+
return (dictLoadFile) => {
|
40493
|
+
const eval_module3 = eval_module2(dictLoadFile);
|
40494
|
+
const eval3 = eval2(dictLoadFile);
|
40495
|
+
return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
|
40496
|
+
const $2 = v1._1;
|
40497
|
+
return $0.bind(eval3(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith((v$1) => identity18)(\u03B3)((() => {
|
40498
|
+
const $3 = {};
|
40499
|
+
$3[$2] = v2;
|
40500
|
+
return $3;
|
40501
|
+
})())));
|
40502
|
+
})(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module3(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith((v$1) => identity18)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
|
40523
40503
|
};
|
40524
40504
|
};
|
40525
40505
|
};
|
@@ -40533,14 +40513,12 @@ var graphEval = (dictMonadAff) => {
|
|
40533
40513
|
Applicative0: () => applicativeStateT(Monad0),
|
40534
40514
|
Bind1: () => bindStateT(Monad0)
|
40535
40515
|
})(graphGraphImpl);
|
40536
|
-
const
|
40537
|
-
const monadAffState1 = monadAffState(monadAffState2);
|
40538
|
-
const $1 = monadAffState2.MonadEffect0().Monad0();
|
40516
|
+
const $1 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
|
40539
40517
|
const $2 = dictMonadAff.MonadEffect0().Monad0();
|
40540
40518
|
return (dictMonadReader) => {
|
40541
40519
|
const monadReaderStateT2 = monadReaderStateT(monadReaderStateT(dictMonadReader));
|
40542
40520
|
return (dictLoadFile) => (dictMonadError) => {
|
40543
|
-
const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))(monadReaderStateT2)(
|
40521
|
+
const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))(monadReaderStateT2)((() => {
|
40544
40522
|
const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
|
40545
40523
|
return {
|
40546
40524
|
loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
|
@@ -40582,36 +40560,6 @@ var graphEval = (dictMonadAff) => {
|
|
40582
40560
|
};
|
40583
40561
|
};
|
40584
40562
|
|
40585
|
-
// output-es/Data.Argonaut.Decode.Error/index.js
|
40586
|
-
var $JsonDecodeError = (tag, _1, _2) => ({ tag, _1, _2 });
|
40587
|
-
var AtIndex = (value0) => (value1) => $JsonDecodeError("AtIndex", value0, value1);
|
40588
|
-
var AtKey = (value0) => (value1) => $JsonDecodeError("AtKey", value0, value1);
|
40589
|
-
var Named = (value0) => (value1) => $JsonDecodeError("Named", value0, value1);
|
40590
|
-
var MissingValue = /* @__PURE__ */ $JsonDecodeError("MissingValue");
|
40591
|
-
var showJsonDecodeError = {
|
40592
|
-
show: (v) => {
|
40593
|
-
if (v.tag === "TypeMismatch") {
|
40594
|
-
return "(TypeMismatch " + showStringImpl(v._1) + ")";
|
40595
|
-
}
|
40596
|
-
if (v.tag === "UnexpectedValue") {
|
40597
|
-
return "(UnexpectedValue " + stringify(v._1) + ")";
|
40598
|
-
}
|
40599
|
-
if (v.tag === "AtIndex") {
|
40600
|
-
return "(AtIndex " + showIntImpl(v._1) + " " + showJsonDecodeError.show(v._2) + ")";
|
40601
|
-
}
|
40602
|
-
if (v.tag === "AtKey") {
|
40603
|
-
return "(AtKey " + showStringImpl(v._1) + " " + showJsonDecodeError.show(v._2) + ")";
|
40604
|
-
}
|
40605
|
-
if (v.tag === "Named") {
|
40606
|
-
return "(Named " + showStringImpl(v._1) + " " + showJsonDecodeError.show(v._2) + ")";
|
40607
|
-
}
|
40608
|
-
if (v.tag === "MissingValue") {
|
40609
|
-
return "MissingValue";
|
40610
|
-
}
|
40611
|
-
fail();
|
40612
|
-
}
|
40613
|
-
};
|
40614
|
-
|
40615
40563
|
// output-es/Data.CodePoint.Unicode/index.js
|
40616
40564
|
var isUpper = (x2) => checkAttr([512, 524288])(x2);
|
40617
40565
|
var isSpace = (c) => {
|
@@ -43896,7 +43844,7 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
|
|
43896
43844
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
43897
43845
|
return (dictMonadError) => {
|
43898
43846
|
const $$throw2 = $$throw(dictMonadError.MonadThrow0());
|
43899
|
-
return (
|
43847
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
43900
43848
|
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") {
|
43901
43849
|
const $0 = v._2._2._1;
|
43902
43850
|
return $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))($BaseVal(
|
@@ -43915,12 +43863,12 @@ var matrixLookup = /* @__PURE__ */ $Tuple(
|
|
43915
43863
|
/* @__PURE__ */ $ForeignOp$p({
|
43916
43864
|
arity: 2,
|
43917
43865
|
op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
|
43918
|
-
const
|
43919
|
-
return (
|
43866
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
43867
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
43920
43868
|
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") {
|
43921
|
-
return
|
43869
|
+
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));
|
43922
43870
|
}
|
43923
|
-
return
|
43871
|
+
return MonadThrow0.throwError(error("Matrix and pair of integers expected"));
|
43924
43872
|
};
|
43925
43873
|
}
|
43926
43874
|
})
|
@@ -43934,32 +43882,6 @@ var log3 = (v2) => {
|
|
43934
43882
|
}
|
43935
43883
|
fail();
|
43936
43884
|
};
|
43937
|
-
var loadJson = /* @__PURE__ */ $Tuple(
|
43938
|
-
"loadJson",
|
43939
|
-
/* @__PURE__ */ $ForeignOp$p({
|
43940
|
-
arity: 1,
|
43941
|
-
op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
|
43942
|
-
const $$throw2 = $$throw(dictMonadError.MonadThrow0());
|
43943
|
-
return (dictMonadAff) => {
|
43944
|
-
const Monad0 = dictMonadAff.MonadEffect0().Monad0();
|
43945
|
-
const $0 = Monad0.Bind1();
|
43946
|
-
return (dictMonadReader) => {
|
43947
|
-
const ask = dictMonadReader.MonadAsk0().ask;
|
43948
|
-
return (dictLoadFile) => {
|
43949
|
-
const loadFile = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
|
43950
|
-
return (v) => {
|
43951
|
-
if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
|
43952
|
-
const $1 = v._1._3._1;
|
43953
|
-
return $0.bind(ask)((v1) => $0.bind(loadFile(v1.fluidSrcPaths)($1))((str) => Monad0.Applicative0().pure(throwException(error($1))())));
|
43954
|
-
}
|
43955
|
-
return $$throw2("String expected");
|
43956
|
-
};
|
43957
|
-
};
|
43958
|
-
};
|
43959
|
-
};
|
43960
|
-
}
|
43961
|
-
})
|
43962
|
-
);
|
43963
43885
|
var lessThanEquals = /* @__PURE__ */ union6(asBooleanBoolean)(asBooleanBoolean)(asIntNumberOrString)(asIntNumberOrString)((a1) => (a2) => a1 <= a2)(/* @__PURE__ */ union6(asBooleanBoolean)(asBooleanBoolean)(asNumberString)(asNumberString)((a1) => (a2) => a1 <= a2)((a1) => (a2) => a1 <= a2));
|
43964
43886
|
var lessThan = /* @__PURE__ */ union6(asBooleanBoolean)(asBooleanBoolean)(asIntNumberOrString)(asIntNumberOrString)((a1) => (a2) => a1 < a2)(/* @__PURE__ */ union6(asBooleanBoolean)(asBooleanBoolean)(asNumberString)(asNumberString)((a1) => (a2) => a1 < a2)((a1) => (a2) => a1 < a2));
|
43965
43887
|
var greaterThanEquals = /* @__PURE__ */ union6(asBooleanBoolean)(asBooleanBoolean)(asIntNumberOrString)(asIntNumberOrString)((a1) => (a2) => a1 >= a2)(/* @__PURE__ */ union6(asBooleanBoolean)(asBooleanBoolean)(asNumberString)(asNumberString)((a1) => (a2) => a1 >= a2)((a1) => (a2) => a1 >= a2));
|
@@ -43974,12 +43896,12 @@ var error_ = /* @__PURE__ */ $Tuple(
|
|
43974
43896
|
/* @__PURE__ */ $ForeignOp$p({
|
43975
43897
|
arity: 1,
|
43976
43898
|
op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
|
43977
|
-
const
|
43978
|
-
return (
|
43899
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
43900
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
43979
43901
|
if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
|
43980
|
-
return
|
43902
|
+
return MonadThrow0.Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
|
43981
43903
|
}
|
43982
|
-
return
|
43904
|
+
return MonadThrow0.throwError(error("String expected"));
|
43983
43905
|
};
|
43984
43906
|
}
|
43985
43907
|
})
|
@@ -43992,28 +43914,26 @@ var dims = /* @__PURE__ */ $Tuple(
|
|
43992
43914
|
op: (dictMonadWithGraphAlloc) => {
|
43993
43915
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
43994
43916
|
return (dictMonadError) => {
|
43995
|
-
const
|
43996
|
-
|
43997
|
-
|
43998
|
-
|
43999
|
-
|
44000
|
-
|
44001
|
-
|
44002
|
-
|
44003
|
-
|
44004
|
-
|
44005
|
-
|
44006
|
-
|
44007
|
-
|
44008
|
-
|
44009
|
-
|
44010
|
-
|
44011
|
-
|
44012
|
-
|
44013
|
-
|
44014
|
-
|
44015
|
-
return $$throw2("Matrix expected");
|
44016
|
-
};
|
43917
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
43918
|
+
const $0 = MonadThrow0.Monad0().Bind1();
|
43919
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
43920
|
+
if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
|
43921
|
+
const $1 = v._1._3._1._2._2._1;
|
43922
|
+
const $2 = v._1._1;
|
43923
|
+
const $3 = v._1._3._1._2._2._2;
|
43924
|
+
return $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._3._1._2._1._2, void 0, Leaf2))($BaseVal(
|
43925
|
+
"Int",
|
43926
|
+
v._1._3._1._2._1._1
|
43927
|
+
)))((v1) => $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $3, void 0, Leaf2))($BaseVal(
|
43928
|
+
"Int",
|
43929
|
+
$1
|
43930
|
+
)))((v2) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $2, void 0, Leaf2))($BaseVal(
|
43931
|
+
"Constr",
|
43932
|
+
"Pair",
|
43933
|
+
$List("Cons", v1, $List("Cons", v2, Nil))
|
43934
|
+
))));
|
43935
|
+
}
|
43936
|
+
return MonadThrow0.throwError(error("Matrix expected"));
|
44017
43937
|
};
|
44018
43938
|
};
|
44019
43939
|
}
|
@@ -44027,29 +43947,27 @@ var dict_map = /* @__PURE__ */ $Tuple(
|
|
44027
43947
|
const apply3 = apply2(dictMonadWithGraphAlloc);
|
44028
43948
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
44029
43949
|
return (dictMonadError) => {
|
44030
|
-
const
|
44031
|
-
|
44032
|
-
|
44033
|
-
|
44034
|
-
|
44035
|
-
|
44036
|
-
|
44037
|
-
|
44038
|
-
|
44039
|
-
|
44040
|
-
|
44041
|
-
|
44042
|
-
|
44043
|
-
|
44044
|
-
|
44045
|
-
|
44046
|
-
|
44047
|
-
|
44048
|
-
|
44049
|
-
|
44050
|
-
|
44051
|
-
return $$throw2("Function and dictionary expected");
|
44052
|
-
};
|
43950
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
43951
|
+
const Monad0 = MonadThrow0.Monad0();
|
43952
|
+
const Bind1 = Monad0.Bind1();
|
43953
|
+
const traverse1 = traversableDict.traverse(Monad0.Applicative0());
|
43954
|
+
return (dictMonadReader) => {
|
43955
|
+
const apply1 = apply3(dictMonadReader);
|
43956
|
+
return (dictLoadFile) => {
|
43957
|
+
const apply22 = apply1(dictLoadFile);
|
43958
|
+
return (v) => {
|
43959
|
+
if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
|
43960
|
+
const $0 = v._1;
|
43961
|
+
const $1 = v._2._1._1;
|
43962
|
+
return Bind1.bind(traverse1((v2) => {
|
43963
|
+
const $2 = v2._1;
|
43964
|
+
return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply22($0)(v2._2));
|
43965
|
+
})(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
|
43966
|
+
"Dictionary",
|
43967
|
+
d$p
|
43968
|
+
)));
|
43969
|
+
}
|
43970
|
+
return MonadThrow0.throwError(error("Function and dictionary expected"));
|
44053
43971
|
};
|
44054
43972
|
};
|
44055
43973
|
};
|
@@ -44065,42 +43983,40 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
|
|
44065
43983
|
const apply3 = apply2(dictMonadWithGraphAlloc);
|
44066
43984
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
44067
43985
|
return (dictMonadError) => {
|
44068
|
-
const
|
44069
|
-
|
44070
|
-
|
44071
|
-
|
44072
|
-
|
44073
|
-
|
44074
|
-
|
44075
|
-
|
44076
|
-
|
44077
|
-
|
44078
|
-
|
44079
|
-
|
44080
|
-
|
44081
|
-
|
44082
|
-
|
44083
|
-
|
44084
|
-
|
44085
|
-
|
44086
|
-
|
44087
|
-
return Bind1.bind(Bind1.bind(apply22($1)(v2._2))((a) => apply22(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert3(ordVertex)($6)()($$$Map(
|
44088
|
-
"Two",
|
44089
|
-
Leaf2,
|
44090
|
-
$5,
|
44091
|
-
void 0,
|
44092
|
-
Leaf2
|
44093
|
-
)))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
|
44094
|
-
})(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert3(ordVertex)($3)()($$$Map(
|
43986
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
43987
|
+
const Monad0 = MonadThrow0.Monad0();
|
43988
|
+
const Bind1 = Monad0.Bind1();
|
43989
|
+
const Applicative0 = Monad0.Applicative0();
|
43990
|
+
const $0 = Bind1.Apply0().Functor0();
|
43991
|
+
return (dictMonadReader) => {
|
43992
|
+
const apply1 = apply3(dictMonadReader);
|
43993
|
+
return (dictLoadFile) => {
|
43994
|
+
const apply22 = apply1(dictLoadFile);
|
43995
|
+
return (v) => {
|
43996
|
+
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") {
|
43997
|
+
const $1 = v._1;
|
43998
|
+
const $2 = v._2._1._1;
|
43999
|
+
const $3 = v._2._2._1._1;
|
44000
|
+
return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
|
44001
|
+
const $4 = v3._2;
|
44002
|
+
const $5 = v2._1;
|
44003
|
+
const $6 = v3._1;
|
44004
|
+
return Bind1.bind(Bind1.bind(apply22($1)(v2._2))((a) => apply22(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert3(ordVertex)($6)()($$$Map(
|
44095
44005
|
"Two",
|
44096
44006
|
Leaf2,
|
44097
|
-
$
|
44007
|
+
$5,
|
44098
44008
|
void 0,
|
44099
44009
|
Leaf2
|
44100
|
-
)))(
|
44101
|
-
}
|
44102
|
-
|
44103
|
-
|
44010
|
+
)))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
|
44011
|
+
})(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert3(ordVertex)($3)()($$$Map(
|
44012
|
+
"Two",
|
44013
|
+
Leaf2,
|
44014
|
+
$2,
|
44015
|
+
void 0,
|
44016
|
+
Leaf2
|
44017
|
+
)))(v$p));
|
44018
|
+
}
|
44019
|
+
return MonadThrow0.throwError(error("Function and two dictionaries expected"));
|
44104
44020
|
};
|
44105
44021
|
};
|
44106
44022
|
};
|
@@ -44114,7 +44030,7 @@ var dict_get = /* @__PURE__ */ $Tuple(
|
|
44114
44030
|
arity: 2,
|
44115
44031
|
op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
|
44116
44032
|
const MonadThrow0 = dictMonadError.MonadThrow0();
|
44117
|
-
return (
|
44033
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
44118
44034
|
if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
|
44119
44035
|
return orElse(MonadThrow0)('Key "' + v._1._3._1 + '" not found')((() => {
|
44120
44036
|
const $0 = _lookup(Nothing, Just, v._1._3._1, v._2._1._3._1);
|
@@ -44136,23 +44052,21 @@ var dict_foldl = /* @__PURE__ */ $Tuple(
|
|
44136
44052
|
op: (dictMonadWithGraphAlloc) => {
|
44137
44053
|
const apply3 = apply2(dictMonadWithGraphAlloc);
|
44138
44054
|
return (dictMonadError) => {
|
44139
|
-
const
|
44140
|
-
|
44141
|
-
|
44142
|
-
|
44143
|
-
|
44144
|
-
|
44145
|
-
|
44146
|
-
|
44147
|
-
|
44148
|
-
|
44149
|
-
|
44150
|
-
|
44151
|
-
|
44152
|
-
|
44153
|
-
|
44154
|
-
return $$throw2("Function, value and dictionary expected");
|
44155
|
-
};
|
44055
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
44056
|
+
const Monad0 = MonadThrow0.Monad0();
|
44057
|
+
return (dictMonadReader) => {
|
44058
|
+
const apply1 = apply3(dictMonadReader);
|
44059
|
+
return (dictLoadFile) => {
|
44060
|
+
const apply22 = apply1(dictLoadFile);
|
44061
|
+
return (v) => {
|
44062
|
+
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") {
|
44063
|
+
const $0 = v._1;
|
44064
|
+
return foldM4(Monad0)((u1) => (v2) => {
|
44065
|
+
const $1 = v2._2;
|
44066
|
+
return Monad0.Bind1().bind(apply22($0)(u1))((a) => apply22(a)($1));
|
44067
|
+
})(v._2._1)(v._2._2._1._3._1);
|
44068
|
+
}
|
44069
|
+
return MonadThrow0.throwError(error("Function, value and dictionary expected"));
|
44156
44070
|
};
|
44157
44071
|
};
|
44158
44072
|
};
|
@@ -44168,7 +44082,7 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
|
|
44168
44082
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
44169
44083
|
return (dictMonadError) => {
|
44170
44084
|
const $$throw2 = $$throw(dictMonadError.MonadThrow0());
|
44171
|
-
return (
|
44085
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
44172
44086
|
if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
|
44173
44087
|
return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
|
44174
44088
|
"Two",
|
@@ -44192,7 +44106,7 @@ var dict_difference = /* @__PURE__ */ $Tuple(
|
|
44192
44106
|
const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
|
44193
44107
|
return (dictMonadError) => {
|
44194
44108
|
const $$throw2 = $$throw(dictMonadError.MonadThrow0());
|
44195
|
-
return (
|
44109
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
44196
44110
|
if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
|
44197
44111
|
return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
|
44198
44112
|
"Two",
|
@@ -44213,13 +44127,13 @@ var debugLog = /* @__PURE__ */ $Tuple(
|
|
44213
44127
|
/* @__PURE__ */ $ForeignOp$p({
|
44214
44128
|
arity: 1,
|
44215
44129
|
op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
|
44216
|
-
const
|
44217
|
-
return (
|
44130
|
+
const MonadThrow0 = dictMonadError.MonadThrow0();
|
44131
|
+
return (dictMonadReader) => (dictLoadFile) => (v) => {
|
44218
44132
|
if (v.tag === "Cons" && v._2.tag === "Nil") {
|
44219
44133
|
const $0 = v._1;
|
44220
|
-
return
|
44134
|
+
return MonadThrow0.Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
|
44221
44135
|
}
|
44222
|
-
return
|
44136
|
+
return MonadThrow0.throwError(error("Single value expected"));
|
44223
44137
|
};
|
44224
44138
|
}
|
44225
44139
|
})
|
@@ -44233,7 +44147,6 @@ var primitives = /* @__PURE__ */ fromFoldable(foldableArray)([
|
|
44233
44147
|
/* @__PURE__ */ extern1(debugLog),
|
44234
44148
|
/* @__PURE__ */ extern1(dims),
|
44235
44149
|
/* @__PURE__ */ extern1(error_),
|
44236
|
-
/* @__PURE__ */ extern1(loadJson),
|
44237
44150
|
/* @__PURE__ */ unary2("floor")({ i: number5, o: $$int, fwd: floor2 }),
|
44238
44151
|
/* @__PURE__ */ unary2("log")({ i: intOrNumber, o: number5, fwd: log3 }),
|
44239
44152
|
/* @__PURE__ */ unary2("numToStr")({ i: intOrNumber, o: string2, fwd: numToStr }),
|
@@ -44446,14 +44359,12 @@ var initialConfig = (dictMonadAff) => {
|
|
44446
44359
|
Applicative0: () => applicativeStateT(Monad0),
|
44447
44360
|
Bind1: () => bindStateT(Monad0)
|
44448
44361
|
})(graphGraphImpl);
|
44449
|
-
const
|
44450
|
-
const monadAffState1 = monadAffState(monadAffState2);
|
44451
|
-
const $2 = monadAffState2.MonadEffect0().Monad0();
|
44362
|
+
const $2 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
|
44452
44363
|
const $3 = dictMonadAff.MonadEffect0().Monad0();
|
44453
44364
|
return (dictMonadError) => {
|
44454
44365
|
const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
|
44455
44366
|
return (dictMonadReader) => {
|
44456
|
-
const eval_progCxt1 = eval_progCxt2(monadReaderStateT(monadReaderStateT(dictMonadReader)))
|
44367
|
+
const eval_progCxt1 = eval_progCxt2(monadReaderStateT(monadReaderStateT(dictMonadReader)));
|
44457
44368
|
return (dictLoadFile) => {
|
44458
44369
|
const eval_progCxt22 = eval_progCxt1((() => {
|
44459
44370
|
const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
|
@@ -45165,6 +45076,36 @@ var drawFile = (v) => {
|
|
45165
45076
|
};
|
45166
45077
|
};
|
45167
45078
|
|
45079
|
+
// output-es/Data.Argonaut.Decode.Error/index.js
|
45080
|
+
var $JsonDecodeError = (tag, _1, _2) => ({ tag, _1, _2 });
|
45081
|
+
var AtIndex = (value0) => (value1) => $JsonDecodeError("AtIndex", value0, value1);
|
45082
|
+
var AtKey = (value0) => (value1) => $JsonDecodeError("AtKey", value0, value1);
|
45083
|
+
var Named = (value0) => (value1) => $JsonDecodeError("Named", value0, value1);
|
45084
|
+
var MissingValue = /* @__PURE__ */ $JsonDecodeError("MissingValue");
|
45085
|
+
var showJsonDecodeError = {
|
45086
|
+
show: (v) => {
|
45087
|
+
if (v.tag === "TypeMismatch") {
|
45088
|
+
return "(TypeMismatch " + showStringImpl(v._1) + ")";
|
45089
|
+
}
|
45090
|
+
if (v.tag === "UnexpectedValue") {
|
45091
|
+
return "(UnexpectedValue " + stringify(v._1) + ")";
|
45092
|
+
}
|
45093
|
+
if (v.tag === "AtIndex") {
|
45094
|
+
return "(AtIndex " + showIntImpl(v._1) + " " + showJsonDecodeError.show(v._2) + ")";
|
45095
|
+
}
|
45096
|
+
if (v.tag === "AtKey") {
|
45097
|
+
return "(AtKey " + showStringImpl(v._1) + " " + showJsonDecodeError.show(v._2) + ")";
|
45098
|
+
}
|
45099
|
+
if (v.tag === "Named") {
|
45100
|
+
return "(Named " + showStringImpl(v._1) + " " + showJsonDecodeError.show(v._2) + ")";
|
45101
|
+
}
|
45102
|
+
if (v.tag === "MissingValue") {
|
45103
|
+
return "MissingValue";
|
45104
|
+
}
|
45105
|
+
fail();
|
45106
|
+
}
|
45107
|
+
};
|
45108
|
+
|
45168
45109
|
// output-es/Data.Argonaut.Decode.Decoders/index.js
|
45169
45110
|
var traverseWithIndex = /* @__PURE__ */ (() => traversableWithIndexArray.traverseWithIndex(applicativeEither))();
|
45170
45111
|
var decodeJArray = (x2) => {
|