diff --git a/src/DOMAPI.res b/src/DOMAPI.res index 80fdb61..073a1a0 100644 --- a/src/DOMAPI.res +++ b/src/DOMAPI.res @@ -2433,7 +2433,7 @@ type rec node = { Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -2468,7 +2468,7 @@ type rec node = { NodeList objects are collections of nodes, usually returned by properties such as Node.childNodes and methods such as document.querySelectorAll(). [See NodeList on MDN](https://developer.mozilla.org/docs/Web/API/NodeList) */ -@editor.completeFrom(NodeList) and nodeList = { +@editor.completeFrom(NodeList) and nodeList<'tNode> = { /** Returns the number of nodes in the collection. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeList/length) @@ -2476,16 +2476,6 @@ NodeList objects are collections of nodes, usually returned by properties such a length: int, } -and nodeListOf<'tNode> = { - // Base properties from NodeList - /** - Returns the number of nodes in the collection. - [Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeList/length) - */ - length: int, - // End base properties from NodeList -} - /** Element is the most general base class from which all objects in a Document inherit. It only has methods and properties common to all kinds of elements. More specific classes inherit from Element. [See Element on MDN](https://developer.mozilla.org/docs/Web/API/Element) @@ -2531,7 +2521,7 @@ Element is the most general base class from which all objects in a Document inhe Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -2663,7 +2653,7 @@ Element is the most general base class from which all objects in a Document inhe Returns the child elements. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/children) */ - children: htmlCollection, + children: htmlCollection, /** Returns the first child that is an element, and null otherwise. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/firstElementChild) @@ -2905,7 +2895,7 @@ Element is the most general base class from which all objects in a Document inhe Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -3001,22 +2991,12 @@ Similarly, when the focused element is in a different node tree than documentOrS A generic collection (array-like object similar to arguments) of elements (in document order) and offers methods and properties for selecting from the list. [See HTMLCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection) */ -@editor.completeFrom(HTMLCollection) and htmlCollection = { - /** - Sets or retrieves the number of objects in a collection. - [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection/length) - */ - length: int, -} - -and htmlCollectionOf<'t> = { - // Base properties from HTMLCollection +@editor.completeFrom(HTMLCollection) and htmlCollection<'t> = { /** Sets or retrieves the number of objects in a collection. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection/length) */ length: int, - // End base properties from HTMLCollection } /** @@ -3178,7 +3158,7 @@ Any HTML element. Some elements directly implement this interface, while others Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -3551,7 +3531,7 @@ Contains the descriptive information, or metadata, for a document. This object i Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -3807,7 +3787,7 @@ A
element in the DOM; it allows access to and in some cases modification Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -4114,7 +4094,7 @@ Provides special properties and methods for manipulating elements. Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -4457,7 +4437,7 @@ Provides special properties (beyond the regular HTMLElement interface it also ha Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -4729,7 +4709,7 @@ Hyperlink elements and provides special properties and methods (beyond those of Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -5102,7 +5082,7 @@ Provides special properties and methods (beyond those of the regular object HTML Returns the children. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes) */ - childNodes: nodeListOf, + childNodes: nodeList, /** Returns the first child. [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild) @@ -5455,7 +5435,7 @@ HTML