@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.
Files changed (5) hide show
  1. package/dist/fluid/shared/fluid.mjs +186 -245
  2. package/dist/fluid/shared/load-figure.js +207 -266
  3. package/dist/fluid/shared/webtest-lib.js +596 -596
  4. package/package.json +1 -1
  5. package/script/bundle-website.sh +6 -10
package/dist/fluid/shared/fluid.mjs CHANGED
@@ -18023,8 +18023,8 @@ var isZeroNumber = { isZero: ($0) => 0 === $0 };
18023
18023
  var isZeroInt = { isZero: ($0) => 0 === $0 };
18024
18024
  var unary = (dictBoundedJoinSemilattice) => {
18025
18025
  const bot = dictBoundedJoinSemilattice.bot;
18026
- return (id2) => (f) => $Tuple(
18027
- id2,
18026
+ return (id) => (f) => $Tuple(
18027
+ id,
18028
18028
  $Val(
18029
18029
  bot,
18030
18030
  None,
@@ -18033,12 +18033,12 @@ var unary = (dictBoundedJoinSemilattice) => {
18033
18033
  $Fun(
18034
18034
  "Foreign",
18035
18035
  $Tuple(
18036
- id2,
18036
+ id,
18037
18037
  $ForeignOp$p({
18038
18038
  arity: 1,
18039
18039
  op: (dictMonadWithGraphAlloc) => {
18040
18040
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18041
- return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
18041
+ return (dictMonadError) => (dictMonadReader) => (dictLoadFile) => (v) => {
18042
18042
  if (v.tag === "Cons" && v._2.tag === "Nil") {
18043
18043
  const $0 = v._1._2;
18044
18044
  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))));
@@ -18172,8 +18172,8 @@ var $$boolean = {
18172
18172
  };
18173
18173
  var binaryZero = (dictBoundedJoinSemilattice) => {
18174
18174
  const bot = dictBoundedJoinSemilattice.bot;
18175
- return (dictIsZero) => (id2) => (f) => $Tuple(
18176
- id2,
18175
+ return (dictIsZero) => (id) => (f) => $Tuple(
18176
+ id,
18177
18177
  $Val(
18178
18178
  bot,
18179
18179
  None,
@@ -18182,12 +18182,12 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
18182
18182
  $Fun(
18183
18183
  "Foreign",
18184
18184
  $Tuple(
18185
- id2,
18185
+ id,
18186
18186
  $ForeignOp$p({
18187
18187
  arity: 2,
18188
18188
  op: (dictMonadWithGraphAlloc) => {
18189
18189
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18190
- return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
18190
+ return (dictMonadError) => (dictMonadReader) => (dictLoadFile) => (v) => {
18191
18191
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
18192
18192
  const $0 = f.i.unpack(v._1._3);
18193
18193
  const $1 = f.i.unpack(v._2._1._3);
@@ -18220,8 +18220,8 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
18220
18220
  };
18221
18221
  var binary = (dictBoundedJoinSemilattice) => {
18222
18222
  const bot = dictBoundedJoinSemilattice.bot;
18223
- return (id2) => (f) => $Tuple(
18224
- id2,
18223
+ return (id) => (f) => $Tuple(
18224
+ id,
18225
18225
  $Val(
18226
18226
  bot,
18227
18227
  None,
@@ -18230,12 +18230,12 @@ var binary = (dictBoundedJoinSemilattice) => {
18230
18230
  $Fun(
18231
18231
  "Foreign",
18232
18232
  $Tuple(
18233
- id2,
18233
+ id,
18234
18234
  $ForeignOp$p({
18235
18235
  arity: 2,
18236
18236
  op: (dictMonadWithGraphAlloc) => {
18237
18237
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18238
- return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
18238
+ return (dictMonadError) => (dictMonadReader) => (dictLoadFile) => (v) => {
18239
18239
  if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
18240
18240
  return $$new((a) => Val(a)(None))(insert(ordVertex)(v._2._1._1)()($$$Map(
18241
18241
  "Two",
@@ -18436,14 +18436,14 @@ var closeDefs = (dictMonadWithGraphAlloc) => {
18436
18436
  var new$p = (dictMonadWithGraphAlloc) => {
18437
18437
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18438
18438
  const fresh = dictMonadWithGraphAlloc.MonadAlloc0().fresh;
18439
- return (dictMonadReader) => (dictMonadAff) => {
18440
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18439
+ return (dictMonadReader) => {
18440
+ const Monad0 = dictMonadReader.MonadAsk0().Monad0();
18441
18441
  const Bind1 = Monad0.Bind1();
18442
18442
  return (dictLoadFile) => (v) => (v1) => (v2) => (v3) => {
18443
18443
  if (v2.tag === "None") {
18444
18444
  return $$new((\u03B1s$p) => (u$p) => $Val(\u03B1s$p, None, u$p))(v1)(v3);
18445
18445
  }
18446
- return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith2((v$1) => identity13)(v)((() => {
18446
+ return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith2((v$1) => identity13)(v)((() => {
18447
18447
  const $0 = {};
18448
18448
  $0.this = $Val(\u03B1, None, v3);
18449
18449
  return $0;
@@ -18455,8 +18455,8 @@ var new$p = (dictMonadWithGraphAlloc) => {
18455
18455
  };
18456
18456
  };
18457
18457
  };
18458
- var evalDocOpt = (dictMonadWithGraphAlloc) => (dictMonadReader) => (dictMonadAff) => {
18459
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18458
+ var evalDocOpt = (dictMonadWithGraphAlloc) => (dictMonadReader) => {
18459
+ const Monad0 = dictMonadReader.MonadAsk0().Monad0();
18460
18460
  const Applicative0 = Monad0.Applicative0();
18461
18461
  const $0 = Monad0.Bind1().Apply0().Functor0();
18462
18462
  const sequence2 = traversableList.traverse(Applicative0)(identity5);
@@ -18470,7 +18470,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => (dictMonadReader) => (dictMonadAff
18470
18470
  return Applicative0.pure($DocCommentElem("Token", v2._1));
18471
18471
  }
18472
18472
  if (v2.tag === "Unquote") {
18473
- return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v2._1)(setSet4.empty));
18473
+ return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v2._1)(setSet4.empty));
18474
18474
  }
18475
18475
  fail();
18476
18476
  })(v1._1)));
@@ -18486,8 +18486,8 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18486
18486
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18487
18487
  const match1 = match(dictMonadWithGraphAlloc);
18488
18488
  const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
18489
- return (dictMonadReader) => (dictMonadAff) => {
18490
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18489
+ return (dictMonadReader) => {
18490
+ const Monad0 = dictMonadReader.MonadAsk0().Monad0();
18491
18491
  const Bind1 = Monad0.Bind1();
18492
18492
  const $0 = Bind1.Apply0().Functor0();
18493
18493
  const Applicative0 = Monad0.Applicative0();
@@ -18502,32 +18502,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18502
18502
  return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
18503
18503
  }
18504
18504
  if (v1.tag === "Int") {
18505
- return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal(
18506
- "Int",
18507
- v1._3
18508
- ));
18505
+ return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
18509
18506
  }
18510
18507
  if (v1.tag === "Float") {
18511
- return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal(
18512
- "Float",
18513
- v1._3
18514
- ));
18508
+ return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
18515
18509
  }
18516
18510
  if (v1.tag === "Str") {
18517
- return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal(
18518
- "Str",
18519
- v1._3
18520
- ));
18511
+ return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
18521
18512
  }
18522
18513
  if (v1.tag === "Dictionary") {
18523
18514
  const $1 = v1._2;
18524
18515
  const $2 = v1._1;
18525
18516
  return Bind1.bind($0.map(unzip3)(traverse2(traverse3((() => {
18526
- const $3 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v);
18517
+ const $3 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v);
18527
18518
  return (a) => $3(a)(v2);
18528
18519
  })()))(v1._3)))((v3) => {
18529
18520
  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));
18530
- return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert(ordVertex)($2)()(v2))($1)($BaseVal(
18521
+ return new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert(ordVertex)($2)()(v2))($1)($BaseVal(
18531
18522
  "Dictionary",
18532
18523
  fromFoldable17(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2)))
18533
18524
  ));
@@ -18559,13 +18550,9 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18559
18550
  };
18560
18551
  return go(0)($3);
18561
18552
  })()))(() => Bind1.bind(traverse2((() => {
18562
- const $5 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v);
18553
+ const $5 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v);
18563
18554
  return (a) => $5(a)(v2);
18564
- })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert(ordVertex)($4)()(v2))($2)($BaseVal(
18565
- "Constr",
18566
- $1,
18567
- vs
18568
- ))));
18555
+ })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
18569
18556
  }
18570
18557
  if (v1.tag === "Matrix") {
18571
18558
  const $1 = v1._2;
@@ -18573,7 +18560,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18573
18560
  const $3 = v1._4._1;
18574
18561
  const $4 = v1._4._2;
18575
18562
  const $5 = v1._1;
18576
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
18563
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
18577
18564
  const v5 = intPair.unpack(v3._3);
18578
18565
  const $6 = v5._1._1;
18579
18566
  const $7 = v5._2._1;
@@ -18584,7 +18571,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18584
18571
  1
18585
18572
  )) + "); got (" + show3($Tuple($6, $7)) + ")"))(() => Bind1.bind(sequence2(arrayBind(range(1)($6))((i) => [
18586
18573
  sequence2(arrayBind(range(1)($7))((j) => [
18587
- $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(disjointUnion2((() => {
18574
+ $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(disjointUnion2((() => {
18588
18575
  const $10 = {};
18589
18576
  $10[$3] = $Val($8, None, $BaseVal("Int", i));
18590
18577
  return $10;
@@ -18594,7 +18581,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18594
18581
  return $10;
18595
18582
  })())))($2)(v2)
18596
18583
  ]))
18597
- ])))((vss) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(insert(ordVertex)($5)()(v2))($1)($BaseVal(
18584
+ ])))((vss) => new$p(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(insert(ordVertex)($5)()(v2))($1)($BaseVal(
18598
18585
  "Matrix",
18599
18586
  $Tuple(vss, $Tuple($Tuple($6, $8), $Tuple($7, $9)))
18600
18587
  ))));
@@ -18620,7 +18607,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18620
18607
  if (v1.tag === "Project") {
18621
18608
  const $1 = v1._1;
18622
18609
  const $2 = v1._3;
18623
- return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
18610
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
18624
18611
  if (v3._3.tag === "Dictionary") {
18625
18612
  return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + $2 + '" not found')((() => {
18626
18613
  const $3 = _lookup(Nothing, Just, $2, v3._3._1);
@@ -18628,7 +18615,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18628
18615
  return $Maybe("Just", $3._1._2);
18629
18616
  }
18630
18617
  return Nothing;
18631
- })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v$p)($1));
18618
+ })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v$p)($1));
18632
18619
  }
18633
18620
  return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v3)).lines) + ", expected dictionary"));
18634
18621
  });
@@ -18636,7 +18623,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18636
18623
  if (v1.tag === "DProject") {
18637
18624
  const $1 = v1._1;
18638
18625
  const $2 = v1._3;
18639
- 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) => {
18626
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)($2)(v2))((v$p) => {
18640
18627
  if (v3._3.tag === "Dictionary") {
18641
18628
  if (v$p._3.tag === "Str") {
18642
18629
  return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + v$p._3._1 + '" not found')((() => {
@@ -18645,7 +18632,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18645
18632
  return $Maybe("Just", $3._1._2);
18646
18633
  }
18647
18634
  return Nothing;
18648
- })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v$p$p)($1));
18635
+ })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v$p$p)($1));
18649
18636
  }
18650
18637
  return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v$p)).lines) + ", expected string"));
18651
18638
  }
@@ -18655,10 +18642,10 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18655
18642
  if (v1.tag === "App") {
18656
18643
  const $1 = v1._1;
18657
18644
  const $2 = v1._3;
18658
- 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) => {
18645
+ 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) => {
18659
18646
  const $3 = v4._3;
18660
18647
  const $4 = v4._1;
18661
- return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith2((v$1) => identity13)(v)((() => {
18648
+ return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith2((v$1) => identity13)(v)((() => {
18662
18649
  const $5 = {};
18663
18650
  $5.this = v4;
18664
18651
  return $5;
@@ -18668,24 +18655,24 @@ var $$eval = (dictMonadWithGraphAlloc) => {
18668
18655
  if (v1.tag === "Let") {
18669
18656
  const $1 = v1._2;
18670
18657
  const $2 = v1._1._1;
18671
- 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)(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18658
+ return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18672
18659
  }
18673
18660
  if (v1.tag === "LetRec") {
18674
18661
  const $1 = v1._2;
18675
18662
  const $2 = v1._1._1;
18676
- return Bind1.bind(closeDefs1(v)(v1._1._2)(insert(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(\u03B3$p))($1)(insert(ordVertex)($2)()(v2)));
18663
+ return Bind1.bind(closeDefs1(v)(v1._1._2)(insert(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith2((v$1) => identity13)(v)(\u03B3$p))($1)(insert(ordVertex)($2)()(v2)));
18677
18664
  }
18678
18665
  fail();
18679
18666
  };
18680
18667
  };
18681
18668
  };
18682
- var concatDocs = (dictMonadWithGraphAlloc) => (dictMonadReader) => (dictMonadAff) => {
18683
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18669
+ var concatDocs = (dictMonadWithGraphAlloc) => (dictMonadReader) => {
18670
+ const Monad0 = dictMonadReader.MonadAsk0().Monad0();
18684
18671
  return (dictLoadFile) => (\u03B3) => (v) => (doc) => {
18685
18672
  const $0 = v._3;
18686
18673
  const $1 = v._2;
18687
18674
  const $2 = v._1;
18688
- return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith2((v$1) => identity13)(\u03B3)((() => {
18675
+ return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictMonadReader)(dictLoadFile)(unionWith2((v$1) => identity13)(\u03B3)((() => {
18689
18676
  const $3 = {};
18690
18677
  $3.this = $Val($2, None, $0);
18691
18678
  return $3;
@@ -18698,8 +18685,8 @@ var apply2 = (dictMonadWithGraphAlloc) => {
18698
18685
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
18699
18686
  const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
18700
18687
  const MonadThrow0 = MonadError1.MonadThrow0();
18701
- return (dictMonadReader) => (dictMonadAff) => {
18702
- const Bind1 = dictMonadAff.MonadEffect0().Monad0().Bind1();
18688
+ return (dictMonadReader) => {
18689
+ const Bind1 = dictMonadReader.MonadAsk0().Monad0().Bind1();
18703
18690
  return (dictLoadFile) => (v) => (v1) => {
18704
18691
  const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", expected function"));
18705
18692
  if (v._3.tag === "Fun") {
@@ -18707,7 +18694,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
18707
18694
  const $1 = v._1;
18708
18695
  const $2 = v._3._1._1;
18709
18696
  const $3 = v._3._1._3;
18710
- 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)(unionWith2((v$1) => identity13)(unionWith2((v$1) => identity13)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v3._2._2))));
18697
+ 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)(unionWith2((v$1) => identity13)(unionWith2((v$1) => identity13)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v3._2._2))));
18711
18698
  }
18712
18699
  if (v._3._1.tag === "Foreign") {
18713
18700
  const $1 = v._3._1._1._2;
@@ -18738,7 +18725,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
18738
18725
  $Fun("Foreign", $Tuple(v._3._1._1._1, $1), vs$p)
18739
18726
  ));
18740
18727
  }
18741
- return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictMonadAff)(dictMonadReader)(dictLoadFile)(vs$p);
18728
+ return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictMonadReader)(dictLoadFile)(vs$p);
18742
18729
  }
18743
18730
  if (v._3._1.tag === "PartialConstr") {
18744
18731
  const $1 = v._1;
@@ -18813,33 +18800,30 @@ var eval_module = (dictMonadWithGraphAlloc) => {
18813
18800
  const match1 = match(dictMonadWithGraphAlloc);
18814
18801
  const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
18815
18802
  return (dictMonadReader) => {
18803
+ const Monad0 = dictMonadReader.MonadAsk0().Monad0();
18804
+ const $0 = Monad0.Bind1();
18816
18805
  const eval2 = eval1(dictMonadReader);
18817
- return (dictMonadAff) => {
18818
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18819
- const $0 = Monad0.Bind1();
18820
- const eval3 = eval2(dictMonadAff);
18821
- return (dictLoadFile) => {
18822
- const eval4 = eval3(dictLoadFile);
18823
- return (\u03B3) => {
18824
- const go = (v) => (v1) => (v2) => {
18825
- if (v1.tag === "Nil") {
18826
- return Monad0.Applicative0().pure(v);
18806
+ return (dictLoadFile) => {
18807
+ const eval3 = eval2(dictLoadFile);
18808
+ return (\u03B3) => {
18809
+ const go = (v) => (v1) => (v2) => {
18810
+ if (v1.tag === "Nil") {
18811
+ return Monad0.Applicative0().pure(v);
18812
+ }
18813
+ if (v1.tag === "Cons") {
18814
+ if (v1._1.tag === "Left") {
18815
+ const $1 = v1._2;
18816
+ const $2 = v1._1._1._1;
18817
+ return $0.bind(eval3(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18827
18818
  }
18828
- if (v1.tag === "Cons") {
18829
- if (v1._1.tag === "Left") {
18830
- const $1 = v1._2;
18831
- const $2 = v1._1._1._1;
18832
- return $0.bind(eval4(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith2((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
18833
- }
18834
- if (v1._1.tag === "Right") {
18835
- const $1 = v1._2;
18836
- return $0.bind(closeDefs1(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(insert(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith2((v$1) => identity13)(v)(\u03B3$p$p))($1)(v2));
18837
- }
18819
+ if (v1._1.tag === "Right") {
18820
+ const $1 = v1._2;
18821
+ return $0.bind(closeDefs1(unionWith2((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(insert(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith2((v$1) => identity13)(v)(\u03B3$p$p))($1)(v2));
18838
18822
  }
18839
- fail();
18840
- };
18841
- return go(empty);
18823
+ }
18824
+ fail();
18842
18825
  };
18826
+ return go(empty);
18843
18827
  };
18844
18828
  };
18845
18829
  };
@@ -18848,27 +18832,23 @@ var eval_progCxt = (dictMonadWithGraphAlloc) => {
18848
18832
  const eval_module1 = eval_module(dictMonadWithGraphAlloc);
18849
18833
  const eval1 = $$eval(dictMonadWithGraphAlloc);
18850
18834
  return (dictMonadReader) => {
18835
+ const Monad0 = dictMonadReader.MonadAsk0().Monad0();
18836
+ const $0 = Monad0.Bind1();
18851
18837
  const eval_module2 = eval_module1(dictMonadReader);
18838
+ const $1 = Monad0.Applicative0();
18852
18839
  const eval2 = eval1(dictMonadReader);
18853
- return (dictMonadAff) => {
18854
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
18855
- const $0 = Monad0.Bind1();
18856
- const eval_module3 = eval_module2(dictMonadAff);
18857
- const $1 = Monad0.Applicative0();
18858
- const eval3 = eval2(dictMonadAff);
18859
- const concatM1 = concatM(Monad0);
18860
- return (dictLoadFile) => {
18861
- const eval_module4 = eval_module3(dictLoadFile);
18862
- const eval4 = eval3(dictLoadFile);
18863
- return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
18864
- const $2 = v1._1;
18865
- return $0.bind(eval4(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)((() => {
18866
- const $3 = {};
18867
- $3[$2] = v2;
18868
- return $3;
18869
- })())));
18870
- })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module4(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
18871
- };
18840
+ const concatM1 = concatM(Monad0);
18841
+ return (dictLoadFile) => {
18842
+ const eval_module3 = eval_module2(dictLoadFile);
18843
+ const eval3 = eval2(dictLoadFile);
18844
+ return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
18845
+ const $2 = v1._1;
18846
+ return $0.bind(eval3(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)((() => {
18847
+ const $3 = {};
18848
+ $3[$2] = v2;
18849
+ return $3;
18850
+ })())));
18851
+ })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module3(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith2((v$1) => identity13)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
18872
18852
  };
18873
18853
  };
18874
18854
  };
@@ -18882,14 +18862,12 @@ var graphEval = (dictMonadAff) => {
18882
18862
  Applicative0: () => applicativeStateT(Monad0),
18883
18863
  Bind1: () => bindStateT(Monad0)
18884
18864
  })(graphGraphImpl);
18885
- const monadAffState2 = monadAffState(dictMonadAff);
18886
- const monadAffState1 = monadAffState(monadAffState2);
18887
- const $1 = monadAffState2.MonadEffect0().Monad0();
18865
+ const $1 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
18888
18866
  const $2 = dictMonadAff.MonadEffect0().Monad0();
18889
18867
  return (dictMonadReader) => {
18890
18868
  const monadReaderStateT2 = monadReaderStateT(monadReaderStateT(dictMonadReader));
18891
18869
  return (dictLoadFile) => (dictMonadError) => {
18892
- const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))(monadReaderStateT2)(monadAffState1)((() => {
18870
+ const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))(monadReaderStateT2)((() => {
18893
18871
  const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
18894
18872
  return {
18895
18873
  loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
@@ -23077,7 +23055,7 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
23077
23055
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23078
23056
  return (dictMonadError) => {
23079
23057
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23080
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23058
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23081
23059
  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") {
23082
23060
  const $0 = v._2._2._1;
23083
23061
  return $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))($BaseVal(
@@ -23096,12 +23074,12 @@ var matrixLookup = /* @__PURE__ */ $Tuple(
23096
23074
  /* @__PURE__ */ $ForeignOp$p({
23097
23075
  arity: 2,
23098
23076
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23099
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23100
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23077
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23078
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23101
23079
  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") {
23102
- 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));
23080
+ 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));
23103
23081
  }
23104
- return $$throw2("Matrix and pair of integers expected");
23082
+ return MonadThrow0.throwError(error("Matrix and pair of integers expected"));
23105
23083
  };
23106
23084
  }
23107
23085
  })
@@ -23115,32 +23093,6 @@ var log3 = (v2) => {
23115
23093
  }
23116
23094
  fail();
23117
23095
  };
23118
- var loadJson = /* @__PURE__ */ $Tuple(
23119
- "loadJson",
23120
- /* @__PURE__ */ $ForeignOp$p({
23121
- arity: 1,
23122
- op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23123
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23124
- return (dictMonadAff) => {
23125
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23126
- const $0 = Monad0.Bind1();
23127
- return (dictMonadReader) => {
23128
- const ask = dictMonadReader.MonadAsk0().ask;
23129
- return (dictLoadFile) => {
23130
- const loadFile = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
23131
- return (v) => {
23132
- if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
23133
- const $1 = v._1._3._1;
23134
- return $0.bind(ask)((v1) => $0.bind(loadFile(v1.fluidSrcPaths)($1))((str) => Monad0.Applicative0().pure(throwException(error($1))())));
23135
- }
23136
- return $$throw2("String expected");
23137
- };
23138
- };
23139
- };
23140
- };
23141
- }
23142
- })
23143
- );
23144
23096
  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));
23145
23097
  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));
23146
23098
  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));
@@ -23155,12 +23107,12 @@ var error_ = /* @__PURE__ */ $Tuple(
23155
23107
  /* @__PURE__ */ $ForeignOp$p({
23156
23108
  arity: 1,
23157
23109
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23158
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23159
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23110
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23111
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23160
23112
  if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
23161
- return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
23113
+ return MonadThrow0.Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
23162
23114
  }
23163
- return $$throw2("String expected");
23115
+ return MonadThrow0.throwError(error("String expected"));
23164
23116
  };
23165
23117
  }
23166
23118
  })
@@ -23173,28 +23125,26 @@ var dims = /* @__PURE__ */ $Tuple(
23173
23125
  op: (dictMonadWithGraphAlloc) => {
23174
23126
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23175
23127
  return (dictMonadError) => {
23176
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23177
- return (dictMonadAff) => {
23178
- const $0 = dictMonadAff.MonadEffect0().Monad0().Bind1();
23179
- return (dictMonadReader) => (dictLoadFile) => (v) => {
23180
- if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
23181
- const $1 = v._1._3._1._2._2._1;
23182
- const $2 = v._1._1;
23183
- const $3 = v._1._3._1._2._2._2;
23184
- return $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._3._1._2._1._2, void 0, Leaf2))($BaseVal(
23185
- "Int",
23186
- v._1._3._1._2._1._1
23187
- )))((v1) => $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $3, void 0, Leaf2))($BaseVal(
23188
- "Int",
23189
- $1
23190
- )))((v2) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $2, void 0, Leaf2))($BaseVal(
23191
- "Constr",
23192
- "Pair",
23193
- $List("Cons", v1, $List("Cons", v2, Nil))
23194
- ))));
23195
- }
23196
- return $$throw2("Matrix expected");
23197
- };
23128
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23129
+ const $0 = MonadThrow0.Monad0().Bind1();
23130
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23131
+ if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
23132
+ const $1 = v._1._3._1._2._2._1;
23133
+ const $2 = v._1._1;
23134
+ const $3 = v._1._3._1._2._2._2;
23135
+ return $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._3._1._2._1._2, void 0, Leaf2))($BaseVal(
23136
+ "Int",
23137
+ v._1._3._1._2._1._1
23138
+ )))((v1) => $0.bind($$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $3, void 0, Leaf2))($BaseVal(
23139
+ "Int",
23140
+ $1
23141
+ )))((v2) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $2, void 0, Leaf2))($BaseVal(
23142
+ "Constr",
23143
+ "Pair",
23144
+ $List("Cons", v1, $List("Cons", v2, Nil))
23145
+ ))));
23146
+ }
23147
+ return MonadThrow0.throwError(error("Matrix expected"));
23198
23148
  };
23199
23149
  };
23200
23150
  }
@@ -23208,29 +23158,27 @@ var dict_map = /* @__PURE__ */ $Tuple(
23208
23158
  const apply5 = apply2(dictMonadWithGraphAlloc);
23209
23159
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23210
23160
  return (dictMonadError) => {
23211
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23212
- return (dictMonadAff) => {
23213
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23214
- const Bind1 = Monad0.Bind1();
23215
- const traverse1 = traversableDict.traverse(Monad0.Applicative0());
23216
- return (dictMonadReader) => {
23217
- const apply12 = apply5(dictMonadReader)(dictMonadAff);
23218
- return (dictLoadFile) => {
23219
- const apply22 = apply12(dictLoadFile);
23220
- return (v) => {
23221
- if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23222
- const $0 = v._1;
23223
- const $1 = v._2._1._1;
23224
- return Bind1.bind(traverse1((v2) => {
23225
- const $2 = v2._1;
23226
- return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply22($0)(v2._2));
23227
- })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
23228
- "Dictionary",
23229
- d$p
23230
- )));
23231
- }
23232
- return $$throw2("Function and dictionary expected");
23233
- };
23161
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23162
+ const Monad0 = MonadThrow0.Monad0();
23163
+ const Bind1 = Monad0.Bind1();
23164
+ const traverse1 = traversableDict.traverse(Monad0.Applicative0());
23165
+ return (dictMonadReader) => {
23166
+ const apply12 = apply5(dictMonadReader);
23167
+ return (dictLoadFile) => {
23168
+ const apply22 = apply12(dictLoadFile);
23169
+ return (v) => {
23170
+ if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23171
+ const $0 = v._1;
23172
+ const $1 = v._2._1._1;
23173
+ return Bind1.bind(traverse1((v2) => {
23174
+ const $2 = v2._1;
23175
+ return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply22($0)(v2._2));
23176
+ })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
23177
+ "Dictionary",
23178
+ d$p
23179
+ )));
23180
+ }
23181
+ return MonadThrow0.throwError(error("Function and dictionary expected"));
23234
23182
  };
23235
23183
  };
23236
23184
  };
@@ -23246,42 +23194,40 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
23246
23194
  const apply5 = apply2(dictMonadWithGraphAlloc);
23247
23195
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23248
23196
  return (dictMonadError) => {
23249
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23250
- return (dictMonadAff) => {
23251
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23252
- const Bind1 = Monad0.Bind1();
23253
- const Applicative0 = Monad0.Applicative0();
23254
- const $0 = Bind1.Apply0().Functor0();
23255
- return (dictMonadReader) => {
23256
- const apply12 = apply5(dictMonadReader)(dictMonadAff);
23257
- return (dictLoadFile) => {
23258
- const apply22 = apply12(dictLoadFile);
23259
- return (v) => {
23260
- 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") {
23261
- const $1 = v._1;
23262
- const $2 = v._2._1._1;
23263
- const $3 = v._2._2._1._1;
23264
- return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity14)(intersectionWith_Object((v2) => (v3) => {
23265
- const $4 = v3._2;
23266
- const $5 = v2._1;
23267
- const $6 = v3._1;
23268
- return Bind1.bind(Bind1.bind(apply22($1)(v2._2))((a) => apply22(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert(ordVertex)($6)()($$$Map(
23269
- "Two",
23270
- Leaf2,
23271
- $5,
23272
- void 0,
23273
- Leaf2
23274
- )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
23275
- })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert(ordVertex)($3)()($$$Map(
23197
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23198
+ const Monad0 = MonadThrow0.Monad0();
23199
+ const Bind1 = Monad0.Bind1();
23200
+ const Applicative0 = Monad0.Applicative0();
23201
+ const $0 = Bind1.Apply0().Functor0();
23202
+ return (dictMonadReader) => {
23203
+ const apply12 = apply5(dictMonadReader);
23204
+ return (dictLoadFile) => {
23205
+ const apply22 = apply12(dictLoadFile);
23206
+ return (v) => {
23207
+ 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") {
23208
+ const $1 = v._1;
23209
+ const $2 = v._2._1._1;
23210
+ const $3 = v._2._2._1._1;
23211
+ return Bind1.bind($0.map(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity14)(intersectionWith_Object((v2) => (v3) => {
23212
+ const $4 = v3._2;
23213
+ const $5 = v2._1;
23214
+ const $6 = v3._1;
23215
+ return Bind1.bind(Bind1.bind(apply22($1)(v2._2))((a) => apply22(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert(ordVertex)($6)()($$$Map(
23276
23216
  "Two",
23277
23217
  Leaf2,
23278
- $2,
23218
+ $5,
23279
23219
  void 0,
23280
23220
  Leaf2
23281
- )))(v$p));
23282
- }
23283
- return $$throw2("Function and two dictionaries expected");
23284
- };
23221
+ )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
23222
+ })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert(ordVertex)($3)()($$$Map(
23223
+ "Two",
23224
+ Leaf2,
23225
+ $2,
23226
+ void 0,
23227
+ Leaf2
23228
+ )))(v$p));
23229
+ }
23230
+ return MonadThrow0.throwError(error("Function and two dictionaries expected"));
23285
23231
  };
23286
23232
  };
23287
23233
  };
@@ -23295,7 +23241,7 @@ var dict_get = /* @__PURE__ */ $Tuple(
23295
23241
  arity: 2,
23296
23242
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23297
23243
  const MonadThrow0 = dictMonadError.MonadThrow0();
23298
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23244
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23299
23245
  if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23300
23246
  return orElse(MonadThrow0)('Key "' + v._1._3._1 + '" not found')((() => {
23301
23247
  const $0 = _lookup(Nothing, Just, v._1._3._1, v._2._1._3._1);
@@ -23317,23 +23263,21 @@ var dict_foldl = /* @__PURE__ */ $Tuple(
23317
23263
  op: (dictMonadWithGraphAlloc) => {
23318
23264
  const apply5 = apply2(dictMonadWithGraphAlloc);
23319
23265
  return (dictMonadError) => {
23320
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23321
- return (dictMonadAff) => {
23322
- const Monad0 = dictMonadAff.MonadEffect0().Monad0();
23323
- return (dictMonadReader) => {
23324
- const apply12 = apply5(dictMonadReader)(dictMonadAff);
23325
- return (dictLoadFile) => {
23326
- const apply22 = apply12(dictLoadFile);
23327
- return (v) => {
23328
- 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") {
23329
- const $0 = v._1;
23330
- return foldM4(Monad0)((u1) => (v2) => {
23331
- const $1 = v2._2;
23332
- return Monad0.Bind1().bind(apply22($0)(u1))((a) => apply22(a)($1));
23333
- })(v._2._1)(v._2._2._1._3._1);
23334
- }
23335
- return $$throw2("Function, value and dictionary expected");
23336
- };
23266
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23267
+ const Monad0 = MonadThrow0.Monad0();
23268
+ return (dictMonadReader) => {
23269
+ const apply12 = apply5(dictMonadReader);
23270
+ return (dictLoadFile) => {
23271
+ const apply22 = apply12(dictLoadFile);
23272
+ return (v) => {
23273
+ 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") {
23274
+ const $0 = v._1;
23275
+ return foldM4(Monad0)((u1) => (v2) => {
23276
+ const $1 = v2._2;
23277
+ return Monad0.Bind1().bind(apply22($0)(u1))((a) => apply22(a)($1));
23278
+ })(v._2._1)(v._2._2._1._3._1);
23279
+ }
23280
+ return MonadThrow0.throwError(error("Function, value and dictionary expected"));
23337
23281
  };
23338
23282
  };
23339
23283
  };
@@ -23349,7 +23293,7 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
23349
23293
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23350
23294
  return (dictMonadError) => {
23351
23295
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23352
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23296
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23353
23297
  if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23354
23298
  return $$new((a) => Val(a)(None))(insert(ordVertex)(v._2._1._1)()($$$Map(
23355
23299
  "Two",
@@ -23373,7 +23317,7 @@ var dict_difference = /* @__PURE__ */ $Tuple(
23373
23317
  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
23374
23318
  return (dictMonadError) => {
23375
23319
  const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23376
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23320
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23377
23321
  if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
23378
23322
  return $$new((a) => Val(a)(None))(insert(ordVertex)(v._2._1._1)()($$$Map(
23379
23323
  "Two",
@@ -23394,13 +23338,13 @@ var debugLog = /* @__PURE__ */ $Tuple(
23394
23338
  /* @__PURE__ */ $ForeignOp$p({
23395
23339
  arity: 1,
23396
23340
  op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
23397
- const $$throw2 = $$throw(dictMonadError.MonadThrow0());
23398
- return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
23341
+ const MonadThrow0 = dictMonadError.MonadThrow0();
23342
+ return (dictMonadReader) => (dictLoadFile) => (v) => {
23399
23343
  if (v.tag === "Cons" && v._2.tag === "Nil") {
23400
23344
  const $0 = v._1;
23401
- return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
23345
+ return MonadThrow0.Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
23402
23346
  }
23403
- return $$throw2("Single value expected");
23347
+ return MonadThrow0.throwError(error("Single value expected"));
23404
23348
  };
23405
23349
  }
23406
23350
  })
@@ -23414,7 +23358,6 @@ var primitives = /* @__PURE__ */ fromFoldable2(foldableArray)([
23414
23358
  /* @__PURE__ */ extern1(debugLog),
23415
23359
  /* @__PURE__ */ extern1(dims),
23416
23360
  /* @__PURE__ */ extern1(error_),
23417
- /* @__PURE__ */ extern1(loadJson),
23418
23361
  /* @__PURE__ */ unary2("floor")({ i: number, o: $$int, fwd: floor2 }),
23419
23362
  /* @__PURE__ */ unary2("log")({ i: intOrNumber, o: number, fwd: log3 }),
23420
23363
  /* @__PURE__ */ unary2("numToStr")({ i: intOrNumber, o: string, fwd: numToStr }),
@@ -23627,14 +23570,12 @@ var initialConfig = (dictMonadAff) => {
23627
23570
  Applicative0: () => applicativeStateT(Monad0),
23628
23571
  Bind1: () => bindStateT(Monad0)
23629
23572
  })(graphGraphImpl);
23630
- const monadAffState2 = monadAffState(dictMonadAff);
23631
- const monadAffState1 = monadAffState(monadAffState2);
23632
- const $2 = monadAffState2.MonadEffect0().Monad0();
23573
+ const $2 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
23633
23574
  const $3 = dictMonadAff.MonadEffect0().Monad0();
23634
23575
  return (dictMonadError) => {
23635
23576
  const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
23636
23577
  return (dictMonadReader) => {
23637
- const eval_progCxt1 = eval_progCxt2(monadReaderStateT(monadReaderStateT(dictMonadReader)))(monadAffState1);
23578
+ const eval_progCxt1 = eval_progCxt2(monadReaderStateT(monadReaderStateT(dictMonadReader)));
23638
23579
  return (dictLoadFile) => {
23639
23580
  const eval_progCxt22 = eval_progCxt1((() => {
23640
23581
  const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);