@rescript/webapi 0.1.0-experimental-a0d5168 → 0.1.0-experimental-47c6b2c

package/src/DOMAPI/HTMLMediaElement.res

@@ -1,749 +1,76 @@
 open DOMAPI
-open Prelude
-open EventAPI
 open WebVTTAPI
 open EncryptedMediaExtensionsAPI
 
-external asHTMLElement: htmlMediaElement => htmlElement = "%identity"
-external asElement: htmlMediaElement => element = "%identity"
-external asNode: htmlMediaElement => node = "%identity"
-external asEventTarget: htmlMediaElement => eventTarget = "%identity"
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
-*/
-@send
-external focus: (htmlMediaElement, ~options: focusOptions=?) => unit = "focus"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/blur)
-*/
-@send
-external blur: htmlMediaElement => unit = "blur"
-
-/**
-Inserts nodes before the first child of node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/prepend)
-*/
-@send
-external prepend: (htmlMediaElement, node) => unit = "prepend"
-
-/**
-Inserts nodes before the first child of node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/prepend)
-*/
-@send
-external prepend2: (htmlMediaElement, string) => unit = "prepend"
-
-/**
-Inserts nodes after the last child of node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/append)
-*/
-@send
-external append: (htmlMediaElement, node) => unit = "append"
-
-/**
-Inserts nodes after the last child of node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/append)
-*/
-@send
-external append2: (htmlMediaElement, string) => unit = "append"
-
-/**
-Replace all children of node with nodes, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/replaceChildren)
-*/
-@send
-external replaceChildren: (htmlMediaElement, node) => unit = "replaceChildren"
-
-/**
-Replace all children of node with nodes, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/replaceChildren)
-*/
-@send
-external replaceChildren2: (htmlMediaElement, string) => unit = "replaceChildren"
-
-/**
-Returns the first element that is a descendant of node that matches selectors.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/querySelector)
-*/
-@send
-external querySelector: (htmlMediaElement, string) => element = "querySelector"
-
-/**
-Returns all element descendants of node that match selectors.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/querySelectorAll)
-*/
-@send
-external querySelectorAll: (htmlMediaElement, string) => nodeList = "querySelectorAll"
-
-/**
-Inserts nodes just before node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/before)
-*/
-@send
-external before: (htmlMediaElement, node) => unit = "before"
-
-/**
-Inserts nodes just before node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/before)
-*/
-@send
-external before2: (htmlMediaElement, string) => unit = "before"
-
-/**
-Inserts nodes just after node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/after)
-*/
-@send
-external after: (htmlMediaElement, node) => unit = "after"
-
-/**
-Inserts nodes just after node, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/after)
-*/
-@send
-external after2: (htmlMediaElement, string) => unit = "after"
-
-/**
-Replaces node with nodes, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/replaceWith)
-*/
-@send
-external replaceWith: (htmlMediaElement, node) => unit = "replaceWith"
-
-/**
-Replaces node with nodes, while replacing strings in nodes with equivalent Text nodes.
-
-Throws a "HierarchyRequestError" DOMException if the constraints of the node tree are violated.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/replaceWith)
-*/
-@send
-external replaceWith2: (htmlMediaElement, string) => unit = "replaceWith"
-
-/**
-Removes node.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData/remove)
-*/
-@send
-external remove: htmlMediaElement => unit = "remove"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/animate)
-*/
-@send
-external animate: (htmlMediaElement, ~keyframes: any, ~options: float=?) => animation = "animate"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/animate)
-*/
-@send
-external animate2: (
-  htmlMediaElement,
-  ~keyframes: any,
-  ~options: keyframeAnimationOptions=?,
-) => animation = "animate"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getAnimations)
-*/
-@send
-external getAnimations: (htmlMediaElement, ~options: getAnimationsOptions=?) => array<animation> =
-  "getAnimations"
-
-/**
-Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
-
-The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
-
-When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
+module Impl = (
+  T: {
+    type t
+  },
+) => {
+  include HTMLElement.Impl({
+    type t = htmlMediaElement
+  })
 
-When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
-
-When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
-
-If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
-
-The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
-*/
-@send
-external addEventListener: (
-  htmlMediaElement,
-  ~type_: eventType,
-  ~callback: eventListener<'event>,
-  ~options: addEventListenerOptions=?,
-) => unit = "addEventListener"
-
-/**
-Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
-
-The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
-
-When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
-
-When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
-
-When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
-
-If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
-
-The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
-*/
-@send
-external addEventListener2: (
-  htmlMediaElement,
-  ~type_: eventType,
-  ~callback: eventListener<'event>,
-  ~options: bool=?,
-) => unit = "addEventListener"
-
-/**
-Removes the event listener in target's event listener list with the same type, callback, and options.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
-*/
-@send
-external removeEventListener: (
-  htmlMediaElement,
-  ~type_: eventType,
-  ~callback: eventListener<'event>,
-  ~options: eventListenerOptions=?,
-) => unit = "removeEventListener"
-
-/**
-Removes the event listener in target's event listener list with the same type, callback, and options.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
-*/
-@send
-external removeEventListener2: (
-  htmlMediaElement,
-  ~type_: eventType,
-  ~callback: eventListener<'event>,
-  ~options: bool=?,
-) => unit = "removeEventListener"
-
-/**
-Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
-*/
-@send
-external dispatchEvent: (htmlMediaElement, event) => bool = "dispatchEvent"
-
-/**
-Returns node's root.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/getRootNode)
-*/
-@send
-external getRootNode: (htmlMediaElement, ~options: getRootNodeOptions=?) => node = "getRootNode"
-
-/**
-Returns whether node has children.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/hasChildNodes)
-*/
-@send
-external hasChildNodes: htmlMediaElement => bool = "hasChildNodes"
-
-/**
-Removes empty exclusive Text nodes and concatenates the data of remaining contiguous exclusive Text nodes into the first of their nodes.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/normalize)
-*/
-@send
-external normalize: htmlMediaElement => unit = "normalize"
-
-/**
-Returns a copy of node. If deep is true, the copy also includes the node's descendants.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/cloneNode)
-*/
-@send
-external cloneNode: (htmlMediaElement, ~deep: bool=?) => node = "cloneNode"
-
-/**
-Returns whether node and otherNode have the same properties.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/isEqualNode)
-*/
-@send
-external isEqualNode: (htmlMediaElement, node) => bool = "isEqualNode"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/isSameNode)
-*/
-@send
-external isSameNode: (htmlMediaElement, node) => bool = "isSameNode"
-
-/**
-Returns a bitmask indicating the position of other relative to node.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/compareDocumentPosition)
-*/
-@send
-external compareDocumentPosition: (htmlMediaElement, node) => int = "compareDocumentPosition"
-
-/**
-Returns true if other is an inclusive descendant of node, and false otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/contains)
-*/
-@send
-external contains: (htmlMediaElement, node) => bool = "contains"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/lookupPrefix)
-*/
-@send
-external lookupPrefix: (htmlMediaElement, string) => string = "lookupPrefix"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/lookupNamespaceURI)
-*/
-@send
-external lookupNamespaceURI: (htmlMediaElement, string) => string = "lookupNamespaceURI"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/isDefaultNamespace)
-*/
-@send
-external isDefaultNamespace: (htmlMediaElement, string) => bool = "isDefaultNamespace"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/insertBefore)
-*/
-@send
-external insertBefore: (htmlMediaElement, 't, ~child: node) => 't = "insertBefore"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/appendChild)
-*/
-@send
-external appendChild: (htmlMediaElement, 't) => 't = "appendChild"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/replaceChild)
-*/
-@send
-external replaceChild: (htmlMediaElement, ~node: node, 't) => 't = "replaceChild"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/removeChild)
-*/
-@send
-external removeChild: (htmlMediaElement, 't) => 't = "removeChild"
-
-/**
-Returns true if element has attributes, and false otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/hasAttributes)
-*/
-@send
-external hasAttributes: htmlMediaElement => bool = "hasAttributes"
-
-/**
-Returns the qualified names of all element's attributes. Can contain duplicates.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getAttributeNames)
-*/
-@send
-external getAttributeNames: htmlMediaElement => array<string> = "getAttributeNames"
-
-/**
-Returns element's first attribute whose qualified name is qualifiedName, and null if there is no such attribute otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getAttribute)
-*/
-@send
-external getAttribute: (htmlMediaElement, string) => string = "getAttribute"
+  external asHTMLMediaElement: T.t => htmlMediaElement = "%identity"
 
-/**
-Returns element's attribute whose namespace is namespace and local name is localName, and null if there is no such attribute otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getAttributeNS)
-*/
-@send
-external getAttributeNS: (htmlMediaElement, ~namespace: string, ~localName: string) => string =
-  "getAttributeNS"
-
-/**
-Sets the value of element's first attribute whose qualified name is qualifiedName to value.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/setAttribute)
-*/
-@send
-external setAttribute: (htmlMediaElement, ~qualifiedName: string, ~value: string) => unit =
-  "setAttribute"
-
-/**
-Sets the value of element's attribute whose namespace is namespace and local name is localName to value.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/setAttributeNS)
-*/
-@send
-external setAttributeNS: (
-  htmlMediaElement,
-  ~namespace: string,
-  ~qualifiedName: string,
-  ~value: string,
-) => unit = "setAttributeNS"
-
-/**
-Removes element's first attribute whose qualified name is qualifiedName.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/removeAttribute)
-*/
-@send
-external removeAttribute: (htmlMediaElement, string) => unit = "removeAttribute"
-
-/**
-Removes element's attribute whose namespace is namespace and local name is localName.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/removeAttributeNS)
-*/
-@send
-external removeAttributeNS: (htmlMediaElement, ~namespace: string, ~localName: string) => unit =
-  "removeAttributeNS"
-
-/**
-If force is not given, "toggles" qualifiedName, removing it if it is present and adding it if it is not present. If force is true, adds qualifiedName. If force is false, removes qualifiedName.
-
-Returns true if qualifiedName is now present, and false otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/toggleAttribute)
-*/
-@send
-external toggleAttribute: (htmlMediaElement, ~qualifiedName: string, ~force: bool=?) => bool =
-  "toggleAttribute"
-
-/**
-Returns true if element has an attribute whose qualified name is qualifiedName, and false otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/hasAttribute)
-*/
-@send
-external hasAttribute: (htmlMediaElement, string) => bool = "hasAttribute"
-
-/**
-Returns true if element has an attribute whose namespace is namespace and local name is localName.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/hasAttributeNS)
-*/
-@send
-external hasAttributeNS: (htmlMediaElement, ~namespace: string, ~localName: string) => bool =
-  "hasAttributeNS"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getAttributeNode)
-*/
-@send
-external getAttributeNode: (htmlMediaElement, string) => attr = "getAttributeNode"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getAttributeNodeNS)
-*/
-@send
-external getAttributeNodeNS: (htmlMediaElement, ~namespace: string, ~localName: string) => attr =
-  "getAttributeNodeNS"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/setAttributeNode)
-*/
-@send
-external setAttributeNode: (htmlMediaElement, attr) => attr = "setAttributeNode"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/setAttributeNodeNS)
-*/
-@send
-external setAttributeNodeNS: (htmlMediaElement, attr) => attr = "setAttributeNodeNS"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/removeAttributeNode)
-*/
-@send
-external removeAttributeNode: (htmlMediaElement, attr) => attr = "removeAttributeNode"
-
-/**
-Creates a shadow root for element and returns it.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/attachShadow)
-*/
-@send
-external attachShadow: (htmlMediaElement, shadowRootInit) => shadowRoot = "attachShadow"
-
-/**
-Returns the first (starting at element) inclusive ancestor that matches selectors, and null otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/closest)
-*/
-@send
-external closest: (htmlMediaElement, string) => 'e = "closest"
-
-/**
-Returns true if matching selectors against element's root yields element, and false otherwise.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/matches)
-*/
-@send
-external matches: (htmlMediaElement, string) => bool = "matches"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getElementsByTagName)
-*/
-@send
-external getElementsByTagName: (htmlMediaElement, string) => htmlCollection = "getElementsByTagName"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getElementsByTagNameNS)
-*/
-@send
-external getElementsByTagNameNS: (
-  htmlMediaElement,
-  ~namespace: string,
-  ~localName: string,
-) => htmlCollectionOf<element> = "getElementsByTagNameNS"
-
-/**
-Returns a HTMLCollection of the elements in the object on which the method was invoked (a document or an element) that have all the classes given by classNames. The classNames argument is interpreted as a space-separated list of classes.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getElementsByClassName)
-*/
-@send
-external getElementsByClassName: (htmlMediaElement, string) => htmlCollectionOf<element> =
-  "getElementsByClassName"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/insertAdjacentElement)
-*/
-@send
-external insertAdjacentElement: (
-  htmlMediaElement,
-  ~where: insertPosition,
-  ~element: element,
-) => element = "insertAdjacentElement"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/insertAdjacentText)
-*/
-@send
-external insertAdjacentText: (htmlMediaElement, ~where: insertPosition, ~data: string) => unit =
-  "insertAdjacentText"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/computedStyleMap)
-*/
-@send
-external computedStyleMap: htmlMediaElement => stylePropertyMapReadOnly = "computedStyleMap"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getClientRects)
-*/
-@send
-external getClientRects: htmlMediaElement => domRectList = "getClientRects"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getBoundingClientRect)
-*/
-@send
-external getBoundingClientRect: htmlMediaElement => domRect = "getBoundingClientRect"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/checkVisibility)
-*/
-@send
-external checkVisibility: (htmlMediaElement, ~options: checkVisibilityOptions=?) => bool =
-  "checkVisibility"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollIntoView)
-*/
-@send
-external scrollIntoView: (htmlMediaElement, ~arg: bool=?) => unit = "scrollIntoView"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollIntoView)
-*/
-@send
-external scrollIntoView2: (htmlMediaElement, ~arg: scrollIntoViewOptions=?) => unit =
-  "scrollIntoView"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scroll)
-*/
-@send
-external scroll: (htmlMediaElement, ~options: scrollToOptions=?) => unit = "scroll"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scroll)
-*/
-@send
-external scroll2: (htmlMediaElement, ~x: float, ~y: float) => unit = "scroll"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollTo)
-*/
-@send
-external scrollTo: (htmlMediaElement, ~options: scrollToOptions=?) => unit = "scrollTo"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollTo)
-*/
-@send
-external scrollTo2: (htmlMediaElement, ~x: float, ~y: float) => unit = "scrollTo"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollBy)
-*/
-@send
-external scrollBy: (htmlMediaElement, ~options: scrollToOptions=?) => unit = "scrollBy"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollBy)
-*/
-@send
-external scrollBy2: (htmlMediaElement, ~x: float, ~y: float) => unit = "scrollBy"
-
-/**
-Displays element fullscreen and resolves promise when done.
-
-When supplied, options's navigationUI member indicates whether showing navigation UI while in fullscreen is preferred or not. If set to "show", navigation simplicity is preferred over screen space, and if set to "hide", more screen space is preferred. User agents are always free to honor user preference over the application's. The default value "auto" indicates no application preference.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/requestFullscreen)
-*/
-@send
-external requestFullscreen: (htmlMediaElement, ~options: fullscreenOptions=?) => Promise.t<unit> =
-  "requestFullscreen"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/setHTMLUnsafe)
-*/
-@send
-external setHTMLUnsafe: (htmlMediaElement, string) => unit = "setHTMLUnsafe"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/getHTML)
-*/
-@send
-external getHTML: (htmlMediaElement, ~options: getHTMLOptions=?) => string = "getHTML"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/insertAdjacentHTML)
-*/
-@send
-external insertAdjacentHTML: (
-  htmlMediaElement,
-  ~position: insertPosition,
-  ~string: string,
-) => unit = "insertAdjacentHTML"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/setPointerCapture)
-*/
-@send
-external setPointerCapture: (htmlMediaElement, int) => unit = "setPointerCapture"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/releasePointerCapture)
-*/
-@send
-external releasePointerCapture: (htmlMediaElement, int) => unit = "releasePointerCapture"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/hasPointerCapture)
-*/
-@send
-external hasPointerCapture: (htmlMediaElement, int) => bool = "hasPointerCapture"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/requestPointerLock)
-*/
-@send
-external requestPointerLock: (htmlMediaElement, ~options: pointerLockOptions=?) => Promise.t<unit> =
-  "requestPointerLock"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/click)
-*/
-@send
-external click: htmlMediaElement => unit = "click"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/attachInternals)
-*/
-@send
-external attachInternals: htmlMediaElement => elementInternals = "attachInternals"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/showPopover)
+  /**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/addTextTrack)
 */
-@send
-external showPopover: htmlMediaElement => unit = "showPopover"
+  @send
+  external addTextTrack: (
+    T.t,
+    ~kind: textTrackKind,
+    ~label: string=?,
+    ~language: string=?,
+  ) => textTrack = "addTextTrack"
 
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/hidePopover)
+  /**
+Returns a string that specifies whether the client can play a given media resource type.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/canPlayType)
 */
-@send
-external hidePopover: htmlMediaElement => unit = "hidePopover"
+  @send
+  external canPlayType: (T.t, string) => canPlayTypeResult = "canPlayType"
 
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/togglePopover)
+  /**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/fastSeek)
 */
-@send
-external togglePopover: (htmlMediaElement, ~force: bool=?) => bool = "togglePopover"
+  @send
+  external fastSeek: (T.t, float) => unit = "fastSeek"
 
-/**
+  /**
 Resets the audio or video object and loads a new media resource.
 [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/load)
 */
-@send
-external load: htmlMediaElement => unit = "load"
-
-/**
-Returns a string that specifies whether the client can play a given media resource type.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/canPlayType)
-*/
-@send
-external canPlayType: (htmlMediaElement, string) => canPlayTypeResult = "canPlayType"
+  @send
+  external load: T.t => unit = "load"
 
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/fastSeek)
+  /**
+Pauses the current playback and sets paused to TRUE.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/pause)
 */
-@send
-external fastSeek: (htmlMediaElement, float) => unit = "fastSeek"
+  @send
+  external pause: T.t => unit = "pause"
 
-/**
+  /**
 Loads and starts playback of a media resource.
 [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/play)
 */
-@send
-external play: htmlMediaElement => Promise.t<unit> = "play"
+  @send
+  external play: T.t => Promise.t<unit> = "play"
 
-/**
-Pauses the current playback and sets paused to TRUE.
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/pause)
-*/
-@send
-external pause: htmlMediaElement => unit = "pause"
-
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/addTextTrack)
+  /**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/setMediaKeys)
 */
-@send
-external addTextTrack: (
-  htmlMediaElement,
-  ~kind: textTrackKind,
-  ~label: string=?,
-  ~language: string=?,
-) => textTrack = "addTextTrack"
+  @send
+  external setMediaKeys: (T.t, mediaKeys) => Promise.t<unit> = "setMediaKeys"
 
-/**
+  /**
 [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/setSinkId)
 */
-@send
-external setSinkId: (htmlMediaElement, string) => Promise.t<unit> = "setSinkId"
+  @send
+  external setSinkId: (T.t, string) => Promise.t<unit> = "setSinkId"
+}
 
-/**
-[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/setMediaKeys)
-*/
-@send
-external setMediaKeys: (htmlMediaElement, mediaKeys) => Promise.t<unit> = "setMediaKeys"
+include Impl({
+  type t = htmlMediaElement
+})