
    0 | module Web.Internal.Types
    1 | 
    2 | import JS
    3 | import public Web.Internal.AnimationTypes as Types
    4 | import public Web.Internal.ClipboardTypes as Types
    5 | import public Web.Internal.CssTypes as Types
    6 | import public Web.Internal.CssomviewTypes as Types
    7 | import public Web.Internal.DomTypes as Types
    8 | import public Web.Internal.FetchTypes as Types
    9 | import public Web.Internal.FileTypes as Types
   10 | import public Web.Internal.GeometryTypes as Types
   11 | import public Web.Internal.HtmlTypes as Types
   12 | import public Web.Internal.IndexedDBTypes as Types
   13 | import public Web.Internal.MediasourceTypes as Types
   14 | import public Web.Internal.MediastreamTypes as Types
   15 | import public Web.Internal.PermissionsTypes as Types
   16 | import public Web.Internal.ServiceworkerTypes as Types
   17 | import public Web.Internal.StreamsTypes as Types
   18 | import public Web.Internal.SvgTypes as Types
   19 | import public Web.Internal.UIEventsTypes as Types
   20 | import public Web.Internal.UrlTypes as Types
   21 | import public Web.Internal.VisibilityTypes as Types
   22 | import public Web.Internal.WebglTypes as Types
   23 | import public Web.Internal.WebidlTypes as Types
   24 | import public Web.Internal.XhrTypes as Types
   25 | 
   26 | %default total
   27 | 
   28 | 
   29 | --------------------------------------------------------------------------------
   30 | --          Inheritance
   31 | --------------------------------------------------------------------------------
   32 | 
   33 | public export
   34 | JSType AbortController where
   35 |   parents = [Object]
   36 | 
   37 |   mixins = []
   38 | 
   39 | 
   40 | public export
   41 | JSType AbortSignal where
   42 |   parents = [EventTarget, Object]
   43 | 
   44 |   mixins = []
   45 | 
   46 | 
   47 | public export
   48 | JSType AbstractRange where
   49 |   parents = [Object]
   50 | 
   51 |   mixins = []
   52 | 
   53 | 
   54 | public export
   55 | JSType Animation where
   56 |   parents = [EventTarget, Object]
   57 | 
   58 |   mixins = []
   59 | 
   60 | 
   61 | public export
   62 | JSType AnimationEffect where
   63 |   parents = [Object]
   64 | 
   65 |   mixins = []
   66 | 
   67 | 
   68 | public export
   69 | JSType AnimationPlaybackEvent where
   70 |   parents = [Event, Object]
   71 | 
   72 |   mixins = []
   73 | 
   74 | 
   75 | public export
   76 | JSType AnimationTimeline where
   77 |   parents = [Object]
   78 | 
   79 |   mixins = []
   80 | 
   81 | 
   82 | public export
   83 | JSType Attr where
   84 |   parents = [Node, EventTarget, Object]
   85 | 
   86 |   mixins = []
   87 | 
   88 | 
   89 | public export
   90 | JSType AudioTrack where
   91 |   parents = [Object]
   92 | 
   93 |   mixins = []
   94 | 
   95 | 
   96 | public export
   97 | JSType AudioTrackList where
   98 |   parents = [EventTarget, Object]
   99 | 
  100 |   mixins = []
  101 | 
  102 | 
  103 | public export
  104 | JSType BarProp where
  105 |   parents = [Object]
  106 | 
  107 |   mixins = []
  108 | 
  109 | 
  110 | public export
  111 | JSType BeforeUnloadEvent where
  112 |   parents = [Event, Object]
  113 | 
  114 |   mixins = []
  115 | 
  116 | 
  117 | public export
  118 | JSType Blob where
  119 |   parents = [Object]
  120 | 
  121 |   mixins = []
  122 | 
  123 | 
  124 | public export
  125 | JSType BroadcastChannel where
  126 |   parents = [EventTarget, Object]
  127 | 
  128 |   mixins = []
  129 | 
  130 | 
  131 | public export
  132 | JSType ByteLengthQueuingStrategy where
  133 |   parents = [Object]
  134 | 
  135 |   mixins = []
  136 | 
  137 | 
  138 | public export
  139 | JSType CDATASection where
  140 |   parents = [Text, CharacterData, Node, EventTarget, Object]
  141 | 
  142 |   mixins = [ChildNode, GeometryUtils, NonDocumentTypeChildNode, Slottable]
  143 | 
  144 | 
  145 | public export
  146 | JSType CSSGroupingRule where
  147 |   parents = [CSSRule, Object]
  148 | 
  149 |   mixins = []
  150 | 
  151 | 
  152 | public export
  153 | JSType CSSImportRule where
  154 |   parents = [CSSRule, Object]
  155 | 
  156 |   mixins = []
  157 | 
  158 | 
  159 | public export
  160 | JSType CSSMarginRule where
  161 |   parents = [CSSRule, Object]
  162 | 
  163 |   mixins = []
  164 | 
  165 | 
  166 | public export
  167 | JSType CSSNamespaceRule where
  168 |   parents = [CSSRule, Object]
  169 | 
  170 |   mixins = []
  171 | 
  172 | 
  173 | public export
  174 | JSType CSSPageRule where
  175 |   parents = [CSSGroupingRule, CSSRule, Object]
  176 | 
  177 |   mixins = []
  178 | 
  179 | 
  180 | public export
  181 | JSType CSSPseudoElement where
  182 |   parents = [EventTarget, Object]
  183 | 
  184 |   mixins = [Animatable, GeometryUtils]
  185 | 
  186 | 
  187 | public export
  188 | JSType CSSRule where
  189 |   parents = [Object]
  190 | 
  191 |   mixins = []
  192 | 
  193 | 
  194 | public export
  195 | JSType CSSRuleList where
  196 |   parents = [Object]
  197 | 
  198 |   mixins = []
  199 | 
  200 | 
  201 | public export
  202 | JSType CSSStyleDeclaration where
  203 |   parents = [Object]
  204 | 
  205 |   mixins = []
  206 | 
  207 | 
  208 | public export
  209 | JSType CSSStyleRule where
  210 |   parents = [CSSRule, Object]
  211 | 
  212 |   mixins = []
  213 | 
  214 | 
  215 | public export
  216 | JSType CSSStyleSheet where
  217 |   parents = [StyleSheet, Object]
  218 | 
  219 |   mixins = []
  220 | 
  221 | 
  222 | public export
  223 | JSType Cache where
  224 |   parents = [Object]
  225 | 
  226 |   mixins = []
  227 | 
  228 | 
  229 | public export
  230 | JSType CacheStorage where
  231 |   parents = [Object]
  232 | 
  233 |   mixins = []
  234 | 
  235 | 
  236 | public export
  237 | JSType CanvasGradient where
  238 |   parents = [Object]
  239 | 
  240 |   mixins = []
  241 | 
  242 | 
  243 | public export
  244 | JSType CanvasPattern where
  245 |   parents = [Object]
  246 | 
  247 |   mixins = []
  248 | 
  249 | 
  250 | public export
  251 | JSType CanvasRenderingContext2D where
  252 |   parents = [Object]
  253 | 
  254 |   mixins =
  255 |     [ CanvasCompositing
  256 |     , CanvasDrawImage
  257 |     , CanvasDrawPath
  258 |     , CanvasFillStrokeStyles
  259 |     , CanvasFilters
  260 |     , CanvasImageData
  261 |     , CanvasImageSmoothing
  262 |     , CanvasPath
  263 |     , CanvasPathDrawingStyles
  264 |     , CanvasRect
  265 |     , CanvasShadowStyles
  266 |     , CanvasState
  267 |     , CanvasText
  268 |     , CanvasTextDrawingStyles
  269 |     , CanvasTransform
  270 |     , CanvasUserInterface
  271 |     ]
  272 | 
  273 | 
  274 | public export
  275 | JSType CaretPosition where
  276 |   parents = [Object]
  277 | 
  278 |   mixins = []
  279 | 
  280 | 
  281 | public export
  282 | JSType CharacterData where
  283 |   parents = [Node, EventTarget, Object]
  284 | 
  285 |   mixins = [ChildNode, NonDocumentTypeChildNode]
  286 | 
  287 | 
  288 | public export
  289 | JSType Client where
  290 |   parents = [Object]
  291 | 
  292 |   mixins = []
  293 | 
  294 | 
  295 | public export
  296 | JSType Clients where
  297 |   parents = [Object]
  298 | 
  299 |   mixins = []
  300 | 
  301 | 
  302 | public export
  303 | JSType Clipboard where
  304 |   parents = [EventTarget, Object]
  305 | 
  306 |   mixins = []
  307 | 
  308 | 
  309 | public export
  310 | JSType ClipboardEvent where
  311 |   parents = [Event, Object]
  312 | 
  313 |   mixins = []
  314 | 
  315 | 
  316 | public export
  317 | JSType ClipboardItem where
  318 |   parents = [Object]
  319 | 
  320 |   mixins = []
  321 | 
  322 | 
  323 | public export
  324 | JSType CloseEvent where
  325 |   parents = [Event, Object]
  326 | 
  327 |   mixins = []
  328 | 
  329 | 
  330 | public export
  331 | JSType Comment where
  332 |   parents = [CharacterData, Node, EventTarget, Object]
  333 | 
  334 |   mixins = [ChildNode, NonDocumentTypeChildNode]
  335 | 
  336 | 
  337 | public export
  338 | JSType CompositionEvent where
  339 |   parents = [UIEvent, Event, Object]
  340 | 
  341 |   mixins = []
  342 | 
  343 | 
  344 | public export
  345 | JSType ConstrainablePattern where
  346 |   parents = [Object]
  347 | 
  348 |   mixins = []
  349 | 
  350 | 
  351 | public export
  352 | JSType CountQueuingStrategy where
  353 |   parents = [Object]
  354 | 
  355 |   mixins = []
  356 | 
  357 | 
  358 | public export
  359 | JSType CustomElementRegistry where
  360 |   parents = [Object]
  361 | 
  362 |   mixins = []
  363 | 
  364 | 
  365 | public export
  366 | JSType CustomEvent where
  367 |   parents = [Event, Object]
  368 | 
  369 |   mixins = []
  370 | 
  371 | 
  372 | public export
  373 | JSType DOMException where
  374 |   parents = [Object]
  375 | 
  376 |   mixins = []
  377 | 
  378 | 
  379 | public export
  380 | JSType DOMImplementation where
  381 |   parents = [Object]
  382 | 
  383 |   mixins = []
  384 | 
  385 | 
  386 | public export
  387 | JSType DOMMatrix where
  388 |   parents = [DOMMatrixReadOnly, Object]
  389 | 
  390 |   mixins = []
  391 | 
  392 | 
  393 | public export
  394 | JSType DOMMatrixReadOnly where
  395 |   parents = [Object]
  396 | 
  397 |   mixins = []
  398 | 
  399 | 
  400 | public export
  401 | JSType DOMParser where
  402 |   parents = [Object]
  403 | 
  404 |   mixins = []
  405 | 
  406 | 
  407 | public export
  408 | JSType DOMPoint where
  409 |   parents = [DOMPointReadOnly, Object]
  410 | 
  411 |   mixins = []
  412 | 
  413 | 
  414 | public export
  415 | JSType DOMPointReadOnly where
  416 |   parents = [Object]
  417 | 
  418 |   mixins = []
  419 | 
  420 | 
  421 | public export
  422 | JSType DOMQuad where
  423 |   parents = [Object]
  424 | 
  425 |   mixins = []
  426 | 
  427 | 
  428 | public export
  429 | JSType DOMRect where
  430 |   parents = [DOMRectReadOnly, Object]
  431 | 
  432 |   mixins = []
  433 | 
  434 | 
  435 | public export
  436 | JSType DOMRectList where
  437 |   parents = [Object]
  438 | 
  439 |   mixins = []
  440 | 
  441 | 
  442 | public export
  443 | JSType DOMRectReadOnly where
  444 |   parents = [Object]
  445 | 
  446 |   mixins = []
  447 | 
  448 | 
  449 | public export
  450 | JSType DOMStringList where
  451 |   parents = [Object]
  452 | 
  453 |   mixins = []
  454 | 
  455 | 
  456 | public export
  457 | JSType DOMStringMap where
  458 |   parents = [Object]
  459 | 
  460 |   mixins = []
  461 | 
  462 | 
  463 | public export
  464 | JSType DOMTokenList where
  465 |   parents = [Object]
  466 | 
  467 |   mixins = []
  468 | 
  469 | 
  470 | public export
  471 | JSType DataTransfer where
  472 |   parents = [Object]
  473 | 
  474 |   mixins = []
  475 | 
  476 | 
  477 | public export
  478 | JSType DataTransferItem where
  479 |   parents = [Object]
  480 | 
  481 |   mixins = []
  482 | 
  483 | 
  484 | public export
  485 | JSType DataTransferItemList where
  486 |   parents = [Object]
  487 | 
  488 |   mixins = []
  489 | 
  490 | 
  491 | public export
  492 | JSType DedicatedWorkerGlobalScope where
  493 |   parents = [WorkerGlobalScope, EventTarget, Object]
  494 | 
  495 |   mixins = [WindowOrWorkerGlobalScope]
  496 | 
  497 | 
  498 | public export
  499 | JSType Document where
  500 |   parents = [Node, EventTarget, Object]
  501 | 
  502 |   mixins =
  503 |     [ DocumentAndElementEventHandlers
  504 |     , DocumentOrShadowRoot
  505 |     , GeometryUtils
  506 |     , GlobalEventHandlers
  507 |     , NonElementParentNode
  508 |     , ParentNode
  509 |     , XPathEvaluatorBase
  510 |     ]
  511 | 
  512 | 
  513 | public export
  514 | JSType DocumentFragment where
  515 |   parents = [Node, EventTarget, Object]
  516 | 
  517 |   mixins = [NonElementParentNode, ParentNode]
  518 | 
  519 | 
  520 | public export
  521 | JSType DocumentTimeline where
  522 |   parents = [AnimationTimeline, Object]
  523 | 
  524 |   mixins = []
  525 | 
  526 | 
  527 | public export
  528 | JSType DocumentType where
  529 |   parents = [Node, EventTarget, Object]
  530 | 
  531 |   mixins = [ChildNode]
  532 | 
  533 | 
  534 | public export
  535 | JSType DragEvent where
  536 |   parents = [MouseEvent, UIEvent, Event, Object]
  537 | 
  538 |   mixins = []
  539 | 
  540 | 
  541 | public export
  542 | JSType Element where
  543 |   parents = [Node, EventTarget, Object]
  544 | 
  545 |   mixins =
  546 |     [ Animatable
  547 |     , ChildNode
  548 |     , GeometryUtils
  549 |     , InnerHTML
  550 |     , NonDocumentTypeChildNode
  551 |     , ParentNode
  552 |     , Slottable
  553 |     ]
  554 | 
  555 | 
  556 | public export
  557 | JSType ElementInternals where
  558 |   parents = [Object]
  559 | 
  560 |   mixins = [ARIAMixin]
  561 | 
  562 | 
  563 | public export
  564 | JSType ErrorEvent where
  565 |   parents = [Event, Object]
  566 | 
  567 |   mixins = []
  568 | 
  569 | 
  570 | public export
  571 | JSType Event where
  572 |   parents = [Object]
  573 | 
  574 |   mixins = []
  575 | 
  576 | 
  577 | public export
  578 | JSType EventSource where
  579 |   parents = [EventTarget, Object]
  580 | 
  581 |   mixins = []
  582 | 
  583 | 
  584 | public export
  585 | JSType EventTarget where
  586 |   parents = [Object]
  587 | 
  588 |   mixins = []
  589 | 
  590 | 
  591 | public export
  592 | JSType ExtendableEvent where
  593 |   parents = [Event, Object]
  594 | 
  595 |   mixins = []
  596 | 
  597 | 
  598 | public export
  599 | JSType ExtendableMessageEvent where
  600 |   parents = [ExtendableEvent, Event, Object]
  601 | 
  602 |   mixins = []
  603 | 
  604 | 
  605 | public export
  606 | JSType External where
  607 |   parents = [Object]
  608 | 
  609 |   mixins = []
  610 | 
  611 | 
  612 | public export
  613 | JSType FetchEvent where
  614 |   parents = [ExtendableEvent, Event, Object]
  615 | 
  616 |   mixins = []
  617 | 
  618 | 
  619 | public export
  620 | JSType File where
  621 |   parents = [Blob, Object]
  622 | 
  623 |   mixins = []
  624 | 
  625 | 
  626 | public export
  627 | JSType FileList where
  628 |   parents = [Object]
  629 | 
  630 |   mixins = []
  631 | 
  632 | 
  633 | public export
  634 | JSType FileReader where
  635 |   parents = [EventTarget, Object]
  636 | 
  637 |   mixins = []
  638 | 
  639 | 
  640 | public export
  641 | JSType FileReaderSync where
  642 |   parents = [Object]
  643 | 
  644 |   mixins = []
  645 | 
  646 | 
  647 | public export
  648 | JSType FocusEvent where
  649 |   parents = [UIEvent, Event, Object]
  650 | 
  651 |   mixins = []
  652 | 
  653 | 
  654 | public export
  655 | JSType FormData where
  656 |   parents = [Object]
  657 | 
  658 |   mixins = []
  659 | 
  660 | 
  661 | public export
  662 | JSType FormDataEvent where
  663 |   parents = [Event, Object]
  664 | 
  665 |   mixins = []
  666 | 
  667 | 
  668 | public export
  669 | JSType HTMLAllCollection where
  670 |   parents = [Object]
  671 | 
  672 |   mixins = []
  673 | 
  674 | 
  675 | public export
  676 | JSType HTMLAnchorElement where
  677 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  678 | 
  679 |   mixins =
  680 |     [ Animatable
  681 |     , ChildNode
  682 |     , DocumentAndElementEventHandlers
  683 |     , ElementCSSInlineStyle
  684 |     , ElementContentEditable
  685 |     , GeometryUtils
  686 |     , GlobalEventHandlers
  687 |     , HTMLHyperlinkElementUtils
  688 |     , HTMLOrSVGElement
  689 |     , InnerHTML
  690 |     , NonDocumentTypeChildNode
  691 |     , ParentNode
  692 |     , Slottable
  693 |     ]
  694 | 
  695 | 
  696 | public export
  697 | JSType HTMLAreaElement where
  698 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  699 | 
  700 |   mixins =
  701 |     [ Animatable
  702 |     , ChildNode
  703 |     , DocumentAndElementEventHandlers
  704 |     , ElementCSSInlineStyle
  705 |     , ElementContentEditable
  706 |     , GeometryUtils
  707 |     , GlobalEventHandlers
  708 |     , HTMLHyperlinkElementUtils
  709 |     , HTMLOrSVGElement
  710 |     , InnerHTML
  711 |     , NonDocumentTypeChildNode
  712 |     , ParentNode
  713 |     , Slottable
  714 |     ]
  715 | 
  716 | 
  717 | public export
  718 | JSType HTMLAudioElement where
  719 |   parents = [HTMLMediaElement, HTMLElement, Element, Node, EventTarget, Object]
  720 | 
  721 |   mixins =
  722 |     [ Animatable
  723 |     , ChildNode
  724 |     , DocumentAndElementEventHandlers
  725 |     , ElementCSSInlineStyle
  726 |     , ElementContentEditable
  727 |     , GeometryUtils
  728 |     , GlobalEventHandlers
  729 |     , HTMLOrSVGElement
  730 |     , InnerHTML
  731 |     , NonDocumentTypeChildNode
  732 |     , ParentNode
  733 |     , Slottable
  734 |     ]
  735 | 
  736 | 
  737 | public export
  738 | JSType HTMLBRElement where
  739 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  740 | 
  741 |   mixins =
  742 |     [ Animatable
  743 |     , ChildNode
  744 |     , DocumentAndElementEventHandlers
  745 |     , ElementCSSInlineStyle
  746 |     , ElementContentEditable
  747 |     , GeometryUtils
  748 |     , GlobalEventHandlers
  749 |     , HTMLOrSVGElement
  750 |     , InnerHTML
  751 |     , NonDocumentTypeChildNode
  752 |     , ParentNode
  753 |     , Slottable
  754 |     ]
  755 | 
  756 | 
  757 | public export
  758 | JSType HTMLBaseElement where
  759 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  760 | 
  761 |   mixins =
  762 |     [ Animatable
  763 |     , ChildNode
  764 |     , DocumentAndElementEventHandlers
  765 |     , ElementCSSInlineStyle
  766 |     , ElementContentEditable
  767 |     , GeometryUtils
  768 |     , GlobalEventHandlers
  769 |     , HTMLOrSVGElement
  770 |     , InnerHTML
  771 |     , NonDocumentTypeChildNode
  772 |     , ParentNode
  773 |     , Slottable
  774 |     ]
  775 | 
  776 | 
  777 | public export
  778 | JSType HTMLBodyElement where
  779 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  780 | 
  781 |   mixins =
  782 |     [ Animatable
  783 |     , ChildNode
  784 |     , DocumentAndElementEventHandlers
  785 |     , ElementCSSInlineStyle
  786 |     , ElementContentEditable
  787 |     , GeometryUtils
  788 |     , GlobalEventHandlers
  789 |     , HTMLOrSVGElement
  790 |     , InnerHTML
  791 |     , NonDocumentTypeChildNode
  792 |     , ParentNode
  793 |     , Slottable
  794 |     , WindowEventHandlers
  795 |     ]
  796 | 
  797 | 
  798 | public export
  799 | JSType HTMLButtonElement where
  800 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  801 | 
  802 |   mixins =
  803 |     [ Animatable
  804 |     , ChildNode
  805 |     , DocumentAndElementEventHandlers
  806 |     , ElementCSSInlineStyle
  807 |     , ElementContentEditable
  808 |     , GeometryUtils
  809 |     , GlobalEventHandlers
  810 |     , HTMLOrSVGElement
  811 |     , InnerHTML
  812 |     , NonDocumentTypeChildNode
  813 |     , ParentNode
  814 |     , Slottable
  815 |     ]
  816 | 
  817 | 
  818 | public export
  819 | JSType HTMLCanvasElement where
  820 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  821 | 
  822 |   mixins =
  823 |     [ Animatable
  824 |     , ChildNode
  825 |     , DocumentAndElementEventHandlers
  826 |     , ElementCSSInlineStyle
  827 |     , ElementContentEditable
  828 |     , GeometryUtils
  829 |     , GlobalEventHandlers
  830 |     , HTMLOrSVGElement
  831 |     , InnerHTML
  832 |     , NonDocumentTypeChildNode
  833 |     , ParentNode
  834 |     , Slottable
  835 |     ]
  836 | 
  837 | 
  838 | public export
  839 | JSType HTMLCollection where
  840 |   parents = [Object]
  841 | 
  842 |   mixins = []
  843 | 
  844 | 
  845 | public export
  846 | JSType HTMLDListElement where
  847 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  848 | 
  849 |   mixins =
  850 |     [ Animatable
  851 |     , ChildNode
  852 |     , DocumentAndElementEventHandlers
  853 |     , ElementCSSInlineStyle
  854 |     , ElementContentEditable
  855 |     , GeometryUtils
  856 |     , GlobalEventHandlers
  857 |     , HTMLOrSVGElement
  858 |     , InnerHTML
  859 |     , NonDocumentTypeChildNode
  860 |     , ParentNode
  861 |     , Slottable
  862 |     ]
  863 | 
  864 | 
  865 | public export
  866 | JSType HTMLDataElement where
  867 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  868 | 
  869 |   mixins =
  870 |     [ Animatable
  871 |     , ChildNode
  872 |     , DocumentAndElementEventHandlers
  873 |     , ElementCSSInlineStyle
  874 |     , ElementContentEditable
  875 |     , GeometryUtils
  876 |     , GlobalEventHandlers
  877 |     , HTMLOrSVGElement
  878 |     , InnerHTML
  879 |     , NonDocumentTypeChildNode
  880 |     , ParentNode
  881 |     , Slottable
  882 |     ]
  883 | 
  884 | 
  885 | public export
  886 | JSType HTMLDataListElement where
  887 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  888 | 
  889 |   mixins =
  890 |     [ Animatable
  891 |     , ChildNode
  892 |     , DocumentAndElementEventHandlers
  893 |     , ElementCSSInlineStyle
  894 |     , ElementContentEditable
  895 |     , GeometryUtils
  896 |     , GlobalEventHandlers
  897 |     , HTMLOrSVGElement
  898 |     , InnerHTML
  899 |     , NonDocumentTypeChildNode
  900 |     , ParentNode
  901 |     , Slottable
  902 |     ]
  903 | 
  904 | 
  905 | public export
  906 | JSType HTMLDetailsElement where
  907 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  908 | 
  909 |   mixins =
  910 |     [ Animatable
  911 |     , ChildNode
  912 |     , DocumentAndElementEventHandlers
  913 |     , ElementCSSInlineStyle
  914 |     , ElementContentEditable
  915 |     , GeometryUtils
  916 |     , GlobalEventHandlers
  917 |     , HTMLOrSVGElement
  918 |     , InnerHTML
  919 |     , NonDocumentTypeChildNode
  920 |     , ParentNode
  921 |     , Slottable
  922 |     ]
  923 | 
  924 | 
  925 | public export
  926 | JSType HTMLDialogElement where
  927 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  928 | 
  929 |   mixins =
  930 |     [ Animatable
  931 |     , ChildNode
  932 |     , DocumentAndElementEventHandlers
  933 |     , ElementCSSInlineStyle
  934 |     , ElementContentEditable
  935 |     , GeometryUtils
  936 |     , GlobalEventHandlers
  937 |     , HTMLOrSVGElement
  938 |     , InnerHTML
  939 |     , NonDocumentTypeChildNode
  940 |     , ParentNode
  941 |     , Slottable
  942 |     ]
  943 | 
  944 | 
  945 | public export
  946 | JSType HTMLDirectoryElement where
  947 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  948 | 
  949 |   mixins =
  950 |     [ Animatable
  951 |     , ChildNode
  952 |     , DocumentAndElementEventHandlers
  953 |     , ElementCSSInlineStyle
  954 |     , ElementContentEditable
  955 |     , GeometryUtils
  956 |     , GlobalEventHandlers
  957 |     , HTMLOrSVGElement
  958 |     , InnerHTML
  959 |     , NonDocumentTypeChildNode
  960 |     , ParentNode
  961 |     , Slottable
  962 |     ]
  963 | 
  964 | 
  965 | public export
  966 | JSType HTMLDivElement where
  967 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
  968 | 
  969 |   mixins =
  970 |     [ Animatable
  971 |     , ChildNode
  972 |     , DocumentAndElementEventHandlers
  973 |     , ElementCSSInlineStyle
  974 |     , ElementContentEditable
  975 |     , GeometryUtils
  976 |     , GlobalEventHandlers
  977 |     , HTMLOrSVGElement
  978 |     , InnerHTML
  979 |     , NonDocumentTypeChildNode
  980 |     , ParentNode
  981 |     , Slottable
  982 |     ]
  983 | 
  984 | 
  985 | public export
  986 | JSType HTMLElement where
  987 |   parents = [Element, Node, EventTarget, Object]
  988 | 
  989 |   mixins =
  990 |     [ Animatable
  991 |     , ChildNode
  992 |     , DocumentAndElementEventHandlers
  993 |     , ElementCSSInlineStyle
  994 |     , ElementContentEditable
  995 |     , GeometryUtils
  996 |     , GlobalEventHandlers
  997 |     , HTMLOrSVGElement
  998 |     , InnerHTML
  999 |     , NonDocumentTypeChildNode
 1000 |     , ParentNode
 1001 |     , Slottable
 1002 |     ]
 1003 | 
 1004 | 
 1005 | public export
 1006 | JSType HTMLEmbedElement where
 1007 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1008 | 
 1009 |   mixins =
 1010 |     [ Animatable
 1011 |     , ChildNode
 1012 |     , DocumentAndElementEventHandlers
 1013 |     , ElementCSSInlineStyle
 1014 |     , ElementContentEditable
 1015 |     , GeometryUtils
 1016 |     , GlobalEventHandlers
 1017 |     , HTMLOrSVGElement
 1018 |     , InnerHTML
 1019 |     , NonDocumentTypeChildNode
 1020 |     , ParentNode
 1021 |     , Slottable
 1022 |     ]
 1023 | 
 1024 | 
 1025 | public export
 1026 | JSType HTMLFieldSetElement where
 1027 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1028 | 
 1029 |   mixins =
 1030 |     [ Animatable
 1031 |     , ChildNode
 1032 |     , DocumentAndElementEventHandlers
 1033 |     , ElementCSSInlineStyle
 1034 |     , ElementContentEditable
 1035 |     , GeometryUtils
 1036 |     , GlobalEventHandlers
 1037 |     , HTMLOrSVGElement
 1038 |     , InnerHTML
 1039 |     , NonDocumentTypeChildNode
 1040 |     , ParentNode
 1041 |     , Slottable
 1042 |     ]
 1043 | 
 1044 | 
 1045 | public export
 1046 | JSType HTMLFontElement where
 1047 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1048 | 
 1049 |   mixins =
 1050 |     [ Animatable
 1051 |     , ChildNode
 1052 |     , DocumentAndElementEventHandlers
 1053 |     , ElementCSSInlineStyle
 1054 |     , ElementContentEditable
 1055 |     , GeometryUtils
 1056 |     , GlobalEventHandlers
 1057 |     , HTMLOrSVGElement
 1058 |     , InnerHTML
 1059 |     , NonDocumentTypeChildNode
 1060 |     , ParentNode
 1061 |     , Slottable
 1062 |     ]
 1063 | 
 1064 | 
 1065 | public export
 1066 | JSType HTMLFormControlsCollection where
 1067 |   parents = [HTMLCollection, Object]
 1068 | 
 1069 |   mixins = []
 1070 | 
 1071 | 
 1072 | public export
 1073 | JSType HTMLFormElement where
 1074 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1075 | 
 1076 |   mixins =
 1077 |     [ Animatable
 1078 |     , ChildNode
 1079 |     , DocumentAndElementEventHandlers
 1080 |     , ElementCSSInlineStyle
 1081 |     , ElementContentEditable
 1082 |     , GeometryUtils
 1083 |     , GlobalEventHandlers
 1084 |     , HTMLOrSVGElement
 1085 |     , InnerHTML
 1086 |     , NonDocumentTypeChildNode
 1087 |     , ParentNode
 1088 |     , Slottable
 1089 |     ]
 1090 | 
 1091 | 
 1092 | public export
 1093 | JSType HTMLFrameElement where
 1094 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1095 | 
 1096 |   mixins =
 1097 |     [ Animatable
 1098 |     , ChildNode
 1099 |     , DocumentAndElementEventHandlers
 1100 |     , ElementCSSInlineStyle
 1101 |     , ElementContentEditable
 1102 |     , GeometryUtils
 1103 |     , GlobalEventHandlers
 1104 |     , HTMLOrSVGElement
 1105 |     , InnerHTML
 1106 |     , NonDocumentTypeChildNode
 1107 |     , ParentNode
 1108 |     , Slottable
 1109 |     ]
 1110 | 
 1111 | 
 1112 | public export
 1113 | JSType HTMLFrameSetElement where
 1114 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1115 | 
 1116 |   mixins =
 1117 |     [ Animatable
 1118 |     , ChildNode
 1119 |     , DocumentAndElementEventHandlers
 1120 |     , ElementCSSInlineStyle
 1121 |     , ElementContentEditable
 1122 |     , GeometryUtils
 1123 |     , GlobalEventHandlers
 1124 |     , HTMLOrSVGElement
 1125 |     , InnerHTML
 1126 |     , NonDocumentTypeChildNode
 1127 |     , ParentNode
 1128 |     , Slottable
 1129 |     , WindowEventHandlers
 1130 |     ]
 1131 | 
 1132 | 
 1133 | public export
 1134 | JSType HTMLHRElement where
 1135 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1136 | 
 1137 |   mixins =
 1138 |     [ Animatable
 1139 |     , ChildNode
 1140 |     , DocumentAndElementEventHandlers
 1141 |     , ElementCSSInlineStyle
 1142 |     , ElementContentEditable
 1143 |     , GeometryUtils
 1144 |     , GlobalEventHandlers
 1145 |     , HTMLOrSVGElement
 1146 |     , InnerHTML
 1147 |     , NonDocumentTypeChildNode
 1148 |     , ParentNode
 1149 |     , Slottable
 1150 |     ]
 1151 | 
 1152 | 
 1153 | public export
 1154 | JSType HTMLHeadElement where
 1155 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1156 | 
 1157 |   mixins =
 1158 |     [ Animatable
 1159 |     , ChildNode
 1160 |     , DocumentAndElementEventHandlers
 1161 |     , ElementCSSInlineStyle
 1162 |     , ElementContentEditable
 1163 |     , GeometryUtils
 1164 |     , GlobalEventHandlers
 1165 |     , HTMLOrSVGElement
 1166 |     , InnerHTML
 1167 |     , NonDocumentTypeChildNode
 1168 |     , ParentNode
 1169 |     , Slottable
 1170 |     ]
 1171 | 
 1172 | 
 1173 | public export
 1174 | JSType HTMLHeadingElement where
 1175 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1176 | 
 1177 |   mixins =
 1178 |     [ Animatable
 1179 |     , ChildNode
 1180 |     , DocumentAndElementEventHandlers
 1181 |     , ElementCSSInlineStyle
 1182 |     , ElementContentEditable
 1183 |     , GeometryUtils
 1184 |     , GlobalEventHandlers
 1185 |     , HTMLOrSVGElement
 1186 |     , InnerHTML
 1187 |     , NonDocumentTypeChildNode
 1188 |     , ParentNode
 1189 |     , Slottable
 1190 |     ]
 1191 | 
 1192 | 
 1193 | public export
 1194 | JSType HTMLHtmlElement where
 1195 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1196 | 
 1197 |   mixins =
 1198 |     [ Animatable
 1199 |     , ChildNode
 1200 |     , DocumentAndElementEventHandlers
 1201 |     , ElementCSSInlineStyle
 1202 |     , ElementContentEditable
 1203 |     , GeometryUtils
 1204 |     , GlobalEventHandlers
 1205 |     , HTMLOrSVGElement
 1206 |     , InnerHTML
 1207 |     , NonDocumentTypeChildNode
 1208 |     , ParentNode
 1209 |     , Slottable
 1210 |     ]
 1211 | 
 1212 | 
 1213 | public export
 1214 | JSType HTMLIFrameElement where
 1215 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1216 | 
 1217 |   mixins =
 1218 |     [ Animatable
 1219 |     , ChildNode
 1220 |     , DocumentAndElementEventHandlers
 1221 |     , ElementCSSInlineStyle
 1222 |     , ElementContentEditable
 1223 |     , GeometryUtils
 1224 |     , GlobalEventHandlers
 1225 |     , HTMLOrSVGElement
 1226 |     , InnerHTML
 1227 |     , NonDocumentTypeChildNode
 1228 |     , ParentNode
 1229 |     , Slottable
 1230 |     ]
 1231 | 
 1232 | 
 1233 | public export
 1234 | JSType HTMLImageElement where
 1235 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1236 | 
 1237 |   mixins =
 1238 |     [ Animatable
 1239 |     , ChildNode
 1240 |     , DocumentAndElementEventHandlers
 1241 |     , ElementCSSInlineStyle
 1242 |     , ElementContentEditable
 1243 |     , GeometryUtils
 1244 |     , GlobalEventHandlers
 1245 |     , HTMLOrSVGElement
 1246 |     , InnerHTML
 1247 |     , NonDocumentTypeChildNode
 1248 |     , ParentNode
 1249 |     , Slottable
 1250 |     ]
 1251 | 
 1252 | 
 1253 | public export
 1254 | JSType HTMLInputElement where
 1255 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1256 | 
 1257 |   mixins =
 1258 |     [ Animatable
 1259 |     , ChildNode
 1260 |     , DocumentAndElementEventHandlers
 1261 |     , ElementCSSInlineStyle
 1262 |     , ElementContentEditable
 1263 |     , GeometryUtils
 1264 |     , GlobalEventHandlers
 1265 |     , HTMLOrSVGElement
 1266 |     , InnerHTML
 1267 |     , NonDocumentTypeChildNode
 1268 |     , ParentNode
 1269 |     , Slottable
 1270 |     ]
 1271 | 
 1272 | 
 1273 | public export
 1274 | JSType HTMLLIElement where
 1275 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1276 | 
 1277 |   mixins =
 1278 |     [ Animatable
 1279 |     , ChildNode
 1280 |     , DocumentAndElementEventHandlers
 1281 |     , ElementCSSInlineStyle
 1282 |     , ElementContentEditable
 1283 |     , GeometryUtils
 1284 |     , GlobalEventHandlers
 1285 |     , HTMLOrSVGElement
 1286 |     , InnerHTML
 1287 |     , NonDocumentTypeChildNode
 1288 |     , ParentNode
 1289 |     , Slottable
 1290 |     ]
 1291 | 
 1292 | 
 1293 | public export
 1294 | JSType HTMLLabelElement where
 1295 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1296 | 
 1297 |   mixins =
 1298 |     [ Animatable
 1299 |     , ChildNode
 1300 |     , DocumentAndElementEventHandlers
 1301 |     , ElementCSSInlineStyle
 1302 |     , ElementContentEditable
 1303 |     , GeometryUtils
 1304 |     , GlobalEventHandlers
 1305 |     , HTMLOrSVGElement
 1306 |     , InnerHTML
 1307 |     , NonDocumentTypeChildNode
 1308 |     , ParentNode
 1309 |     , Slottable
 1310 |     ]
 1311 | 
 1312 | 
 1313 | public export
 1314 | JSType HTMLLegendElement where
 1315 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1316 | 
 1317 |   mixins =
 1318 |     [ Animatable
 1319 |     , ChildNode
 1320 |     , DocumentAndElementEventHandlers
 1321 |     , ElementCSSInlineStyle
 1322 |     , ElementContentEditable
 1323 |     , GeometryUtils
 1324 |     , GlobalEventHandlers
 1325 |     , HTMLOrSVGElement
 1326 |     , InnerHTML
 1327 |     , NonDocumentTypeChildNode
 1328 |     , ParentNode
 1329 |     , Slottable
 1330 |     ]
 1331 | 
 1332 | 
 1333 | public export
 1334 | JSType HTMLLinkElement where
 1335 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1336 | 
 1337 |   mixins =
 1338 |     [ Animatable
 1339 |     , ChildNode
 1340 |     , DocumentAndElementEventHandlers
 1341 |     , ElementCSSInlineStyle
 1342 |     , ElementContentEditable
 1343 |     , GeometryUtils
 1344 |     , GlobalEventHandlers
 1345 |     , HTMLOrSVGElement
 1346 |     , InnerHTML
 1347 |     , LinkStyle
 1348 |     , NonDocumentTypeChildNode
 1349 |     , ParentNode
 1350 |     , Slottable
 1351 |     ]
 1352 | 
 1353 | 
 1354 | public export
 1355 | JSType HTMLMapElement where
 1356 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1357 | 
 1358 |   mixins =
 1359 |     [ Animatable
 1360 |     , ChildNode
 1361 |     , DocumentAndElementEventHandlers
 1362 |     , ElementCSSInlineStyle
 1363 |     , ElementContentEditable
 1364 |     , GeometryUtils
 1365 |     , GlobalEventHandlers
 1366 |     , HTMLOrSVGElement
 1367 |     , InnerHTML
 1368 |     , NonDocumentTypeChildNode
 1369 |     , ParentNode
 1370 |     , Slottable
 1371 |     ]
 1372 | 
 1373 | 
 1374 | public export
 1375 | JSType HTMLMarqueeElement where
 1376 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1377 | 
 1378 |   mixins =
 1379 |     [ Animatable
 1380 |     , ChildNode
 1381 |     , DocumentAndElementEventHandlers
 1382 |     , ElementCSSInlineStyle
 1383 |     , ElementContentEditable
 1384 |     , GeometryUtils
 1385 |     , GlobalEventHandlers
 1386 |     , HTMLOrSVGElement
 1387 |     , InnerHTML
 1388 |     , NonDocumentTypeChildNode
 1389 |     , ParentNode
 1390 |     , Slottable
 1391 |     ]
 1392 | 
 1393 | 
 1394 | public export
 1395 | JSType HTMLMediaElement where
 1396 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1397 | 
 1398 |   mixins =
 1399 |     [ Animatable
 1400 |     , ChildNode
 1401 |     , DocumentAndElementEventHandlers
 1402 |     , ElementCSSInlineStyle
 1403 |     , ElementContentEditable
 1404 |     , GeometryUtils
 1405 |     , GlobalEventHandlers
 1406 |     , HTMLOrSVGElement
 1407 |     , InnerHTML
 1408 |     , NonDocumentTypeChildNode
 1409 |     , ParentNode
 1410 |     , Slottable
 1411 |     ]
 1412 | 
 1413 | 
 1414 | public export
 1415 | JSType HTMLMenuElement where
 1416 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1417 | 
 1418 |   mixins =
 1419 |     [ Animatable
 1420 |     , ChildNode
 1421 |     , DocumentAndElementEventHandlers
 1422 |     , ElementCSSInlineStyle
 1423 |     , ElementContentEditable
 1424 |     , GeometryUtils
 1425 |     , GlobalEventHandlers
 1426 |     , HTMLOrSVGElement
 1427 |     , InnerHTML
 1428 |     , NonDocumentTypeChildNode
 1429 |     , ParentNode
 1430 |     , Slottable
 1431 |     ]
 1432 | 
 1433 | 
 1434 | public export
 1435 | JSType HTMLMetaElement where
 1436 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1437 | 
 1438 |   mixins =
 1439 |     [ Animatable
 1440 |     , ChildNode
 1441 |     , DocumentAndElementEventHandlers
 1442 |     , ElementCSSInlineStyle
 1443 |     , ElementContentEditable
 1444 |     , GeometryUtils
 1445 |     , GlobalEventHandlers
 1446 |     , HTMLOrSVGElement
 1447 |     , InnerHTML
 1448 |     , NonDocumentTypeChildNode
 1449 |     , ParentNode
 1450 |     , Slottable
 1451 |     ]
 1452 | 
 1453 | 
 1454 | public export
 1455 | JSType HTMLMeterElement where
 1456 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1457 | 
 1458 |   mixins =
 1459 |     [ Animatable
 1460 |     , ChildNode
 1461 |     , DocumentAndElementEventHandlers
 1462 |     , ElementCSSInlineStyle
 1463 |     , ElementContentEditable
 1464 |     , GeometryUtils
 1465 |     , GlobalEventHandlers
 1466 |     , HTMLOrSVGElement
 1467 |     , InnerHTML
 1468 |     , NonDocumentTypeChildNode
 1469 |     , ParentNode
 1470 |     , Slottable
 1471 |     ]
 1472 | 
 1473 | 
 1474 | public export
 1475 | JSType HTMLModElement where
 1476 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1477 | 
 1478 |   mixins =
 1479 |     [ Animatable
 1480 |     , ChildNode
 1481 |     , DocumentAndElementEventHandlers
 1482 |     , ElementCSSInlineStyle
 1483 |     , ElementContentEditable
 1484 |     , GeometryUtils
 1485 |     , GlobalEventHandlers
 1486 |     , HTMLOrSVGElement
 1487 |     , InnerHTML
 1488 |     , NonDocumentTypeChildNode
 1489 |     , ParentNode
 1490 |     , Slottable
 1491 |     ]
 1492 | 
 1493 | 
 1494 | public export
 1495 | JSType HTMLOListElement where
 1496 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1497 | 
 1498 |   mixins =
 1499 |     [ Animatable
 1500 |     , ChildNode
 1501 |     , DocumentAndElementEventHandlers
 1502 |     , ElementCSSInlineStyle
 1503 |     , ElementContentEditable
 1504 |     , GeometryUtils
 1505 |     , GlobalEventHandlers
 1506 |     , HTMLOrSVGElement
 1507 |     , InnerHTML
 1508 |     , NonDocumentTypeChildNode
 1509 |     , ParentNode
 1510 |     , Slottable
 1511 |     ]
 1512 | 
 1513 | 
 1514 | public export
 1515 | JSType HTMLObjectElement where
 1516 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1517 | 
 1518 |   mixins =
 1519 |     [ Animatable
 1520 |     , ChildNode
 1521 |     , DocumentAndElementEventHandlers
 1522 |     , ElementCSSInlineStyle
 1523 |     , ElementContentEditable
 1524 |     , GeometryUtils
 1525 |     , GlobalEventHandlers
 1526 |     , HTMLOrSVGElement
 1527 |     , InnerHTML
 1528 |     , NonDocumentTypeChildNode
 1529 |     , ParentNode
 1530 |     , Slottable
 1531 |     ]
 1532 | 
 1533 | 
 1534 | public export
 1535 | JSType HTMLOptGroupElement where
 1536 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1537 | 
 1538 |   mixins =
 1539 |     [ Animatable
 1540 |     , ChildNode
 1541 |     , DocumentAndElementEventHandlers
 1542 |     , ElementCSSInlineStyle
 1543 |     , ElementContentEditable
 1544 |     , GeometryUtils
 1545 |     , GlobalEventHandlers
 1546 |     , HTMLOrSVGElement
 1547 |     , InnerHTML
 1548 |     , NonDocumentTypeChildNode
 1549 |     , ParentNode
 1550 |     , Slottable
 1551 |     ]
 1552 | 
 1553 | 
 1554 | public export
 1555 | JSType HTMLOptionElement where
 1556 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1557 | 
 1558 |   mixins =
 1559 |     [ Animatable
 1560 |     , ChildNode
 1561 |     , DocumentAndElementEventHandlers
 1562 |     , ElementCSSInlineStyle
 1563 |     , ElementContentEditable
 1564 |     , GeometryUtils
 1565 |     , GlobalEventHandlers
 1566 |     , HTMLOrSVGElement
 1567 |     , InnerHTML
 1568 |     , NonDocumentTypeChildNode
 1569 |     , ParentNode
 1570 |     , Slottable
 1571 |     ]
 1572 | 
 1573 | 
 1574 | public export
 1575 | JSType HTMLOptionsCollection where
 1576 |   parents = [HTMLCollection, Object]
 1577 | 
 1578 |   mixins = []
 1579 | 
 1580 | 
 1581 | public export
 1582 | JSType HTMLOutputElement where
 1583 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1584 | 
 1585 |   mixins =
 1586 |     [ Animatable
 1587 |     , ChildNode
 1588 |     , DocumentAndElementEventHandlers
 1589 |     , ElementCSSInlineStyle
 1590 |     , ElementContentEditable
 1591 |     , GeometryUtils
 1592 |     , GlobalEventHandlers
 1593 |     , HTMLOrSVGElement
 1594 |     , InnerHTML
 1595 |     , NonDocumentTypeChildNode
 1596 |     , ParentNode
 1597 |     , Slottable
 1598 |     ]
 1599 | 
 1600 | 
 1601 | public export
 1602 | JSType HTMLParagraphElement where
 1603 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1604 | 
 1605 |   mixins =
 1606 |     [ Animatable
 1607 |     , ChildNode
 1608 |     , DocumentAndElementEventHandlers
 1609 |     , ElementCSSInlineStyle
 1610 |     , ElementContentEditable
 1611 |     , GeometryUtils
 1612 |     , GlobalEventHandlers
 1613 |     , HTMLOrSVGElement
 1614 |     , InnerHTML
 1615 |     , NonDocumentTypeChildNode
 1616 |     , ParentNode
 1617 |     , Slottable
 1618 |     ]
 1619 | 
 1620 | 
 1621 | public export
 1622 | JSType HTMLParamElement where
 1623 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1624 | 
 1625 |   mixins =
 1626 |     [ Animatable
 1627 |     , ChildNode
 1628 |     , DocumentAndElementEventHandlers
 1629 |     , ElementCSSInlineStyle
 1630 |     , ElementContentEditable
 1631 |     , GeometryUtils
 1632 |     , GlobalEventHandlers
 1633 |     , HTMLOrSVGElement
 1634 |     , InnerHTML
 1635 |     , NonDocumentTypeChildNode
 1636 |     , ParentNode
 1637 |     , Slottable
 1638 |     ]
 1639 | 
 1640 | 
 1641 | public export
 1642 | JSType HTMLPictureElement where
 1643 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1644 | 
 1645 |   mixins =
 1646 |     [ Animatable
 1647 |     , ChildNode
 1648 |     , DocumentAndElementEventHandlers
 1649 |     , ElementCSSInlineStyle
 1650 |     , ElementContentEditable
 1651 |     , GeometryUtils
 1652 |     , GlobalEventHandlers
 1653 |     , HTMLOrSVGElement
 1654 |     , InnerHTML
 1655 |     , NonDocumentTypeChildNode
 1656 |     , ParentNode
 1657 |     , Slottable
 1658 |     ]
 1659 | 
 1660 | 
 1661 | public export
 1662 | JSType HTMLPreElement where
 1663 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1664 | 
 1665 |   mixins =
 1666 |     [ Animatable
 1667 |     , ChildNode
 1668 |     , DocumentAndElementEventHandlers
 1669 |     , ElementCSSInlineStyle
 1670 |     , ElementContentEditable
 1671 |     , GeometryUtils
 1672 |     , GlobalEventHandlers
 1673 |     , HTMLOrSVGElement
 1674 |     , InnerHTML
 1675 |     , NonDocumentTypeChildNode
 1676 |     , ParentNode
 1677 |     , Slottable
 1678 |     ]
 1679 | 
 1680 | 
 1681 | public export
 1682 | JSType HTMLProgressElement where
 1683 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1684 | 
 1685 |   mixins =
 1686 |     [ Animatable
 1687 |     , ChildNode
 1688 |     , DocumentAndElementEventHandlers
 1689 |     , ElementCSSInlineStyle
 1690 |     , ElementContentEditable
 1691 |     , GeometryUtils
 1692 |     , GlobalEventHandlers
 1693 |     , HTMLOrSVGElement
 1694 |     , InnerHTML
 1695 |     , NonDocumentTypeChildNode
 1696 |     , ParentNode
 1697 |     , Slottable
 1698 |     ]
 1699 | 
 1700 | 
 1701 | public export
 1702 | JSType HTMLQuoteElement where
 1703 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1704 | 
 1705 |   mixins =
 1706 |     [ Animatable
 1707 |     , ChildNode
 1708 |     , DocumentAndElementEventHandlers
 1709 |     , ElementCSSInlineStyle
 1710 |     , ElementContentEditable
 1711 |     , GeometryUtils
 1712 |     , GlobalEventHandlers
 1713 |     , HTMLOrSVGElement
 1714 |     , InnerHTML
 1715 |     , NonDocumentTypeChildNode
 1716 |     , ParentNode
 1717 |     , Slottable
 1718 |     ]
 1719 | 
 1720 | 
 1721 | public export
 1722 | JSType HTMLScriptElement where
 1723 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1724 | 
 1725 |   mixins =
 1726 |     [ Animatable
 1727 |     , ChildNode
 1728 |     , DocumentAndElementEventHandlers
 1729 |     , ElementCSSInlineStyle
 1730 |     , ElementContentEditable
 1731 |     , GeometryUtils
 1732 |     , GlobalEventHandlers
 1733 |     , HTMLOrSVGElement
 1734 |     , InnerHTML
 1735 |     , NonDocumentTypeChildNode
 1736 |     , ParentNode
 1737 |     , Slottable
 1738 |     ]
 1739 | 
 1740 | 
 1741 | public export
 1742 | JSType HTMLSelectElement where
 1743 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1744 | 
 1745 |   mixins =
 1746 |     [ Animatable
 1747 |     , ChildNode
 1748 |     , DocumentAndElementEventHandlers
 1749 |     , ElementCSSInlineStyle
 1750 |     , ElementContentEditable
 1751 |     , GeometryUtils
 1752 |     , GlobalEventHandlers
 1753 |     , HTMLOrSVGElement
 1754 |     , InnerHTML
 1755 |     , NonDocumentTypeChildNode
 1756 |     , ParentNode
 1757 |     , Slottable
 1758 |     ]
 1759 | 
 1760 | 
 1761 | public export
 1762 | JSType HTMLSlotElement where
 1763 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1764 | 
 1765 |   mixins =
 1766 |     [ Animatable
 1767 |     , ChildNode
 1768 |     , DocumentAndElementEventHandlers
 1769 |     , ElementCSSInlineStyle
 1770 |     , ElementContentEditable
 1771 |     , GeometryUtils
 1772 |     , GlobalEventHandlers
 1773 |     , HTMLOrSVGElement
 1774 |     , InnerHTML
 1775 |     , NonDocumentTypeChildNode
 1776 |     , ParentNode
 1777 |     , Slottable
 1778 |     ]
 1779 | 
 1780 | 
 1781 | public export
 1782 | JSType HTMLSourceElement where
 1783 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1784 | 
 1785 |   mixins =
 1786 |     [ Animatable
 1787 |     , ChildNode
 1788 |     , DocumentAndElementEventHandlers
 1789 |     , ElementCSSInlineStyle
 1790 |     , ElementContentEditable
 1791 |     , GeometryUtils
 1792 |     , GlobalEventHandlers
 1793 |     , HTMLOrSVGElement
 1794 |     , InnerHTML
 1795 |     , NonDocumentTypeChildNode
 1796 |     , ParentNode
 1797 |     , Slottable
 1798 |     ]
 1799 | 
 1800 | 
 1801 | public export
 1802 | JSType HTMLSpanElement where
 1803 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1804 | 
 1805 |   mixins =
 1806 |     [ Animatable
 1807 |     , ChildNode
 1808 |     , DocumentAndElementEventHandlers
 1809 |     , ElementCSSInlineStyle
 1810 |     , ElementContentEditable
 1811 |     , GeometryUtils
 1812 |     , GlobalEventHandlers
 1813 |     , HTMLOrSVGElement
 1814 |     , InnerHTML
 1815 |     , NonDocumentTypeChildNode
 1816 |     , ParentNode
 1817 |     , Slottable
 1818 |     ]
 1819 | 
 1820 | 
 1821 | public export
 1822 | JSType HTMLStyleElement where
 1823 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1824 | 
 1825 |   mixins =
 1826 |     [ Animatable
 1827 |     , ChildNode
 1828 |     , DocumentAndElementEventHandlers
 1829 |     , ElementCSSInlineStyle
 1830 |     , ElementContentEditable
 1831 |     , GeometryUtils
 1832 |     , GlobalEventHandlers
 1833 |     , HTMLOrSVGElement
 1834 |     , InnerHTML
 1835 |     , LinkStyle
 1836 |     , NonDocumentTypeChildNode
 1837 |     , ParentNode
 1838 |     , Slottable
 1839 |     ]
 1840 | 
 1841 | 
 1842 | public export
 1843 | JSType HTMLTableCaptionElement where
 1844 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1845 | 
 1846 |   mixins =
 1847 |     [ Animatable
 1848 |     , ChildNode
 1849 |     , DocumentAndElementEventHandlers
 1850 |     , ElementCSSInlineStyle
 1851 |     , ElementContentEditable
 1852 |     , GeometryUtils
 1853 |     , GlobalEventHandlers
 1854 |     , HTMLOrSVGElement
 1855 |     , InnerHTML
 1856 |     , NonDocumentTypeChildNode
 1857 |     , ParentNode
 1858 |     , Slottable
 1859 |     ]
 1860 | 
 1861 | 
 1862 | public export
 1863 | JSType HTMLTableCellElement where
 1864 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1865 | 
 1866 |   mixins =
 1867 |     [ Animatable
 1868 |     , ChildNode
 1869 |     , DocumentAndElementEventHandlers
 1870 |     , ElementCSSInlineStyle
 1871 |     , ElementContentEditable
 1872 |     , GeometryUtils
 1873 |     , GlobalEventHandlers
 1874 |     , HTMLOrSVGElement
 1875 |     , InnerHTML
 1876 |     , NonDocumentTypeChildNode
 1877 |     , ParentNode
 1878 |     , Slottable
 1879 |     ]
 1880 | 
 1881 | 
 1882 | public export
 1883 | JSType HTMLTableColElement where
 1884 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1885 | 
 1886 |   mixins =
 1887 |     [ Animatable
 1888 |     , ChildNode
 1889 |     , DocumentAndElementEventHandlers
 1890 |     , ElementCSSInlineStyle
 1891 |     , ElementContentEditable
 1892 |     , GeometryUtils
 1893 |     , GlobalEventHandlers
 1894 |     , HTMLOrSVGElement
 1895 |     , InnerHTML
 1896 |     , NonDocumentTypeChildNode
 1897 |     , ParentNode
 1898 |     , Slottable
 1899 |     ]
 1900 | 
 1901 | 
 1902 | public export
 1903 | JSType HTMLTableElement where
 1904 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1905 | 
 1906 |   mixins =
 1907 |     [ Animatable
 1908 |     , ChildNode
 1909 |     , DocumentAndElementEventHandlers
 1910 |     , ElementCSSInlineStyle
 1911 |     , ElementContentEditable
 1912 |     , GeometryUtils
 1913 |     , GlobalEventHandlers
 1914 |     , HTMLOrSVGElement
 1915 |     , InnerHTML
 1916 |     , NonDocumentTypeChildNode
 1917 |     , ParentNode
 1918 |     , Slottable
 1919 |     ]
 1920 | 
 1921 | 
 1922 | public export
 1923 | JSType HTMLTableRowElement where
 1924 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1925 | 
 1926 |   mixins =
 1927 |     [ Animatable
 1928 |     , ChildNode
 1929 |     , DocumentAndElementEventHandlers
 1930 |     , ElementCSSInlineStyle
 1931 |     , ElementContentEditable
 1932 |     , GeometryUtils
 1933 |     , GlobalEventHandlers
 1934 |     , HTMLOrSVGElement
 1935 |     , InnerHTML
 1936 |     , NonDocumentTypeChildNode
 1937 |     , ParentNode
 1938 |     , Slottable
 1939 |     ]
 1940 | 
 1941 | 
 1942 | public export
 1943 | JSType HTMLTableSectionElement where
 1944 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1945 | 
 1946 |   mixins =
 1947 |     [ Animatable
 1948 |     , ChildNode
 1949 |     , DocumentAndElementEventHandlers
 1950 |     , ElementCSSInlineStyle
 1951 |     , ElementContentEditable
 1952 |     , GeometryUtils
 1953 |     , GlobalEventHandlers
 1954 |     , HTMLOrSVGElement
 1955 |     , InnerHTML
 1956 |     , NonDocumentTypeChildNode
 1957 |     , ParentNode
 1958 |     , Slottable
 1959 |     ]
 1960 | 
 1961 | 
 1962 | public export
 1963 | JSType HTMLTemplateElement where
 1964 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1965 | 
 1966 |   mixins =
 1967 |     [ Animatable
 1968 |     , ChildNode
 1969 |     , DocumentAndElementEventHandlers
 1970 |     , ElementCSSInlineStyle
 1971 |     , ElementContentEditable
 1972 |     , GeometryUtils
 1973 |     , GlobalEventHandlers
 1974 |     , HTMLOrSVGElement
 1975 |     , InnerHTML
 1976 |     , NonDocumentTypeChildNode
 1977 |     , ParentNode
 1978 |     , Slottable
 1979 |     ]
 1980 | 
 1981 | 
 1982 | public export
 1983 | JSType HTMLTextAreaElement where
 1984 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 1985 | 
 1986 |   mixins =
 1987 |     [ Animatable
 1988 |     , ChildNode
 1989 |     , DocumentAndElementEventHandlers
 1990 |     , ElementCSSInlineStyle
 1991 |     , ElementContentEditable
 1992 |     , GeometryUtils
 1993 |     , GlobalEventHandlers
 1994 |     , HTMLOrSVGElement
 1995 |     , InnerHTML
 1996 |     , NonDocumentTypeChildNode
 1997 |     , ParentNode
 1998 |     , Slottable
 1999 |     ]
 2000 | 
 2001 | 
 2002 | public export
 2003 | JSType HTMLTimeElement where
 2004 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 2005 | 
 2006 |   mixins =
 2007 |     [ Animatable
 2008 |     , ChildNode
 2009 |     , DocumentAndElementEventHandlers
 2010 |     , ElementCSSInlineStyle
 2011 |     , ElementContentEditable
 2012 |     , GeometryUtils
 2013 |     , GlobalEventHandlers
 2014 |     , HTMLOrSVGElement
 2015 |     , InnerHTML
 2016 |     , NonDocumentTypeChildNode
 2017 |     , ParentNode
 2018 |     , Slottable
 2019 |     ]
 2020 | 
 2021 | 
 2022 | public export
 2023 | JSType HTMLTitleElement where
 2024 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 2025 | 
 2026 |   mixins =
 2027 |     [ Animatable
 2028 |     , ChildNode
 2029 |     , DocumentAndElementEventHandlers
 2030 |     , ElementCSSInlineStyle
 2031 |     , ElementContentEditable
 2032 |     , GeometryUtils
 2033 |     , GlobalEventHandlers
 2034 |     , HTMLOrSVGElement
 2035 |     , InnerHTML
 2036 |     , NonDocumentTypeChildNode
 2037 |     , ParentNode
 2038 |     , Slottable
 2039 |     ]
 2040 | 
 2041 | 
 2042 | public export
 2043 | JSType HTMLTrackElement where
 2044 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 2045 | 
 2046 |   mixins =
 2047 |     [ Animatable
 2048 |     , ChildNode
 2049 |     , DocumentAndElementEventHandlers
 2050 |     , ElementCSSInlineStyle
 2051 |     , ElementContentEditable
 2052 |     , GeometryUtils
 2053 |     , GlobalEventHandlers
 2054 |     , HTMLOrSVGElement
 2055 |     , InnerHTML
 2056 |     , NonDocumentTypeChildNode
 2057 |     , ParentNode
 2058 |     , Slottable
 2059 |     ]
 2060 | 
 2061 | 
 2062 | public export
 2063 | JSType HTMLUListElement where
 2064 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 2065 | 
 2066 |   mixins =
 2067 |     [ Animatable
 2068 |     , ChildNode
 2069 |     , DocumentAndElementEventHandlers
 2070 |     , ElementCSSInlineStyle
 2071 |     , ElementContentEditable
 2072 |     , GeometryUtils
 2073 |     , GlobalEventHandlers
 2074 |     , HTMLOrSVGElement
 2075 |     , InnerHTML
 2076 |     , NonDocumentTypeChildNode
 2077 |     , ParentNode
 2078 |     , Slottable
 2079 |     ]
 2080 | 
 2081 | 
 2082 | public export
 2083 | JSType HTMLUnknownElement where
 2084 |   parents = [HTMLElement, Element, Node, EventTarget, Object]
 2085 | 
 2086 |   mixins =
 2087 |     [ Animatable
 2088 |     , ChildNode
 2089 |     , DocumentAndElementEventHandlers
 2090 |     , ElementCSSInlineStyle
 2091 |     , ElementContentEditable
 2092 |     , GeometryUtils
 2093 |     , GlobalEventHandlers
 2094 |     , HTMLOrSVGElement
 2095 |     , InnerHTML
 2096 |     , NonDocumentTypeChildNode
 2097 |     , ParentNode
 2098 |     , Slottable
 2099 |     ]
 2100 | 
 2101 | 
 2102 | public export
 2103 | JSType HTMLVideoElement where
 2104 |   parents = [HTMLMediaElement, HTMLElement, Element, Node, EventTarget, Object]
 2105 | 
 2106 |   mixins =
 2107 |     [ Animatable
 2108 |     , ChildNode
 2109 |     , DocumentAndElementEventHandlers
 2110 |     , ElementCSSInlineStyle
 2111 |     , ElementContentEditable
 2112 |     , GeometryUtils
 2113 |     , GlobalEventHandlers
 2114 |     , HTMLOrSVGElement
 2115 |     , InnerHTML
 2116 |     , NonDocumentTypeChildNode
 2117 |     , ParentNode
 2118 |     , Slottable
 2119 |     ]
 2120 | 
 2121 | 
 2122 | public export
 2123 | JSType HashChangeEvent where
 2124 |   parents = [Event, Object]
 2125 | 
 2126 |   mixins = []
 2127 | 
 2128 | 
 2129 | public export
 2130 | JSType Headers where
 2131 |   parents = [Object]
 2132 | 
 2133 |   mixins = []
 2134 | 
 2135 | 
 2136 | public export
 2137 | JSType History where
 2138 |   parents = [Object]
 2139 | 
 2140 |   mixins = []
 2141 | 
 2142 | 
 2143 | public export
 2144 | JSType IDBCursor where
 2145 |   parents = [Object]
 2146 | 
 2147 |   mixins = []
 2148 | 
 2149 | 
 2150 | public export
 2151 | JSType IDBCursorWithValue where
 2152 |   parents = [IDBCursor, Object]
 2153 | 
 2154 |   mixins = []
 2155 | 
 2156 | 
 2157 | public export
 2158 | JSType IDBDatabase where
 2159 |   parents = [EventTarget, Object]
 2160 | 
 2161 |   mixins = []
 2162 | 
 2163 | 
 2164 | public export
 2165 | JSType IDBFactory where
 2166 |   parents = [Object]
 2167 | 
 2168 |   mixins = []
 2169 | 
 2170 | 
 2171 | public export
 2172 | JSType IDBIndex where
 2173 |   parents = [Object]
 2174 | 
 2175 |   mixins = []
 2176 | 
 2177 | 
 2178 | public export
 2179 | JSType IDBKeyRange where
 2180 |   parents = [Object]
 2181 | 
 2182 |   mixins = []
 2183 | 
 2184 | 
 2185 | public export
 2186 | JSType IDBObjectStore where
 2187 |   parents = [Object]
 2188 | 
 2189 |   mixins = []
 2190 | 
 2191 | 
 2192 | public export
 2193 | JSType IDBOpenDBRequest where
 2194 |   parents = [IDBRequest, EventTarget, Object]
 2195 | 
 2196 |   mixins = []
 2197 | 
 2198 | 
 2199 | public export
 2200 | JSType IDBRequest where
 2201 |   parents = [EventTarget, Object]
 2202 | 
 2203 |   mixins = []
 2204 | 
 2205 | 
 2206 | public export
 2207 | JSType IDBTransaction where
 2208 |   parents = [EventTarget, Object]
 2209 | 
 2210 |   mixins = []
 2211 | 
 2212 | 
 2213 | public export
 2214 | JSType IDBVersionChangeEvent where
 2215 |   parents = [Event, Object]
 2216 | 
 2217 |   mixins = []
 2218 | 
 2219 | 
 2220 | public export
 2221 | JSType ImageBitmap where
 2222 |   parents = [Object]
 2223 | 
 2224 |   mixins = []
 2225 | 
 2226 | 
 2227 | public export
 2228 | JSType ImageBitmapRenderingContext where
 2229 |   parents = [Object]
 2230 | 
 2231 |   mixins = []
 2232 | 
 2233 | 
 2234 | public export
 2235 | JSType ImageData where
 2236 |   parents = [Object]
 2237 | 
 2238 |   mixins = []
 2239 | 
 2240 | 
 2241 | public export
 2242 | JSType InputDeviceInfo where
 2243 |   parents = [MediaDeviceInfo, Object]
 2244 | 
 2245 |   mixins = []
 2246 | 
 2247 | 
 2248 | public export
 2249 | JSType InputEvent where
 2250 |   parents = [UIEvent, Event, Object]
 2251 | 
 2252 |   mixins = []
 2253 | 
 2254 | 
 2255 | public export
 2256 | JSType KeyboardEvent where
 2257 |   parents = [UIEvent, Event, Object]
 2258 | 
 2259 |   mixins = []
 2260 | 
 2261 | 
 2262 | public export
 2263 | JSType KeyframeEffect where
 2264 |   parents = [AnimationEffect, Object]
 2265 | 
 2266 |   mixins = []
 2267 | 
 2268 | 
 2269 | public export
 2270 | JSType Location where
 2271 |   parents = [Object]
 2272 | 
 2273 |   mixins = []
 2274 | 
 2275 | 
 2276 | public export
 2277 | JSType MathMLElement where
 2278 |   parents = [Element, Node, EventTarget, Object]
 2279 | 
 2280 |   mixins =
 2281 |     [ Animatable
 2282 |     , ChildNode
 2283 |     , DocumentAndElementEventHandlers
 2284 |     , ElementCSSInlineStyle
 2285 |     , GeometryUtils
 2286 |     , GlobalEventHandlers
 2287 |     , HTMLOrSVGElement
 2288 |     , InnerHTML
 2289 |     , NonDocumentTypeChildNode
 2290 |     , ParentNode
 2291 |     , Slottable
 2292 |     ]
 2293 | 
 2294 | 
 2295 | public export
 2296 | JSType MediaDeviceInfo where
 2297 |   parents = [Object]
 2298 | 
 2299 |   mixins = []
 2300 | 
 2301 | 
 2302 | public export
 2303 | JSType MediaDevices where
 2304 |   parents = [EventTarget, Object]
 2305 | 
 2306 |   mixins = []
 2307 | 
 2308 | 
 2309 | public export
 2310 | JSType MediaError where
 2311 |   parents = [Object]
 2312 | 
 2313 |   mixins = []
 2314 | 
 2315 | 
 2316 | public export
 2317 | JSType MediaList where
 2318 |   parents = [Object]
 2319 | 
 2320 |   mixins = []
 2321 | 
 2322 | 
 2323 | public export
 2324 | JSType MediaQueryList where
 2325 |   parents = [EventTarget, Object]
 2326 | 
 2327 |   mixins = []
 2328 | 
 2329 | 
 2330 | public export
 2331 | JSType MediaQueryListEvent where
 2332 |   parents = [Event, Object]
 2333 | 
 2334 |   mixins = []
 2335 | 
 2336 | 
 2337 | public export
 2338 | JSType MediaSource where
 2339 |   parents = [EventTarget, Object]
 2340 | 
 2341 |   mixins = []
 2342 | 
 2343 | 
 2344 | public export
 2345 | JSType MediaStream where
 2346 |   parents = [EventTarget, Object]
 2347 | 
 2348 |   mixins = []
 2349 | 
 2350 | 
 2351 | public export
 2352 | JSType MediaStreamTrack where
 2353 |   parents = [EventTarget, Object]
 2354 | 
 2355 |   mixins = []
 2356 | 
 2357 | 
 2358 | public export
 2359 | JSType MediaStreamTrackEvent where
 2360 |   parents = [Event, Object]
 2361 | 
 2362 |   mixins = []
 2363 | 
 2364 | 
 2365 | public export
 2366 | JSType MessageChannel where
 2367 |   parents = [Object]
 2368 | 
 2369 |   mixins = []
 2370 | 
 2371 | 
 2372 | public export
 2373 | JSType MessageEvent where
 2374 |   parents = [Event, Object]
 2375 | 
 2376 |   mixins = []
 2377 | 
 2378 | 
 2379 | public export
 2380 | JSType MessagePort where
 2381 |   parents = [EventTarget, Object]
 2382 | 
 2383 |   mixins = []
 2384 | 
 2385 | 
 2386 | public export
 2387 | JSType MimeType where
 2388 |   parents = [Object]
 2389 | 
 2390 |   mixins = []
 2391 | 
 2392 | 
 2393 | public export
 2394 | JSType MimeTypeArray where
 2395 |   parents = [Object]
 2396 | 
 2397 |   mixins = []
 2398 | 
 2399 | 
 2400 | public export
 2401 | JSType MouseEvent where
 2402 |   parents = [UIEvent, Event, Object]
 2403 | 
 2404 |   mixins = []
 2405 | 
 2406 | 
 2407 | public export
 2408 | JSType MutationObserver where
 2409 |   parents = [Object]
 2410 | 
 2411 |   mixins = []
 2412 | 
 2413 | 
 2414 | public export
 2415 | JSType MutationRecord where
 2416 |   parents = [Object]
 2417 | 
 2418 |   mixins = []
 2419 | 
 2420 | 
 2421 | public export
 2422 | JSType NamedNodeMap where
 2423 |   parents = [Object]
 2424 | 
 2425 |   mixins = []
 2426 | 
 2427 | 
 2428 | public export
 2429 | JSType NavigationPreloadManager where
 2430 |   parents = [Object]
 2431 | 
 2432 |   mixins = []
 2433 | 
 2434 | 
 2435 | public export
 2436 | JSType Navigator where
 2437 |   parents = [Object]
 2438 | 
 2439 |   mixins =
 2440 |     [ NavigatorConcurrentHardware
 2441 |     , NavigatorContentUtils
 2442 |     , NavigatorCookies
 2443 |     , NavigatorID
 2444 |     , NavigatorLanguage
 2445 |     , NavigatorOnLine
 2446 |     , NavigatorPlugins
 2447 |     ]
 2448 | 
 2449 | 
 2450 | public export
 2451 | JSType Node where
 2452 |   parents = [EventTarget, Object]
 2453 | 
 2454 |   mixins = []
 2455 | 
 2456 | 
 2457 | public export
 2458 | JSType NodeIterator where
 2459 |   parents = [Object]
 2460 | 
 2461 |   mixins = []
 2462 | 
 2463 | 
 2464 | public export
 2465 | JSType NodeList where
 2466 |   parents = [Object]
 2467 | 
 2468 |   mixins = []
 2469 | 
 2470 | 
 2471 | public export
 2472 | JSType OffscreenCanvas where
 2473 |   parents = [EventTarget, Object]
 2474 | 
 2475 |   mixins = []
 2476 | 
 2477 | 
 2478 | public export
 2479 | JSType OffscreenCanvasRenderingContext2D where
 2480 |   parents = [Object]
 2481 | 
 2482 |   mixins =
 2483 |     [ CanvasCompositing
 2484 |     , CanvasDrawImage
 2485 |     , CanvasDrawPath
 2486 |     , CanvasFillStrokeStyles
 2487 |     , CanvasFilters
 2488 |     , CanvasImageData
 2489 |     , CanvasImageSmoothing
 2490 |     , CanvasPath
 2491 |     , CanvasPathDrawingStyles
 2492 |     , CanvasRect
 2493 |     , CanvasShadowStyles
 2494 |     , CanvasState
 2495 |     , CanvasText
 2496 |     , CanvasTextDrawingStyles
 2497 |     , CanvasTransform
 2498 |     ]
 2499 | 
 2500 | 
 2501 | public export
 2502 | JSType OverconstrainedError where
 2503 |   parents = [DOMException, Object]
 2504 | 
 2505 |   mixins = []
 2506 | 
 2507 | 
 2508 | public export
 2509 | JSType PageTransitionEvent where
 2510 |   parents = [Event, Object]
 2511 | 
 2512 |   mixins = []
 2513 | 
 2514 | 
 2515 | public export
 2516 | JSType Path2D where
 2517 |   parents = [Object]
 2518 | 
 2519 |   mixins = [CanvasPath]
 2520 | 
 2521 | 
 2522 | public export
 2523 | JSType Performance where
 2524 |   parents = [EventTarget, Object]
 2525 | 
 2526 |   mixins = []
 2527 | 
 2528 | 
 2529 | public export
 2530 | JSType PermissionStatus where
 2531 |   parents = [EventTarget, Object]
 2532 | 
 2533 |   mixins = []
 2534 | 
 2535 | 
 2536 | public export
 2537 | JSType Permissions where
 2538 |   parents = [Object]
 2539 | 
 2540 |   mixins = []
 2541 | 
 2542 | 
 2543 | public export
 2544 | JSType Plugin where
 2545 |   parents = [Object]
 2546 | 
 2547 |   mixins = []
 2548 | 
 2549 | 
 2550 | public export
 2551 | JSType PluginArray where
 2552 |   parents = [Object]
 2553 | 
 2554 |   mixins = []
 2555 | 
 2556 | 
 2557 | public export
 2558 | JSType PopStateEvent where
 2559 |   parents = [Event, Object]
 2560 | 
 2561 |   mixins = []
 2562 | 
 2563 | 
 2564 | public export
 2565 | JSType ProcessingInstruction where
 2566 |   parents = [CharacterData, Node, EventTarget, Object]
 2567 | 
 2568 |   mixins = [ChildNode, LinkStyle, NonDocumentTypeChildNode]
 2569 | 
 2570 | 
 2571 | public export
 2572 | JSType ProgressEvent where
 2573 |   parents = [Event, Object]
 2574 | 
 2575 |   mixins = []
 2576 | 
 2577 | 
 2578 | public export
 2579 | JSType PromiseRejectionEvent where
 2580 |   parents = [Event, Object]
 2581 | 
 2582 |   mixins = []
 2583 | 
 2584 | 
 2585 | public export
 2586 | JSType RadioNodeList where
 2587 |   parents = [NodeList, Object]
 2588 | 
 2589 |   mixins = []
 2590 | 
 2591 | 
 2592 | public export
 2593 | JSType Range where
 2594 |   parents = [AbstractRange, Object]
 2595 | 
 2596 |   mixins = []
 2597 | 
 2598 | 
 2599 | public export
 2600 | JSType ReadableByteStreamController where
 2601 |   parents = [Object]
 2602 | 
 2603 |   mixins = []
 2604 | 
 2605 | 
 2606 | public export
 2607 | JSType ReadableStream where
 2608 |   parents = [Object]
 2609 | 
 2610 |   mixins = []
 2611 | 
 2612 | 
 2613 | public export
 2614 | JSType ReadableStreamBYOBReader where
 2615 |   parents = [Object]
 2616 | 
 2617 |   mixins = [ReadableStreamGenericReader]
 2618 | 
 2619 | 
 2620 | public export
 2621 | JSType ReadableStreamBYOBRequest where
 2622 |   parents = [Object]
 2623 | 
 2624 |   mixins = []
 2625 | 
 2626 | 
 2627 | public export
 2628 | JSType ReadableStreamDefaultController where
 2629 |   parents = [Object]
 2630 | 
 2631 |   mixins = []
 2632 | 
 2633 | 
 2634 | public export
 2635 | JSType ReadableStreamDefaultReader where
 2636 |   parents = [Object]
 2637 | 
 2638 |   mixins = [ReadableStreamGenericReader]
 2639 | 
 2640 | 
 2641 | public export
 2642 | JSType Request where
 2643 |   parents = [Object]
 2644 | 
 2645 |   mixins = [Body]
 2646 | 
 2647 | 
 2648 | public export
 2649 | JSType Response where
 2650 |   parents = [Object]
 2651 | 
 2652 |   mixins = [Body]
 2653 | 
 2654 | 
 2655 | public export
 2656 | JSType SVGAElement where
 2657 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 2658 | 
 2659 |   mixins =
 2660 |     [ Animatable
 2661 |     , ChildNode
 2662 |     , DocumentAndElementEventHandlers
 2663 |     , ElementCSSInlineStyle
 2664 |     , GeometryUtils
 2665 |     , GlobalEventHandlers
 2666 |     , HTMLHyperlinkElementUtils
 2667 |     , HTMLOrSVGElement
 2668 |     , InnerHTML
 2669 |     , NonDocumentTypeChildNode
 2670 |     , ParentNode
 2671 |     , SVGElementInstance
 2672 |     , SVGTests
 2673 |     , SVGURIReference
 2674 |     , Slottable
 2675 |     ]
 2676 | 
 2677 | 
 2678 | public export
 2679 | JSType SVGAngle where
 2680 |   parents = [Object]
 2681 | 
 2682 |   mixins = []
 2683 | 
 2684 | 
 2685 | public export
 2686 | JSType SVGAnimatedAngle where
 2687 |   parents = [Object]
 2688 | 
 2689 |   mixins = []
 2690 | 
 2691 | 
 2692 | public export
 2693 | JSType SVGAnimatedBoolean where
 2694 |   parents = [Object]
 2695 | 
 2696 |   mixins = []
 2697 | 
 2698 | 
 2699 | public export
 2700 | JSType SVGAnimatedEnumeration where
 2701 |   parents = [Object]
 2702 | 
 2703 |   mixins = []
 2704 | 
 2705 | 
 2706 | public export
 2707 | JSType SVGAnimatedInteger where
 2708 |   parents = [Object]
 2709 | 
 2710 |   mixins = []
 2711 | 
 2712 | 
 2713 | public export
 2714 | JSType SVGAnimatedLength where
 2715 |   parents = [Object]
 2716 | 
 2717 |   mixins = []
 2718 | 
 2719 | 
 2720 | public export
 2721 | JSType SVGAnimatedLengthList where
 2722 |   parents = [Object]
 2723 | 
 2724 |   mixins = []
 2725 | 
 2726 | 
 2727 | public export
 2728 | JSType SVGAnimatedNumber where
 2729 |   parents = [Object]
 2730 | 
 2731 |   mixins = []
 2732 | 
 2733 | 
 2734 | public export
 2735 | JSType SVGAnimatedNumberList where
 2736 |   parents = [Object]
 2737 | 
 2738 |   mixins = []
 2739 | 
 2740 | 
 2741 | public export
 2742 | JSType SVGAnimatedPreserveAspectRatio where
 2743 |   parents = [Object]
 2744 | 
 2745 |   mixins = []
 2746 | 
 2747 | 
 2748 | public export
 2749 | JSType SVGAnimatedRect where
 2750 |   parents = [Object]
 2751 | 
 2752 |   mixins = []
 2753 | 
 2754 | 
 2755 | public export
 2756 | JSType SVGAnimatedString where
 2757 |   parents = [Object]
 2758 | 
 2759 |   mixins = []
 2760 | 
 2761 | 
 2762 | public export
 2763 | JSType SVGAnimatedTransformList where
 2764 |   parents = [Object]
 2765 | 
 2766 |   mixins = []
 2767 | 
 2768 | 
 2769 | public export
 2770 | JSType SVGCircleElement where
 2771 |   parents =
 2772 |     [ SVGGeometryElement
 2773 |     , SVGGraphicsElement
 2774 |     , SVGElement
 2775 |     , Element
 2776 |     , Node
 2777 |     , EventTarget
 2778 |     , Object
 2779 |     ]
 2780 | 
 2781 |   mixins =
 2782 |     [ Animatable
 2783 |     , ChildNode
 2784 |     , DocumentAndElementEventHandlers
 2785 |     , ElementCSSInlineStyle
 2786 |     , GeometryUtils
 2787 |     , GlobalEventHandlers
 2788 |     , HTMLOrSVGElement
 2789 |     , InnerHTML
 2790 |     , NonDocumentTypeChildNode
 2791 |     , ParentNode
 2792 |     , SVGElementInstance
 2793 |     , SVGTests
 2794 |     , Slottable
 2795 |     ]
 2796 | 
 2797 | 
 2798 | public export
 2799 | JSType SVGDefsElement where
 2800 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 2801 | 
 2802 |   mixins =
 2803 |     [ Animatable
 2804 |     , ChildNode
 2805 |     , DocumentAndElementEventHandlers
 2806 |     , ElementCSSInlineStyle
 2807 |     , GeometryUtils
 2808 |     , GlobalEventHandlers
 2809 |     , HTMLOrSVGElement
 2810 |     , InnerHTML
 2811 |     , NonDocumentTypeChildNode
 2812 |     , ParentNode
 2813 |     , SVGElementInstance
 2814 |     , SVGTests
 2815 |     , Slottable
 2816 |     ]
 2817 | 
 2818 | 
 2819 | public export
 2820 | JSType SVGDescElement where
 2821 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 2822 | 
 2823 |   mixins =
 2824 |     [ Animatable
 2825 |     , ChildNode
 2826 |     , DocumentAndElementEventHandlers
 2827 |     , ElementCSSInlineStyle
 2828 |     , GeometryUtils
 2829 |     , GlobalEventHandlers
 2830 |     , HTMLOrSVGElement
 2831 |     , InnerHTML
 2832 |     , NonDocumentTypeChildNode
 2833 |     , ParentNode
 2834 |     , SVGElementInstance
 2835 |     , Slottable
 2836 |     ]
 2837 | 
 2838 | 
 2839 | public export
 2840 | JSType SVGElement where
 2841 |   parents = [Element, Node, EventTarget, Object]
 2842 | 
 2843 |   mixins =
 2844 |     [ Animatable
 2845 |     , ChildNode
 2846 |     , DocumentAndElementEventHandlers
 2847 |     , ElementCSSInlineStyle
 2848 |     , GeometryUtils
 2849 |     , GlobalEventHandlers
 2850 |     , HTMLOrSVGElement
 2851 |     , InnerHTML
 2852 |     , NonDocumentTypeChildNode
 2853 |     , ParentNode
 2854 |     , SVGElementInstance
 2855 |     , Slottable
 2856 |     ]
 2857 | 
 2858 | 
 2859 | public export
 2860 | JSType SVGEllipseElement where
 2861 |   parents =
 2862 |     [ SVGGeometryElement
 2863 |     , SVGGraphicsElement
 2864 |     , SVGElement
 2865 |     , Element
 2866 |     , Node
 2867 |     , EventTarget
 2868 |     , Object
 2869 |     ]
 2870 | 
 2871 |   mixins =
 2872 |     [ Animatable
 2873 |     , ChildNode
 2874 |     , DocumentAndElementEventHandlers
 2875 |     , ElementCSSInlineStyle
 2876 |     , GeometryUtils
 2877 |     , GlobalEventHandlers
 2878 |     , HTMLOrSVGElement
 2879 |     , InnerHTML
 2880 |     , NonDocumentTypeChildNode
 2881 |     , ParentNode
 2882 |     , SVGElementInstance
 2883 |     , SVGTests
 2884 |     , Slottable
 2885 |     ]
 2886 | 
 2887 | 
 2888 | public export
 2889 | JSType SVGForeignObjectElement where
 2890 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 2891 | 
 2892 |   mixins =
 2893 |     [ Animatable
 2894 |     , ChildNode
 2895 |     , DocumentAndElementEventHandlers
 2896 |     , ElementCSSInlineStyle
 2897 |     , GeometryUtils
 2898 |     , GlobalEventHandlers
 2899 |     , HTMLOrSVGElement
 2900 |     , InnerHTML
 2901 |     , NonDocumentTypeChildNode
 2902 |     , ParentNode
 2903 |     , SVGElementInstance
 2904 |     , SVGTests
 2905 |     , Slottable
 2906 |     ]
 2907 | 
 2908 | 
 2909 | public export
 2910 | JSType SVGGElement where
 2911 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 2912 | 
 2913 |   mixins =
 2914 |     [ Animatable
 2915 |     , ChildNode
 2916 |     , DocumentAndElementEventHandlers
 2917 |     , ElementCSSInlineStyle
 2918 |     , GeometryUtils
 2919 |     , GlobalEventHandlers
 2920 |     , HTMLOrSVGElement
 2921 |     , InnerHTML
 2922 |     , NonDocumentTypeChildNode
 2923 |     , ParentNode
 2924 |     , SVGElementInstance
 2925 |     , SVGTests
 2926 |     , Slottable
 2927 |     ]
 2928 | 
 2929 | 
 2930 | public export
 2931 | JSType SVGGeometryElement where
 2932 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 2933 | 
 2934 |   mixins =
 2935 |     [ Animatable
 2936 |     , ChildNode
 2937 |     , DocumentAndElementEventHandlers
 2938 |     , ElementCSSInlineStyle
 2939 |     , GeometryUtils
 2940 |     , GlobalEventHandlers
 2941 |     , HTMLOrSVGElement
 2942 |     , InnerHTML
 2943 |     , NonDocumentTypeChildNode
 2944 |     , ParentNode
 2945 |     , SVGElementInstance
 2946 |     , SVGTests
 2947 |     , Slottable
 2948 |     ]
 2949 | 
 2950 | 
 2951 | public export
 2952 | JSType SVGGradientElement where
 2953 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 2954 | 
 2955 |   mixins =
 2956 |     [ Animatable
 2957 |     , ChildNode
 2958 |     , DocumentAndElementEventHandlers
 2959 |     , ElementCSSInlineStyle
 2960 |     , GeometryUtils
 2961 |     , GlobalEventHandlers
 2962 |     , HTMLOrSVGElement
 2963 |     , InnerHTML
 2964 |     , NonDocumentTypeChildNode
 2965 |     , ParentNode
 2966 |     , SVGElementInstance
 2967 |     , SVGURIReference
 2968 |     , Slottable
 2969 |     ]
 2970 | 
 2971 | 
 2972 | public export
 2973 | JSType SVGGraphicsElement where
 2974 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 2975 | 
 2976 |   mixins =
 2977 |     [ Animatable
 2978 |     , ChildNode
 2979 |     , DocumentAndElementEventHandlers
 2980 |     , ElementCSSInlineStyle
 2981 |     , GeometryUtils
 2982 |     , GlobalEventHandlers
 2983 |     , HTMLOrSVGElement
 2984 |     , InnerHTML
 2985 |     , NonDocumentTypeChildNode
 2986 |     , ParentNode
 2987 |     , SVGElementInstance
 2988 |     , SVGTests
 2989 |     , Slottable
 2990 |     ]
 2991 | 
 2992 | 
 2993 | public export
 2994 | JSType SVGImageElement where
 2995 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 2996 | 
 2997 |   mixins =
 2998 |     [ Animatable
 2999 |     , ChildNode
 3000 |     , DocumentAndElementEventHandlers
 3001 |     , ElementCSSInlineStyle
 3002 |     , GeometryUtils
 3003 |     , GlobalEventHandlers
 3004 |     , HTMLOrSVGElement
 3005 |     , InnerHTML
 3006 |     , NonDocumentTypeChildNode
 3007 |     , ParentNode
 3008 |     , SVGElementInstance
 3009 |     , SVGTests
 3010 |     , SVGURIReference
 3011 |     , Slottable
 3012 |     ]
 3013 | 
 3014 | 
 3015 | public export
 3016 | JSType SVGLength where
 3017 |   parents = [Object]
 3018 | 
 3019 |   mixins = []
 3020 | 
 3021 | 
 3022 | public export
 3023 | JSType SVGLengthList where
 3024 |   parents = [Object]
 3025 | 
 3026 |   mixins = []
 3027 | 
 3028 | 
 3029 | public export
 3030 | JSType SVGLineElement where
 3031 |   parents =
 3032 |     [ SVGGeometryElement
 3033 |     , SVGGraphicsElement
 3034 |     , SVGElement
 3035 |     , Element
 3036 |     , Node
 3037 |     , EventTarget
 3038 |     , Object
 3039 |     ]
 3040 | 
 3041 |   mixins =
 3042 |     [ Animatable
 3043 |     , ChildNode
 3044 |     , DocumentAndElementEventHandlers
 3045 |     , ElementCSSInlineStyle
 3046 |     , GeometryUtils
 3047 |     , GlobalEventHandlers
 3048 |     , HTMLOrSVGElement
 3049 |     , InnerHTML
 3050 |     , NonDocumentTypeChildNode
 3051 |     , ParentNode
 3052 |     , SVGElementInstance
 3053 |     , SVGTests
 3054 |     , Slottable
 3055 |     ]
 3056 | 
 3057 | 
 3058 | public export
 3059 | JSType SVGLinearGradientElement where
 3060 |   parents = [SVGGradientElement, SVGElement, Element, Node, EventTarget, Object]
 3061 | 
 3062 |   mixins =
 3063 |     [ Animatable
 3064 |     , ChildNode
 3065 |     , DocumentAndElementEventHandlers
 3066 |     , ElementCSSInlineStyle
 3067 |     , GeometryUtils
 3068 |     , GlobalEventHandlers
 3069 |     , HTMLOrSVGElement
 3070 |     , InnerHTML
 3071 |     , NonDocumentTypeChildNode
 3072 |     , ParentNode
 3073 |     , SVGElementInstance
 3074 |     , SVGURIReference
 3075 |     , Slottable
 3076 |     ]
 3077 | 
 3078 | 
 3079 | public export
 3080 | JSType SVGMarkerElement where
 3081 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3082 | 
 3083 |   mixins =
 3084 |     [ Animatable
 3085 |     , ChildNode
 3086 |     , DocumentAndElementEventHandlers
 3087 |     , ElementCSSInlineStyle
 3088 |     , GeometryUtils
 3089 |     , GlobalEventHandlers
 3090 |     , HTMLOrSVGElement
 3091 |     , InnerHTML
 3092 |     , NonDocumentTypeChildNode
 3093 |     , ParentNode
 3094 |     , SVGElementInstance
 3095 |     , SVGFitToViewBox
 3096 |     , Slottable
 3097 |     ]
 3098 | 
 3099 | 
 3100 | public export
 3101 | JSType SVGMetadataElement where
 3102 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3103 | 
 3104 |   mixins =
 3105 |     [ Animatable
 3106 |     , ChildNode
 3107 |     , DocumentAndElementEventHandlers
 3108 |     , ElementCSSInlineStyle
 3109 |     , GeometryUtils
 3110 |     , GlobalEventHandlers
 3111 |     , HTMLOrSVGElement
 3112 |     , InnerHTML
 3113 |     , NonDocumentTypeChildNode
 3114 |     , ParentNode
 3115 |     , SVGElementInstance
 3116 |     , Slottable
 3117 |     ]
 3118 | 
 3119 | 
 3120 | public export
 3121 | JSType SVGNumber where
 3122 |   parents = [Object]
 3123 | 
 3124 |   mixins = []
 3125 | 
 3126 | 
 3127 | public export
 3128 | JSType SVGNumberList where
 3129 |   parents = [Object]
 3130 | 
 3131 |   mixins = []
 3132 | 
 3133 | 
 3134 | public export
 3135 | JSType SVGPathElement where
 3136 |   parents =
 3137 |     [ SVGGeometryElement
 3138 |     , SVGGraphicsElement
 3139 |     , SVGElement
 3140 |     , Element
 3141 |     , Node
 3142 |     , EventTarget
 3143 |     , Object
 3144 |     ]
 3145 | 
 3146 |   mixins =
 3147 |     [ Animatable
 3148 |     , ChildNode
 3149 |     , DocumentAndElementEventHandlers
 3150 |     , ElementCSSInlineStyle
 3151 |     , GeometryUtils
 3152 |     , GlobalEventHandlers
 3153 |     , HTMLOrSVGElement
 3154 |     , InnerHTML
 3155 |     , NonDocumentTypeChildNode
 3156 |     , ParentNode
 3157 |     , SVGElementInstance
 3158 |     , SVGTests
 3159 |     , Slottable
 3160 |     ]
 3161 | 
 3162 | 
 3163 | public export
 3164 | JSType SVGPatternElement where
 3165 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3166 | 
 3167 |   mixins =
 3168 |     [ Animatable
 3169 |     , ChildNode
 3170 |     , DocumentAndElementEventHandlers
 3171 |     , ElementCSSInlineStyle
 3172 |     , GeometryUtils
 3173 |     , GlobalEventHandlers
 3174 |     , HTMLOrSVGElement
 3175 |     , InnerHTML
 3176 |     , NonDocumentTypeChildNode
 3177 |     , ParentNode
 3178 |     , SVGElementInstance
 3179 |     , SVGFitToViewBox
 3180 |     , SVGURIReference
 3181 |     , Slottable
 3182 |     ]
 3183 | 
 3184 | 
 3185 | public export
 3186 | JSType SVGPointList where
 3187 |   parents = [Object]
 3188 | 
 3189 |   mixins = []
 3190 | 
 3191 | 
 3192 | public export
 3193 | JSType SVGPolygonElement where
 3194 |   parents =
 3195 |     [ SVGGeometryElement
 3196 |     , SVGGraphicsElement
 3197 |     , SVGElement
 3198 |     , Element
 3199 |     , Node
 3200 |     , EventTarget
 3201 |     , Object
 3202 |     ]
 3203 | 
 3204 |   mixins =
 3205 |     [ Animatable
 3206 |     , ChildNode
 3207 |     , DocumentAndElementEventHandlers
 3208 |     , ElementCSSInlineStyle
 3209 |     , GeometryUtils
 3210 |     , GlobalEventHandlers
 3211 |     , HTMLOrSVGElement
 3212 |     , InnerHTML
 3213 |     , NonDocumentTypeChildNode
 3214 |     , ParentNode
 3215 |     , SVGAnimatedPoints
 3216 |     , SVGElementInstance
 3217 |     , SVGTests
 3218 |     , Slottable
 3219 |     ]
 3220 | 
 3221 | 
 3222 | public export
 3223 | JSType SVGPolylineElement where
 3224 |   parents =
 3225 |     [ SVGGeometryElement
 3226 |     , SVGGraphicsElement
 3227 |     , SVGElement
 3228 |     , Element
 3229 |     , Node
 3230 |     , EventTarget
 3231 |     , Object
 3232 |     ]
 3233 | 
 3234 |   mixins =
 3235 |     [ Animatable
 3236 |     , ChildNode
 3237 |     , DocumentAndElementEventHandlers
 3238 |     , ElementCSSInlineStyle
 3239 |     , GeometryUtils
 3240 |     , GlobalEventHandlers
 3241 |     , HTMLOrSVGElement
 3242 |     , InnerHTML
 3243 |     , NonDocumentTypeChildNode
 3244 |     , ParentNode
 3245 |     , SVGAnimatedPoints
 3246 |     , SVGElementInstance
 3247 |     , SVGTests
 3248 |     , Slottable
 3249 |     ]
 3250 | 
 3251 | 
 3252 | public export
 3253 | JSType SVGPreserveAspectRatio where
 3254 |   parents = [Object]
 3255 | 
 3256 |   mixins = []
 3257 | 
 3258 | 
 3259 | public export
 3260 | JSType SVGRadialGradientElement where
 3261 |   parents = [SVGGradientElement, SVGElement, Element, Node, EventTarget, Object]
 3262 | 
 3263 |   mixins =
 3264 |     [ Animatable
 3265 |     , ChildNode
 3266 |     , DocumentAndElementEventHandlers
 3267 |     , ElementCSSInlineStyle
 3268 |     , GeometryUtils
 3269 |     , GlobalEventHandlers
 3270 |     , HTMLOrSVGElement
 3271 |     , InnerHTML
 3272 |     , NonDocumentTypeChildNode
 3273 |     , ParentNode
 3274 |     , SVGElementInstance
 3275 |     , SVGURIReference
 3276 |     , Slottable
 3277 |     ]
 3278 | 
 3279 | 
 3280 | public export
 3281 | JSType SVGRectElement where
 3282 |   parents =
 3283 |     [ SVGGeometryElement
 3284 |     , SVGGraphicsElement
 3285 |     , SVGElement
 3286 |     , Element
 3287 |     , Node
 3288 |     , EventTarget
 3289 |     , Object
 3290 |     ]
 3291 | 
 3292 |   mixins =
 3293 |     [ Animatable
 3294 |     , ChildNode
 3295 |     , DocumentAndElementEventHandlers
 3296 |     , ElementCSSInlineStyle
 3297 |     , GeometryUtils
 3298 |     , GlobalEventHandlers
 3299 |     , HTMLOrSVGElement
 3300 |     , InnerHTML
 3301 |     , NonDocumentTypeChildNode
 3302 |     , ParentNode
 3303 |     , SVGElementInstance
 3304 |     , SVGTests
 3305 |     , Slottable
 3306 |     ]
 3307 | 
 3308 | 
 3309 | public export
 3310 | JSType SVGSVGElement where
 3311 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 3312 | 
 3313 |   mixins =
 3314 |     [ Animatable
 3315 |     , ChildNode
 3316 |     , DocumentAndElementEventHandlers
 3317 |     , ElementCSSInlineStyle
 3318 |     , GeometryUtils
 3319 |     , GlobalEventHandlers
 3320 |     , HTMLOrSVGElement
 3321 |     , InnerHTML
 3322 |     , NonDocumentTypeChildNode
 3323 |     , ParentNode
 3324 |     , SVGElementInstance
 3325 |     , SVGFitToViewBox
 3326 |     , SVGTests
 3327 |     , Slottable
 3328 |     , WindowEventHandlers
 3329 |     ]
 3330 | 
 3331 | 
 3332 | public export
 3333 | JSType SVGScriptElement where
 3334 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3335 | 
 3336 |   mixins =
 3337 |     [ Animatable
 3338 |     , ChildNode
 3339 |     , DocumentAndElementEventHandlers
 3340 |     , ElementCSSInlineStyle
 3341 |     , GeometryUtils
 3342 |     , GlobalEventHandlers
 3343 |     , HTMLOrSVGElement
 3344 |     , InnerHTML
 3345 |     , NonDocumentTypeChildNode
 3346 |     , ParentNode
 3347 |     , SVGElementInstance
 3348 |     , SVGURIReference
 3349 |     , Slottable
 3350 |     ]
 3351 | 
 3352 | 
 3353 | public export
 3354 | JSType SVGStopElement where
 3355 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3356 | 
 3357 |   mixins =
 3358 |     [ Animatable
 3359 |     , ChildNode
 3360 |     , DocumentAndElementEventHandlers
 3361 |     , ElementCSSInlineStyle
 3362 |     , GeometryUtils
 3363 |     , GlobalEventHandlers
 3364 |     , HTMLOrSVGElement
 3365 |     , InnerHTML
 3366 |     , NonDocumentTypeChildNode
 3367 |     , ParentNode
 3368 |     , SVGElementInstance
 3369 |     , Slottable
 3370 |     ]
 3371 | 
 3372 | 
 3373 | public export
 3374 | JSType SVGStringList where
 3375 |   parents = [Object]
 3376 | 
 3377 |   mixins = []
 3378 | 
 3379 | 
 3380 | public export
 3381 | JSType SVGStyleElement where
 3382 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3383 | 
 3384 |   mixins =
 3385 |     [ Animatable
 3386 |     , ChildNode
 3387 |     , DocumentAndElementEventHandlers
 3388 |     , ElementCSSInlineStyle
 3389 |     , GeometryUtils
 3390 |     , GlobalEventHandlers
 3391 |     , HTMLOrSVGElement
 3392 |     , InnerHTML
 3393 |     , LinkStyle
 3394 |     , NonDocumentTypeChildNode
 3395 |     , ParentNode
 3396 |     , SVGElementInstance
 3397 |     , Slottable
 3398 |     ]
 3399 | 
 3400 | 
 3401 | public export
 3402 | JSType SVGSwitchElement where
 3403 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 3404 | 
 3405 |   mixins =
 3406 |     [ Animatable
 3407 |     , ChildNode
 3408 |     , DocumentAndElementEventHandlers
 3409 |     , ElementCSSInlineStyle
 3410 |     , GeometryUtils
 3411 |     , GlobalEventHandlers
 3412 |     , HTMLOrSVGElement
 3413 |     , InnerHTML
 3414 |     , NonDocumentTypeChildNode
 3415 |     , ParentNode
 3416 |     , SVGElementInstance
 3417 |     , SVGTests
 3418 |     , Slottable
 3419 |     ]
 3420 | 
 3421 | 
 3422 | public export
 3423 | JSType SVGSymbolElement where
 3424 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 3425 | 
 3426 |   mixins =
 3427 |     [ Animatable
 3428 |     , ChildNode
 3429 |     , DocumentAndElementEventHandlers
 3430 |     , ElementCSSInlineStyle
 3431 |     , GeometryUtils
 3432 |     , GlobalEventHandlers
 3433 |     , HTMLOrSVGElement
 3434 |     , InnerHTML
 3435 |     , NonDocumentTypeChildNode
 3436 |     , ParentNode
 3437 |     , SVGElementInstance
 3438 |     , SVGFitToViewBox
 3439 |     , SVGTests
 3440 |     , Slottable
 3441 |     ]
 3442 | 
 3443 | 
 3444 | public export
 3445 | JSType SVGTSpanElement where
 3446 |   parents =
 3447 |     [ SVGTextPositioningElement
 3448 |     , SVGTextContentElement
 3449 |     , SVGGraphicsElement
 3450 |     , SVGElement
 3451 |     , Element
 3452 |     , Node
 3453 |     , EventTarget
 3454 |     , Object
 3455 |     ]
 3456 | 
 3457 |   mixins =
 3458 |     [ Animatable
 3459 |     , ChildNode
 3460 |     , DocumentAndElementEventHandlers
 3461 |     , ElementCSSInlineStyle
 3462 |     , GeometryUtils
 3463 |     , GlobalEventHandlers
 3464 |     , HTMLOrSVGElement
 3465 |     , InnerHTML
 3466 |     , NonDocumentTypeChildNode
 3467 |     , ParentNode
 3468 |     , SVGElementInstance
 3469 |     , SVGTests
 3470 |     , Slottable
 3471 |     ]
 3472 | 
 3473 | 
 3474 | public export
 3475 | JSType SVGTextContentElement where
 3476 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 3477 | 
 3478 |   mixins =
 3479 |     [ Animatable
 3480 |     , ChildNode
 3481 |     , DocumentAndElementEventHandlers
 3482 |     , ElementCSSInlineStyle
 3483 |     , GeometryUtils
 3484 |     , GlobalEventHandlers
 3485 |     , HTMLOrSVGElement
 3486 |     , InnerHTML
 3487 |     , NonDocumentTypeChildNode
 3488 |     , ParentNode
 3489 |     , SVGElementInstance
 3490 |     , SVGTests
 3491 |     , Slottable
 3492 |     ]
 3493 | 
 3494 | 
 3495 | public export
 3496 | JSType SVGTextElement where
 3497 |   parents =
 3498 |     [ SVGTextPositioningElement
 3499 |     , SVGTextContentElement
 3500 |     , SVGGraphicsElement
 3501 |     , SVGElement
 3502 |     , Element
 3503 |     , Node
 3504 |     , EventTarget
 3505 |     , Object
 3506 |     ]
 3507 | 
 3508 |   mixins =
 3509 |     [ Animatable
 3510 |     , ChildNode
 3511 |     , DocumentAndElementEventHandlers
 3512 |     , ElementCSSInlineStyle
 3513 |     , GeometryUtils
 3514 |     , GlobalEventHandlers
 3515 |     , HTMLOrSVGElement
 3516 |     , InnerHTML
 3517 |     , NonDocumentTypeChildNode
 3518 |     , ParentNode
 3519 |     , SVGElementInstance
 3520 |     , SVGTests
 3521 |     , Slottable
 3522 |     ]
 3523 | 
 3524 | 
 3525 | public export
 3526 | JSType SVGTextPathElement where
 3527 |   parents =
 3528 |     [ SVGTextContentElement
 3529 |     , SVGGraphicsElement
 3530 |     , SVGElement
 3531 |     , Element
 3532 |     , Node
 3533 |     , EventTarget
 3534 |     , Object
 3535 |     ]
 3536 | 
 3537 |   mixins =
 3538 |     [ Animatable
 3539 |     , ChildNode
 3540 |     , DocumentAndElementEventHandlers
 3541 |     , ElementCSSInlineStyle
 3542 |     , GeometryUtils
 3543 |     , GlobalEventHandlers
 3544 |     , HTMLOrSVGElement
 3545 |     , InnerHTML
 3546 |     , NonDocumentTypeChildNode
 3547 |     , ParentNode
 3548 |     , SVGElementInstance
 3549 |     , SVGTests
 3550 |     , SVGURIReference
 3551 |     , Slottable
 3552 |     ]
 3553 | 
 3554 | 
 3555 | public export
 3556 | JSType SVGTextPositioningElement where
 3557 |   parents =
 3558 |     [ SVGTextContentElement
 3559 |     , SVGGraphicsElement
 3560 |     , SVGElement
 3561 |     , Element
 3562 |     , Node
 3563 |     , EventTarget
 3564 |     , Object
 3565 |     ]
 3566 | 
 3567 |   mixins =
 3568 |     [ Animatable
 3569 |     , ChildNode
 3570 |     , DocumentAndElementEventHandlers
 3571 |     , ElementCSSInlineStyle
 3572 |     , GeometryUtils
 3573 |     , GlobalEventHandlers
 3574 |     , HTMLOrSVGElement
 3575 |     , InnerHTML
 3576 |     , NonDocumentTypeChildNode
 3577 |     , ParentNode
 3578 |     , SVGElementInstance
 3579 |     , SVGTests
 3580 |     , Slottable
 3581 |     ]
 3582 | 
 3583 | 
 3584 | public export
 3585 | JSType SVGTitleElement where
 3586 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3587 | 
 3588 |   mixins =
 3589 |     [ Animatable
 3590 |     , ChildNode
 3591 |     , DocumentAndElementEventHandlers
 3592 |     , ElementCSSInlineStyle
 3593 |     , GeometryUtils
 3594 |     , GlobalEventHandlers
 3595 |     , HTMLOrSVGElement
 3596 |     , InnerHTML
 3597 |     , NonDocumentTypeChildNode
 3598 |     , ParentNode
 3599 |     , SVGElementInstance
 3600 |     , Slottable
 3601 |     ]
 3602 | 
 3603 | 
 3604 | public export
 3605 | JSType SVGTransform where
 3606 |   parents = [Object]
 3607 | 
 3608 |   mixins = []
 3609 | 
 3610 | 
 3611 | public export
 3612 | JSType SVGTransformList where
 3613 |   parents = [Object]
 3614 | 
 3615 |   mixins = []
 3616 | 
 3617 | 
 3618 | public export
 3619 | JSType SVGUnitTypes where
 3620 |   parents = [Object]
 3621 | 
 3622 |   mixins = []
 3623 | 
 3624 | 
 3625 | public export
 3626 | JSType SVGUseElement where
 3627 |   parents = [SVGGraphicsElement, SVGElement, Element, Node, EventTarget, Object]
 3628 | 
 3629 |   mixins =
 3630 |     [ Animatable
 3631 |     , ChildNode
 3632 |     , DocumentAndElementEventHandlers
 3633 |     , ElementCSSInlineStyle
 3634 |     , GeometryUtils
 3635 |     , GlobalEventHandlers
 3636 |     , HTMLOrSVGElement
 3637 |     , InnerHTML
 3638 |     , NonDocumentTypeChildNode
 3639 |     , ParentNode
 3640 |     , SVGElementInstance
 3641 |     , SVGTests
 3642 |     , SVGURIReference
 3643 |     , Slottable
 3644 |     ]
 3645 | 
 3646 | 
 3647 | public export
 3648 | JSType SVGUseElementShadowRoot where
 3649 |   parents = [ShadowRoot, DocumentFragment, Node, EventTarget, Object]
 3650 | 
 3651 |   mixins = [DocumentOrShadowRoot, InnerHTML, NonElementParentNode, ParentNode]
 3652 | 
 3653 | 
 3654 | public export
 3655 | JSType SVGViewElement where
 3656 |   parents = [SVGElement, Element, Node, EventTarget, Object]
 3657 | 
 3658 |   mixins =
 3659 |     [ Animatable
 3660 |     , ChildNode
 3661 |     , DocumentAndElementEventHandlers
 3662 |     , ElementCSSInlineStyle
 3663 |     , GeometryUtils
 3664 |     , GlobalEventHandlers
 3665 |     , HTMLOrSVGElement
 3666 |     , InnerHTML
 3667 |     , NonDocumentTypeChildNode
 3668 |     , ParentNode
 3669 |     , SVGElementInstance
 3670 |     , SVGFitToViewBox
 3671 |     , Slottable
 3672 |     ]
 3673 | 
 3674 | 
 3675 | public export
 3676 | JSType Screen where
 3677 |   parents = [Object]
 3678 | 
 3679 |   mixins = []
 3680 | 
 3681 | 
 3682 | public export
 3683 | JSType ServiceWorker where
 3684 |   parents = [EventTarget, Object]
 3685 | 
 3686 |   mixins = [AbstractWorker]
 3687 | 
 3688 | 
 3689 | public export
 3690 | JSType ServiceWorkerContainer where
 3691 |   parents = [EventTarget, Object]
 3692 | 
 3693 |   mixins = []
 3694 | 
 3695 | 
 3696 | public export
 3697 | JSType ServiceWorkerGlobalScope where
 3698 |   parents = [WorkerGlobalScope, EventTarget, Object]
 3699 | 
 3700 |   mixins = [WindowOrWorkerGlobalScope]
 3701 | 
 3702 | 
 3703 | public export
 3704 | JSType ServiceWorkerRegistration where
 3705 |   parents = [EventTarget, Object]
 3706 | 
 3707 |   mixins = []
 3708 | 
 3709 | 
 3710 | public export
 3711 | JSType ShadowAnimation where
 3712 |   parents = [Animation, EventTarget, Object]
 3713 | 
 3714 |   mixins = []
 3715 | 
 3716 | 
 3717 | public export
 3718 | JSType ShadowRoot where
 3719 |   parents = [DocumentFragment, Node, EventTarget, Object]
 3720 | 
 3721 |   mixins = [DocumentOrShadowRoot, InnerHTML, NonElementParentNode, ParentNode]
 3722 | 
 3723 | 
 3724 | public export
 3725 | JSType SharedWorker where
 3726 |   parents = [EventTarget, Object]
 3727 | 
 3728 |   mixins = [AbstractWorker]
 3729 | 
 3730 | 
 3731 | public export
 3732 | JSType SharedWorkerGlobalScope where
 3733 |   parents = [WorkerGlobalScope, EventTarget, Object]
 3734 | 
 3735 |   mixins = [WindowOrWorkerGlobalScope]
 3736 | 
 3737 | 
 3738 | public export
 3739 | JSType SourceBuffer where
 3740 |   parents = [EventTarget, Object]
 3741 | 
 3742 |   mixins = []
 3743 | 
 3744 | 
 3745 | public export
 3746 | JSType SourceBufferList where
 3747 |   parents = [EventTarget, Object]
 3748 | 
 3749 |   mixins = []
 3750 | 
 3751 | 
 3752 | public export
 3753 | JSType StaticRange where
 3754 |   parents = [AbstractRange, Object]
 3755 | 
 3756 |   mixins = []
 3757 | 
 3758 | 
 3759 | public export
 3760 | JSType Storage where
 3761 |   parents = [Object]
 3762 | 
 3763 |   mixins = []
 3764 | 
 3765 | 
 3766 | public export
 3767 | JSType StorageEvent where
 3768 |   parents = [Event, Object]
 3769 | 
 3770 |   mixins = []
 3771 | 
 3772 | 
 3773 | public export
 3774 | JSType StyleSheet where
 3775 |   parents = [Object]
 3776 | 
 3777 |   mixins = []
 3778 | 
 3779 | 
 3780 | public export
 3781 | JSType StyleSheetList where
 3782 |   parents = [Object]
 3783 | 
 3784 |   mixins = []
 3785 | 
 3786 | 
 3787 | public export
 3788 | JSType SubmitEvent where
 3789 |   parents = [Event, Object]
 3790 | 
 3791 |   mixins = []
 3792 | 
 3793 | 
 3794 | public export
 3795 | JSType Text where
 3796 |   parents = [CharacterData, Node, EventTarget, Object]
 3797 | 
 3798 |   mixins = [ChildNode, GeometryUtils, NonDocumentTypeChildNode, Slottable]
 3799 | 
 3800 | 
 3801 | public export
 3802 | JSType TextMetrics where
 3803 |   parents = [Object]
 3804 | 
 3805 |   mixins = []
 3806 | 
 3807 | 
 3808 | public export
 3809 | JSType TextTrack where
 3810 |   parents = [EventTarget, Object]
 3811 | 
 3812 |   mixins = []
 3813 | 
 3814 | 
 3815 | public export
 3816 | JSType TextTrackCue where
 3817 |   parents = [EventTarget, Object]
 3818 | 
 3819 |   mixins = []
 3820 | 
 3821 | 
 3822 | public export
 3823 | JSType TextTrackCueList where
 3824 |   parents = [Object]
 3825 | 
 3826 |   mixins = []
 3827 | 
 3828 | 
 3829 | public export
 3830 | JSType TextTrackList where
 3831 |   parents = [EventTarget, Object]
 3832 | 
 3833 |   mixins = []
 3834 | 
 3835 | 
 3836 | public export
 3837 | JSType TimeRanges where
 3838 |   parents = [Object]
 3839 | 
 3840 |   mixins = []
 3841 | 
 3842 | 
 3843 | public export
 3844 | JSType TrackEvent where
 3845 |   parents = [Event, Object]
 3846 | 
 3847 |   mixins = []
 3848 | 
 3849 | 
 3850 | public export
 3851 | JSType TransformStream where
 3852 |   parents = [Object]
 3853 | 
 3854 |   mixins = []
 3855 | 
 3856 | 
 3857 | public export
 3858 | JSType TransformStreamDefaultController where
 3859 |   parents = [Object]
 3860 | 
 3861 |   mixins = []
 3862 | 
 3863 | 
 3864 | public export
 3865 | JSType TreeWalker where
 3866 |   parents = [Object]
 3867 | 
 3868 |   mixins = []
 3869 | 
 3870 | 
 3871 | public export
 3872 | JSType UIEvent where
 3873 |   parents = [Event, Object]
 3874 | 
 3875 |   mixins = []
 3876 | 
 3877 | 
 3878 | public export
 3879 | JSType URL where
 3880 |   parents = [Object]
 3881 | 
 3882 |   mixins = []
 3883 | 
 3884 | 
 3885 | public export
 3886 | JSType URLSearchParams where
 3887 |   parents = [Object]
 3888 | 
 3889 |   mixins = []
 3890 | 
 3891 | 
 3892 | public export
 3893 | JSType ValidityState where
 3894 |   parents = [Object]
 3895 | 
 3896 |   mixins = []
 3897 | 
 3898 | 
 3899 | public export
 3900 | JSType VideoTrack where
 3901 |   parents = [Object]
 3902 | 
 3903 |   mixins = []
 3904 | 
 3905 | 
 3906 | public export
 3907 | JSType VideoTrackList where
 3908 |   parents = [EventTarget, Object]
 3909 | 
 3910 |   mixins = []
 3911 | 
 3912 | 
 3913 | public export
 3914 | JSType VisualViewport where
 3915 |   parents = [EventTarget, Object]
 3916 | 
 3917 |   mixins = []
 3918 | 
 3919 | 
 3920 | public export
 3921 | JSType WebGL2RenderingContext where
 3922 |   parents = [Object]
 3923 | 
 3924 |   mixins =
 3925 |     [ WebGL2RenderingContextBase
 3926 |     , WebGL2RenderingContextOverloads
 3927 |     , WebGLRenderingContextBase
 3928 |     ]
 3929 | 
 3930 | 
 3931 | public export
 3932 | JSType WebGLActiveInfo where
 3933 |   parents = [Object]
 3934 | 
 3935 |   mixins = []
 3936 | 
 3937 | 
 3938 | public export
 3939 | JSType WebGLBuffer where
 3940 |   parents = [WebGLObject, Object]
 3941 | 
 3942 |   mixins = []
 3943 | 
 3944 | 
 3945 | public export
 3946 | JSType WebGLFramebuffer where
 3947 |   parents = [WebGLObject, Object]
 3948 | 
 3949 |   mixins = []
 3950 | 
 3951 | 
 3952 | public export
 3953 | JSType WebGLObject where
 3954 |   parents = [Object]
 3955 | 
 3956 |   mixins = []
 3957 | 
 3958 | 
 3959 | public export
 3960 | JSType WebGLProgram where
 3961 |   parents = [WebGLObject, Object]
 3962 | 
 3963 |   mixins = []
 3964 | 
 3965 | 
 3966 | public export
 3967 | JSType WebGLQuery where
 3968 |   parents = [WebGLObject, Object]
 3969 | 
 3970 |   mixins = []
 3971 | 
 3972 | 
 3973 | public export
 3974 | JSType WebGLRenderbuffer where
 3975 |   parents = [WebGLObject, Object]
 3976 | 
 3977 |   mixins = []
 3978 | 
 3979 | 
 3980 | public export
 3981 | JSType WebGLRenderingContext where
 3982 |   parents = [Object]
 3983 | 
 3984 |   mixins = [WebGLRenderingContextBase, WebGLRenderingContextOverloads]
 3985 | 
 3986 | 
 3987 | public export
 3988 | JSType WebGLSampler where
 3989 |   parents = [WebGLObject, Object]
 3990 | 
 3991 |   mixins = []
 3992 | 
 3993 | 
 3994 | public export
 3995 | JSType WebGLShader where
 3996 |   parents = [WebGLObject, Object]
 3997 | 
 3998 |   mixins = []
 3999 | 
 4000 | 
 4001 | public export
 4002 | JSType WebGLShaderPrecisionFormat where
 4003 |   parents = [Object]
 4004 | 
 4005 |   mixins = []
 4006 | 
 4007 | 
 4008 | public export
 4009 | JSType WebGLSync where
 4010 |   parents = [WebGLObject, Object]
 4011 | 
 4012 |   mixins = []
 4013 | 
 4014 | 
 4015 | public export
 4016 | JSType WebGLTexture where
 4017 |   parents = [WebGLObject, Object]
 4018 | 
 4019 |   mixins = []
 4020 | 
 4021 | 
 4022 | public export
 4023 | JSType WebGLTransformFeedback where
 4024 |   parents = [WebGLObject, Object]
 4025 | 
 4026 |   mixins = []
 4027 | 
 4028 | 
 4029 | public export
 4030 | JSType WebGLUniformLocation where
 4031 |   parents = [Object]
 4032 | 
 4033 |   mixins = []
 4034 | 
 4035 | 
 4036 | public export
 4037 | JSType WebGLVertexArrayObject where
 4038 |   parents = [WebGLObject, Object]
 4039 | 
 4040 |   mixins = []
 4041 | 
 4042 | 
 4043 | public export
 4044 | JSType WebSocket where
 4045 |   parents = [EventTarget, Object]
 4046 | 
 4047 |   mixins = []
 4048 | 
 4049 | 
 4050 | public export
 4051 | JSType WheelEvent where
 4052 |   parents = [MouseEvent, UIEvent, Event, Object]
 4053 | 
 4054 |   mixins = []
 4055 | 
 4056 | 
 4057 | public export
 4058 | JSType Window where
 4059 |   parents = [EventTarget, Object]
 4060 | 
 4061 |   mixins =
 4062 |     [ GlobalEventHandlers
 4063 |     , WindowEventHandlers
 4064 |     , WindowLocalStorage
 4065 |     , WindowOrWorkerGlobalScope
 4066 |     ]
 4067 | 
 4068 | 
 4069 | public export
 4070 | JSType WindowClient where
 4071 |   parents = [Client, Object]
 4072 | 
 4073 |   mixins = []
 4074 | 
 4075 | 
 4076 | public export
 4077 | JSType Worker where
 4078 |   parents = [EventTarget, Object]
 4079 | 
 4080 |   mixins = [AbstractWorker]
 4081 | 
 4082 | 
 4083 | public export
 4084 | JSType WorkerGlobalScope where
 4085 |   parents = [EventTarget, Object]
 4086 | 
 4087 |   mixins = [WindowOrWorkerGlobalScope]
 4088 | 
 4089 | 
 4090 | public export
 4091 | JSType WorkerLocation where
 4092 |   parents = [Object]
 4093 | 
 4094 |   mixins = []
 4095 | 
 4096 | 
 4097 | public export
 4098 | JSType WorkerNavigator where
 4099 |   parents = [Object]
 4100 | 
 4101 |   mixins =
 4102 |     [ NavigatorConcurrentHardware
 4103 |     , NavigatorID
 4104 |     , NavigatorLanguage
 4105 |     , NavigatorOnLine
 4106 |     ]
 4107 | 
 4108 | 
 4109 | public export
 4110 | JSType Worklet where
 4111 |   parents = [Object]
 4112 | 
 4113 |   mixins = []
 4114 | 
 4115 | 
 4116 | public export
 4117 | JSType WorkletGlobalScope where
 4118 |   parents = [Object]
 4119 | 
 4120 |   mixins = []
 4121 | 
 4122 | 
 4123 | public export
 4124 | JSType WritableStream where
 4125 |   parents = [Object]
 4126 | 
 4127 |   mixins = []
 4128 | 
 4129 | 
 4130 | public export
 4131 | JSType WritableStreamDefaultController where
 4132 |   parents = [Object]
 4133 | 
 4134 |   mixins = []
 4135 | 
 4136 | 
 4137 | public export
 4138 | JSType WritableStreamDefaultWriter where
 4139 |   parents = [Object]
 4140 | 
 4141 |   mixins = []
 4142 | 
 4143 | 
 4144 | public export
 4145 | JSType XMLDocument where
 4146 |   parents = [Document, Node, EventTarget, Object]
 4147 | 
 4148 |   mixins =
 4149 |     [ DocumentAndElementEventHandlers
 4150 |     , DocumentOrShadowRoot
 4151 |     , GeometryUtils
 4152 |     , GlobalEventHandlers
 4153 |     , NonElementParentNode
 4154 |     , ParentNode
 4155 |     , XPathEvaluatorBase
 4156 |     ]
 4157 | 
 4158 | 
 4159 | public export
 4160 | JSType XMLHttpRequest where
 4161 |   parents = [XMLHttpRequestEventTarget, EventTarget, Object]
 4162 | 
 4163 |   mixins = []
 4164 | 
 4165 | 
 4166 | public export
 4167 | JSType XMLHttpRequestEventTarget where
 4168 |   parents = [EventTarget, Object]
 4169 | 
 4170 |   mixins = []
 4171 | 
 4172 | 
 4173 | public export
 4174 | JSType XMLHttpRequestUpload where
 4175 |   parents = [XMLHttpRequestEventTarget, EventTarget, Object]
 4176 | 
 4177 |   mixins = []
 4178 | 
 4179 | 
 4180 | public export
 4181 | JSType XMLSerializer where
 4182 |   parents = [Object]
 4183 | 
 4184 |   mixins = []
 4185 | 
 4186 | 
 4187 | public export
 4188 | JSType XPathEvaluator where
 4189 |   parents = [Object]
 4190 | 
 4191 |   mixins = [XPathEvaluatorBase]
 4192 | 
 4193 | 
 4194 | public export
 4195 | JSType XPathExpression where
 4196 |   parents = [Object]
 4197 | 
 4198 |   mixins = []
 4199 | 
 4200 | 
 4201 | public export
 4202 | JSType XPathResult where
 4203 |   parents = [Object]
 4204 | 
 4205 |   mixins = []
 4206 | 
 4207 | 
 4208 | public export
 4209 | JSType AddEventListenerOptions where
 4210 |   parents = [EventListenerOptions, Object]
 4211 | 
 4212 |   mixins = []
 4213 | 
 4214 | 
 4215 | public export
 4216 | JSType AnimationPlaybackEventInit where
 4217 |   parents = [EventInit, Object]
 4218 | 
 4219 |   mixins = []
 4220 | 
 4221 | 
 4222 | public export
 4223 | JSType AssignedNodesOptions where
 4224 |   parents = [Object]
 4225 | 
 4226 |   mixins = []
 4227 | 
 4228 | 
 4229 | public export
 4230 | JSType BaseComputedKeyframe where
 4231 |   parents = [Object]
 4232 | 
 4233 |   mixins = []
 4234 | 
 4235 | 
 4236 | public export
 4237 | JSType BaseKeyframe where
 4238 |   parents = [Object]
 4239 | 
 4240 |   mixins = []
 4241 | 
 4242 | 
 4243 | public export
 4244 | JSType BasePropertyIndexedKeyframe where
 4245 |   parents = [Object]
 4246 | 
 4247 |   mixins = []
 4248 | 
 4249 | 
 4250 | public export
 4251 | JSType BlobPropertyBag where
 4252 |   parents = [Object]
 4253 | 
 4254 |   mixins = []
 4255 | 
 4256 | 
 4257 | public export
 4258 | JSType BoxQuadOptions where
 4259 |   parents = [Object]
 4260 | 
 4261 |   mixins = []
 4262 | 
 4263 | 
 4264 | public export
 4265 | JSType CacheQueryOptions where
 4266 |   parents = [Object]
 4267 | 
 4268 |   mixins = []
 4269 | 
 4270 | 
 4271 | public export
 4272 | JSType CameraDevicePermissionDescriptor where
 4273 |   parents = [DevicePermissionDescriptor, PermissionDescriptor, Object]
 4274 | 
 4275 |   mixins = []
 4276 | 
 4277 | 
 4278 | public export
 4279 | JSType CanvasRenderingContext2DSettings where
 4280 |   parents = [Object]
 4281 | 
 4282 |   mixins = []
 4283 | 
 4284 | 
 4285 | public export
 4286 | JSType Capabilities where
 4287 |   parents = [Object]
 4288 | 
 4289 |   mixins = []
 4290 | 
 4291 | 
 4292 | public export
 4293 | JSType CheckVisibilityOptions where
 4294 |   parents = [Object]
 4295 | 
 4296 |   mixins = []
 4297 | 
 4298 | 
 4299 | public export
 4300 | JSType ClientQueryOptions where
 4301 |   parents = [Object]
 4302 | 
 4303 |   mixins = []
 4304 | 
 4305 | 
 4306 | public export
 4307 | JSType ClipboardEventInit where
 4308 |   parents = [EventInit, Object]
 4309 | 
 4310 |   mixins = []
 4311 | 
 4312 | 
 4313 | public export
 4314 | JSType ClipboardItemOptions where
 4315 |   parents = [Object]
 4316 | 
 4317 |   mixins = []
 4318 | 
 4319 | 
 4320 | public export
 4321 | JSType ClipboardPermissionDescriptor where
 4322 |   parents = [PermissionDescriptor, Object]
 4323 | 
 4324 |   mixins = []
 4325 | 
 4326 | 
 4327 | public export
 4328 | JSType CloseEventInit where
 4329 |   parents = [EventInit, Object]
 4330 | 
 4331 |   mixins = []
 4332 | 
 4333 | 
 4334 | public export
 4335 | JSType CompositionEventInit where
 4336 |   parents = [UIEventInit, EventInit, Object]
 4337 | 
 4338 |   mixins = []
 4339 | 
 4340 | 
 4341 | public export
 4342 | JSType ComputedEffectTiming where
 4343 |   parents = [EffectTiming, Object]
 4344 | 
 4345 |   mixins = []
 4346 | 
 4347 | 
 4348 | public export
 4349 | JSType ConstrainBooleanParameters where
 4350 |   parents = [Object]
 4351 | 
 4352 |   mixins = []
 4353 | 
 4354 | 
 4355 | public export
 4356 | JSType ConstrainDOMStringParameters where
 4357 |   parents = [Object]
 4358 | 
 4359 |   mixins = []
 4360 | 
 4361 | 
 4362 | public export
 4363 | JSType ConstrainDoubleRange where
 4364 |   parents = [DoubleRange, Object]
 4365 | 
 4366 |   mixins = []
 4367 | 
 4368 | 
 4369 | public export
 4370 | JSType ConstrainULongRange where
 4371 |   parents = [ULongRange, Object]
 4372 | 
 4373 |   mixins = []
 4374 | 
 4375 | 
 4376 | public export
 4377 | JSType ConstraintSet where
 4378 |   parents = [Object]
 4379 | 
 4380 |   mixins = []
 4381 | 
 4382 | 
 4383 | public export
 4384 | JSType Constraints where
 4385 |   parents = [ConstraintSet, Object]
 4386 | 
 4387 |   mixins = []
 4388 | 
 4389 | 
 4390 | public export
 4391 | JSType ConvertCoordinateOptions where
 4392 |   parents = [Object]
 4393 | 
 4394 |   mixins = []
 4395 | 
 4396 | 
 4397 | public export
 4398 | JSType CustomEventInit where
 4399 |   parents = [EventInit, Object]
 4400 | 
 4401 |   mixins = []
 4402 | 
 4403 | 
 4404 | public export
 4405 | JSType DOMMatrix2DInit where
 4406 |   parents = [Object]
 4407 | 
 4408 |   mixins = []
 4409 | 
 4410 | 
 4411 | public export
 4412 | JSType DOMMatrixInit where
 4413 |   parents = [DOMMatrix2DInit, Object]
 4414 | 
 4415 |   mixins = []
 4416 | 
 4417 | 
 4418 | public export
 4419 | JSType DOMPointInit where
 4420 |   parents = [Object]
 4421 | 
 4422 |   mixins = []
 4423 | 
 4424 | 
 4425 | public export
 4426 | JSType DOMQuadInit where
 4427 |   parents = [Object]
 4428 | 
 4429 |   mixins = []
 4430 | 
 4431 | 
 4432 | public export
 4433 | JSType DOMRectInit where
 4434 |   parents = [Object]
 4435 | 
 4436 |   mixins = []
 4437 | 
 4438 | 
 4439 | public export
 4440 | JSType DevicePermissionDescriptor where
 4441 |   parents = [PermissionDescriptor, Object]
 4442 | 
 4443 |   mixins = []
 4444 | 
 4445 | 
 4446 | public export
 4447 | JSType DocumentTimelineOptions where
 4448 |   parents = [Object]
 4449 | 
 4450 |   mixins = []
 4451 | 
 4452 | 
 4453 | public export
 4454 | JSType DoubleRange where
 4455 |   parents = [Object]
 4456 | 
 4457 |   mixins = []
 4458 | 
 4459 | 
 4460 | public export
 4461 | JSType DragEventInit where
 4462 |   parents = [MouseEventInit, EventModifierInit, UIEventInit, EventInit, Object]
 4463 | 
 4464 |   mixins = []
 4465 | 
 4466 | 
 4467 | public export
 4468 | JSType EffectTiming where
 4469 |   parents = [Object]
 4470 | 
 4471 |   mixins = []
 4472 | 
 4473 | 
 4474 | public export
 4475 | JSType ElementCreationOptions where
 4476 |   parents = [Object]
 4477 | 
 4478 |   mixins = []
 4479 | 
 4480 | 
 4481 | public export
 4482 | JSType ElementDefinitionOptions where
 4483 |   parents = [Object]
 4484 | 
 4485 |   mixins = []
 4486 | 
 4487 | 
 4488 | public export
 4489 | JSType ErrorEventInit where
 4490 |   parents = [EventInit, Object]
 4491 | 
 4492 |   mixins = []
 4493 | 
 4494 | 
 4495 | public export
 4496 | JSType EventInit where
 4497 |   parents = [Object]
 4498 | 
 4499 |   mixins = []
 4500 | 
 4501 | 
 4502 | public export
 4503 | JSType EventListenerOptions where
 4504 |   parents = [Object]
 4505 | 
 4506 |   mixins = []
 4507 | 
 4508 | 
 4509 | public export
 4510 | JSType EventModifierInit where
 4511 |   parents = [UIEventInit, EventInit, Object]
 4512 | 
 4513 |   mixins = []
 4514 | 
 4515 | 
 4516 | public export
 4517 | JSType EventSourceInit where
 4518 |   parents = [Object]
 4519 | 
 4520 |   mixins = []
 4521 | 
 4522 | 
 4523 | public export
 4524 | JSType ExtendableEventInit where
 4525 |   parents = [EventInit, Object]
 4526 | 
 4527 |   mixins = []
 4528 | 
 4529 | 
 4530 | public export
 4531 | JSType ExtendableMessageEventInit where
 4532 |   parents = [ExtendableEventInit, EventInit, Object]
 4533 | 
 4534 |   mixins = []
 4535 | 
 4536 | 
 4537 | public export
 4538 | JSType FetchEventInit where
 4539 |   parents = [ExtendableEventInit, EventInit, Object]
 4540 | 
 4541 |   mixins = []
 4542 | 
 4543 | 
 4544 | public export
 4545 | JSType FilePropertyBag where
 4546 |   parents = [BlobPropertyBag, Object]
 4547 | 
 4548 |   mixins = []
 4549 | 
 4550 | 
 4551 | public export
 4552 | JSType FocusEventInit where
 4553 |   parents = [UIEventInit, EventInit, Object]
 4554 | 
 4555 |   mixins = []
 4556 | 
 4557 | 
 4558 | public export
 4559 | JSType FocusOptions where
 4560 |   parents = [Object]
 4561 | 
 4562 |   mixins = []
 4563 | 
 4564 | 
 4565 | public export
 4566 | JSType FormDataEventInit where
 4567 |   parents = [EventInit, Object]
 4568 | 
 4569 |   mixins = []
 4570 | 
 4571 | 
 4572 | public export
 4573 | JSType GetRootNodeOptions where
 4574 |   parents = [Object]
 4575 | 
 4576 |   mixins = []
 4577 | 
 4578 | 
 4579 | public export
 4580 | JSType HashChangeEventInit where
 4581 |   parents = [EventInit, Object]
 4582 | 
 4583 |   mixins = []
 4584 | 
 4585 | 
 4586 | public export
 4587 | JSType IDBDatabaseInfo where
 4588 |   parents = [Object]
 4589 | 
 4590 |   mixins = []
 4591 | 
 4592 | 
 4593 | public export
 4594 | JSType IDBIndexParameters where
 4595 |   parents = [Object]
 4596 | 
 4597 |   mixins = []
 4598 | 
 4599 | 
 4600 | public export
 4601 | JSType IDBObjectStoreParameters where
 4602 |   parents = [Object]
 4603 | 
 4604 |   mixins = []
 4605 | 
 4606 | 
 4607 | public export
 4608 | JSType IDBTransactionOptions where
 4609 |   parents = [Object]
 4610 | 
 4611 |   mixins = []
 4612 | 
 4613 | 
 4614 | public export
 4615 | JSType IDBVersionChangeEventInit where
 4616 |   parents = [EventInit, Object]
 4617 | 
 4618 |   mixins = []
 4619 | 
 4620 | 
 4621 | public export
 4622 | JSType ImageBitmapOptions where
 4623 |   parents = [Object]
 4624 | 
 4625 |   mixins = []
 4626 | 
 4627 | 
 4628 | public export
 4629 | JSType ImageBitmapRenderingContextSettings where
 4630 |   parents = [Object]
 4631 | 
 4632 |   mixins = []
 4633 | 
 4634 | 
 4635 | public export
 4636 | JSType ImageEncodeOptions where
 4637 |   parents = [Object]
 4638 | 
 4639 |   mixins = []
 4640 | 
 4641 | 
 4642 | public export
 4643 | JSType InputEventInit where
 4644 |   parents = [UIEventInit, EventInit, Object]
 4645 | 
 4646 |   mixins = []
 4647 | 
 4648 | 
 4649 | public export
 4650 | JSType KeyboardEventInit where
 4651 |   parents = [EventModifierInit, UIEventInit, EventInit, Object]
 4652 | 
 4653 |   mixins = []
 4654 | 
 4655 | 
 4656 | public export
 4657 | JSType KeyframeAnimationOptions where
 4658 |   parents = [KeyframeEffectOptions, EffectTiming, Object]
 4659 | 
 4660 |   mixins = []
 4661 | 
 4662 | 
 4663 | public export
 4664 | JSType KeyframeEffectOptions where
 4665 |   parents = [EffectTiming, Object]
 4666 | 
 4667 |   mixins = []
 4668 | 
 4669 | 
 4670 | public export
 4671 | JSType MediaQueryListEventInit where
 4672 |   parents = [EventInit, Object]
 4673 | 
 4674 |   mixins = []
 4675 | 
 4676 | 
 4677 | public export
 4678 | JSType MediaStreamConstraints where
 4679 |   parents = [Object]
 4680 | 
 4681 |   mixins = []
 4682 | 
 4683 | 
 4684 | public export
 4685 | JSType MediaStreamTrackEventInit where
 4686 |   parents = [EventInit, Object]
 4687 | 
 4688 |   mixins = []
 4689 | 
 4690 | 
 4691 | public export
 4692 | JSType MediaTrackCapabilities where
 4693 |   parents = [Object]
 4694 | 
 4695 |   mixins = []
 4696 | 
 4697 | 
 4698 | public export
 4699 | JSType MediaTrackConstraintSet where
 4700 |   parents = [Object]
 4701 | 
 4702 |   mixins = []
 4703 | 
 4704 | 
 4705 | public export
 4706 | JSType MediaTrackConstraints where
 4707 |   parents = [MediaTrackConstraintSet, Object]
 4708 | 
 4709 |   mixins = []
 4710 | 
 4711 | 
 4712 | public export
 4713 | JSType MediaTrackSettings where
 4714 |   parents = [Object]
 4715 | 
 4716 |   mixins = []
 4717 | 
 4718 | 
 4719 | public export
 4720 | JSType MediaTrackSupportedConstraints where
 4721 |   parents = [Object]
 4722 | 
 4723 |   mixins = []
 4724 | 
 4725 | 
 4726 | public export
 4727 | JSType MessageEventInit where
 4728 |   parents = [EventInit, Object]
 4729 | 
 4730 |   mixins = []
 4731 | 
 4732 | 
 4733 | public export
 4734 | JSType MidiPermissionDescriptor where
 4735 |   parents = [PermissionDescriptor, Object]
 4736 | 
 4737 |   mixins = []
 4738 | 
 4739 | 
 4740 | public export
 4741 | JSType MouseEventInit where
 4742 |   parents = [EventModifierInit, UIEventInit, EventInit, Object]
 4743 | 
 4744 |   mixins = []
 4745 | 
 4746 | 
 4747 | public export
 4748 | JSType MultiCacheQueryOptions where
 4749 |   parents = [CacheQueryOptions, Object]
 4750 | 
 4751 |   mixins = []
 4752 | 
 4753 | 
 4754 | public export
 4755 | JSType MutationObserverInit where
 4756 |   parents = [Object]
 4757 | 
 4758 |   mixins = []
 4759 | 
 4760 | 
 4761 | public export
 4762 | JSType NavigationPreloadState where
 4763 |   parents = [Object]
 4764 | 
 4765 |   mixins = []
 4766 | 
 4767 | 
 4768 | public export
 4769 | JSType OptionalEffectTiming where
 4770 |   parents = [Object]
 4771 | 
 4772 |   mixins = []
 4773 | 
 4774 | 
 4775 | public export
 4776 | JSType PageTransitionEventInit where
 4777 |   parents = [EventInit, Object]
 4778 | 
 4779 |   mixins = []
 4780 | 
 4781 | 
 4782 | public export
 4783 | JSType PermissionDescriptor where
 4784 |   parents = [Object]
 4785 | 
 4786 |   mixins = []
 4787 | 
 4788 | 
 4789 | public export
 4790 | JSType PermissionSetParameters where
 4791 |   parents = [Object]
 4792 | 
 4793 |   mixins = []
 4794 | 
 4795 | 
 4796 | public export
 4797 | JSType PopStateEventInit where
 4798 |   parents = [EventInit, Object]
 4799 | 
 4800 |   mixins = []
 4801 | 
 4802 | 
 4803 | public export
 4804 | JSType PostMessageOptions where
 4805 |   parents = [Object]
 4806 | 
 4807 |   mixins = []
 4808 | 
 4809 | 
 4810 | public export
 4811 | JSType ProgressEventInit where
 4812 |   parents = [EventInit, Object]
 4813 | 
 4814 |   mixins = []
 4815 | 
 4816 | 
 4817 | public export
 4818 | JSType PromiseRejectionEventInit where
 4819 |   parents = [EventInit, Object]
 4820 | 
 4821 |   mixins = []
 4822 | 
 4823 | 
 4824 | public export
 4825 | JSType PushPermissionDescriptor where
 4826 |   parents = [PermissionDescriptor, Object]
 4827 | 
 4828 |   mixins = []
 4829 | 
 4830 | 
 4831 | public export
 4832 | JSType QueuingStrategy where
 4833 |   parents = [Object]
 4834 | 
 4835 |   mixins = []
 4836 | 
 4837 | 
 4838 | public export
 4839 | JSType QueuingStrategyInit where
 4840 |   parents = [Object]
 4841 | 
 4842 |   mixins = []
 4843 | 
 4844 | 
 4845 | public export
 4846 | JSType ReadableStreamBYOBReadResult where
 4847 |   parents = [Object]
 4848 | 
 4849 |   mixins = []
 4850 | 
 4851 | 
 4852 | public export
 4853 | JSType ReadableStreamDefaultReadResult where
 4854 |   parents = [Object]
 4855 | 
 4856 |   mixins = []
 4857 | 
 4858 | 
 4859 | public export
 4860 | JSType ReadableStreamGetReaderOptions where
 4861 |   parents = [Object]
 4862 | 
 4863 |   mixins = []
 4864 | 
 4865 | 
 4866 | public export
 4867 | JSType ReadableStreamIteratorOptions where
 4868 |   parents = [Object]
 4869 | 
 4870 |   mixins = []
 4871 | 
 4872 | 
 4873 | public export
 4874 | JSType ReadableWritablePair where
 4875 |   parents = [Object]
 4876 | 
 4877 |   mixins = []
 4878 | 
 4879 | 
 4880 | public export
 4881 | JSType RegistrationOptions where
 4882 |   parents = [Object]
 4883 | 
 4884 |   mixins = []
 4885 | 
 4886 | 
 4887 | public export
 4888 | JSType RequestInit where
 4889 |   parents = [Object]
 4890 | 
 4891 |   mixins = []
 4892 | 
 4893 | 
 4894 | public export
 4895 | JSType ResponseInit where
 4896 |   parents = [Object]
 4897 | 
 4898 |   mixins = []
 4899 | 
 4900 | 
 4901 | public export
 4902 | JSType SVGBoundingBoxOptions where
 4903 |   parents = [Object]
 4904 | 
 4905 |   mixins = []
 4906 | 
 4907 | 
 4908 | public export
 4909 | JSType ScrollIntoViewOptions where
 4910 |   parents = [ScrollOptions, Object]
 4911 | 
 4912 |   mixins = []
 4913 | 
 4914 | 
 4915 | public export
 4916 | JSType ScrollOptions where
 4917 |   parents = [Object]
 4918 | 
 4919 |   mixins = []
 4920 | 
 4921 | 
 4922 | public export
 4923 | JSType ScrollToOptions where
 4924 |   parents = [ScrollOptions, Object]
 4925 | 
 4926 |   mixins = []
 4927 | 
 4928 | 
 4929 | public export
 4930 | JSType Settings where
 4931 |   parents = [Object]
 4932 | 
 4933 |   mixins = []
 4934 | 
 4935 | 
 4936 | public export
 4937 | JSType ShadowRootInit where
 4938 |   parents = [Object]
 4939 | 
 4940 |   mixins = []
 4941 | 
 4942 | 
 4943 | public export
 4944 | JSType StaticRangeInit where
 4945 |   parents = [Object]
 4946 | 
 4947 |   mixins = []
 4948 | 
 4949 | 
 4950 | public export
 4951 | JSType StorageEventInit where
 4952 |   parents = [EventInit, Object]
 4953 | 
 4954 |   mixins = []
 4955 | 
 4956 | 
 4957 | public export
 4958 | JSType StreamPipeOptions where
 4959 |   parents = [Object]
 4960 | 
 4961 |   mixins = []
 4962 | 
 4963 | 
 4964 | public export
 4965 | JSType StructuredSerializeOptions where
 4966 |   parents = [Object]
 4967 | 
 4968 |   mixins = []
 4969 | 
 4970 | 
 4971 | public export
 4972 | JSType SubmitEventInit where
 4973 |   parents = [EventInit, Object]
 4974 | 
 4975 |   mixins = []
 4976 | 
 4977 | 
 4978 | public export
 4979 | JSType TrackEventInit where
 4980 |   parents = [EventInit, Object]
 4981 | 
 4982 |   mixins = []
 4983 | 
 4984 | 
 4985 | public export
 4986 | JSType Transformer where
 4987 |   parents = [Object]
 4988 | 
 4989 |   mixins = []
 4990 | 
 4991 | 
 4992 | public export
 4993 | JSType UIEventInit where
 4994 |   parents = [EventInit, Object]
 4995 | 
 4996 |   mixins = []
 4997 | 
 4998 | 
 4999 | public export
 5000 | JSType ULongRange where
 5001 |   parents = [Object]
 5002 | 
 5003 |   mixins = []
 5004 | 
 5005 | 
 5006 | public export
 5007 | JSType UnderlyingSink where
 5008 |   parents = [Object]
 5009 | 
 5010 |   mixins = []
 5011 | 
 5012 | 
 5013 | public export
 5014 | JSType UnderlyingSource where
 5015 |   parents = [Object]
 5016 | 
 5017 |   mixins = []
 5018 | 
 5019 | 
 5020 | public export
 5021 | JSType ValidityStateFlags where
 5022 |   parents = [Object]
 5023 | 
 5024 |   mixins = []
 5025 | 
 5026 | 
 5027 | public export
 5028 | JSType WebGLContextAttributes where
 5029 |   parents = [Object]
 5030 | 
 5031 |   mixins = []
 5032 | 
 5033 | 
 5034 | public export
 5035 | JSType WheelEventInit where
 5036 |   parents = [MouseEventInit, EventModifierInit, UIEventInit, EventInit, Object]
 5037 | 
 5038 |   mixins = []
 5039 | 
 5040 | 
 5041 | public export
 5042 | JSType WindowPostMessageOptions where
 5043 |   parents = [PostMessageOptions, Object]
 5044 | 
 5045 |   mixins = []
 5046 | 
 5047 | 
 5048 | public export
 5049 | JSType WorkerOptions where
 5050 |   parents = [Object]
 5051 | 
 5052 |   mixins = []
 5053 | 
 5054 | 
 5055 | public export
 5056 | JSType WorkletOptions where
 5057 |   parents = [Object]
 5058 | 
 5059 |   mixins = []
 5060 |