@explorable-viz/fluid 0.12.3 → 0.12.4

package/output-es/Web.HTML.HTMLLinkElement/index.js

@@ -0,0 +1,34 @@
+import * as Unsafe$dCoerce from "../Unsafe.Coerce/index.js";
+import * as Web$dInternal$dFFI from "../Web.Internal.FFI/index.js";
+import {crossOrigin, disabled, href, hreflang, media, rel, relList, rev, setCrossOrigin, setDisabled, setHref, setHreflang, setMedia, setRel, setRev, setType, type_} from "./foreign.js";
+const toParentNode = Unsafe$dCoerce.unsafeCoerce;
+const toNonDocumentTypeChildNode = Unsafe$dCoerce.unsafeCoerce;
+const toNode = Unsafe$dCoerce.unsafeCoerce;
+const toHTMLElement = Unsafe$dCoerce.unsafeCoerce;
+const toEventTarget = Unsafe$dCoerce.unsafeCoerce;
+const toElement = Unsafe$dCoerce.unsafeCoerce;
+const toChildNode = Unsafe$dCoerce.unsafeCoerce;
+const fromParentNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+const fromNonDocumentTypeChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+const fromNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+const fromHTMLElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+const fromEventTarget = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+const fromElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+const fromChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLLinkElement");
+export {
+  fromChildNode,
+  fromElement,
+  fromEventTarget,
+  fromHTMLElement,
+  fromNode,
+  fromNonDocumentTypeChildNode,
+  fromParentNode,
+  toChildNode,
+  toElement,
+  toEventTarget,
+  toHTMLElement,
+  toNode,
+  toNonDocumentTypeChildNode,
+  toParentNode
+};
+export * from "./foreign.js";

package/output-es/Web.HTML.HTMLMapElement/foreign.js

@@ -0,0 +1,29 @@
+export function name(map) {
+  return function () {
+    return map.name;
+  };
+}
+
+export function setName(name) {
+  return function (map) {
+    return function () {
+      map.name = name;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function areas(map) {
+  return function () {
+    return map.areas;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function images(map) {
+  return function () {
+    return map.images;
+  };
+}

package/output-es/Web.HTML.HTMLMapElement/index.js

@@ -0,0 +1,34 @@
+import * as Unsafe$dCoerce from "../Unsafe.Coerce/index.js";
+import * as Web$dInternal$dFFI from "../Web.Internal.FFI/index.js";
+import {areas, images, name, setName} from "./foreign.js";
+const toParentNode = Unsafe$dCoerce.unsafeCoerce;
+const toNonDocumentTypeChildNode = Unsafe$dCoerce.unsafeCoerce;
+const toNode = Unsafe$dCoerce.unsafeCoerce;
+const toHTMLElement = Unsafe$dCoerce.unsafeCoerce;
+const toEventTarget = Unsafe$dCoerce.unsafeCoerce;
+const toElement = Unsafe$dCoerce.unsafeCoerce;
+const toChildNode = Unsafe$dCoerce.unsafeCoerce;
+const fromParentNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+const fromNonDocumentTypeChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+const fromNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+const fromHTMLElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+const fromEventTarget = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+const fromElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+const fromChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMapElement");
+export {
+  fromChildNode,
+  fromElement,
+  fromEventTarget,
+  fromHTMLElement,
+  fromNode,
+  fromNonDocumentTypeChildNode,
+  fromParentNode,
+  toChildNode,
+  toElement,
+  toEventTarget,
+  toHTMLElement,
+  toNode,
+  toNonDocumentTypeChildNode,
+  toParentNode
+};
+export * from "./foreign.js";

package/output-es/Web.HTML.HTMLMediaElement/foreign.js

@@ -0,0 +1,295 @@
+export function src(media) {
+  return function () {
+    return media.src;
+  };
+}
+
+export function setSrc(src) {
+  return function (media) {
+    return function () {
+      media.src = src;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function currentSrc(media) {
+  return function () {
+    return media.currentSrc;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function crossOrigin(media) {
+  return function () {
+    return media.crossOrigin;
+  };
+}
+
+export function setCrossOrigin(crossOrigin) {
+  return function (media) {
+    return function () {
+      media.crossOrigin = crossOrigin;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function _networkState(media) {
+  return media.networkState;
+}
+
+// ----------------------------------------------------------------------------
+
+export function preload(media) {
+  return function () {
+    return media.preload;
+  };
+}
+
+export function setPreload(preload) {
+  return function (media) {
+    return function () {
+      media.preload = preload;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function load(media) {
+  return function () {
+    return media.load();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function _canPlayType(type, media) {
+  return media.canPlayType(type);
+}
+
+// ----------------------------------------------------------------------------
+
+export function _readyState(media) {
+  return media.readyState;
+}
+
+// ----------------------------------------------------------------------------
+
+export function seeking(media) {
+  return function () {
+    return media.seeking;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function currentTime(media) {
+  return function () {
+    return media.currentTime;
+  };
+}
+
+export function setCurrentTime(currentTime) {
+  return function (media) {
+    return function () {
+      media.currentTime = currentTime;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function duration(media) {
+  return function () {
+    return media.duration;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function getStartDate(media) {
+  return function () {
+    return media.getStartDate();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function paused(media) {
+  return function () {
+    return media.paused;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function defaultPlaybackRate(media) {
+  return function () {
+    return media.defaultPlaybackRate;
+  };
+}
+
+export function setDefaultPlaybackRate(defaultPlaybackRate) {
+  return function (media) {
+    return function () {
+      media.defaultPlaybackRate = defaultPlaybackRate;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function playbackRate(media) {
+  return function () {
+    return media.playbackRate;
+  };
+}
+
+export function setPlaybackRate(playbackRate) {
+  return function (media) {
+    return function () {
+      media.playbackRate = playbackRate;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function ended(media) {
+  return function () {
+    return media.ended;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function autoplay(media) {
+  return function () {
+    return media.autoplay;
+  };
+}
+
+export function setAutoplay(autoplay) {
+  return function (media) {
+    return function () {
+      media.autoplay = autoplay;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function loop(media) {
+  return function () {
+    return media.loop;
+  };
+}
+
+export function setLoop(loop) {
+  return function (media) {
+    return function () {
+      media.loop = loop;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function play(media) {
+  return function () {
+    media.play();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function pause(media) {
+  return function () {
+    media.pause();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function mediaGroup(media) {
+  return function () {
+    return media.mediaGroup;
+  };
+}
+
+export function setMediaGroup(mediaGroup) {
+  return function (media) {
+    return function () {
+      media.mediaGroup = mediaGroup;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function controls(media) {
+  return function () {
+    return media.controls;
+  };
+}
+
+export function setControls(controls) {
+  return function (media) {
+    return function () {
+      media.controls = controls;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function volume(media) {
+  return function () {
+    return media.volume;
+  };
+}
+
+export function setVolume(volume) {
+  return function (media) {
+    return function () {
+      media.volume = volume;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function muted(media) {
+  return function () {
+    return media.muted;
+  };
+}
+
+export function setMuted(muted) {
+  return function (media) {
+    return function () {
+      media.muted = muted;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function defaultMuted(media) {
+  return function () {
+    return media.defaultMuted;
+  };
+}
+
+export function setDefaultMuted(defaultMuted) {
+  return function (media) {
+    return function () {
+      media.defaultMuted = defaultMuted;
+    };
+  };
+}

package/output-es/Web.HTML.HTMLMediaElement/index.js

@@ -0,0 +1,103 @@
+import * as Unsafe$dCoerce from "../Unsafe.Coerce/index.js";
+import * as Web$dHTML$dHTMLMediaElement$dCanPlayType from "../Web.HTML.HTMLMediaElement.CanPlayType/index.js";
+import * as Web$dHTML$dHTMLMediaElement$dNetworkState from "../Web.HTML.HTMLMediaElement.NetworkState/index.js";
+import * as Web$dHTML$dHTMLMediaElement$dReadyState from "../Web.HTML.HTMLMediaElement.ReadyState/index.js";
+import * as Web$dInternal$dFFI from "../Web.Internal.FFI/index.js";
+import {
+  _canPlayType,
+  _networkState,
+  _readyState,
+  autoplay,
+  controls,
+  crossOrigin,
+  currentSrc,
+  currentTime,
+  defaultMuted,
+  defaultPlaybackRate,
+  duration,
+  ended,
+  getStartDate,
+  load,
+  loop,
+  mediaGroup,
+  muted,
+  pause,
+  paused,
+  play,
+  playbackRate,
+  preload,
+  seeking,
+  setAutoplay,
+  setControls,
+  setCrossOrigin,
+  setCurrentTime,
+  setDefaultMuted,
+  setDefaultPlaybackRate,
+  setLoop,
+  setMediaGroup,
+  setMuted,
+  setPlaybackRate,
+  setPreload,
+  setSrc,
+  setVolume,
+  src,
+  volume
+} from "./foreign.js";
+const toParentNode = Unsafe$dCoerce.unsafeCoerce;
+const toNonDocumentTypeChildNode = Unsafe$dCoerce.unsafeCoerce;
+const toNode = Unsafe$dCoerce.unsafeCoerce;
+const toHTMLElement = Unsafe$dCoerce.unsafeCoerce;
+const toEventTarget = Unsafe$dCoerce.unsafeCoerce;
+const toElement = Unsafe$dCoerce.unsafeCoerce;
+const toChildNode = Unsafe$dCoerce.unsafeCoerce;
+const readyState = el => () => {
+  const a$p = _readyState(el);
+  if (a$p === 0) { return Web$dHTML$dHTMLMediaElement$dReadyState.HaveNothing; }
+  if (a$p === 1) { return Web$dHTML$dHTMLMediaElement$dReadyState.HaveMetadata; }
+  if (a$p === 2) { return Web$dHTML$dHTMLMediaElement$dReadyState.HaveCurrentData; }
+  if (a$p === 3) { return Web$dHTML$dHTMLMediaElement$dReadyState.HaveFutureData; }
+  if (a$p === 4) { return Web$dHTML$dHTMLMediaElement$dReadyState.HaveEnoughData; }
+  return Web$dHTML$dHTMLMediaElement$dReadyState.HaveNothing;
+};
+const networkState = el => () => {
+  const a$p = _networkState(el);
+  if (a$p === 0) { return Web$dHTML$dHTMLMediaElement$dNetworkState.Empty; }
+  if (a$p === 1) { return Web$dHTML$dHTMLMediaElement$dNetworkState.Idle; }
+  if (a$p === 2) { return Web$dHTML$dHTMLMediaElement$dNetworkState.Loading; }
+  if (a$p === 3) { return Web$dHTML$dHTMLMediaElement$dNetworkState.NoSource; }
+  return Web$dHTML$dHTMLMediaElement$dNetworkState.Empty;
+};
+const fromParentNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const fromNonDocumentTypeChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const fromNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const fromHTMLElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const fromEventTarget = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const fromElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const fromChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLMediaElement");
+const canPlayType = ty => el => () => {
+  const a$p = _canPlayType(ty, el);
+  if (a$p === "") { return Web$dHTML$dHTMLMediaElement$dCanPlayType.Unspecified; }
+  if (a$p === "maybe") { return Web$dHTML$dHTMLMediaElement$dCanPlayType.Maybe; }
+  if (a$p === "probably") { return Web$dHTML$dHTMLMediaElement$dCanPlayType.Probably; }
+  return Web$dHTML$dHTMLMediaElement$dCanPlayType.Unspecified;
+};
+export {
+  canPlayType,
+  fromChildNode,
+  fromElement,
+  fromEventTarget,
+  fromHTMLElement,
+  fromNode,
+  fromNonDocumentTypeChildNode,
+  fromParentNode,
+  networkState,
+  readyState,
+  toChildNode,
+  toElement,
+  toEventTarget,
+  toHTMLElement,
+  toNode,
+  toNonDocumentTypeChildNode,
+  toParentNode
+};
+export * from "./foreign.js";

package/output-es/Web.HTML.HTMLMediaElement.CanPlayType/index.js

@@ -0,0 +1,52 @@
+import * as $runtime from "../runtime.js";
+import * as Data$dMaybe from "../Data.Maybe/index.js";
+import * as Data$dOrdering from "../Data.Ordering/index.js";
+const $CanPlayType = tag => tag;
+const Unspecified = /* #__PURE__ */ $CanPlayType("Unspecified");
+const Maybe = /* #__PURE__ */ $CanPlayType("Maybe");
+const Probably = /* #__PURE__ */ $CanPlayType("Probably");
+const showCanPlayType = {
+  show: v => {
+    if (v === "Unspecified") { return "Unspecified"; }
+    if (v === "Maybe") { return "Maybe"; }
+    if (v === "Probably") { return "Probably"; }
+    $runtime.fail();
+  }
+};
+const print = v => {
+  if (v === "Unspecified") { return ""; }
+  if (v === "Maybe") { return "maybe"; }
+  if (v === "Probably") { return "probably"; }
+  $runtime.fail();
+};
+const parse = v => {
+  if (v === "") { return Data$dMaybe.$Maybe("Just", Unspecified); }
+  if (v === "maybe") { return Data$dMaybe.$Maybe("Just", Maybe); }
+  if (v === "probably") { return Data$dMaybe.$Maybe("Just", Probably); }
+  return Data$dMaybe.Nothing;
+};
+const eqCanPlayType = {
+  eq: x => y => {
+    if (x === "Unspecified") { return y === "Unspecified"; }
+    if (x === "Maybe") { return y === "Maybe"; }
+    return x === "Probably" && y === "Probably";
+  }
+};
+const ordCanPlayType = {
+  compare: x => y => {
+    if (x === "Unspecified") {
+      if (y === "Unspecified") { return Data$dOrdering.EQ; }
+      return Data$dOrdering.LT;
+    }
+    if (y === "Unspecified") { return Data$dOrdering.GT; }
+    if (x === "Maybe") {
+      if (y === "Maybe") { return Data$dOrdering.EQ; }
+      return Data$dOrdering.LT;
+    }
+    if (y === "Maybe") { return Data$dOrdering.GT; }
+    if (x === "Probably" && y === "Probably") { return Data$dOrdering.EQ; }
+    $runtime.fail();
+  },
+  Eq0: () => eqCanPlayType
+};
+export {$CanPlayType, Maybe, Probably, Unspecified, eqCanPlayType, ordCanPlayType, parse, print, showCanPlayType};

package/output-es/Web.HTML.HTMLMediaElement.NetworkState/index.js

@@ -0,0 +1,109 @@
+import * as $runtime from "../runtime.js";
+import * as Data$dMaybe from "../Data.Maybe/index.js";
+import * as Data$dOrdering from "../Data.Ordering/index.js";
+const $NetworkState = tag => tag;
+const Empty = /* #__PURE__ */ $NetworkState("Empty");
+const Idle = /* #__PURE__ */ $NetworkState("Idle");
+const Loading = /* #__PURE__ */ $NetworkState("Loading");
+const NoSource = /* #__PURE__ */ $NetworkState("NoSource");
+const toEnumNetworkState = v => {
+  if (v === 0) { return Data$dMaybe.$Maybe("Just", Empty); }
+  if (v === 1) { return Data$dMaybe.$Maybe("Just", Idle); }
+  if (v === 2) { return Data$dMaybe.$Maybe("Just", Loading); }
+  if (v === 3) { return Data$dMaybe.$Maybe("Just", NoSource); }
+  return Data$dMaybe.Nothing;
+};
+const showNetworkState = {
+  show: v => {
+    if (v === "Empty") { return "Empty"; }
+    if (v === "Idle") { return "Idle"; }
+    if (v === "Loading") { return "Loading"; }
+    if (v === "NoSource") { return "NoSource"; }
+    $runtime.fail();
+  }
+};
+const fromEnumNetworkState = v => {
+  if (v === "Empty") { return 0; }
+  if (v === "Idle") { return 1; }
+  if (v === "Loading") { return 2; }
+  if (v === "NoSource") { return 3; }
+  $runtime.fail();
+};
+const eqNetworkState = {
+  eq: x => y => {
+    if (x === "Empty") { return y === "Empty"; }
+    if (x === "Idle") { return y === "Idle"; }
+    if (x === "Loading") { return y === "Loading"; }
+    return x === "NoSource" && y === "NoSource";
+  }
+};
+const ordNetworkState = {
+  compare: x => y => {
+    if (x === "Empty") {
+      if (y === "Empty") { return Data$dOrdering.EQ; }
+      return Data$dOrdering.LT;
+    }
+    if (y === "Empty") { return Data$dOrdering.GT; }
+    if (x === "Idle") {
+      if (y === "Idle") { return Data$dOrdering.EQ; }
+      return Data$dOrdering.LT;
+    }
+    if (y === "Idle") { return Data$dOrdering.GT; }
+    if (x === "Loading") {
+      if (y === "Loading") { return Data$dOrdering.EQ; }
+      return Data$dOrdering.LT;
+    }
+    if (y === "Loading") { return Data$dOrdering.GT; }
+    if (x === "NoSource" && y === "NoSource") { return Data$dOrdering.EQ; }
+    $runtime.fail();
+  },
+  Eq0: () => eqNetworkState
+};
+const enumNetworkState = {
+  succ: a => {
+    const $0 = (() => {
+      if (a === "Empty") { return 1; }
+      if (a === "Idle") { return 2; }
+      if (a === "Loading") { return 3; }
+      if (a === "NoSource") { return 4; }
+      $runtime.fail();
+    })();
+    if ($0 === 0) { return Data$dMaybe.$Maybe("Just", Empty); }
+    if ($0 === 1) { return Data$dMaybe.$Maybe("Just", Idle); }
+    if ($0 === 2) { return Data$dMaybe.$Maybe("Just", Loading); }
+    if ($0 === 3) { return Data$dMaybe.$Maybe("Just", NoSource); }
+    return Data$dMaybe.Nothing;
+  },
+  pred: a => {
+    const $0 = (() => {
+      if (a === "Empty") { return -1; }
+      if (a === "Idle") { return 0; }
+      if (a === "Loading") { return 1; }
+      if (a === "NoSource") { return 2; }
+      $runtime.fail();
+    })();
+    if ($0 === 0) { return Data$dMaybe.$Maybe("Just", Empty); }
+    if ($0 === 1) { return Data$dMaybe.$Maybe("Just", Idle); }
+    if ($0 === 2) { return Data$dMaybe.$Maybe("Just", Loading); }
+    if ($0 === 3) { return Data$dMaybe.$Maybe("Just", NoSource); }
+    return Data$dMaybe.Nothing;
+  },
+  Ord0: () => ordNetworkState
+};
+const boundedNetworkState = {bottom: Empty, top: NoSource, Ord0: () => ordNetworkState};
+const boundedEnumNetworkState = {cardinality: 4, toEnum: toEnumNetworkState, fromEnum: fromEnumNetworkState, Bounded0: () => boundedNetworkState, Enum1: () => enumNetworkState};
+export {
+  $NetworkState,
+  Empty,
+  Idle,
+  Loading,
+  NoSource,
+  boundedEnumNetworkState,
+  boundedNetworkState,
+  enumNetworkState,
+  eqNetworkState,
+  fromEnumNetworkState,
+  ordNetworkState,
+  showNetworkState,
+  toEnumNetworkState
+};