@explorable-viz/fluid 0.12.3 → 0.12.5

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

@@ -0,0 +1,403 @@
+export function autocomplete(textarea) {
+  return function () {
+    return textarea.autocomplete;
+  };
+}
+
+export function setAutocomplete(autocomplete) {
+  return function (textarea) {
+    return function () {
+      textarea.autocomplete = autocomplete;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function autofocus(textarea) {
+  return function () {
+    return textarea.autofocus;
+  };
+}
+
+export function setAutofocus(autofocus) {
+  return function (textarea) {
+    return function () {
+      textarea.autofocus = autofocus;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function cols(textarea) {
+  return function () {
+    return textarea.cols;
+  };
+}
+
+export function setCols(cols) {
+  return function (textarea) {
+    return function () {
+      textarea.cols = cols;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function dirName(textarea) {
+  return function () {
+    return textarea.dirName;
+  };
+}
+
+export function setDirName(dirName) {
+  return function (textarea) {
+    return function () {
+      textarea.dirName = dirName;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function disabled(textarea) {
+  return function () {
+    return textarea.disabled;
+  };
+}
+
+export function setDisabled(disabled) {
+  return function (textarea) {
+    return function () {
+      textarea.disabled = disabled;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function _form(textarea) {
+  return function () {
+    return textarea.form;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function maxLength(textarea) {
+  return function () {
+    return textarea.maxLength;
+  };
+}
+
+export function setMaxLength(maxLength) {
+  return function (textarea) {
+    return function () {
+      textarea.maxLength = maxLength;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function minLength(textarea) {
+  return function () {
+    return textarea.minLength;
+  };
+}
+
+export function setMinLength(minLength) {
+  return function (textarea) {
+    return function () {
+      textarea.minLength = minLength;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function name(textarea) {
+  return function () {
+    return textarea.name;
+  };
+}
+
+export function setName(name) {
+  return function (textarea) {
+    return function () {
+      textarea.name = name;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function placeholder(textarea) {
+  return function () {
+    return textarea.placeholder;
+  };
+}
+
+export function setPlaceholder(placeholder) {
+  return function (textarea) {
+    return function () {
+      textarea.placeholder = placeholder;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function readOnly(textarea) {
+  return function () {
+    return textarea.readOnly;
+  };
+}
+
+export function setReadOnly(readOnly) {
+  return function (textarea) {
+    return function () {
+      textarea.readOnly = readOnly;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function required(textarea) {
+  return function () {
+    return textarea.required;
+  };
+}
+
+export function setRequired(required) {
+  return function (textarea) {
+    return function () {
+      textarea.required = required;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function rows(textarea) {
+  return function () {
+    return textarea.rows;
+  };
+}
+
+export function setRows(rows) {
+  return function (textarea) {
+    return function () {
+      textarea.rows = rows;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function wrap(textarea) {
+  return function () {
+    return textarea.wrap;
+  };
+}
+
+export function setWrap(wrap) {
+  return function (textarea) {
+    return function () {
+      textarea.wrap = wrap;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function type_(textarea) {
+  return function () {
+    return textarea.type;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function defaultValue(textarea) {
+  return function () {
+    return textarea.defaultValue;
+  };
+}
+
+export function setDefaultValue(defaultValue) {
+  return function (textarea) {
+    return function () {
+      textarea.defaultValue = defaultValue;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function value(textarea) {
+  return function () {
+    return textarea.value;
+  };
+}
+
+export function setValue(value) {
+  return function (textarea) {
+    return function () {
+      textarea.value = value;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function textLength(textarea) {
+  return function () {
+    return textarea.textLength;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function willValidate(textarea) {
+  return function () {
+    return textarea.willValidate;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function validity(textarea) {
+  return function () {
+    return textarea.validity;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function validationMessage(textarea) {
+  return function () {
+    return textarea.validationMessage;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function checkValidity(textarea) {
+  return function () {
+    return textarea.checkValidity();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function reportValidity(textarea) {
+  return function () {
+    return textarea.reportValidity();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function setCustomValidity(value) {
+  return function (textarea) {
+    return function () {
+      textarea.setCustomValidity(value);
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function labels(textarea) {
+  return function () {
+    return textarea.labels;
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function select(textarea) {
+  return function () {
+    textarea.select();
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function selectionStart(textarea) {
+  return function () {
+    return textarea.selectionStart;
+  };
+}
+
+export function setSelectionStart(selectionStart) {
+  return function (textarea) {
+    return function () {
+      textarea.selectionStart = selectionStart;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function selectionEnd(textarea) {
+  return function () {
+    return textarea.selectionEnd;
+  };
+}
+
+export function setSelectionEnd(selectionEnd) {
+  return function (textarea) {
+    return function () {
+      textarea.selectionEnd = selectionEnd;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function selectionDirection(textarea) {
+  return function () {
+    return textarea.selectionDirection;
+  };
+}
+
+export function setSelectionDirection(selectionDirection) {
+  return function (textarea) {
+    return function () {
+      textarea.selectionDirection = selectionDirection;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function setRangeText(replacement) {
+  return function (textarea) {
+    return function () {
+      textarea.setRangeText(replacement);
+    };
+  };
+}
+
+export function _setRangeText(replacement, start, end, selectionMode, textarea) {
+  textarea.setRangeText(replacement, start, end, selectionMode);
+}
+
+// ----------------------------------------------------------------------------
+
+export function setSelectionRange(start) {
+  return function (end) {
+    return function (direction) {
+      return function (textarea) {
+        return function () {
+          textarea.setSelectionRange(start, end, direction);
+        };
+      };
+    };
+  };
+}

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

@@ -0,0 +1,107 @@
+import * as $runtime from "../runtime.js";
+import * as Data$dMaybe from "../Data.Maybe/index.js";
+import * as Data$dNullable from "../Data.Nullable/index.js";
+import * as Unsafe$dCoerce from "../Unsafe.Coerce/index.js";
+import * as Web$dInternal$dFFI from "../Web.Internal.FFI/index.js";
+import {
+  _form,
+  _setRangeText,
+  autocomplete,
+  autofocus,
+  checkValidity,
+  cols,
+  defaultValue,
+  dirName,
+  disabled,
+  labels,
+  maxLength,
+  minLength,
+  name,
+  placeholder,
+  readOnly,
+  reportValidity,
+  required,
+  rows,
+  select,
+  selectionDirection,
+  selectionEnd,
+  selectionStart,
+  setAutocomplete,
+  setAutofocus,
+  setCols,
+  setCustomValidity,
+  setDefaultValue,
+  setDirName,
+  setDisabled,
+  setMaxLength,
+  setMinLength,
+  setName,
+  setPlaceholder,
+  setRangeText,
+  setReadOnly,
+  setRequired,
+  setRows,
+  setSelectionDirection,
+  setSelectionEnd,
+  setSelectionRange,
+  setSelectionStart,
+  setValue,
+  setWrap,
+  textLength,
+  type_,
+  validationMessage,
+  validity,
+  value,
+  willValidate,
+  wrap
+} 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 setRangeText$p = rpl => s => e => mode => area => {
+  const $0 = (() => {
+    if (mode === "Preserve") { return "preserve"; }
+    if (mode === "Select") { return "select"; }
+    if (mode === "Start") { return "start"; }
+    if (mode === "End") { return "end"; }
+    $runtime.fail();
+  })();
+  return () => _setRangeText(rpl, s, e, $0, area);
+};
+const fromParentNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const fromNonDocumentTypeChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const fromNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const fromHTMLElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const fromEventTarget = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const fromElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const fromChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTextAreaElement");
+const form = x => {
+  const $0 = _form(x);
+  return () => {
+    const a$p = $0();
+    return Data$dNullable.nullable(a$p, Data$dMaybe.Nothing, Data$dMaybe.Just);
+  };
+};
+export {
+  form,
+  fromChildNode,
+  fromElement,
+  fromEventTarget,
+  fromHTMLElement,
+  fromNode,
+  fromNonDocumentTypeChildNode,
+  fromParentNode,
+  setRangeText$p,
+  toChildNode,
+  toElement,
+  toEventTarget,
+  toHTMLElement,
+  toNode,
+  toNonDocumentTypeChildNode,
+  toParentNode
+};
+export * from "./foreign.js";

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

@@ -0,0 +1,13 @@
+export function dateTime(time) {
+  return function () {
+    return time.dateTime;
+  };
+}
+
+export function setDateTime(dateTime) {
+  return function (time) {
+    return function () {
+      time.dateTime = dateTime;
+    };
+  };
+}

package/output-es/Web.HTML.HTMLTimeElement/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 {dateTime, setDateTime} 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("HTMLTimeElement");
+const fromNonDocumentTypeChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTimeElement");
+const fromNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTimeElement");
+const fromHTMLElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTimeElement");
+const fromEventTarget = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTimeElement");
+const fromElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTimeElement");
+const fromChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTimeElement");
+export {
+  fromChildNode,
+  fromElement,
+  fromEventTarget,
+  fromHTMLElement,
+  fromNode,
+  fromNonDocumentTypeChildNode,
+  fromParentNode,
+  toChildNode,
+  toElement,
+  toEventTarget,
+  toHTMLElement,
+  toNode,
+  toNonDocumentTypeChildNode,
+  toParentNode
+};
+export * from "./foreign.js";

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

@@ -0,0 +1,13 @@
+export function text(title) {
+  return function () {
+    return title.text;
+  };
+}
+
+export function setText(text) {
+  return function (title) {
+    return function () {
+      title.text = text;
+    };
+  };
+}

package/output-es/Web.HTML.HTMLTitleElement/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 {setText, text} 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("HTMLTitleElement");
+const fromNonDocumentTypeChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTitleElement");
+const fromNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTitleElement");
+const fromHTMLElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTitleElement");
+const fromEventTarget = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTitleElement");
+const fromElement = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTitleElement");
+const fromChildNode = /* #__PURE__ */ Web$dInternal$dFFI.unsafeReadProtoTagged("HTMLTitleElement");
+export {
+  fromChildNode,
+  fromElement,
+  fromEventTarget,
+  fromHTMLElement,
+  fromNode,
+  fromNonDocumentTypeChildNode,
+  fromParentNode,
+  toChildNode,
+  toElement,
+  toEventTarget,
+  toHTMLElement,
+  toNode,
+  toNonDocumentTypeChildNode,
+  toParentNode
+};
+export * from "./foreign.js";

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

@@ -0,0 +1,84 @@
+export function kind(track) {
+  return function () {
+    return track.kind;
+  };
+}
+
+export function setKind(kind) {
+  return function (track) {
+    return function () {
+      track.kind = kind;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function src(track) {
+  return function () {
+    return track.src;
+  };
+}
+
+export function setSrc(src) {
+  return function (track) {
+    return function () {
+      track.src = src;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function srclang(track) {
+  return function () {
+    return track.srclang;
+  };
+}
+
+export function setSrclang(srclang) {
+  return function (track) {
+    return function () {
+      track.srclang = srclang;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function label(track) {
+  return function () {
+    return track.label;
+  };
+}
+
+export function setLabel(label) {
+  return function (track) {
+    return function () {
+      track.label = label;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+const defaultImpl = function (track) {
+  return function () {
+    return track["default"];
+  };
+};
+export { defaultImpl as default };
+
+export function setDefault(def) {
+  return function (track) {
+    return function () {
+      track["default"] = def;
+    };
+  };
+}
+
+// ----------------------------------------------------------------------------
+
+export function _readyState(track) {
+  return track.readyState;
+}