@explorable-viz/fluid 0.12.2 → 0.12.4

package/output-es/Data.Functor.Coproduct.Nested/index.js

@@ -0,0 +1,433 @@
+import * as $runtime from "../runtime.js";
+import * as Data$dEither from "../Data.Either/index.js";
+import * as Data$dFunctor$dCoproduct from "../Data.Functor.Coproduct/index.js";
+const in9 = v => Data$dEither.$Either(
+  "Right",
+  Data$dEither.$Either(
+    "Right",
+    Data$dEither.$Either(
+      "Right",
+      Data$dEither.$Either(
+        "Right",
+        Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)))))
+      )
+    )
+  )
+);
+const in8 = v => Data$dEither.$Either(
+  "Right",
+  Data$dEither.$Either(
+    "Right",
+    Data$dEither.$Either(
+      "Right",
+      Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)))))
+    )
+  )
+);
+const in7 = v => Data$dEither.$Either(
+  "Right",
+  Data$dEither.$Either(
+    "Right",
+    Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)))))
+  )
+);
+const in6 = v => Data$dEither.$Either(
+  "Right",
+  Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)))))
+);
+const in5 = v => Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)))));
+const in4 = v => Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v))));
+const in3 = v => Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)));
+const in2 = v => Data$dEither.$Either("Right", Data$dEither.$Either("Left", v));
+const in10 = v => Data$dEither.$Either(
+  "Right",
+  Data$dEither.$Either(
+    "Right",
+    Data$dEither.$Either(
+      "Right",
+      Data$dEither.$Either(
+        "Right",
+        Data$dEither.$Either(
+          "Right",
+          Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Right", Data$dEither.$Either("Left", v)))))
+        )
+      )
+    )
+  )
+);
+const in1 = Data$dFunctor$dCoproduct.left;
+const coproduct9 = a => b => c => d => e => f => g => h => i => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          if (y._1._1._1._1.tag === "Left") { return e(y._1._1._1._1._1); }
+          if (y._1._1._1._1.tag === "Right") {
+            if (y._1._1._1._1._1.tag === "Left") { return f(y._1._1._1._1._1._1); }
+            if (y._1._1._1._1._1.tag === "Right") {
+              if (y._1._1._1._1._1._1.tag === "Left") { return g(y._1._1._1._1._1._1._1); }
+              if (y._1._1._1._1._1._1.tag === "Right") {
+                if (y._1._1._1._1._1._1._1.tag === "Left") { return h(y._1._1._1._1._1._1._1._1); }
+                if (y._1._1._1._1._1._1._1.tag === "Right") {
+                  if (y._1._1._1._1._1._1._1._1.tag === "Left") { return i(y._1._1._1._1._1._1._1._1._1); }
+                  if (y._1._1._1._1._1._1._1._1.tag === "Right") {
+                    const spin = spin$a0$copy => {
+                      let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+                      while (spin$c) {
+                        const v = spin$a0;
+                        spin$a0 = v;
+                      }
+                      return spin$r;
+                    };
+                    return spin(y._1._1._1._1._1._1._1._1._1);
+                  }
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct8 = a => b => c => d => e => f => g => h => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          if (y._1._1._1._1.tag === "Left") { return e(y._1._1._1._1._1); }
+          if (y._1._1._1._1.tag === "Right") {
+            if (y._1._1._1._1._1.tag === "Left") { return f(y._1._1._1._1._1._1); }
+            if (y._1._1._1._1._1.tag === "Right") {
+              if (y._1._1._1._1._1._1.tag === "Left") { return g(y._1._1._1._1._1._1._1); }
+              if (y._1._1._1._1._1._1.tag === "Right") {
+                if (y._1._1._1._1._1._1._1.tag === "Left") { return h(y._1._1._1._1._1._1._1._1); }
+                if (y._1._1._1._1._1._1._1.tag === "Right") {
+                  const spin = spin$a0$copy => {
+                    let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+                    while (spin$c) {
+                      const v = spin$a0;
+                      spin$a0 = v;
+                    }
+                    return spin$r;
+                  };
+                  return spin(y._1._1._1._1._1._1._1._1);
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct7 = a => b => c => d => e => f => g => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          if (y._1._1._1._1.tag === "Left") { return e(y._1._1._1._1._1); }
+          if (y._1._1._1._1.tag === "Right") {
+            if (y._1._1._1._1._1.tag === "Left") { return f(y._1._1._1._1._1._1); }
+            if (y._1._1._1._1._1.tag === "Right") {
+              if (y._1._1._1._1._1._1.tag === "Left") { return g(y._1._1._1._1._1._1._1); }
+              if (y._1._1._1._1._1._1.tag === "Right") {
+                const spin = spin$a0$copy => {
+                  let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+                  while (spin$c) {
+                    const v = spin$a0;
+                    spin$a0 = v;
+                  }
+                  return spin$r;
+                };
+                return spin(y._1._1._1._1._1._1._1);
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct6 = a => b => c => d => e => f => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          if (y._1._1._1._1.tag === "Left") { return e(y._1._1._1._1._1); }
+          if (y._1._1._1._1.tag === "Right") {
+            if (y._1._1._1._1._1.tag === "Left") { return f(y._1._1._1._1._1._1); }
+            if (y._1._1._1._1._1.tag === "Right") {
+              const spin = spin$a0$copy => {
+                let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+                while (spin$c) {
+                  const v = spin$a0;
+                  spin$a0 = v;
+                }
+                return spin$r;
+              };
+              return spin(y._1._1._1._1._1._1);
+            }
+          }
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct5 = a => b => c => d => e => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          if (y._1._1._1._1.tag === "Left") { return e(y._1._1._1._1._1); }
+          if (y._1._1._1._1.tag === "Right") {
+            const spin = spin$a0$copy => {
+              let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+              while (spin$c) {
+                const v = spin$a0;
+                spin$a0 = v;
+              }
+              return spin$r;
+            };
+            return spin(y._1._1._1._1._1);
+          }
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct4 = a => b => c => d => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          const spin = spin$a0$copy => {
+            let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+            while (spin$c) {
+              const v = spin$a0;
+              spin$a0 = v;
+            }
+            return spin$r;
+          };
+          return spin(y._1._1._1._1);
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct3 = a => b => c => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        const spin = spin$a0$copy => {
+          let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+          while (spin$c) {
+            const v = spin$a0;
+            spin$a0 = v;
+          }
+          return spin$r;
+        };
+        return spin(y._1._1._1);
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct2 = a => b => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      const spin = spin$a0$copy => {
+        let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+        while (spin$c) {
+          const v = spin$a0;
+          spin$a0 = v;
+        }
+        return spin$r;
+      };
+      return spin(y._1._1);
+    }
+  }
+  $runtime.fail();
+};
+const coproduct10 = a => b => c => d => e => f => g => h => i => j => y => {
+  if (y.tag === "Left") { return a(y._1); }
+  if (y.tag === "Right") {
+    if (y._1.tag === "Left") { return b(y._1._1); }
+    if (y._1.tag === "Right") {
+      if (y._1._1.tag === "Left") { return c(y._1._1._1); }
+      if (y._1._1.tag === "Right") {
+        if (y._1._1._1.tag === "Left") { return d(y._1._1._1._1); }
+        if (y._1._1._1.tag === "Right") {
+          if (y._1._1._1._1.tag === "Left") { return e(y._1._1._1._1._1); }
+          if (y._1._1._1._1.tag === "Right") {
+            if (y._1._1._1._1._1.tag === "Left") { return f(y._1._1._1._1._1._1); }
+            if (y._1._1._1._1._1.tag === "Right") {
+              if (y._1._1._1._1._1._1.tag === "Left") { return g(y._1._1._1._1._1._1._1); }
+              if (y._1._1._1._1._1._1.tag === "Right") {
+                if (y._1._1._1._1._1._1._1.tag === "Left") { return h(y._1._1._1._1._1._1._1._1); }
+                if (y._1._1._1._1._1._1._1.tag === "Right") {
+                  if (y._1._1._1._1._1._1._1._1.tag === "Left") { return i(y._1._1._1._1._1._1._1._1._1); }
+                  if (y._1._1._1._1._1._1._1._1.tag === "Right") {
+                    if (y._1._1._1._1._1._1._1._1._1.tag === "Left") { return j(y._1._1._1._1._1._1._1._1._1._1); }
+                    if (y._1._1._1._1._1._1._1._1._1.tag === "Right") {
+                      const spin = spin$a0$copy => {
+                        let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+                        while (spin$c) {
+                          const v = spin$a0;
+                          spin$a0 = v;
+                        }
+                        return spin$r;
+                      };
+                      return spin(y._1._1._1._1._1._1._1._1._1._1);
+                    }
+                  }
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+  $runtime.fail();
+};
+const coproduct1 = y => {
+  if (y.tag === "Left") { return y._1; }
+  if (y.tag === "Right") {
+    const spin = spin$a0$copy => {
+      let spin$a0 = spin$a0$copy, spin$c = true, spin$r;
+      while (spin$c) {
+        const v = spin$a0;
+        spin$a0 = v;
+      }
+      return spin$r;
+    };
+    return spin(y._1);
+  }
+  $runtime.fail();
+};
+const at9 = b => f => y => {
+  if (
+    y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Right" && y._1._1._1._1.tag === "Right" && y._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1._1._1.tag === "Left"
+  ) {
+    return f(y._1._1._1._1._1._1._1._1._1);
+  }
+  return b;
+};
+const at8 = b => f => y => {
+  if (
+    y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Right" && y._1._1._1._1.tag === "Right" && y._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1._1.tag === "Left"
+  ) {
+    return f(y._1._1._1._1._1._1._1._1);
+  }
+  return b;
+};
+const at7 = b => f => y => {
+  if (
+    y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Right" && y._1._1._1._1.tag === "Right" && y._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1.tag === "Left"
+  ) {
+    return f(y._1._1._1._1._1._1._1);
+  }
+  return b;
+};
+const at6 = b => f => y => {
+  if (y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Right" && y._1._1._1._1.tag === "Right" && y._1._1._1._1._1.tag === "Left") {
+    return f(y._1._1._1._1._1._1);
+  }
+  return b;
+};
+const at5 = b => f => y => {
+  if (y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Right" && y._1._1._1._1.tag === "Left") { return f(y._1._1._1._1._1); }
+  return b;
+};
+const at4 = b => f => y => {
+  if (y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Left") { return f(y._1._1._1._1); }
+  return b;
+};
+const at3 = b => f => y => {
+  if (y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Left") { return f(y._1._1._1); }
+  return b;
+};
+const at2 = b => f => y => {
+  if (y.tag === "Right" && y._1.tag === "Left") { return f(y._1._1); }
+  return b;
+};
+const at10 = b => f => y => {
+  if (
+    y.tag === "Right" && y._1.tag === "Right" && y._1._1.tag === "Right" && y._1._1._1.tag === "Right" && y._1._1._1._1.tag === "Right" && y._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1._1._1.tag === "Right" && y._1._1._1._1._1._1._1._1._1.tag === "Left"
+  ) {
+    return f(y._1._1._1._1._1._1._1._1._1._1);
+  }
+  return b;
+};
+const at1 = b => f => y => {
+  if (y.tag === "Left") { return f(y._1); }
+  return b;
+};
+export {
+  at1,
+  at10,
+  at2,
+  at3,
+  at4,
+  at5,
+  at6,
+  at7,
+  at8,
+  at9,
+  coproduct1,
+  coproduct10,
+  coproduct2,
+  coproduct3,
+  coproduct4,
+  coproduct5,
+  coproduct6,
+  coproduct7,
+  coproduct8,
+  coproduct9,
+  in1,
+  in10,
+  in2,
+  in3,
+  in4,
+  in5,
+  in6,
+  in7,
+  in8,
+  in9
+};

package/output-es/Data.Functor.Costar/index.js

@@ -0,0 +1,82 @@
+import * as Data$dTuple from "../Data.Tuple/index.js";
+const Costar = x => x;
+const semigroupoidCostar = dictExtend => ({compose: v => v1 => w => v(dictExtend.extend(v1)(w))});
+const profunctorCostar = dictFunctor => (
+  {
+    dimap: f => g => v => {
+      const $0 = dictFunctor.map(f);
+      return x => g(v($0(x)));
+    }
+  }
+);
+const strongCostar = dictComonad => {
+  const Functor0 = dictComonad.Extend0().Functor0();
+  const profunctorCostar1 = {
+    dimap: f => g => v => {
+      const $0 = Functor0.map(f);
+      return x => g(v($0(x)));
+    }
+  };
+  return {
+    first: v => x => Data$dTuple.$Tuple(v(Functor0.map(Data$dTuple.fst)(x)), dictComonad.extract(x)._2),
+    second: v => x => Data$dTuple.$Tuple(dictComonad.extract(x)._1, v(Functor0.map(Data$dTuple.snd)(x))),
+    Profunctor0: () => profunctorCostar1
+  };
+};
+const newtypeCostar = {Coercible0: () => {}};
+const hoistCostar = f => v => x => v(f(x));
+const functorCostar = {map: f => v => x => f(v(x))};
+const invariantCostar = {imap: f => v => v$1 => x => f(v$1(x))};
+const distributiveCostar = {
+  distribute: dictFunctor => f => a => dictFunctor.map(v => v(a))(f),
+  collect: dictFunctor => f => {
+    const $0 = distributiveCostar.distribute(dictFunctor);
+    const $1 = dictFunctor.map(f);
+    return x => $0($1(x));
+  },
+  Functor0: () => functorCostar
+};
+const closedCostar = dictFunctor => {
+  const profunctorCostar1 = {
+    dimap: f => g => v => {
+      const $0 = dictFunctor.map(f);
+      return x => g(v($0(x)));
+    }
+  };
+  return {closed: v => g => x => v(dictFunctor.map(v1 => v1(x))(g)), Profunctor0: () => profunctorCostar1};
+};
+const categoryCostar = dictComonad => {
+  const $0 = dictComonad.Extend0();
+  const semigroupoidCostar1 = {compose: v => v1 => w => v($0.extend(v1)(w))};
+  return {identity: dictComonad.extract, Semigroupoid0: () => semigroupoidCostar1};
+};
+const bifunctorCostar = dictContravariant => (
+  {
+    bimap: f => g => v => {
+      const $0 = dictContravariant.cmap(f);
+      return x => g(v($0(x)));
+    }
+  }
+);
+const applyCostar = {apply: v => v1 => a => v(a)(v1(a)), Functor0: () => functorCostar};
+const bindCostar = {bind: v => f => x => f(v(x))(x), Apply0: () => applyCostar};
+const applicativeCostar = {pure: a => v => a, Apply0: () => applyCostar};
+const monadCostar = {Applicative0: () => applicativeCostar, Bind1: () => bindCostar};
+export {
+  Costar,
+  applicativeCostar,
+  applyCostar,
+  bifunctorCostar,
+  bindCostar,
+  categoryCostar,
+  closedCostar,
+  distributiveCostar,
+  functorCostar,
+  hoistCostar,
+  invariantCostar,
+  monadCostar,
+  newtypeCostar,
+  profunctorCostar,
+  semigroupoidCostar,
+  strongCostar
+};

package/output-es/Data.Functor.Flip/index.js

@@ -0,0 +1,31 @@
+import * as Data$dBifunctor from "../Data.Bifunctor/index.js";
+import * as Data$dProfunctor from "../Data.Profunctor/index.js";
+const Flip = x => x;
+const showFlip = dictShow => ({show: v => "(Flip " + dictShow.show(v) + ")"});
+const semigroupoidFlip = dictSemigroupoid => ({compose: v => v1 => dictSemigroupoid.compose(v1)(v)});
+const ordFlip = dictOrd => dictOrd;
+const newtypeFlip = {Coercible0: () => {}};
+const functorFlip = dictBifunctor => ({map: f => v => dictBifunctor.bimap(f)(Data$dBifunctor.identity)(v)});
+const eqFlip = dictEq => dictEq;
+const contravariantFlip = dictProfunctor => ({cmap: f => v => dictProfunctor.dimap(f)(Data$dProfunctor.identity)(v)});
+const categoryFlip = dictCategory => {
+  const $0 = dictCategory.Semigroupoid0();
+  const semigroupoidFlip1 = {compose: v => v1 => $0.compose(v1)(v)};
+  return {identity: dictCategory.identity, Semigroupoid0: () => semigroupoidFlip1};
+};
+const bifunctorFlip = dictBifunctor => ({bimap: f => g => v => dictBifunctor.bimap(g)(f)(v)});
+const biapplyFlip = dictBiapply => {
+  const $0 = dictBiapply.Bifunctor0();
+  const bifunctorFlip1 = {bimap: f => g => v => $0.bimap(g)(f)(v)};
+  return {biapply: v => v1 => dictBiapply.biapply(v)(v1), Bifunctor0: () => bifunctorFlip1};
+};
+const biapplicativeFlip = dictBiapplicative => {
+  const $0 = dictBiapplicative.Biapply0();
+  const $1 = $0.Bifunctor0();
+  const biapplyFlip1 = (() => {
+    const bifunctorFlip1 = {bimap: f => g => v => $1.bimap(g)(f)(v)};
+    return {biapply: v => v1 => $0.biapply(v)(v1), Bifunctor0: () => bifunctorFlip1};
+  })();
+  return {bipure: a => b => dictBiapplicative.bipure(b)(a), Biapply0: () => biapplyFlip1};
+};
+export {Flip, biapplicativeFlip, biapplyFlip, bifunctorFlip, categoryFlip, contravariantFlip, eqFlip, functorFlip, newtypeFlip, ordFlip, semigroupoidFlip, showFlip};

package/output-es/Data.Functor.Invariant/index.js

@@ -0,0 +1,14 @@
+import * as Control$dSemigroupoid from "../Control.Semigroupoid/index.js";
+import * as Data$dFunctor from "../Data.Functor/index.js";
+const invariantMultiplicative = {imap: f => v => v1 => f(v1)};
+const invariantEndo = {imap: ab => ba => v => x => ab(v(ba(x)))};
+const invariantDual = {imap: f => v => v1 => f(v1)};
+const invariantDisj = {imap: f => v => v1 => f(v1)};
+const invariantConj = {imap: f => v => v1 => f(v1)};
+const invariantAdditive = {imap: f => v => v1 => f(v1)};
+const imapF = dictFunctor => f => v => dictFunctor.map(f);
+const invariantArray = {imap: f => v => Data$dFunctor.arrayMap(f)};
+const invariantFn = {imap: f => v => Control$dSemigroupoid.semigroupoidFn.compose(f)};
+const imap = dict => dict.imap;
+const invariantAlternate = dictInvariant => ({imap: f => g => v => dictInvariant.imap(f)(g)(v)});
+export {imap, imapF, invariantAdditive, invariantAlternate, invariantArray, invariantConj, invariantDisj, invariantDual, invariantEndo, invariantFn, invariantMultiplicative};

package/output-es/Data.Functor.Joker/index.js

@@ -0,0 +1,88 @@
+import * as Data$dEither from "../Data.Either/index.js";
+const Joker = x => x;
+const showJoker = dictShow => ({show: v => "(Joker " + dictShow.show(v) + ")"});
+const profunctorJoker = dictFunctor => ({dimap: v => g => v1 => dictFunctor.map(g)(v1)});
+const ordJoker = dictOrd => dictOrd;
+const newtypeJoker = {Coercible0: () => {}};
+const hoistJoker = f => v => f(v);
+const functorJoker = dictFunctor => ({map: f => v => dictFunctor.map(f)(v)});
+const eqJoker = dictEq => dictEq;
+const choiceJoker = dictFunctor => {
+  const profunctorJoker1 = {dimap: v => g => v1 => dictFunctor.map(g)(v1)};
+  return {left: v => dictFunctor.map(Data$dEither.Left)(v), right: v => dictFunctor.map(Data$dEither.Right)(v), Profunctor0: () => profunctorJoker1};
+};
+const bifunctorJoker = dictFunctor => ({bimap: v => g => v1 => dictFunctor.map(g)(v1)});
+const biapplyJoker = dictApply => {
+  const $0 = dictApply.Functor0();
+  const bifunctorJoker1 = {bimap: v => g => v1 => $0.map(g)(v1)};
+  return {biapply: v => v1 => dictApply.apply(v)(v1), Bifunctor0: () => bifunctorJoker1};
+};
+const biapplicativeJoker = dictApplicative => {
+  const $0 = dictApplicative.Apply0();
+  const $1 = $0.Functor0();
+  const biapplyJoker1 = (() => {
+    const bifunctorJoker1 = {bimap: v => g => v1 => $1.map(g)(v1)};
+    return {biapply: v => v1 => $0.apply(v)(v1), Bifunctor0: () => bifunctorJoker1};
+  })();
+  return {bipure: v => b => dictApplicative.pure(b), Biapply0: () => biapplyJoker1};
+};
+const applyJoker = dictApply => {
+  const $0 = dictApply.Functor0();
+  const functorJoker1 = {map: f => v => $0.map(f)(v)};
+  return {apply: v => v1 => dictApply.apply(v)(v1), Functor0: () => functorJoker1};
+};
+const bindJoker = dictBind => {
+  const $0 = dictBind.Apply0();
+  const $1 = $0.Functor0();
+  const applyJoker1 = (() => {
+    const functorJoker1 = {map: f => v => $1.map(f)(v)};
+    return {apply: v => v1 => $0.apply(v)(v1), Functor0: () => functorJoker1};
+  })();
+  return {bind: v => amb => dictBind.bind(v)(x => amb(x)), Apply0: () => applyJoker1};
+};
+const applicativeJoker = dictApplicative => {
+  const $0 = dictApplicative.Apply0();
+  const $1 = $0.Functor0();
+  const applyJoker1 = (() => {
+    const functorJoker1 = {map: f => v => $1.map(f)(v)};
+    return {apply: v => v1 => $0.apply(v)(v1), Functor0: () => functorJoker1};
+  })();
+  return {pure: x => dictApplicative.pure(x), Apply0: () => applyJoker1};
+};
+const monadJoker = dictMonad => {
+  const $0 = dictMonad.Applicative0();
+  const $1 = $0.Apply0();
+  const applicativeJoker1 = (() => {
+    const $2 = $1.Functor0();
+    const functorJoker1 = {map: f => v => $2.map(f)(v)};
+    const applyJoker1 = {apply: v => v1 => $1.apply(v)(v1), Functor0: () => functorJoker1};
+    return {pure: x => $0.pure(x), Apply0: () => applyJoker1};
+  })();
+  const $2 = dictMonad.Bind1();
+  const $3 = $2.Apply0();
+  const bindJoker1 = (() => {
+    const $4 = $3.Functor0();
+    const functorJoker1 = {map: f => v => $4.map(f)(v)};
+    const applyJoker1 = {apply: v => v1 => $3.apply(v)(v1), Functor0: () => functorJoker1};
+    return {bind: v => amb => $2.bind(v)(x => amb(x)), Apply0: () => applyJoker1};
+  })();
+  return {Applicative0: () => applicativeJoker1, Bind1: () => bindJoker1};
+};
+export {
+  Joker,
+  applicativeJoker,
+  applyJoker,
+  biapplicativeJoker,
+  biapplyJoker,
+  bifunctorJoker,
+  bindJoker,
+  choiceJoker,
+  eqJoker,
+  functorJoker,
+  hoistJoker,
+  monadJoker,
+  newtypeJoker,
+  ordJoker,
+  profunctorJoker,
+  showJoker
+};