@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.
@@ -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) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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) => (dictMonadAff) => {
40091
- const Monad0 = dictMonadAff.MonadEffect0().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)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
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) => (dictMonadAff) => {
40110
- const Monad0 = dictMonadAff.MonadEffect0().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)(dictMonadAff)(dictLoadFile)(v)(v2._1)(setSet4.empty));
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) => (dictMonadAff) => {
40141
- const Monad0 = dictMonadAff.MonadEffect0().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)(dictMonadAff)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal(
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)(dictMonadAff)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal(
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)(dictMonadAff)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal(
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)(dictMonadAff)(dictLoadFile)(v);
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)(dictMonadAff)(dictLoadFile)(v)(insert3(ordVertex)($2)()(v2))($1)($BaseVal(
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)(dictMonadAff)(dictLoadFile)(v);
40204
+ const $5 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v);
40214
40205
  return (a) => $5(a)(v2);
40215
- })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert3(ordVertex)($4)()(v2))($2)($BaseVal(
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)(dictMonadAff)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
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)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity18)(v)(disjointUnion2((() => {
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)(dictMonadAff)(dictLoadFile)(v)(insert3(ordVertex)($5)()(v2))($1)($BaseVal(
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)(dictMonadAff)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
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)(dictMonadAff)(dictLoadFile)(v)(v$p)($1));
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)(dictMonadAff)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)($2)(v2))((v$p) => {
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)(dictMonadAff)(dictLoadFile)(v)(v$p$p)($1));
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)(dictMonadAff)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)($2)(v2))((v$p) => Bind1.bind(apply2(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v3)(v$p))((v4) => {
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)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
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)(dictMonadAff)(dictLoadFile)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
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)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity18)(v)(\u03B3$p))($1)(insert3(ordVertex)($2)()(v2)));
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) => (dictMonadAff) => {
40334
- const Monad0 = dictMonadAff.MonadEffect0().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)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity18)(\u03B3)((() => {
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) => (dictMonadAff) => {
40353
- const Bind1 = dictMonadAff.MonadEffect0().Monad0().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)(dictMonadAff)(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))));
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)(dictMonadAff)(dictMonadReader)(dictLoadFile)(vs$p);
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 (dictMonadAff) => {
40469
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
40470
- const $0 = Monad0.Bind1();
40471
- const eval3 = eval2(dictMonadAff);
40472
- return (dictLoadFile) => {
40473
- const eval4 = eval3(dictLoadFile);
40474
- return (\u03B3) => {
40475
- const go = (v) => (v1) => (v2) => {
40476
- if (v1.tag === "Nil") {
40477
- return Monad0.Applicative0().pure(v);
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 === "Cons") {
40480
- if (v1._1.tag === "Left") {
40481
- const $1 = v1._2;
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
- fail();
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
- return (dictMonadAff) => {
40505
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
40506
- const $0 = Monad0.Bind1();
40507
- const eval_module3 = eval_module2(dictMonadAff);
40508
- const $1 = Monad0.Applicative0();
40509
- const eval3 = eval2(dictMonadAff);
40510
- const concatM1 = concatM(Monad0);
40511
- return (dictLoadFile) => {
40512
- const eval_module4 = eval_module3(dictLoadFile);
40513
- const eval4 = eval3(dictLoadFile);
40514
- return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
40515
- const $2 = v1._1;
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 monadAffState2 = monadAffState(dictMonadAff);
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)(monadAffState1)((() => {
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 (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
43919
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 dictMonadAff.MonadEffect0().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));
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 $$throw2("Matrix and pair of integers expected");
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
43978
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
43902
+ return MonadThrow0.Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
43981
43903
  }
43982
- return $$throw2("String expected");
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
43996
- return (dictMonadAff) => {
43997
- const $0 = dictMonadAff.MonadEffect0().Monad0().Bind1();
43998
- return (dictMonadReader) => (dictLoadFile) => (v) => {
43999
- if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
44000
- const $1 = v._1._3._1._2._2._1;
44001
- const $2 = v._1._1;
44002
- const $3 = v._1._3._1._2._2._2;
44003
- return $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._3._1._2._1._2, void 0, Leaf2))($BaseVal(
44004
- "Int",
44005
- v._1._3._1._2._1._1
44006
- )))((v1) => $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $3, void 0, Leaf2))($BaseVal(
44007
- "Int",
44008
- $1
44009
- )))((v2) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $2, void 0, Leaf2))($BaseVal(
44010
- "Constr",
44011
- "Pair",
44012
- $List("Cons", v1, $List("Cons", v2, Nil))
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
44031
- return (dictMonadAff) => {
44032
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44033
- const Bind1 = Monad0.Bind1();
44034
- const traverse1 = traversableDict.traverse(Monad0.Applicative0());
44035
- return (dictMonadReader) => {
44036
- const apply1 = apply3(dictMonadReader)(dictMonadAff);
44037
- return (dictLoadFile) => {
44038
- const apply22 = apply1(dictLoadFile);
44039
- return (v) => {
44040
- if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
44041
- const $0 = v._1;
44042
- const $1 = v._2._1._1;
44043
- return Bind1.bind(traverse1((v2) => {
44044
- const $2 = v2._1;
44045
- return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply22($0)(v2._2));
44046
- })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
44047
- "Dictionary",
44048
- d$p
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
44069
- return (dictMonadAff) => {
44070
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44071
- const Bind1 = Monad0.Bind1();
44072
- const Applicative0 = Monad0.Applicative0();
44073
- const $0 = Bind1.Apply0().Functor0();
44074
- return (dictMonadReader) => {
44075
- const apply1 = apply3(dictMonadReader)(dictMonadAff);
44076
- return (dictLoadFile) => {
44077
- const apply22 = apply1(dictLoadFile);
44078
- return (v) => {
44079
- 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") {
44080
- const $1 = v._1;
44081
- const $2 = v._2._1._1;
44082
- const $3 = v._2._2._1._1;
44083
- return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
44084
- const $4 = v3._2;
44085
- const $5 = v2._1;
44086
- const $6 = v3._1;
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
- $2,
44007
+ $5,
44098
44008
  void 0,
44099
44009
  Leaf2
44100
- )))(v$p));
44101
- }
44102
- return $$throw2("Function and two dictionaries expected");
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 (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
44140
- return (dictMonadAff) => {
44141
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
44142
- return (dictMonadReader) => {
44143
- const apply1 = apply3(dictMonadReader)(dictMonadAff);
44144
- return (dictLoadFile) => {
44145
- const apply22 = apply1(dictLoadFile);
44146
- return (v) => {
44147
- 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") {
44148
- const $0 = v._1;
44149
- return foldM4(Monad0)((u1) => (v2) => {
44150
- const $1 = v2._2;
44151
- return Monad0.Bind1().bind(apply22($0)(u1))((a) => apply22(a)($1));
44152
- })(v._2._1)(v._2._2._1._3._1);
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 (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 $$throw2 = $$throw(dictMonadError.MonadThrow0());
44217
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
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 dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
44134
+ return MonadThrow0.Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
44221
44135
  }
44222
- return $$throw2("Single value expected");
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 monadAffState2 = monadAffState(dictMonadAff);
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)))(monadAffState1);
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) => {