0 | module Web.Raw.Dom
   1 |
   2 | import JS
   3 | import Web.Internal.DomPrim
   4 | import Web.Internal.Types
   5 |
   6 | %default total
   7 |
   8 |
   9 | --------------------------------------------------------------------------------
  10 | --          Interfaces
  11 | --------------------------------------------------------------------------------
  12 |
  13 | namespace AbortController
  14 |
  15 |   export
  16 |   new : JSIO AbortController
  17 |   new = primJS $ AbortController.prim__new
  18 |
  19 |
  20 |   export
  21 |   signal : (obj : AbortController) -> JSIO AbortSignal
  22 |   signal a = primJS $ AbortController.prim__signal a
  23 |
  24 |
  25 |   export
  26 |   abort : (obj : AbortController) -> JSIO ()
  27 |   abort a = primJS $ AbortController.prim__abort a
  28 |
  29 |
  30 |
  31 | namespace AbortSignal
  32 |
  33 |   export
  34 |   abort : JSIO AbortSignal
  35 |   abort = primJS $ AbortSignal.prim__abort
  36 |
  37 |
  38 |   export
  39 |   aborted : (obj : AbortSignal) -> JSIO Bool
  40 |   aborted a = tryJS "AbortSignal.aborted" $ AbortSignal.prim__aborted a
  41 |
  42 |
  43 |   export
  44 |   onabort : AbortSignal -> Attribute False Maybe EventHandlerNonNull
  45 |   onabort v = fromNullablePrim
  46 |                 "AbortSignal.getonabort"
  47 |                 prim__onabort
  48 |                 prim__setOnabort
  49 |                 v
  50 |
  51 |
  52 |
  53 | namespace AbstractRange
  54 |
  55 |   export
  56 |   collapsed :
  57 |        {auto 0 _ : JSType t1}
  58 |     -> {auto 0 _ : Elem AbstractRange (Types t1)}
  59 |     -> (obj : t1)
  60 |     -> JSIO Bool
  61 |   collapsed a = tryJS "AbstractRange.collapsed" $
  62 |     AbstractRange.prim__collapsed (up a)
  63 |
  64 |
  65 |   export
  66 |   endContainer :
  67 |        {auto 0 _ : JSType t1}
  68 |     -> {auto 0 _ : Elem AbstractRange (Types t1)}
  69 |     -> (obj : t1)
  70 |     -> JSIO Node
  71 |   endContainer a = primJS $ AbstractRange.prim__endContainer (up a)
  72 |
  73 |
  74 |   export
  75 |   endOffset :
  76 |        {auto 0 _ : JSType t1}
  77 |     -> {auto 0 _ : Elem AbstractRange (Types t1)}
  78 |     -> (obj : t1)
  79 |     -> JSIO Bits32
  80 |   endOffset a = primJS $ AbstractRange.prim__endOffset (up a)
  81 |
  82 |
  83 |   export
  84 |   startContainer :
  85 |        {auto 0 _ : JSType t1}
  86 |     -> {auto 0 _ : Elem AbstractRange (Types t1)}
  87 |     -> (obj : t1)
  88 |     -> JSIO Node
  89 |   startContainer a = primJS $ AbstractRange.prim__startContainer (up a)
  90 |
  91 |
  92 |   export
  93 |   startOffset :
  94 |        {auto 0 _ : JSType t1}
  95 |     -> {auto 0 _ : Elem AbstractRange (Types t1)}
  96 |     -> (obj : t1)
  97 |     -> JSIO Bits32
  98 |   startOffset a = primJS $ AbstractRange.prim__startOffset (up a)
  99 |
 100 |
 101 |
 102 | namespace Attr
 103 |
 104 |   export
 105 |   localName : (obj : Attr) -> JSIO String
 106 |   localName a = primJS $ Attr.prim__localName a
 107 |
 108 |
 109 |   export
 110 |   name : (obj : Attr) -> JSIO String
 111 |   name a = primJS $ Attr.prim__name a
 112 |
 113 |
 114 |   export
 115 |   namespaceURI : (obj : Attr) -> JSIO (Maybe String)
 116 |   namespaceURI a = tryJS "Attr.namespaceURI" $ Attr.prim__namespaceURI a
 117 |
 118 |
 119 |   export
 120 |   ownerElement : (obj : Attr) -> JSIO (Maybe Element)
 121 |   ownerElement a = tryJS "Attr.ownerElement" $ Attr.prim__ownerElement a
 122 |
 123 |
 124 |   export
 125 |   prefix_ : (obj : Attr) -> JSIO (Maybe String)
 126 |   prefix_ a = tryJS "Attr.prefix_" $ Attr.prim__prefix a
 127 |
 128 |
 129 |   export
 130 |   specified : (obj : Attr) -> JSIO Bool
 131 |   specified a = tryJS "Attr.specified" $ Attr.prim__specified a
 132 |
 133 |
 134 |   export
 135 |   value : Attr -> Attribute True Prelude.id String
 136 |   value v = fromPrim "Attr.getvalue" prim__value prim__setValue v
 137 |
 138 |
 139 |
 140 |
 141 | namespace CharacterData
 142 |
 143 |   export
 144 |   data_ :
 145 |        {auto 0 _ : JSType t}
 146 |     -> {auto 0 _ : Elem CharacterData (Types t)}
 147 |     -> t
 148 |     -> Attribute True Prelude.id String
 149 |   data_ v = fromPrim
 150 |               "CharacterData.getdata"
 151 |               prim__data
 152 |               prim__setData
 153 |               (v :> CharacterData)
 154 |
 155 |
 156 |   export
 157 |   length :
 158 |        {auto 0 _ : JSType t1}
 159 |     -> {auto 0 _ : Elem CharacterData (Types t1)}
 160 |     -> (obj : t1)
 161 |     -> JSIO Bits32
 162 |   length a = primJS $ CharacterData.prim__length (up a)
 163 |
 164 |
 165 |   export
 166 |   appendData :
 167 |        {auto 0 _ : JSType t1}
 168 |     -> {auto 0 _ : Elem CharacterData (Types t1)}
 169 |     -> (obj : t1)
 170 |     -> (data_ : String)
 171 |     -> JSIO ()
 172 |   appendData a b = primJS $ CharacterData.prim__appendData (up a) b
 173 |
 174 |
 175 |   export
 176 |   deleteData :
 177 |        {auto 0 _ : JSType t1}
 178 |     -> {auto 0 _ : Elem CharacterData (Types t1)}
 179 |     -> (obj : t1)
 180 |     -> (offset : Bits32)
 181 |     -> (count : Bits32)
 182 |     -> JSIO ()
 183 |   deleteData a b c = primJS $ CharacterData.prim__deleteData (up a) b c
 184 |
 185 |
 186 |   export
 187 |   insertData :
 188 |        {auto 0 _ : JSType t1}
 189 |     -> {auto 0 _ : Elem CharacterData (Types t1)}
 190 |     -> (obj : t1)
 191 |     -> (offset : Bits32)
 192 |     -> (data_ : String)
 193 |     -> JSIO ()
 194 |   insertData a b c = primJS $ CharacterData.prim__insertData (up a) b c
 195 |
 196 |
 197 |   export
 198 |   replaceData :
 199 |        {auto 0 _ : JSType t1}
 200 |     -> {auto 0 _ : Elem CharacterData (Types t1)}
 201 |     -> (obj : t1)
 202 |     -> (offset : Bits32)
 203 |     -> (count : Bits32)
 204 |     -> (data_ : String)
 205 |     -> JSIO ()
 206 |   replaceData a b c d = primJS $ CharacterData.prim__replaceData (up a) b c d
 207 |
 208 |
 209 |   export
 210 |   substringData :
 211 |        {auto 0 _ : JSType t1}
 212 |     -> {auto 0 _ : Elem CharacterData (Types t1)}
 213 |     -> (obj : t1)
 214 |     -> (offset : Bits32)
 215 |     -> (count : Bits32)
 216 |     -> JSIO String
 217 |   substringData a b c = primJS $ CharacterData.prim__substringData (up a) b c
 218 |
 219 |
 220 |
 221 | namespace Comment
 222 |
 223 |   export
 224 |   new' : (data_ : Optional String) -> JSIO Comment
 225 |   new' a = primJS $ Comment.prim__new (toFFI a)
 226 |
 227 |   export
 228 |   new : JSIO Comment
 229 |   new = primJS $ Comment.prim__new undef
 230 |
 231 |
 232 |
 233 | namespace CustomEvent
 234 |
 235 |   export
 236 |   new' :
 237 |        {auto 0 _ : JSType t2}
 238 |     -> {auto 0 _ : Elem CustomEventInit (Types t2)}
 239 |     -> (type : String)
 240 |     -> (eventInitDict : Optional t2)
 241 |     -> JSIO CustomEvent
 242 |   new' a b = primJS $ CustomEvent.prim__new a (optUp b)
 243 |
 244 |   export
 245 |   new : (type : String) -> JSIO CustomEvent
 246 |   new a = primJS $ CustomEvent.prim__new a undef
 247 |
 248 |
 249 |   export
 250 |   detail : (obj : CustomEvent) -> JSIO Any
 251 |   detail a = tryJS "CustomEvent.detail" $ CustomEvent.prim__detail a
 252 |
 253 |
 254 |   export
 255 |   initCustomEvent' :
 256 |        (obj : CustomEvent)
 257 |     -> (type : String)
 258 |     -> (bubbles : Optional Bool)
 259 |     -> (cancelable : Optional Bool)
 260 |     -> (detail : Optional Any)
 261 |     -> JSIO ()
 262 |   initCustomEvent' a b c d e = primJS $
 263 |     CustomEvent.prim__initCustomEvent a b (toFFI c) (toFFI d) (toFFI e)
 264 |
 265 |   export
 266 |   initCustomEvent : (obj : CustomEvent) -> (type : String) -> JSIO ()
 267 |   initCustomEvent a b = primJS $
 268 |     CustomEvent.prim__initCustomEvent a b undef undef undef
 269 |
 270 |
 271 |
 272 | namespace DOMImplementation
 273 |
 274 |   export
 275 |   createDocument' :
 276 |        (obj : DOMImplementation)
 277 |     -> (namespace_ : Maybe String)
 278 |     -> (qualifiedName : String)
 279 |     -> (doctype : Optional (Maybe DocumentType))
 280 |     -> JSIO XMLDocument
 281 |   createDocument' a b c d = primJS $
 282 |     DOMImplementation.prim__createDocument a (toFFI b) c (toFFI d)
 283 |
 284 |   export
 285 |   createDocument :
 286 |        (obj : DOMImplementation)
 287 |     -> (namespace_ : Maybe String)
 288 |     -> (qualifiedName : String)
 289 |     -> JSIO XMLDocument
 290 |   createDocument a b c = primJS $
 291 |     DOMImplementation.prim__createDocument a (toFFI b) c undef
 292 |
 293 |
 294 |   export
 295 |   createDocumentType :
 296 |        (obj : DOMImplementation)
 297 |     -> (qualifiedName : String)
 298 |     -> (publicId : String)
 299 |     -> (systemId : String)
 300 |     -> JSIO DocumentType
 301 |   createDocumentType a b c d = primJS $
 302 |     DOMImplementation.prim__createDocumentType a b c d
 303 |
 304 |
 305 |   export
 306 |   createHTMLDocument' :
 307 |        (obj : DOMImplementation)
 308 |     -> (title : Optional String)
 309 |     -> JSIO Document
 310 |   createHTMLDocument' a b = primJS $
 311 |     DOMImplementation.prim__createHTMLDocument a (toFFI b)
 312 |
 313 |   export
 314 |   createHTMLDocument : (obj : DOMImplementation) -> JSIO Document
 315 |   createHTMLDocument a = primJS $
 316 |     DOMImplementation.prim__createHTMLDocument a undef
 317 |
 318 |
 319 |   export
 320 |   hasFeature : (obj : DOMImplementation) -> JSIO Bool
 321 |   hasFeature a = tryJS "DOMImplementation.hasFeature" $
 322 |     DOMImplementation.prim__hasFeature a
 323 |
 324 |
 325 |
 326 | namespace DOMTokenList
 327 |
 328 |   export
 329 |   length : (obj : DOMTokenList) -> JSIO Bits32
 330 |   length a = primJS $ DOMTokenList.prim__length a
 331 |
 332 |
 333 |   export
 334 |   value : DOMTokenList -> Attribute True Prelude.id String
 335 |   value v = fromPrim "DOMTokenList.getvalue" prim__value prim__setValue v
 336 |
 337 |
 338 |   export
 339 |   add : (obj : DOMTokenList) -> (tokens : List String) -> JSIO ()
 340 |   add a b = primJS $ DOMTokenList.prim__add a (toFFI b)
 341 |
 342 |
 343 |   export
 344 |   contains : (obj : DOMTokenList) -> (token : String) -> JSIO Bool
 345 |   contains a b = tryJS "DOMTokenList.contains" $ DOMTokenList.prim__contains a b
 346 |
 347 |
 348 |   export
 349 |   item : (obj : DOMTokenList) -> (index : Bits32) -> JSIO (Maybe String)
 350 |   item a b = tryJS "DOMTokenList.item" $ DOMTokenList.prim__item a b
 351 |
 352 |
 353 |   export
 354 |   remove : (obj : DOMTokenList) -> (tokens : List String) -> JSIO ()
 355 |   remove a b = primJS $ DOMTokenList.prim__remove a (toFFI b)
 356 |
 357 |
 358 |   export
 359 |   replace :
 360 |        (obj : DOMTokenList)
 361 |     -> (token : String)
 362 |     -> (newToken : String)
 363 |     -> JSIO Bool
 364 |   replace a b c = tryJS "DOMTokenList.replace" $
 365 |     DOMTokenList.prim__replace a b c
 366 |
 367 |
 368 |   export
 369 |   supports : (obj : DOMTokenList) -> (token : String) -> JSIO Bool
 370 |   supports a b = tryJS "DOMTokenList.supports" $ DOMTokenList.prim__supports a b
 371 |
 372 |
 373 |   export
 374 |   toggle' :
 375 |        (obj : DOMTokenList)
 376 |     -> (token : String)
 377 |     -> (force : Optional Bool)
 378 |     -> JSIO Bool
 379 |   toggle' a b c = tryJS "DOMTokenList.toggle'" $
 380 |     DOMTokenList.prim__toggle a b (toFFI c)
 381 |
 382 |   export
 383 |   toggle : (obj : DOMTokenList) -> (token : String) -> JSIO Bool
 384 |   toggle a b = tryJS "DOMTokenList.toggle" $ DOMTokenList.prim__toggle a b undef
 385 |
 386 |
 387 |
 388 | namespace Document
 389 |
 390 |   export
 391 |   new : JSIO Document
 392 |   new = primJS $ Document.prim__new
 393 |
 394 |
 395 |   export
 396 |   get :
 397 |        {auto 0 _ : JSType t1}
 398 |     -> {auto 0 _ : Elem Document (Types t1)}
 399 |     -> (obj : t1)
 400 |     -> (name : String)
 401 |     -> JSIO Object
 402 |   get a b = primJS $ Document.prim__get (up a) b
 403 |
 404 |
 405 |   export
 406 |   URL :
 407 |        {auto 0 _ : JSType t1}
 408 |     -> {auto 0 _ : Elem Document (Types t1)}
 409 |     -> (obj : t1)
 410 |     -> JSIO String
 411 |   URL a = primJS $ Document.prim__URL (up a)
 412 |
 413 |
 414 |   export
 415 |   alinkColor :
 416 |        {auto 0 _ : JSType t}
 417 |     -> {auto 0 _ : Elem Document (Types t)}
 418 |     -> t
 419 |     -> Attribute True Prelude.id String
 420 |   alinkColor v = fromPrim
 421 |                    "Document.getalinkColor"
 422 |                    prim__alinkColor
 423 |                    prim__setAlinkColor
 424 |                    (v :> Document)
 425 |
 426 |
 427 |   export
 428 |   all :
 429 |        {auto 0 _ : JSType t1}
 430 |     -> {auto 0 _ : Elem Document (Types t1)}
 431 |     -> (obj : t1)
 432 |     -> JSIO HTMLAllCollection
 433 |   all a = primJS $ Document.prim__all (up a)
 434 |
 435 |
 436 |   export
 437 |   anchors :
 438 |        {auto 0 _ : JSType t1}
 439 |     -> {auto 0 _ : Elem Document (Types t1)}
 440 |     -> (obj : t1)
 441 |     -> JSIO HTMLCollection
 442 |   anchors a = primJS $ Document.prim__anchors (up a)
 443 |
 444 |
 445 |   export
 446 |   applets :
 447 |        {auto 0 _ : JSType t1}
 448 |     -> {auto 0 _ : Elem Document (Types t1)}
 449 |     -> (obj : t1)
 450 |     -> JSIO HTMLCollection
 451 |   applets a = primJS $ Document.prim__applets (up a)
 452 |
 453 |
 454 |   export
 455 |   bgColor :
 456 |        {auto 0 _ : JSType t}
 457 |     -> {auto 0 _ : Elem Document (Types t)}
 458 |     -> t
 459 |     -> Attribute True Prelude.id String
 460 |   bgColor v = fromPrim
 461 |                 "Document.getbgColor"
 462 |                 prim__bgColor
 463 |                 prim__setBgColor
 464 |                 (v :> Document)
 465 |
 466 |
 467 |   export
 468 |   body :
 469 |        {auto 0 _ : JSType t}
 470 |     -> {auto 0 _ : Elem Document (Types t)}
 471 |     -> t
 472 |     -> Attribute False Maybe HTMLElement
 473 |   body v = fromNullablePrim
 474 |              "Document.getbody"
 475 |              prim__body
 476 |              prim__setBody
 477 |              (v :> Document)
 478 |
 479 |
 480 |   export
 481 |   characterSet :
 482 |        {auto 0 _ : JSType t1}
 483 |     -> {auto 0 _ : Elem Document (Types t1)}
 484 |     -> (obj : t1)
 485 |     -> JSIO String
 486 |   characterSet a = primJS $ Document.prim__characterSet (up a)
 487 |
 488 |
 489 |   export
 490 |   charset :
 491 |        {auto 0 _ : JSType t1}
 492 |     -> {auto 0 _ : Elem Document (Types t1)}
 493 |     -> (obj : t1)
 494 |     -> JSIO String
 495 |   charset a = primJS $ Document.prim__charset (up a)
 496 |
 497 |
 498 |   export
 499 |   compatMode :
 500 |        {auto 0 _ : JSType t1}
 501 |     -> {auto 0 _ : Elem Document (Types t1)}
 502 |     -> (obj : t1)
 503 |     -> JSIO String
 504 |   compatMode a = primJS $ Document.prim__compatMode (up a)
 505 |
 506 |
 507 |   export
 508 |   contentType :
 509 |        {auto 0 _ : JSType t1}
 510 |     -> {auto 0 _ : Elem Document (Types t1)}
 511 |     -> (obj : t1)
 512 |     -> JSIO String
 513 |   contentType a = primJS $ Document.prim__contentType (up a)
 514 |
 515 |
 516 |   export
 517 |   cookie :
 518 |        {auto 0 _ : JSType t}
 519 |     -> {auto 0 _ : Elem Document (Types t)}
 520 |     -> t
 521 |     -> Attribute True Prelude.id String
 522 |   cookie v = fromPrim
 523 |                "Document.getcookie"
 524 |                prim__cookie
 525 |                prim__setCookie
 526 |                (v :> Document)
 527 |
 528 |
 529 |   export
 530 |   currentScript :
 531 |        {auto 0 _ : JSType t1}
 532 |     -> {auto 0 _ : Elem Document (Types t1)}
 533 |     -> (obj : t1)
 534 |     -> JSIO (Maybe (HSum [HTMLScriptElement, SVGScriptElement]))
 535 |   currentScript a = tryJS "Document.currentScript" $
 536 |     Document.prim__currentScript (up a)
 537 |
 538 |
 539 |   export
 540 |   defaultView :
 541 |        {auto 0 _ : JSType t1}
 542 |     -> {auto 0 _ : Elem Document (Types t1)}
 543 |     -> (obj : t1)
 544 |     -> JSIO (Maybe WindowProxy)
 545 |   defaultView a = tryJS "Document.defaultView" $
 546 |     Document.prim__defaultView (up a)
 547 |
 548 |
 549 |   export
 550 |   designMode :
 551 |        {auto 0 _ : JSType t}
 552 |     -> {auto 0 _ : Elem Document (Types t)}
 553 |     -> t
 554 |     -> Attribute True Prelude.id String
 555 |   designMode v = fromPrim
 556 |                    "Document.getdesignMode"
 557 |                    prim__designMode
 558 |                    prim__setDesignMode
 559 |                    (v :> Document)
 560 |
 561 |
 562 |   export
 563 |   dir :
 564 |        {auto 0 _ : JSType t}
 565 |     -> {auto 0 _ : Elem Document (Types t)}
 566 |     -> t
 567 |     -> Attribute True Prelude.id String
 568 |   dir v = fromPrim "Document.getdir" prim__dir prim__setDir (v :> Document)
 569 |
 570 |
 571 |   export
 572 |   doctype :
 573 |        {auto 0 _ : JSType t1}
 574 |     -> {auto 0 _ : Elem Document (Types t1)}
 575 |     -> (obj : t1)
 576 |     -> JSIO (Maybe DocumentType)
 577 |   doctype a = tryJS "Document.doctype" $ Document.prim__doctype (up a)
 578 |
 579 |
 580 |   export
 581 |   documentElement :
 582 |        {auto 0 _ : JSType t1}
 583 |     -> {auto 0 _ : Elem Document (Types t1)}
 584 |     -> (obj : t1)
 585 |     -> JSIO (Maybe Element)
 586 |   documentElement a = tryJS "Document.documentElement" $
 587 |     Document.prim__documentElement (up a)
 588 |
 589 |
 590 |   export
 591 |   documentURI :
 592 |        {auto 0 _ : JSType t1}
 593 |     -> {auto 0 _ : Elem Document (Types t1)}
 594 |     -> (obj : t1)
 595 |     -> JSIO String
 596 |   documentURI a = primJS $ Document.prim__documentURI (up a)
 597 |
 598 |
 599 |   export
 600 |   domain :
 601 |        {auto 0 _ : JSType t}
 602 |     -> {auto 0 _ : Elem Document (Types t)}
 603 |     -> t
 604 |     -> Attribute True Prelude.id String
 605 |   domain v = fromPrim
 606 |                "Document.getdomain"
 607 |                prim__domain
 608 |                prim__setDomain
 609 |                (v :> Document)
 610 |
 611 |
 612 |   export
 613 |   embeds :
 614 |        {auto 0 _ : JSType t1}
 615 |     -> {auto 0 _ : Elem Document (Types t1)}
 616 |     -> (obj : t1)
 617 |     -> JSIO HTMLCollection
 618 |   embeds a = primJS $ Document.prim__embeds (up a)
 619 |
 620 |
 621 |   export
 622 |   fgColor :
 623 |        {auto 0 _ : JSType t}
 624 |     -> {auto 0 _ : Elem Document (Types t)}
 625 |     -> t
 626 |     -> Attribute True Prelude.id String
 627 |   fgColor v = fromPrim
 628 |                 "Document.getfgColor"
 629 |                 prim__fgColor
 630 |                 prim__setFgColor
 631 |                 (v :> Document)
 632 |
 633 |
 634 |   export
 635 |   forms :
 636 |        {auto 0 _ : JSType t1}
 637 |     -> {auto 0 _ : Elem Document (Types t1)}
 638 |     -> (obj : t1)
 639 |     -> JSIO HTMLCollection
 640 |   forms a = primJS $ Document.prim__forms (up a)
 641 |
 642 |
 643 |   export
 644 |   head :
 645 |        {auto 0 _ : JSType t1}
 646 |     -> {auto 0 _ : Elem Document (Types t1)}
 647 |     -> (obj : t1)
 648 |     -> JSIO (Maybe HTMLHeadElement)
 649 |   head a = tryJS "Document.head" $ Document.prim__head (up a)
 650 |
 651 |
 652 |   export
 653 |   hidden :
 654 |        {auto 0 _ : JSType t1}
 655 |     -> {auto 0 _ : Elem Document (Types t1)}
 656 |     -> (obj : t1)
 657 |     -> JSIO Bool
 658 |   hidden a = tryJS "Document.hidden" $ Document.prim__hidden (up a)
 659 |
 660 |
 661 |   export
 662 |   images :
 663 |        {auto 0 _ : JSType t1}
 664 |     -> {auto 0 _ : Elem Document (Types t1)}
 665 |     -> (obj : t1)
 666 |     -> JSIO HTMLCollection
 667 |   images a = primJS $ Document.prim__images (up a)
 668 |
 669 |
 670 |   export
 671 |   implementation_ :
 672 |        {auto 0 _ : JSType t1}
 673 |     -> {auto 0 _ : Elem Document (Types t1)}
 674 |     -> (obj : t1)
 675 |     -> JSIO DOMImplementation
 676 |   implementation_ a = primJS $ Document.prim__implementation (up a)
 677 |
 678 |
 679 |   export
 680 |   inputEncoding :
 681 |        {auto 0 _ : JSType t1}
 682 |     -> {auto 0 _ : Elem Document (Types t1)}
 683 |     -> (obj : t1)
 684 |     -> JSIO String
 685 |   inputEncoding a = primJS $ Document.prim__inputEncoding (up a)
 686 |
 687 |
 688 |   export
 689 |   lastModified :
 690 |        {auto 0 _ : JSType t1}
 691 |     -> {auto 0 _ : Elem Document (Types t1)}
 692 |     -> (obj : t1)
 693 |     -> JSIO String
 694 |   lastModified a = primJS $ Document.prim__lastModified (up a)
 695 |
 696 |
 697 |   export
 698 |   linkColor :
 699 |        {auto 0 _ : JSType t}
 700 |     -> {auto 0 _ : Elem Document (Types t)}
 701 |     -> t
 702 |     -> Attribute True Prelude.id String
 703 |   linkColor v = fromPrim
 704 |                   "Document.getlinkColor"
 705 |                   prim__linkColor
 706 |                   prim__setLinkColor
 707 |                   (v :> Document)
 708 |
 709 |
 710 |   export
 711 |   links :
 712 |        {auto 0 _ : JSType t1}
 713 |     -> {auto 0 _ : Elem Document (Types t1)}
 714 |     -> (obj : t1)
 715 |     -> JSIO HTMLCollection
 716 |   links a = primJS $ Document.prim__links (up a)
 717 |
 718 |
 719 |   export
 720 |   location :
 721 |        {auto 0 _ : JSType t1}
 722 |     -> {auto 0 _ : Elem Document (Types t1)}
 723 |     -> (obj : t1)
 724 |     -> JSIO (Maybe Location)
 725 |   location a = tryJS "Document.location" $ Document.prim__location (up a)
 726 |
 727 |
 728 |   export
 729 |   onreadystatechange :
 730 |        {auto 0 _ : JSType t}
 731 |     -> {auto 0 _ : Elem Document (Types t)}
 732 |     -> t
 733 |     -> Attribute False Maybe EventHandlerNonNull
 734 |   onreadystatechange v = fromNullablePrim
 735 |                            "Document.getonreadystatechange"
 736 |                            prim__onreadystatechange
 737 |                            prim__setOnreadystatechange
 738 |                            (v :> Document)
 739 |
 740 |
 741 |   export
 742 |   onvisibilitychange :
 743 |        {auto 0 _ : JSType t}
 744 |     -> {auto 0 _ : Elem Document (Types t)}
 745 |     -> t
 746 |     -> Attribute False Maybe EventHandlerNonNull
 747 |   onvisibilitychange v = fromNullablePrim
 748 |                            "Document.getonvisibilitychange"
 749 |                            prim__onvisibilitychange
 750 |                            prim__setOnvisibilitychange
 751 |                            (v :> Document)
 752 |
 753 |
 754 |   export
 755 |   plugins :
 756 |        {auto 0 _ : JSType t1}
 757 |     -> {auto 0 _ : Elem Document (Types t1)}
 758 |     -> (obj : t1)
 759 |     -> JSIO HTMLCollection
 760 |   plugins a = primJS $ Document.prim__plugins (up a)
 761 |
 762 |
 763 |   export
 764 |   readyState :
 765 |        {auto 0 _ : JSType t1}
 766 |     -> {auto 0 _ : Elem Document (Types t1)}
 767 |     -> (obj : t1)
 768 |     -> JSIO DocumentReadyState
 769 |   readyState a = tryJS "Document.readyState" $ Document.prim__readyState (up a)
 770 |
 771 |
 772 |   export
 773 |   referrer :
 774 |        {auto 0 _ : JSType t1}
 775 |     -> {auto 0 _ : Elem Document (Types t1)}
 776 |     -> (obj : t1)
 777 |     -> JSIO String
 778 |   referrer a = primJS $ Document.prim__referrer (up a)
 779 |
 780 |
 781 |   export
 782 |   rootElement :
 783 |        {auto 0 _ : JSType t1}
 784 |     -> {auto 0 _ : Elem Document (Types t1)}
 785 |     -> (obj : t1)
 786 |     -> JSIO (Maybe SVGSVGElement)
 787 |   rootElement a = tryJS "Document.rootElement" $
 788 |     Document.prim__rootElement (up a)
 789 |
 790 |
 791 |   export
 792 |   scripts :
 793 |        {auto 0 _ : JSType t1}
 794 |     -> {auto 0 _ : Elem Document (Types t1)}
 795 |     -> (obj : t1)
 796 |     -> JSIO HTMLCollection
 797 |   scripts a = primJS $ Document.prim__scripts (up a)
 798 |
 799 |
 800 |   export
 801 |   scrollingElement :
 802 |        {auto 0 _ : JSType t1}
 803 |     -> {auto 0 _ : Elem Document (Types t1)}
 804 |     -> (obj : t1)
 805 |     -> JSIO (Maybe Element)
 806 |   scrollingElement a = tryJS "Document.scrollingElement" $
 807 |     Document.prim__scrollingElement (up a)
 808 |
 809 |
 810 |   export
 811 |   timeline :
 812 |        {auto 0 _ : JSType t1}
 813 |     -> {auto 0 _ : Elem Document (Types t1)}
 814 |     -> (obj : t1)
 815 |     -> JSIO DocumentTimeline
 816 |   timeline a = primJS $ Document.prim__timeline (up a)
 817 |
 818 |
 819 |   export
 820 |   title :
 821 |        {auto 0 _ : JSType t}
 822 |     -> {auto 0 _ : Elem Document (Types t)}
 823 |     -> t
 824 |     -> Attribute True Prelude.id String
 825 |   title v = fromPrim
 826 |               "Document.gettitle"
 827 |               prim__title
 828 |               prim__setTitle
 829 |               (v :> Document)
 830 |
 831 |
 832 |   export
 833 |   visibilityState :
 834 |        {auto 0 _ : JSType t1}
 835 |     -> {auto 0 _ : Elem Document (Types t1)}
 836 |     -> (obj : t1)
 837 |     -> JSIO VisibilityState
 838 |   visibilityState a = tryJS "Document.visibilityState" $
 839 |     Document.prim__visibilityState (up a)
 840 |
 841 |
 842 |   export
 843 |   vlinkColor :
 844 |        {auto 0 _ : JSType t}
 845 |     -> {auto 0 _ : Elem Document (Types t)}
 846 |     -> t
 847 |     -> Attribute True Prelude.id String
 848 |   vlinkColor v = fromPrim
 849 |                    "Document.getvlinkColor"
 850 |                    prim__vlinkColor
 851 |                    prim__setVlinkColor
 852 |                    (v :> Document)
 853 |
 854 |
 855 |   export
 856 |   adoptNode :
 857 |        {auto 0 _ : JSType t1}
 858 |     -> {auto 0 _ : JSType t2}
 859 |     -> {auto 0 _ : Elem Document (Types t1)}
 860 |     -> {auto 0 _ : Elem Node (Types t2)}
 861 |     -> (obj : t1)
 862 |     -> (node : t2)
 863 |     -> JSIO Node
 864 |   adoptNode a b = primJS $ Document.prim__adoptNode (up a) (up b)
 865 |
 866 |
 867 |   export
 868 |   captureEvents :
 869 |        {auto 0 _ : JSType t1}
 870 |     -> {auto 0 _ : Elem Document (Types t1)}
 871 |     -> (obj : t1)
 872 |     -> JSIO ()
 873 |   captureEvents a = primJS $ Document.prim__captureEvents (up a)
 874 |
 875 |
 876 |   export
 877 |   caretPositionFromPoint :
 878 |        {auto 0 _ : JSType t1}
 879 |     -> {auto 0 _ : Elem Document (Types t1)}
 880 |     -> (obj : t1)
 881 |     -> (x : Double)
 882 |     -> (y : Double)
 883 |     -> JSIO (Maybe CaretPosition)
 884 |   caretPositionFromPoint a b c = tryJS "Document.caretPositionFromPoint" $
 885 |     Document.prim__caretPositionFromPoint (up a) b c
 886 |
 887 |
 888 |   export
 889 |   clear :
 890 |        {auto 0 _ : JSType t1}
 891 |     -> {auto 0 _ : Elem Document (Types t1)}
 892 |     -> (obj : t1)
 893 |     -> JSIO ()
 894 |   clear a = primJS $ Document.prim__clear (up a)
 895 |
 896 |
 897 |   export
 898 |   close :
 899 |        {auto 0 _ : JSType t1}
 900 |     -> {auto 0 _ : Elem Document (Types t1)}
 901 |     -> (obj : t1)
 902 |     -> JSIO ()
 903 |   close a = primJS $ Document.prim__close (up a)
 904 |
 905 |
 906 |   export
 907 |   createAttribute :
 908 |        {auto 0 _ : JSType t1}
 909 |     -> {auto 0 _ : Elem Document (Types t1)}
 910 |     -> (obj : t1)
 911 |     -> (localName : String)
 912 |     -> JSIO Attr
 913 |   createAttribute a b = primJS $ Document.prim__createAttribute (up a) b
 914 |
 915 |
 916 |   export
 917 |   createAttributeNS :
 918 |        {auto 0 _ : JSType t1}
 919 |     -> {auto 0 _ : Elem Document (Types t1)}
 920 |     -> (obj : t1)
 921 |     -> (namespace_ : Maybe String)
 922 |     -> (qualifiedName : String)
 923 |     -> JSIO Attr
 924 |   createAttributeNS a b c = primJS $
 925 |     Document.prim__createAttributeNS (up a) (toFFI b) c
 926 |
 927 |
 928 |   export
 929 |   createCDATASection :
 930 |        {auto 0 _ : JSType t1}
 931 |     -> {auto 0 _ : Elem Document (Types t1)}
 932 |     -> (obj : t1)
 933 |     -> (data_ : String)
 934 |     -> JSIO CDATASection
 935 |   createCDATASection a b = primJS $ Document.prim__createCDATASection (up a) b
 936 |
 937 |
 938 |   export
 939 |   createComment :
 940 |        {auto 0 _ : JSType t1}
 941 |     -> {auto 0 _ : Elem Document (Types t1)}
 942 |     -> (obj : t1)
 943 |     -> (data_ : String)
 944 |     -> JSIO Comment
 945 |   createComment a b = primJS $ Document.prim__createComment (up a) b
 946 |
 947 |
 948 |   export
 949 |   createDocumentFragment :
 950 |        {auto 0 _ : JSType t1}
 951 |     -> {auto 0 _ : Elem Document (Types t1)}
 952 |     -> (obj : t1)
 953 |     -> JSIO DocumentFragment
 954 |   createDocumentFragment a = primJS $
 955 |     Document.prim__createDocumentFragment (up a)
 956 |
 957 |
 958 |   export
 959 |   createElement' :
 960 |        {auto 0 _ : JSType t1}
 961 |     -> {auto 0 _ : Elem Document (Types t1)}
 962 |     -> (obj : t1)
 963 |     -> (localName : String)
 964 |     -> (options : Optional (HSum [String, ElementCreationOptions]))
 965 |     -> JSIO Element
 966 |   createElement' a b c = primJS $
 967 |     Document.prim__createElement (up a) b (toFFI c)
 968 |
 969 |   export
 970 |   createElement :
 971 |        {auto 0 _ : JSType t1}
 972 |     -> {auto 0 _ : Elem Document (Types t1)}
 973 |     -> (obj : t1)
 974 |     -> (localName : String)
 975 |     -> JSIO Element
 976 |   createElement a b = primJS $ Document.prim__createElement (up a) b undef
 977 |
 978 |
 979 |   export
 980 |   createElementNS' :
 981 |        {auto 0 _ : JSType t1}
 982 |     -> {auto 0 _ : Elem Document (Types t1)}
 983 |     -> (obj : t1)
 984 |     -> (namespace_ : Maybe String)
 985 |     -> (qualifiedName : String)
 986 |     -> (options : Optional (HSum [String, ElementCreationOptions]))
 987 |     -> JSIO Element
 988 |   createElementNS' a b c d = primJS $
 989 |     Document.prim__createElementNS (up a) (toFFI b) c (toFFI d)
 990 |
 991 |   export
 992 |   createElementNS :
 993 |        {auto 0 _ : JSType t1}
 994 |     -> {auto 0 _ : Elem Document (Types t1)}
 995 |     -> (obj : t1)
 996 |     -> (namespace_ : Maybe String)
 997 |     -> (qualifiedName : String)
 998 |     -> JSIO Element
 999 |   createElementNS a b c = primJS $
1000 |     Document.prim__createElementNS (up a) (toFFI b) c undef
1001 |
1002 |
1003 |   export
1004 |   createEvent :
1005 |        {auto 0 _ : JSType t1}
1006 |     -> {auto 0 _ : Elem Document (Types t1)}
1007 |     -> (obj : t1)
1008 |     -> (interface_ : String)
1009 |     -> JSIO Event
1010 |   createEvent a b = primJS $ Document.prim__createEvent (up a) b
1011 |
1012 |
1013 |   export
1014 |   createNodeIterator' :
1015 |        {auto 0 _ : JSType t1}
1016 |     -> {auto 0 _ : JSType t2}
1017 |     -> {auto 0 _ : Elem Document (Types t1)}
1018 |     -> {auto 0 _ : Elem Node (Types t2)}
1019 |     -> (obj : t1)
1020 |     -> (root : t2)
1021 |     -> (whatToShow : Optional Bits32)
1022 |     -> (filter : Optional (Maybe NodeFilter))
1023 |     -> JSIO NodeIterator
1024 |   createNodeIterator' a b c d = primJS $
1025 |     Document.prim__createNodeIterator (up a) (up b) (toFFI c) (toFFI d)
1026 |
1027 |   export
1028 |   createNodeIterator :
1029 |        {auto 0 _ : JSType t1}
1030 |     -> {auto 0 _ : JSType t2}
1031 |     -> {auto 0 _ : Elem Document (Types t1)}
1032 |     -> {auto 0 _ : Elem Node (Types t2)}
1033 |     -> (obj : t1)
1034 |     -> (root : t2)
1035 |     -> JSIO NodeIterator
1036 |   createNodeIterator a b = primJS $
1037 |     Document.prim__createNodeIterator (up a) (up b) undef undef
1038 |
1039 |
1040 |   export
1041 |   createProcessingInstruction :
1042 |        {auto 0 _ : JSType t1}
1043 |     -> {auto 0 _ : Elem Document (Types t1)}
1044 |     -> (obj : t1)
1045 |     -> (target : String)
1046 |     -> (data_ : String)
1047 |     -> JSIO ProcessingInstruction
1048 |   createProcessingInstruction a b c = primJS $
1049 |     Document.prim__createProcessingInstruction (up a) b c
1050 |
1051 |
1052 |   export
1053 |   createRange :
1054 |        {auto 0 _ : JSType t1}
1055 |     -> {auto 0 _ : Elem Document (Types t1)}
1056 |     -> (obj : t1)
1057 |     -> JSIO Range
1058 |   createRange a = primJS $ Document.prim__createRange (up a)
1059 |
1060 |
1061 |   export
1062 |   createTextNode :
1063 |        {auto 0 _ : JSType t1}
1064 |     -> {auto 0 _ : Elem Document (Types t1)}
1065 |     -> (obj : t1)
1066 |     -> (data_ : String)
1067 |     -> JSIO Text
1068 |   createTextNode a b = primJS $ Document.prim__createTextNode (up a) b
1069 |
1070 |
1071 |   export
1072 |   createTreeWalker' :
1073 |        {auto 0 _ : JSType t1}
1074 |     -> {auto 0 _ : JSType t2}
1075 |     -> {auto 0 _ : Elem Document (Types t1)}
1076 |     -> {auto 0 _ : Elem Node (Types t2)}
1077 |     -> (obj : t1)
1078 |     -> (root : t2)
1079 |     -> (whatToShow : Optional Bits32)
1080 |     -> (filter : Optional (Maybe NodeFilter))
1081 |     -> JSIO TreeWalker
1082 |   createTreeWalker' a b c d = primJS $
1083 |     Document.prim__createTreeWalker (up a) (up b) (toFFI c) (toFFI d)
1084 |
1085 |   export
1086 |   createTreeWalker :
1087 |        {auto 0 _ : JSType t1}
1088 |     -> {auto 0 _ : JSType t2}
1089 |     -> {auto 0 _ : Elem Document (Types t1)}
1090 |     -> {auto 0 _ : Elem Node (Types t2)}
1091 |     -> (obj : t1)
1092 |     -> (root : t2)
1093 |     -> JSIO TreeWalker
1094 |   createTreeWalker a b = primJS $
1095 |     Document.prim__createTreeWalker (up a) (up b) undef undef
1096 |
1097 |
1098 |   export
1099 |   elementFromPoint :
1100 |        {auto 0 _ : JSType t1}
1101 |     -> {auto 0 _ : Elem Document (Types t1)}
1102 |     -> (obj : t1)
1103 |     -> (x : Double)
1104 |     -> (y : Double)
1105 |     -> JSIO (Maybe Element)
1106 |   elementFromPoint a b c = tryJS "Document.elementFromPoint" $
1107 |     Document.prim__elementFromPoint (up a) b c
1108 |
1109 |
1110 |   export
1111 |   elementsFromPoint :
1112 |        {auto 0 _ : JSType t1}
1113 |     -> {auto 0 _ : Elem Document (Types t1)}
1114 |     -> (obj : t1)
1115 |     -> (x : Double)
1116 |     -> (y : Double)
1117 |     -> JSIO (Array Element)
1118 |   elementsFromPoint a b c = primJS $ Document.prim__elementsFromPoint (up a) b c
1119 |
1120 |
1121 |   export
1122 |   execCommand' :
1123 |        {auto 0 _ : JSType t1}
1124 |     -> {auto 0 _ : Elem Document (Types t1)}
1125 |     -> (obj : t1)
1126 |     -> (commandId : String)
1127 |     -> (showUI : Optional Bool)
1128 |     -> (value : Optional String)
1129 |     -> JSIO Bool
1130 |   execCommand' a b c d = tryJS "Document.execCommand'" $
1131 |     Document.prim__execCommand (up a) b (toFFI c) (toFFI d)
1132 |
1133 |   export
1134 |   execCommand :
1135 |        {auto 0 _ : JSType t1}
1136 |     -> {auto 0 _ : Elem Document (Types t1)}
1137 |     -> (obj : t1)
1138 |     -> (commandId : String)
1139 |     -> JSIO Bool
1140 |   execCommand a b = tryJS "Document.execCommand" $
1141 |     Document.prim__execCommand (up a) b undef undef
1142 |
1143 |
1144 |   export
1145 |   getAnimations :
1146 |        {auto 0 _ : JSType t1}
1147 |     -> {auto 0 _ : Elem Document (Types t1)}
1148 |     -> (obj : t1)
1149 |     -> JSIO (Array Animation)
1150 |   getAnimations a = primJS $ Document.prim__getAnimations (up a)
1151 |
1152 |
1153 |   export
1154 |   getElementsByClassName :
1155 |        {auto 0 _ : JSType t1}
1156 |     -> {auto 0 _ : Elem Document (Types t1)}
1157 |     -> (obj : t1)
1158 |     -> (classNames : String)
1159 |     -> JSIO HTMLCollection
1160 |   getElementsByClassName a b = primJS $
1161 |     Document.prim__getElementsByClassName (up a) b
1162 |
1163 |
1164 |   export
1165 |   getElementsByName :
1166 |        {auto 0 _ : JSType t1}
1167 |     -> {auto 0 _ : Elem Document (Types t1)}
1168 |     -> (obj : t1)
1169 |     -> (elementName : String)
1170 |     -> JSIO NodeList
1171 |   getElementsByName a b = primJS $ Document.prim__getElementsByName (up a) b
1172 |
1173 |
1174 |   export
1175 |   getElementsByTagName :
1176 |        {auto 0 _ : JSType t1}
1177 |     -> {auto 0 _ : Elem Document (Types t1)}
1178 |     -> (obj : t1)
1179 |     -> (qualifiedName : String)
1180 |     -> JSIO HTMLCollection
1181 |   getElementsByTagName a b = primJS $
1182 |     Document.prim__getElementsByTagName (up a) b
1183 |
1184 |
1185 |   export
1186 |   getElementsByTagNameNS :
1187 |        {auto 0 _ : JSType t1}
1188 |     -> {auto 0 _ : Elem Document (Types t1)}
1189 |     -> (obj : t1)
1190 |     -> (namespace_ : Maybe String)
1191 |     -> (localName : String)
1192 |     -> JSIO HTMLCollection
1193 |   getElementsByTagNameNS a b c = primJS $
1194 |     Document.prim__getElementsByTagNameNS (up a) (toFFI b) c
1195 |
1196 |
1197 |   export
1198 |   hasFocus :
1199 |        {auto 0 _ : JSType t1}
1200 |     -> {auto 0 _ : Elem Document (Types t1)}
1201 |     -> (obj : t1)
1202 |     -> JSIO Bool
1203 |   hasFocus a = tryJS "Document.hasFocus" $ Document.prim__hasFocus (up a)
1204 |
1205 |
1206 |   export
1207 |   importNode' :
1208 |        {auto 0 _ : JSType t1}
1209 |     -> {auto 0 _ : JSType t2}
1210 |     -> {auto 0 _ : Elem Document (Types t1)}
1211 |     -> {auto 0 _ : Elem Node (Types t2)}
1212 |     -> (obj : t1)
1213 |     -> (node : t2)
1214 |     -> (deep : Optional Bool)
1215 |     -> JSIO Node
1216 |   importNode' a b c = primJS $ Document.prim__importNode (up a) (up b) (toFFI c)
1217 |
1218 |   export
1219 |   importNode :
1220 |        {auto 0 _ : JSType t1}
1221 |     -> {auto 0 _ : JSType t2}
1222 |     -> {auto 0 _ : Elem Document (Types t1)}
1223 |     -> {auto 0 _ : Elem Node (Types t2)}
1224 |     -> (obj : t1)
1225 |     -> (node : t2)
1226 |     -> JSIO Node
1227 |   importNode a b = primJS $ Document.prim__importNode (up a) (up b) undef
1228 |
1229 |
1230 |   export
1231 |   open' :
1232 |        {auto 0 _ : JSType t1}
1233 |     -> {auto 0 _ : Elem Document (Types t1)}
1234 |     -> (obj : t1)
1235 |     -> (unused1 : Optional String)
1236 |     -> (unused2 : Optional String)
1237 |     -> JSIO Document
1238 |   open' a b c = primJS $ Document.prim__open (up a) (toFFI b) (toFFI c)
1239 |
1240 |   export
1241 |   open_ :
1242 |        {auto 0 _ : JSType t1}
1243 |     -> {auto 0 _ : Elem Document (Types t1)}
1244 |     -> (obj : t1)
1245 |     -> JSIO Document
1246 |   open_ a = primJS $ Document.prim__open (up a) undef undef
1247 |
1248 |
1249 |   export
1250 |   open1 :
1251 |        {auto 0 _ : JSType t1}
1252 |     -> {auto 0 _ : Elem Document (Types t1)}
1253 |     -> (obj : t1)
1254 |     -> (url : String)
1255 |     -> (name : String)
1256 |     -> (features : String)
1257 |     -> JSIO (Maybe WindowProxy)
1258 |   open1 a b c d = tryJS "Document.open1" $ Document.prim__open1 (up a) b c d
1259 |
1260 |
1261 |   export
1262 |   queryCommandEnabled :
1263 |        {auto 0 _ : JSType t1}
1264 |     -> {auto 0 _ : Elem Document (Types t1)}
1265 |     -> (obj : t1)
1266 |     -> (commandId : String)
1267 |     -> JSIO Bool
1268 |   queryCommandEnabled a b = tryJS "Document.queryCommandEnabled" $
1269 |     Document.prim__queryCommandEnabled (up a) b
1270 |
1271 |
1272 |   export
1273 |   queryCommandIndeterm :
1274 |        {auto 0 _ : JSType t1}
1275 |     -> {auto 0 _ : Elem Document (Types t1)}
1276 |     -> (obj : t1)
1277 |     -> (commandId : String)
1278 |     -> JSIO Bool
1279 |   queryCommandIndeterm a b = tryJS "Document.queryCommandIndeterm" $
1280 |     Document.prim__queryCommandIndeterm (up a) b
1281 |
1282 |
1283 |   export
1284 |   queryCommandState :
1285 |        {auto 0 _ : JSType t1}
1286 |     -> {auto 0 _ : Elem Document (Types t1)}
1287 |     -> (obj : t1)
1288 |     -> (commandId : String)
1289 |     -> JSIO Bool
1290 |   queryCommandState a b = tryJS "Document.queryCommandState" $
1291 |     Document.prim__queryCommandState (up a) b
1292 |
1293 |
1294 |   export
1295 |   queryCommandSupported :
1296 |        {auto 0 _ : JSType t1}
1297 |     -> {auto 0 _ : Elem Document (Types t1)}
1298 |     -> (obj : t1)
1299 |     -> (commandId : String)
1300 |     -> JSIO Bool
1301 |   queryCommandSupported a b = tryJS "Document.queryCommandSupported" $
1302 |     Document.prim__queryCommandSupported (up a) b
1303 |
1304 |
1305 |   export
1306 |   queryCommandValue :
1307 |        {auto 0 _ : JSType t1}
1308 |     -> {auto 0 _ : Elem Document (Types t1)}
1309 |     -> (obj : t1)
1310 |     -> (commandId : String)
1311 |     -> JSIO String
1312 |   queryCommandValue a b = primJS $ Document.prim__queryCommandValue (up a) b
1313 |
1314 |
1315 |   export
1316 |   releaseEvents :
1317 |        {auto 0 _ : JSType t1}
1318 |     -> {auto 0 _ : Elem Document (Types t1)}
1319 |     -> (obj : t1)
1320 |     -> JSIO ()
1321 |   releaseEvents a = primJS $ Document.prim__releaseEvents (up a)
1322 |
1323 |
1324 |   export
1325 |   write :
1326 |        {auto 0 _ : JSType t1}
1327 |     -> {auto 0 _ : Elem Document (Types t1)}
1328 |     -> (obj : t1)
1329 |     -> (text : List String)
1330 |     -> JSIO ()
1331 |   write a b = primJS $ Document.prim__write (up a) (toFFI b)
1332 |
1333 |
1334 |   export
1335 |   writeln :
1336 |        {auto 0 _ : JSType t1}
1337 |     -> {auto 0 _ : Elem Document (Types t1)}
1338 |     -> (obj : t1)
1339 |     -> (text : List String)
1340 |     -> JSIO ()
1341 |   writeln a b = primJS $ Document.prim__writeln (up a) (toFFI b)
1342 |
1343 |
1344 |
1345 | namespace DocumentFragment
1346 |
1347 |   export
1348 |   new : JSIO DocumentFragment
1349 |   new = primJS $ DocumentFragment.prim__new
1350 |
1351 |
1352 |
1353 | namespace DocumentType
1354 |
1355 |   export
1356 |   name : (obj : DocumentType) -> JSIO String
1357 |   name a = primJS $ DocumentType.prim__name a
1358 |
1359 |
1360 |   export
1361 |   publicId : (obj : DocumentType) -> JSIO String
1362 |   publicId a = primJS $ DocumentType.prim__publicId a
1363 |
1364 |
1365 |   export
1366 |   systemId : (obj : DocumentType) -> JSIO String
1367 |   systemId a = primJS $ DocumentType.prim__systemId a
1368 |
1369 |
1370 |
1371 | namespace Element
1372 |
1373 |   export
1374 |   attributes :
1375 |        {auto 0 _ : JSType t1}
1376 |     -> {auto 0 _ : Elem Element (Types t1)}
1377 |     -> (obj : t1)
1378 |     -> JSIO NamedNodeMap
1379 |   attributes a = primJS $ Element.prim__attributes (up a)
1380 |
1381 |
1382 |   export
1383 |   classList :
1384 |        {auto 0 _ : JSType t1}
1385 |     -> {auto 0 _ : Elem Element (Types t1)}
1386 |     -> (obj : t1)
1387 |     -> JSIO DOMTokenList
1388 |   classList a = primJS $ Element.prim__classList (up a)
1389 |
1390 |
1391 |   export
1392 |   className :
1393 |        {auto 0 _ : JSType t}
1394 |     -> {auto 0 _ : Elem Element (Types t)}
1395 |     -> t
1396 |     -> Attribute True Prelude.id String
1397 |   className v = fromPrim
1398 |                   "Element.getclassName"
1399 |                   prim__className
1400 |                   prim__setClassName
1401 |                   (v :> Element)
1402 |
1403 |
1404 |   export
1405 |   clientHeight :
1406 |        {auto 0 _ : JSType t1}
1407 |     -> {auto 0 _ : Elem Element (Types t1)}
1408 |     -> (obj : t1)
1409 |     -> JSIO Int32
1410 |   clientHeight a = primJS $ Element.prim__clientHeight (up a)
1411 |
1412 |
1413 |   export
1414 |   clientLeft :
1415 |        {auto 0 _ : JSType t1}
1416 |     -> {auto 0 _ : Elem Element (Types t1)}
1417 |     -> (obj : t1)
1418 |     -> JSIO Int32
1419 |   clientLeft a = primJS $ Element.prim__clientLeft (up a)
1420 |
1421 |
1422 |   export
1423 |   clientTop :
1424 |        {auto 0 _ : JSType t1}
1425 |     -> {auto 0 _ : Elem Element (Types t1)}
1426 |     -> (obj : t1)
1427 |     -> JSIO Int32
1428 |   clientTop a = primJS $ Element.prim__clientTop (up a)
1429 |
1430 |
1431 |   export
1432 |   clientWidth :
1433 |        {auto 0 _ : JSType t1}
1434 |     -> {auto 0 _ : Elem Element (Types t1)}
1435 |     -> (obj : t1)
1436 |     -> JSIO Int32
1437 |   clientWidth a = primJS $ Element.prim__clientWidth (up a)
1438 |
1439 |
1440 |   export
1441 |   id :
1442 |        {auto 0 _ : JSType t}
1443 |     -> {auto 0 _ : Elem Element (Types t)}
1444 |     -> t
1445 |     -> Attribute True Prelude.id String
1446 |   id v = fromPrim "Element.getid" prim__id prim__setId (v :> Element)
1447 |
1448 |
1449 |   export
1450 |   localName :
1451 |        {auto 0 _ : JSType t1}
1452 |     -> {auto 0 _ : Elem Element (Types t1)}
1453 |     -> (obj : t1)
1454 |     -> JSIO String
1455 |   localName a = primJS $ Element.prim__localName (up a)
1456 |
1457 |
1458 |   export
1459 |   namespaceURI :
1460 |        {auto 0 _ : JSType t1}
1461 |     -> {auto 0 _ : Elem Element (Types t1)}
1462 |     -> (obj : t1)
1463 |     -> JSIO (Maybe String)
1464 |   namespaceURI a = tryJS "Element.namespaceURI" $
1465 |     Element.prim__namespaceURI (up a)
1466 |
1467 |
1468 |   export
1469 |   outerHTML :
1470 |        {auto 0 _ : JSType t}
1471 |     -> {auto 0 _ : Elem Element (Types t)}
1472 |     -> t
1473 |     -> Attribute True Prelude.id String
1474 |   outerHTML v = fromPrim
1475 |                   "Element.getouterHTML"
1476 |                   prim__outerHTML
1477 |                   prim__setOuterHTML
1478 |                   (v :> Element)
1479 |
1480 |
1481 |   export
1482 |   prefix_ :
1483 |        {auto 0 _ : JSType t1}
1484 |     -> {auto 0 _ : Elem Element (Types t1)}
1485 |     -> (obj : t1)
1486 |     -> JSIO (Maybe String)
1487 |   prefix_ a = tryJS "Element.prefix_" $ Element.prim__prefix (up a)
1488 |
1489 |
1490 |   export
1491 |   scrollHeight :
1492 |        {auto 0 _ : JSType t1}
1493 |     -> {auto 0 _ : Elem Element (Types t1)}
1494 |     -> (obj : t1)
1495 |     -> JSIO Int32
1496 |   scrollHeight a = primJS $ Element.prim__scrollHeight (up a)
1497 |
1498 |
1499 |   export
1500 |   scrollLeft :
1501 |        {auto 0 _ : JSType t}
1502 |     -> {auto 0 _ : Elem Element (Types t)}
1503 |     -> t
1504 |     -> Attribute True Prelude.id Double
1505 |   scrollLeft v = fromPrim
1506 |                    "Element.getscrollLeft"
1507 |                    prim__scrollLeft
1508 |                    prim__setScrollLeft
1509 |                    (v :> Element)
1510 |
1511 |
1512 |   export
1513 |   scrollTop :
1514 |        {auto 0 _ : JSType t}
1515 |     -> {auto 0 _ : Elem Element (Types t)}
1516 |     -> t
1517 |     -> Attribute True Prelude.id Double
1518 |   scrollTop v = fromPrim
1519 |                   "Element.getscrollTop"
1520 |                   prim__scrollTop
1521 |                   prim__setScrollTop
1522 |                   (v :> Element)
1523 |
1524 |
1525 |   export
1526 |   scrollWidth :
1527 |        {auto 0 _ : JSType t1}
1528 |     -> {auto 0 _ : Elem Element (Types t1)}
1529 |     -> (obj : t1)
1530 |     -> JSIO Int32
1531 |   scrollWidth a = primJS $ Element.prim__scrollWidth (up a)
1532 |
1533 |
1534 |   export
1535 |   shadowRoot :
1536 |        {auto 0 _ : JSType t1}
1537 |     -> {auto 0 _ : Elem Element (Types t1)}
1538 |     -> (obj : t1)
1539 |     -> JSIO (Maybe ShadowRoot)
1540 |   shadowRoot a = tryJS "Element.shadowRoot" $ Element.prim__shadowRoot (up a)
1541 |
1542 |
1543 |   export
1544 |   slot :
1545 |        {auto 0 _ : JSType t}
1546 |     -> {auto 0 _ : Elem Element (Types t)}
1547 |     -> t
1548 |     -> Attribute True Prelude.id String
1549 |   slot v = fromPrim "Element.getslot" prim__slot prim__setSlot (v :> Element)
1550 |
1551 |
1552 |   export
1553 |   tagName :
1554 |        {auto 0 _ : JSType t1}
1555 |     -> {auto 0 _ : Elem Element (Types t1)}
1556 |     -> (obj : t1)
1557 |     -> JSIO String
1558 |   tagName a = primJS $ Element.prim__tagName (up a)
1559 |
1560 |
1561 |   export
1562 |   attachShadow :
1563 |        {auto 0 _ : JSType t1}
1564 |     -> {auto 0 _ : JSType t2}
1565 |     -> {auto 0 _ : Elem Element (Types t1)}
1566 |     -> {auto 0 _ : Elem ShadowRootInit (Types t2)}
1567 |     -> (obj : t1)
1568 |     -> (init : t2)
1569 |     -> JSIO ShadowRoot
1570 |   attachShadow a b = primJS $ Element.prim__attachShadow (up a) (up b)
1571 |
1572 |
1573 |   export
1574 |   checkVisibility' :
1575 |        {auto 0 _ : JSType t1}
1576 |     -> {auto 0 _ : JSType t2}
1577 |     -> {auto 0 _ : Elem Element (Types t1)}
1578 |     -> {auto 0 _ : Elem CheckVisibilityOptions (Types t2)}
1579 |     -> (obj : t1)
1580 |     -> (options : Optional t2)
1581 |     -> JSIO Bool
1582 |   checkVisibility' a b = tryJS "Element.checkVisibility'" $
1583 |     Element.prim__checkVisibility (up a) (optUp b)
1584 |
1585 |   export
1586 |   checkVisibility :
1587 |        {auto 0 _ : JSType t1}
1588 |     -> {auto 0 _ : Elem Element (Types t1)}
1589 |     -> (obj : t1)
1590 |     -> JSIO Bool
1591 |   checkVisibility a = tryJS "Element.checkVisibility" $
1592 |     Element.prim__checkVisibility (up a) undef
1593 |
1594 |
1595 |   export
1596 |   closest :
1597 |        {auto 0 _ : JSType t1}
1598 |     -> {auto 0 _ : Elem Element (Types t1)}
1599 |     -> (obj : t1)
1600 |     -> (selectors : String)
1601 |     -> JSIO (Maybe Element)
1602 |   closest a b = tryJS "Element.closest" $ Element.prim__closest (up a) b
1603 |
1604 |
1605 |   export
1606 |   getAttribute :
1607 |        {auto 0 _ : JSType t1}
1608 |     -> {auto 0 _ : Elem Element (Types t1)}
1609 |     -> (obj : t1)
1610 |     -> (qualifiedName : String)
1611 |     -> JSIO (Maybe String)
1612 |   getAttribute a b = tryJS "Element.getAttribute" $
1613 |     Element.prim__getAttribute (up a) b
1614 |
1615 |
1616 |   export
1617 |   getAttributeNS :
1618 |        {auto 0 _ : JSType t1}
1619 |     -> {auto 0 _ : Elem Element (Types t1)}
1620 |     -> (obj : t1)
1621 |     -> (namespace_ : Maybe String)
1622 |     -> (localName : String)
1623 |     -> JSIO (Maybe String)
1624 |   getAttributeNS a b c = tryJS "Element.getAttributeNS" $
1625 |     Element.prim__getAttributeNS (up a) (toFFI b) c
1626 |
1627 |
1628 |   export
1629 |   getAttributeNames :
1630 |        {auto 0 _ : JSType t1}
1631 |     -> {auto 0 _ : Elem Element (Types t1)}
1632 |     -> (obj : t1)
1633 |     -> JSIO (Array String)
1634 |   getAttributeNames a = primJS $ Element.prim__getAttributeNames (up a)
1635 |
1636 |
1637 |   export
1638 |   getAttributeNode :
1639 |        {auto 0 _ : JSType t1}
1640 |     -> {auto 0 _ : Elem Element (Types t1)}
1641 |     -> (obj : t1)
1642 |     -> (qualifiedName : String)
1643 |     -> JSIO (Maybe Attr)
1644 |   getAttributeNode a b = tryJS "Element.getAttributeNode" $
1645 |     Element.prim__getAttributeNode (up a) b
1646 |
1647 |
1648 |   export
1649 |   getAttributeNodeNS :
1650 |        {auto 0 _ : JSType t1}
1651 |     -> {auto 0 _ : Elem Element (Types t1)}
1652 |     -> (obj : t1)
1653 |     -> (namespace_ : Maybe String)
1654 |     -> (localName : String)
1655 |     -> JSIO (Maybe Attr)
1656 |   getAttributeNodeNS a b c = tryJS "Element.getAttributeNodeNS" $
1657 |     Element.prim__getAttributeNodeNS (up a) (toFFI b) c
1658 |
1659 |
1660 |   export
1661 |   getBoundingClientRect :
1662 |        {auto 0 _ : JSType t1}
1663 |     -> {auto 0 _ : Elem Element (Types t1)}
1664 |     -> (obj : t1)
1665 |     -> JSIO DOMRect
1666 |   getBoundingClientRect a = primJS $ Element.prim__getBoundingClientRect (up a)
1667 |
1668 |
1669 |   export
1670 |   getClientRects :
1671 |        {auto 0 _ : JSType t1}
1672 |     -> {auto 0 _ : Elem Element (Types t1)}
1673 |     -> (obj : t1)
1674 |     -> JSIO DOMRectList
1675 |   getClientRects a = primJS $ Element.prim__getClientRects (up a)
1676 |
1677 |
1678 |   export
1679 |   getElementsByClassName :
1680 |        {auto 0 _ : JSType t1}
1681 |     -> {auto 0 _ : Elem Element (Types t1)}
1682 |     -> (obj : t1)
1683 |     -> (classNames : String)
1684 |     -> JSIO HTMLCollection
1685 |   getElementsByClassName a b = primJS $
1686 |     Element.prim__getElementsByClassName (up a) b
1687 |
1688 |
1689 |   export
1690 |   getElementsByTagName :
1691 |        {auto 0 _ : JSType t1}
1692 |     -> {auto 0 _ : Elem Element (Types t1)}
1693 |     -> (obj : t1)
1694 |     -> (qualifiedName : String)
1695 |     -> JSIO HTMLCollection
1696 |   getElementsByTagName a b = primJS $
1697 |     Element.prim__getElementsByTagName (up a) b
1698 |
1699 |
1700 |   export
1701 |   getElementsByTagNameNS :
1702 |        {auto 0 _ : JSType t1}
1703 |     -> {auto 0 _ : Elem Element (Types t1)}
1704 |     -> (obj : t1)
1705 |     -> (namespace_ : Maybe String)
1706 |     -> (localName : String)
1707 |     -> JSIO HTMLCollection
1708 |   getElementsByTagNameNS a b c = primJS $
1709 |     Element.prim__getElementsByTagNameNS (up a) (toFFI b) c
1710 |
1711 |
1712 |   export
1713 |   hasAttribute :
1714 |        {auto 0 _ : JSType t1}
1715 |     -> {auto 0 _ : Elem Element (Types t1)}
1716 |     -> (obj : t1)
1717 |     -> (qualifiedName : String)
1718 |     -> JSIO Bool
1719 |   hasAttribute a b = tryJS "Element.hasAttribute" $
1720 |     Element.prim__hasAttribute (up a) b
1721 |
1722 |
1723 |   export
1724 |   hasAttributeNS :
1725 |        {auto 0 _ : JSType t1}
1726 |     -> {auto 0 _ : Elem Element (Types t1)}
1727 |     -> (obj : t1)
1728 |     -> (namespace_ : Maybe String)
1729 |     -> (localName : String)
1730 |     -> JSIO Bool
1731 |   hasAttributeNS a b c = tryJS "Element.hasAttributeNS" $
1732 |     Element.prim__hasAttributeNS (up a) (toFFI b) c
1733 |
1734 |
1735 |   export
1736 |   hasAttributes :
1737 |        {auto 0 _ : JSType t1}
1738 |     -> {auto 0 _ : Elem Element (Types t1)}
1739 |     -> (obj : t1)
1740 |     -> JSIO Bool
1741 |   hasAttributes a = tryJS "Element.hasAttributes" $
1742 |     Element.prim__hasAttributes (up a)
1743 |
1744 |
1745 |   export
1746 |   insertAdjacentElement :
1747 |        {auto 0 _ : JSType t1}
1748 |     -> {auto 0 _ : JSType t3}
1749 |     -> {auto 0 _ : Elem Element (Types t1)}
1750 |     -> {auto 0 _ : Elem Element (Types t3)}
1751 |     -> (obj : t1)
1752 |     -> (where_ : String)
1753 |     -> (element : t3)
1754 |     -> JSIO (Maybe Element)
1755 |   insertAdjacentElement a b c = tryJS "Element.insertAdjacentElement" $
1756 |     Element.prim__insertAdjacentElement (up a) b (up c)
1757 |
1758 |
1759 |   export
1760 |   insertAdjacentHTML :
1761 |        {auto 0 _ : JSType t1}
1762 |     -> {auto 0 _ : Elem Element (Types t1)}
1763 |     -> (obj : t1)
1764 |     -> (position : String)
1765 |     -> (text : String)
1766 |     -> JSIO ()
1767 |   insertAdjacentHTML a b c = primJS $
1768 |     Element.prim__insertAdjacentHTML (up a) b c
1769 |
1770 |
1771 |   export
1772 |   insertAdjacentText :
1773 |        {auto 0 _ : JSType t1}
1774 |     -> {auto 0 _ : Elem Element (Types t1)}
1775 |     -> (obj : t1)
1776 |     -> (where_ : String)
1777 |     -> (data_ : String)
1778 |     -> JSIO ()
1779 |   insertAdjacentText a b c = primJS $
1780 |     Element.prim__insertAdjacentText (up a) b c
1781 |
1782 |
1783 |   export
1784 |   matches :
1785 |        {auto 0 _ : JSType t1}
1786 |     -> {auto 0 _ : Elem Element (Types t1)}
1787 |     -> (obj : t1)
1788 |     -> (selectors : String)
1789 |     -> JSIO Bool
1790 |   matches a b = tryJS "Element.matches" $ Element.prim__matches (up a) b
1791 |
1792 |
1793 |   export
1794 |   pseudo :
1795 |        {auto 0 _ : JSType t1}
1796 |     -> {auto 0 _ : Elem Element (Types t1)}
1797 |     -> (obj : t1)
1798 |     -> (type : String)
1799 |     -> JSIO (Maybe CSSPseudoElement)
1800 |   pseudo a b = tryJS "Element.pseudo" $ Element.prim__pseudo (up a) b
1801 |
1802 |
1803 |   export
1804 |   removeAttribute :
1805 |        {auto 0 _ : JSType t1}
1806 |     -> {auto 0 _ : Elem Element (Types t1)}
1807 |     -> (obj : t1)
1808 |     -> (qualifiedName : String)
1809 |     -> JSIO ()
1810 |   removeAttribute a b = primJS $ Element.prim__removeAttribute (up a) b
1811 |
1812 |
1813 |   export
1814 |   removeAttributeNS :
1815 |        {auto 0 _ : JSType t1}
1816 |     -> {auto 0 _ : Elem Element (Types t1)}
1817 |     -> (obj : t1)
1818 |     -> (namespace_ : Maybe String)
1819 |     -> (localName : String)
1820 |     -> JSIO ()
1821 |   removeAttributeNS a b c = primJS $
1822 |     Element.prim__removeAttributeNS (up a) (toFFI b) c
1823 |
1824 |
1825 |   export
1826 |   removeAttributeNode :
1827 |        {auto 0 _ : JSType t1}
1828 |     -> {auto 0 _ : Elem Element (Types t1)}
1829 |     -> (obj : t1)
1830 |     -> (attr : Attr)
1831 |     -> JSIO Attr
1832 |   removeAttributeNode a b = primJS $ Element.prim__removeAttributeNode (up a) b
1833 |
1834 |
1835 |   export
1836 |   scrollBy' :
1837 |        {auto 0 _ : JSType t1}
1838 |     -> {auto 0 _ : JSType t2}
1839 |     -> {auto 0 _ : Elem Element (Types t1)}
1840 |     -> {auto 0 _ : Elem ScrollToOptions (Types t2)}
1841 |     -> (obj : t1)
1842 |     -> (options : Optional t2)
1843 |     -> JSIO ()
1844 |   scrollBy' a b = primJS $ Element.prim__scrollBy (up a) (optUp b)
1845 |
1846 |   export
1847 |   scrollBy :
1848 |        {auto 0 _ : JSType t1}
1849 |     -> {auto 0 _ : Elem Element (Types t1)}
1850 |     -> (obj : t1)
1851 |     -> JSIO ()
1852 |   scrollBy a = primJS $ Element.prim__scrollBy (up a) undef
1853 |
1854 |
1855 |   export
1856 |   scrollBy1 :
1857 |        {auto 0 _ : JSType t1}
1858 |     -> {auto 0 _ : Elem Element (Types t1)}
1859 |     -> (obj : t1)
1860 |     -> (x : Double)
1861 |     -> (y : Double)
1862 |     -> JSIO ()
1863 |   scrollBy1 a b c = primJS $ Element.prim__scrollBy1 (up a) b c
1864 |
1865 |
1866 |   export
1867 |   scroll' :
1868 |        {auto 0 _ : JSType t1}
1869 |     -> {auto 0 _ : JSType t2}
1870 |     -> {auto 0 _ : Elem Element (Types t1)}
1871 |     -> {auto 0 _ : Elem ScrollToOptions (Types t2)}
1872 |     -> (obj : t1)
1873 |     -> (options : Optional t2)
1874 |     -> JSIO ()
1875 |   scroll' a b = primJS $ Element.prim__scroll (up a) (optUp b)
1876 |
1877 |   export
1878 |   scroll :
1879 |        {auto 0 _ : JSType t1}
1880 |     -> {auto 0 _ : Elem Element (Types t1)}
1881 |     -> (obj : t1)
1882 |     -> JSIO ()
1883 |   scroll a = primJS $ Element.prim__scroll (up a) undef
1884 |
1885 |
1886 |   export
1887 |   scroll1 :
1888 |        {auto 0 _ : JSType t1}
1889 |     -> {auto 0 _ : Elem Element (Types t1)}
1890 |     -> (obj : t1)
1891 |     -> (x : Double)
1892 |     -> (y : Double)
1893 |     -> JSIO ()
1894 |   scroll1 a b c = primJS $ Element.prim__scroll1 (up a) b c
1895 |
1896 |
1897 |   export
1898 |   scrollIntoView' :
1899 |        {auto 0 _ : JSType t1}
1900 |     -> {auto 0 _ : Elem Element (Types t1)}
1901 |     -> (obj : t1)
1902 |     -> (arg : Optional (HSum [Bool, ScrollIntoViewOptions]))
1903 |     -> JSIO ()
1904 |   scrollIntoView' a b = primJS $ Element.prim__scrollIntoView (up a) (toFFI b)
1905 |
1906 |   export
1907 |   scrollIntoView :
1908 |        {auto 0 _ : JSType t1}
1909 |     -> {auto 0 _ : Elem Element (Types t1)}
1910 |     -> (obj : t1)
1911 |     -> JSIO ()
1912 |   scrollIntoView a = primJS $ Element.prim__scrollIntoView (up a) undef
1913 |
1914 |
1915 |   export
1916 |   scrollTo' :
1917 |        {auto 0 _ : JSType t1}
1918 |     -> {auto 0 _ : JSType t2}
1919 |     -> {auto 0 _ : Elem Element (Types t1)}
1920 |     -> {auto 0 _ : Elem ScrollToOptions (Types t2)}
1921 |     -> (obj : t1)
1922 |     -> (options : Optional t2)
1923 |     -> JSIO ()
1924 |   scrollTo' a b = primJS $ Element.prim__scrollTo (up a) (optUp b)
1925 |
1926 |   export
1927 |   scrollTo :
1928 |        {auto 0 _ : JSType t1}
1929 |     -> {auto 0 _ : Elem Element (Types t1)}
1930 |     -> (obj : t1)
1931 |     -> JSIO ()
1932 |   scrollTo a = primJS $ Element.prim__scrollTo (up a) undef
1933 |
1934 |
1935 |   export
1936 |   scrollTo1 :
1937 |        {auto 0 _ : JSType t1}
1938 |     -> {auto 0 _ : Elem Element (Types t1)}
1939 |     -> (obj : t1)
1940 |     -> (x : Double)
1941 |     -> (y : Double)
1942 |     -> JSIO ()
1943 |   scrollTo1 a b c = primJS $ Element.prim__scrollTo1 (up a) b c
1944 |
1945 |
1946 |   export
1947 |   setAttribute :
1948 |        {auto 0 _ : JSType t1}
1949 |     -> {auto 0 _ : Elem Element (Types t1)}
1950 |     -> (obj : t1)
1951 |     -> (qualifiedName : String)
1952 |     -> (value : String)
1953 |     -> JSIO ()
1954 |   setAttribute a b c = primJS $ Element.prim__setAttribute (up a) b c
1955 |
1956 |
1957 |   export
1958 |   setAttributeNS :
1959 |        {auto 0 _ : JSType t1}
1960 |     -> {auto 0 _ : Elem Element (Types t1)}
1961 |     -> (obj : t1)
1962 |     -> (namespace_ : Maybe String)
1963 |     -> (qualifiedName : String)
1964 |     -> (value : String)
1965 |     -> JSIO ()
1966 |   setAttributeNS a b c d = primJS $
1967 |     Element.prim__setAttributeNS (up a) (toFFI b) c d
1968 |
1969 |
1970 |   export
1971 |   setAttributeNode :
1972 |        {auto 0 _ : JSType t1}
1973 |     -> {auto 0 _ : Elem Element (Types t1)}
1974 |     -> (obj : t1)
1975 |     -> (attr : Attr)
1976 |     -> JSIO (Maybe Attr)
1977 |   setAttributeNode a b = tryJS "Element.setAttributeNode" $
1978 |     Element.prim__setAttributeNode (up a) b
1979 |
1980 |
1981 |   export
1982 |   setAttributeNodeNS :
1983 |        {auto 0 _ : JSType t1}
1984 |     -> {auto 0 _ : Elem Element (Types t1)}
1985 |     -> (obj : t1)
1986 |     -> (attr : Attr)
1987 |     -> JSIO (Maybe Attr)
1988 |   setAttributeNodeNS a b = tryJS "Element.setAttributeNodeNS" $
1989 |     Element.prim__setAttributeNodeNS (up a) b
1990 |
1991 |
1992 |   export
1993 |   toggleAttribute' :
1994 |        {auto 0 _ : JSType t1}
1995 |     -> {auto 0 _ : Elem Element (Types t1)}
1996 |     -> (obj : t1)
1997 |     -> (qualifiedName : String)
1998 |     -> (force : Optional Bool)
1999 |     -> JSIO Bool
2000 |   toggleAttribute' a b c = tryJS "Element.toggleAttribute'" $
2001 |     Element.prim__toggleAttribute (up a) b (toFFI c)
2002 |
2003 |   export
2004 |   toggleAttribute :
2005 |        {auto 0 _ : JSType t1}
2006 |     -> {auto 0 _ : Elem Element (Types t1)}
2007 |     -> (obj : t1)
2008 |     -> (qualifiedName : String)
2009 |     -> JSIO Bool
2010 |   toggleAttribute a b = tryJS "Element.toggleAttribute" $
2011 |     Element.prim__toggleAttribute (up a) b undef
2012 |
2013 |
2014 |   export
2015 |   webkitMatchesSelector :
2016 |        {auto 0 _ : JSType t1}
2017 |     -> {auto 0 _ : Elem Element (Types t1)}
2018 |     -> (obj : t1)
2019 |     -> (selectors : String)
2020 |     -> JSIO Bool
2021 |   webkitMatchesSelector a b = tryJS "Element.webkitMatchesSelector" $
2022 |     Element.prim__webkitMatchesSelector (up a) b
2023 |
2024 |
2025 |
2026 | namespace Event
2027 |
2028 |   public export
2029 |   AT_TARGET : Bits16
2030 |   AT_TARGET = 2
2031 |
2032 |
2033 |   public export
2034 |   BUBBLING_PHASE : Bits16
2035 |   BUBBLING_PHASE = 3
2036 |
2037 |
2038 |   public export
2039 |   CAPTURING_PHASE : Bits16
2040 |   CAPTURING_PHASE = 1
2041 |
2042 |
2043 |   public export
2044 |   NONE : Bits16
2045 |   NONE = 0
2046 |
2047 |
2048 |   export
2049 |   new' :
2050 |        {auto 0 _ : JSType t2}
2051 |     -> {auto 0 _ : Elem EventInit (Types t2)}
2052 |     -> (type : String)
2053 |     -> (eventInitDict : Optional t2)
2054 |     -> JSIO Event
2055 |   new' a b = primJS $ Event.prim__new a (optUp b)
2056 |
2057 |   export
2058 |   new : (type : String) -> JSIO Event
2059 |   new a = primJS $ Event.prim__new a undef
2060 |
2061 |
2062 |   export
2063 |   bubbles :
2064 |        {auto 0 _ : JSType t1}
2065 |     -> {auto 0 _ : Elem Event (Types t1)}
2066 |     -> (obj : t1)
2067 |     -> JSIO Bool
2068 |   bubbles a = tryJS "Event.bubbles" $ Event.prim__bubbles (up a)
2069 |
2070 |
2071 |   export
2072 |   cancelBubble :
2073 |        {auto 0 _ : JSType t}
2074 |     -> {auto 0 _ : Elem Event (Types t)}
2075 |     -> t
2076 |     -> Attribute True Prelude.id Bool
2077 |   cancelBubble v = fromPrim
2078 |                      "Event.getcancelBubble"
2079 |                      prim__cancelBubble
2080 |                      prim__setCancelBubble
2081 |                      (v :> Event)
2082 |
2083 |
2084 |   export
2085 |   cancelable :
2086 |        {auto 0 _ : JSType t1}
2087 |     -> {auto 0 _ : Elem Event (Types t1)}
2088 |     -> (obj : t1)
2089 |     -> JSIO Bool
2090 |   cancelable a = tryJS "Event.cancelable" $ Event.prim__cancelable (up a)
2091 |
2092 |
2093 |   export
2094 |   composed :
2095 |        {auto 0 _ : JSType t1}
2096 |     -> {auto 0 _ : Elem Event (Types t1)}
2097 |     -> (obj : t1)
2098 |     -> JSIO Bool
2099 |   composed a = tryJS "Event.composed" $ Event.prim__composed (up a)
2100 |
2101 |
2102 |   export
2103 |   currentTarget :
2104 |        {auto 0 _ : JSType t1}
2105 |     -> {auto 0 _ : Elem Event (Types t1)}
2106 |     -> (obj : t1)
2107 |     -> JSIO (Maybe EventTarget)
2108 |   currentTarget a = tryJS "Event.currentTarget" $
2109 |     Event.prim__currentTarget (up a)
2110 |
2111 |
2112 |   export
2113 |   defaultPrevented :
2114 |        {auto 0 _ : JSType t1}
2115 |     -> {auto 0 _ : Elem Event (Types t1)}
2116 |     -> (obj : t1)
2117 |     -> JSIO Bool
2118 |   defaultPrevented a = tryJS "Event.defaultPrevented" $
2119 |     Event.prim__defaultPrevented (up a)
2120 |
2121 |
2122 |   export
2123 |   eventPhase :
2124 |        {auto 0 _ : JSType t1}
2125 |     -> {auto 0 _ : Elem Event (Types t1)}
2126 |     -> (obj : t1)
2127 |     -> JSIO Bits16
2128 |   eventPhase a = primJS $ Event.prim__eventPhase (up a)
2129 |
2130 |
2131 |   export
2132 |   isTrusted :
2133 |        {auto 0 _ : JSType t1}
2134 |     -> {auto 0 _ : Elem Event (Types t1)}
2135 |     -> (obj : t1)
2136 |     -> JSIO Bool
2137 |   isTrusted a = tryJS "Event.isTrusted" $ Event.prim__isTrusted (up a)
2138 |
2139 |
2140 |   export
2141 |   returnValue :
2142 |        {auto 0 _ : JSType t}
2143 |     -> {auto 0 _ : Elem Event (Types t)}
2144 |     -> t
2145 |     -> Attribute True Prelude.id Bool
2146 |   returnValue v = fromPrim
2147 |                     "Event.getreturnValue"
2148 |                     prim__returnValue
2149 |                     prim__setReturnValue
2150 |                     (v :> Event)
2151 |
2152 |
2153 |   export
2154 |   srcElement :
2155 |        {auto 0 _ : JSType t1}
2156 |     -> {auto 0 _ : Elem Event (Types t1)}
2157 |     -> (obj : t1)
2158 |     -> JSIO (Maybe EventTarget)
2159 |   srcElement a = tryJS "Event.srcElement" $ Event.prim__srcElement (up a)
2160 |
2161 |
2162 |   export
2163 |   target :
2164 |        {auto 0 _ : JSType t1}
2165 |     -> {auto 0 _ : Elem Event (Types t1)}
2166 |     -> (obj : t1)
2167 |     -> JSIO (Maybe EventTarget)
2168 |   target a = tryJS "Event.target" $ Event.prim__target (up a)
2169 |
2170 |
2171 |   export
2172 |   timeStamp :
2173 |        {auto 0 _ : JSType t1}
2174 |     -> {auto 0 _ : Elem Event (Types t1)}
2175 |     -> (obj : t1)
2176 |     -> JSIO Double
2177 |   timeStamp a = primJS $ Event.prim__timeStamp (up a)
2178 |
2179 |
2180 |   export
2181 |   type :
2182 |        {auto 0 _ : JSType t1}
2183 |     -> {auto 0 _ : Elem Event (Types t1)}
2184 |     -> (obj : t1)
2185 |     -> JSIO String
2186 |   type a = primJS $ Event.prim__type (up a)
2187 |
2188 |
2189 |   export
2190 |   composedPath :
2191 |        {auto 0 _ : JSType t1}
2192 |     -> {auto 0 _ : Elem Event (Types t1)}
2193 |     -> (obj : t1)
2194 |     -> JSIO (Array EventTarget)
2195 |   composedPath a = primJS $ Event.prim__composedPath (up a)
2196 |
2197 |
2198 |   export
2199 |   initEvent' :
2200 |        {auto 0 _ : JSType t1}
2201 |     -> {auto 0 _ : Elem Event (Types t1)}
2202 |     -> (obj : t1)
2203 |     -> (type : String)
2204 |     -> (bubbles : Optional Bool)
2205 |     -> (cancelable : Optional Bool)
2206 |     -> JSIO ()
2207 |   initEvent' a b c d = primJS $
2208 |     Event.prim__initEvent (up a) b (toFFI c) (toFFI d)
2209 |
2210 |   export
2211 |   initEvent :
2212 |        {auto 0 _ : JSType t1}
2213 |     -> {auto 0 _ : Elem Event (Types t1)}
2214 |     -> (obj : t1)
2215 |     -> (type : String)
2216 |     -> JSIO ()
2217 |   initEvent a b = primJS $ Event.prim__initEvent (up a) b undef undef
2218 |
2219 |
2220 |   export
2221 |   preventDefault :
2222 |        {auto 0 _ : JSType t1}
2223 |     -> {auto 0 _ : Elem Event (Types t1)}
2224 |     -> (obj : t1)
2225 |     -> JSIO ()
2226 |   preventDefault a = primJS $ Event.prim__preventDefault (up a)
2227 |
2228 |
2229 |   export
2230 |   stopImmediatePropagation :
2231 |        {auto 0 _ : JSType t1}
2232 |     -> {auto 0 _ : Elem Event (Types t1)}
2233 |     -> (obj : t1)
2234 |     -> JSIO ()
2235 |   stopImmediatePropagation a = primJS $
2236 |     Event.prim__stopImmediatePropagation (up a)
2237 |
2238 |
2239 |   export
2240 |   stopPropagation :
2241 |        {auto 0 _ : JSType t1}
2242 |     -> {auto 0 _ : Elem Event (Types t1)}
2243 |     -> (obj : t1)
2244 |     -> JSIO ()
2245 |   stopPropagation a = primJS $ Event.prim__stopPropagation (up a)
2246 |
2247 |
2248 |
2249 | namespace EventTarget
2250 |
2251 |   export
2252 |   new : JSIO EventTarget
2253 |   new = primJS $ EventTarget.prim__new
2254 |
2255 |
2256 |   export
2257 |   addEventListener' :
2258 |        {auto 0 _ : JSType t1}
2259 |     -> {auto 0 _ : Elem EventTarget (Types t1)}
2260 |     -> (obj : t1)
2261 |     -> (type : String)
2262 |     -> (callback : Maybe EventListener)
2263 |     -> (options : Optional (HSum [AddEventListenerOptions, Bool]))
2264 |     -> JSIO ()
2265 |   addEventListener' a b c d = primJS $
2266 |     EventTarget.prim__addEventListener (up a) b (toFFI c) (toFFI d)
2267 |
2268 |   export
2269 |   addEventListener :
2270 |        {auto 0 _ : JSType t1}
2271 |     -> {auto 0 _ : Elem EventTarget (Types t1)}
2272 |     -> (obj : t1)
2273 |     -> (type : String)
2274 |     -> (callback : Maybe EventListener)
2275 |     -> JSIO ()
2276 |   addEventListener a b c = primJS $
2277 |     EventTarget.prim__addEventListener (up a) b (toFFI c) undef
2278 |
2279 |
2280 |   export
2281 |   dispatchEvent :
2282 |        {auto 0 _ : JSType t1}
2283 |     -> {auto 0 _ : JSType t2}
2284 |     -> {auto 0 _ : Elem EventTarget (Types t1)}
2285 |     -> {auto 0 _ : Elem Event (Types t2)}
2286 |     -> (obj : t1)
2287 |     -> (event : t2)
2288 |     -> JSIO Bool
2289 |   dispatchEvent a b = tryJS "EventTarget.dispatchEvent" $
2290 |     EventTarget.prim__dispatchEvent (up a) (up b)
2291 |
2292 |
2293 |   export
2294 |   removeEventListener' :
2295 |        {auto 0 _ : JSType t1}
2296 |     -> {auto 0 _ : Elem EventTarget (Types t1)}
2297 |     -> (obj : t1)
2298 |     -> (type : String)
2299 |     -> (callback : Maybe EventListener)
2300 |     -> (options : Optional (HSum [EventListenerOptions, Bool]))
2301 |     -> JSIO ()
2302 |   removeEventListener' a b c d = primJS $
2303 |     EventTarget.prim__removeEventListener (up a) b (toFFI c) (toFFI d)
2304 |
2305 |   export
2306 |   removeEventListener :
2307 |        {auto 0 _ : JSType t1}
2308 |     -> {auto 0 _ : Elem EventTarget (Types t1)}
2309 |     -> (obj : t1)
2310 |     -> (type : String)
2311 |     -> (callback : Maybe EventListener)
2312 |     -> JSIO ()
2313 |   removeEventListener a b c = primJS $
2314 |     EventTarget.prim__removeEventListener (up a) b (toFFI c) undef
2315 |
2316 |
2317 |
2318 | namespace HTMLCollection
2319 |
2320 |   export
2321 |   length :
2322 |        {auto 0 _ : JSType t1}
2323 |     -> {auto 0 _ : Elem HTMLCollection (Types t1)}
2324 |     -> (obj : t1)
2325 |     -> JSIO Bits32
2326 |   length a = primJS $ HTMLCollection.prim__length (up a)
2327 |
2328 |
2329 |   export
2330 |   item :
2331 |        {auto 0 _ : JSType t1}
2332 |     -> {auto 0 _ : Elem HTMLCollection (Types t1)}
2333 |     -> (obj : t1)
2334 |     -> (index : Bits32)
2335 |     -> JSIO (Maybe Element)
2336 |   item a b = tryJS "HTMLCollection.item" $ HTMLCollection.prim__item (up a) b
2337 |
2338 |
2339 |   export
2340 |   namedItem :
2341 |        {auto 0 _ : JSType t1}
2342 |     -> {auto 0 _ : Elem HTMLCollection (Types t1)}
2343 |     -> (obj : t1)
2344 |     -> (name : String)
2345 |     -> JSIO (Maybe Element)
2346 |   namedItem a b = tryJS "HTMLCollection.namedItem" $
2347 |     HTMLCollection.prim__namedItem (up a) b
2348 |
2349 |
2350 |
2351 | namespace MutationObserver
2352 |
2353 |   export
2354 |   new : (callback : MutationCallback) -> JSIO MutationObserver
2355 |   new a = primJS $ MutationObserver.prim__new a
2356 |
2357 |
2358 |   export
2359 |   disconnect : (obj : MutationObserver) -> JSIO ()
2360 |   disconnect a = primJS $ MutationObserver.prim__disconnect a
2361 |
2362 |
2363 |   export
2364 |   observe' :
2365 |        {auto 0 _ : JSType t2}
2366 |     -> {auto 0 _ : JSType t3}
2367 |     -> {auto 0 _ : Elem Node (Types t2)}
2368 |     -> {auto 0 _ : Elem MutationObserverInit (Types t3)}
2369 |     -> (obj : MutationObserver)
2370 |     -> (target : t2)
2371 |     -> (options : Optional t3)
2372 |     -> JSIO ()
2373 |   observe' a b c = primJS $ MutationObserver.prim__observe a (up b) (optUp c)
2374 |
2375 |   export
2376 |   observe :
2377 |        {auto 0 _ : JSType t2}
2378 |     -> {auto 0 _ : Elem Node (Types t2)}
2379 |     -> (obj : MutationObserver)
2380 |     -> (target : t2)
2381 |     -> JSIO ()
2382 |   observe a b = primJS $ MutationObserver.prim__observe a (up b) undef
2383 |
2384 |
2385 |   export
2386 |   takeRecords : (obj : MutationObserver) -> JSIO (Array MutationRecord)
2387 |   takeRecords a = primJS $ MutationObserver.prim__takeRecords a
2388 |
2389 |
2390 |
2391 | namespace MutationRecord
2392 |
2393 |   export
2394 |   addedNodes : (obj : MutationRecord) -> JSIO NodeList
2395 |   addedNodes a = primJS $ MutationRecord.prim__addedNodes a
2396 |
2397 |
2398 |   export
2399 |   attributeName : (obj : MutationRecord) -> JSIO (Maybe String)
2400 |   attributeName a = tryJS "MutationRecord.attributeName" $
2401 |     MutationRecord.prim__attributeName a
2402 |
2403 |
2404 |   export
2405 |   attributeNamespace : (obj : MutationRecord) -> JSIO (Maybe String)
2406 |   attributeNamespace a = tryJS "MutationRecord.attributeNamespace" $
2407 |     MutationRecord.prim__attributeNamespace a
2408 |
2409 |
2410 |   export
2411 |   nextSibling : (obj : MutationRecord) -> JSIO (Maybe Node)
2412 |   nextSibling a = tryJS "MutationRecord.nextSibling" $
2413 |     MutationRecord.prim__nextSibling a
2414 |
2415 |
2416 |   export
2417 |   oldValue : (obj : MutationRecord) -> JSIO (Maybe String)
2418 |   oldValue a = tryJS "MutationRecord.oldValue" $ MutationRecord.prim__oldValue a
2419 |
2420 |
2421 |   export
2422 |   previousSibling : (obj : MutationRecord) -> JSIO (Maybe Node)
2423 |   previousSibling a = tryJS "MutationRecord.previousSibling" $
2424 |     MutationRecord.prim__previousSibling a
2425 |
2426 |
2427 |   export
2428 |   removedNodes : (obj : MutationRecord) -> JSIO NodeList
2429 |   removedNodes a = primJS $ MutationRecord.prim__removedNodes a
2430 |
2431 |
2432 |   export
2433 |   target : (obj : MutationRecord) -> JSIO Node
2434 |   target a = primJS $ MutationRecord.prim__target a
2435 |
2436 |
2437 |   export
2438 |   type : (obj : MutationRecord) -> JSIO String
2439 |   type a = primJS $ MutationRecord.prim__type a
2440 |
2441 |
2442 |
2443 | namespace NamedNodeMap
2444 |
2445 |   export
2446 |   length : (obj : NamedNodeMap) -> JSIO Bits32
2447 |   length a = primJS $ NamedNodeMap.prim__length a
2448 |
2449 |
2450 |   export
2451 |   getNamedItemNS :
2452 |        (obj : NamedNodeMap)
2453 |     -> (namespace_ : Maybe String)
2454 |     -> (localName : String)
2455 |     -> JSIO (Maybe Attr)
2456 |   getNamedItemNS a b c = tryJS "NamedNodeMap.getNamedItemNS" $
2457 |     NamedNodeMap.prim__getNamedItemNS a (toFFI b) c
2458 |
2459 |
2460 |   export
2461 |   getNamedItem :
2462 |        (obj : NamedNodeMap)
2463 |     -> (qualifiedName : String)
2464 |     -> JSIO (Maybe Attr)
2465 |   getNamedItem a b = tryJS "NamedNodeMap.getNamedItem" $
2466 |     NamedNodeMap.prim__getNamedItem a b
2467 |
2468 |
2469 |   export
2470 |   item : (obj : NamedNodeMap) -> (index : Bits32) -> JSIO (Maybe Attr)
2471 |   item a b = tryJS "NamedNodeMap.item" $ NamedNodeMap.prim__item a b
2472 |
2473 |
2474 |   export
2475 |   removeNamedItemNS :
2476 |        (obj : NamedNodeMap)
2477 |     -> (namespace_ : Maybe String)
2478 |     -> (localName : String)
2479 |     -> JSIO Attr
2480 |   removeNamedItemNS a b c = primJS $
2481 |     NamedNodeMap.prim__removeNamedItemNS a (toFFI b) c
2482 |
2483 |
2484 |   export
2485 |   removeNamedItem :
2486 |        (obj : NamedNodeMap)
2487 |     -> (qualifiedName : String)
2488 |     -> JSIO Attr
2489 |   removeNamedItem a b = primJS $ NamedNodeMap.prim__removeNamedItem a b
2490 |
2491 |
2492 |   export
2493 |   setNamedItemNS : (obj : NamedNodeMap) -> (attr : Attr) -> JSIO (Maybe Attr)
2494 |   setNamedItemNS a b = tryJS "NamedNodeMap.setNamedItemNS" $
2495 |     NamedNodeMap.prim__setNamedItemNS a b
2496 |
2497 |
2498 |   export
2499 |   setNamedItem : (obj : NamedNodeMap) -> (attr : Attr) -> JSIO (Maybe Attr)
2500 |   setNamedItem a b = tryJS "NamedNodeMap.setNamedItem" $
2501 |     NamedNodeMap.prim__setNamedItem a b
2502 |
2503 |
2504 |
2505 | namespace Node
2506 |
2507 |   public export
2508 |   ATTRIBUTE_NODE : Bits16
2509 |   ATTRIBUTE_NODE = 2
2510 |
2511 |
2512 |   public export
2513 |   CDATA_SECTION_NODE : Bits16
2514 |   CDATA_SECTION_NODE = 4
2515 |
2516 |
2517 |   public export
2518 |   COMMENT_NODE : Bits16
2519 |   COMMENT_NODE = 8
2520 |
2521 |
2522 |   public export
2523 |   DOCUMENT_FRAGMENT_NODE : Bits16
2524 |   DOCUMENT_FRAGMENT_NODE = 11
2525 |
2526 |
2527 |   public export
2528 |   DOCUMENT_NODE : Bits16
2529 |   DOCUMENT_NODE = 9
2530 |
2531 |
2532 |   public export
2533 |   DOCUMENT_POSITION_CONTAINED_BY : Bits16
2534 |   DOCUMENT_POSITION_CONTAINED_BY = 0x10
2535 |
2536 |
2537 |   public export
2538 |   DOCUMENT_POSITION_CONTAINS : Bits16
2539 |   DOCUMENT_POSITION_CONTAINS = 0x8
2540 |
2541 |
2542 |   public export
2543 |   DOCUMENT_POSITION_DISCONNECTED : Bits16
2544 |   DOCUMENT_POSITION_DISCONNECTED = 0x1
2545 |
2546 |
2547 |   public export
2548 |   DOCUMENT_POSITION_FOLLOWING : Bits16
2549 |   DOCUMENT_POSITION_FOLLOWING = 0x4
2550 |
2551 |
2552 |   public export
2553 |   DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC : Bits16
2554 |   DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC = 0x20
2555 |
2556 |
2557 |   public export
2558 |   DOCUMENT_POSITION_PRECEDING : Bits16
2559 |   DOCUMENT_POSITION_PRECEDING = 0x2
2560 |
2561 |
2562 |   public export
2563 |   DOCUMENT_TYPE_NODE : Bits16
2564 |   DOCUMENT_TYPE_NODE = 10
2565 |
2566 |
2567 |   public export
2568 |   ELEMENT_NODE : Bits16
2569 |   ELEMENT_NODE = 1
2570 |
2571 |
2572 |   public export
2573 |   ENTITY_NODE : Bits16
2574 |   ENTITY_NODE = 6
2575 |
2576 |
2577 |   public export
2578 |   ENTITY_REFERENCE_NODE : Bits16
2579 |   ENTITY_REFERENCE_NODE = 5
2580 |
2581 |
2582 |   public export
2583 |   NOTATION_NODE : Bits16
2584 |   NOTATION_NODE = 12
2585 |
2586 |
2587 |   public export
2588 |   PROCESSING_INSTRUCTION_NODE : Bits16
2589 |   PROCESSING_INSTRUCTION_NODE = 7
2590 |
2591 |
2592 |   public export
2593 |   TEXT_NODE : Bits16
2594 |   TEXT_NODE = 3
2595 |
2596 |
2597 |   export
2598 |   baseURI :
2599 |        {auto 0 _ : JSType t1}
2600 |     -> {auto 0 _ : Elem Node (Types t1)}
2601 |     -> (obj : t1)
2602 |     -> JSIO String
2603 |   baseURI a = primJS $ Node.prim__baseURI (up a)
2604 |
2605 |
2606 |   export
2607 |   childNodes :
2608 |        {auto 0 _ : JSType t1}
2609 |     -> {auto 0 _ : Elem Node (Types t1)}
2610 |     -> (obj : t1)
2611 |     -> JSIO NodeList
2612 |   childNodes a = primJS $ Node.prim__childNodes (up a)
2613 |
2614 |
2615 |   export
2616 |   firstChild :
2617 |        {auto 0 _ : JSType t1}
2618 |     -> {auto 0 _ : Elem Node (Types t1)}
2619 |     -> (obj : t1)
2620 |     -> JSIO (Maybe Node)
2621 |   firstChild a = tryJS "Node.firstChild" $ Node.prim__firstChild (up a)
2622 |
2623 |
2624 |   export
2625 |   isConnected :
2626 |        {auto 0 _ : JSType t1}
2627 |     -> {auto 0 _ : Elem Node (Types t1)}
2628 |     -> (obj : t1)
2629 |     -> JSIO Bool
2630 |   isConnected a = tryJS "Node.isConnected" $ Node.prim__isConnected (up a)
2631 |
2632 |
2633 |   export
2634 |   lastChild :
2635 |        {auto 0 _ : JSType t1}
2636 |     -> {auto 0 _ : Elem Node (Types t1)}
2637 |     -> (obj : t1)
2638 |     -> JSIO (Maybe Node)
2639 |   lastChild a = tryJS "Node.lastChild" $ Node.prim__lastChild (up a)
2640 |
2641 |
2642 |   export
2643 |   nextSibling :
2644 |        {auto 0 _ : JSType t1}
2645 |     -> {auto 0 _ : Elem Node (Types t1)}
2646 |     -> (obj : t1)
2647 |     -> JSIO (Maybe Node)
2648 |   nextSibling a = tryJS "Node.nextSibling" $ Node.prim__nextSibling (up a)
2649 |
2650 |
2651 |   export
2652 |   nodeName :
2653 |        {auto 0 _ : JSType t1}
2654 |     -> {auto 0 _ : Elem Node (Types t1)}
2655 |     -> (obj : t1)
2656 |     -> JSIO String
2657 |   nodeName a = primJS $ Node.prim__nodeName (up a)
2658 |
2659 |
2660 |   export
2661 |   nodeType :
2662 |        {auto 0 _ : JSType t1}
2663 |     -> {auto 0 _ : Elem Node (Types t1)}
2664 |     -> (obj : t1)
2665 |     -> JSIO Bits16
2666 |   nodeType a = primJS $ Node.prim__nodeType (up a)
2667 |
2668 |
2669 |   export
2670 |   nodeValue :
2671 |        {auto 0 _ : JSType t}
2672 |     -> {auto 0 _ : Elem Node (Types t)}
2673 |     -> t
2674 |     -> Attribute False Maybe String
2675 |   nodeValue v = fromNullablePrim
2676 |                   "Node.getnodeValue"
2677 |                   prim__nodeValue
2678 |                   prim__setNodeValue
2679 |                   (v :> Node)
2680 |
2681 |
2682 |   export
2683 |   ownerDocument :
2684 |        {auto 0 _ : JSType t1}
2685 |     -> {auto 0 _ : Elem Node (Types t1)}
2686 |     -> (obj : t1)
2687 |     -> JSIO (Maybe Document)
2688 |   ownerDocument a = tryJS "Node.ownerDocument" $ Node.prim__ownerDocument (up a)
2689 |
2690 |
2691 |   export
2692 |   parentElement :
2693 |        {auto 0 _ : JSType t1}
2694 |     -> {auto 0 _ : Elem Node (Types t1)}
2695 |     -> (obj : t1)
2696 |     -> JSIO (Maybe Element)
2697 |   parentElement a = tryJS "Node.parentElement" $ Node.prim__parentElement (up a)
2698 |
2699 |
2700 |   export
2701 |   parentNode :
2702 |        {auto 0 _ : JSType t1}
2703 |     -> {auto 0 _ : Elem Node (Types t1)}
2704 |     -> (obj : t1)
2705 |     -> JSIO (Maybe Node)
2706 |   parentNode a = tryJS "Node.parentNode" $ Node.prim__parentNode (up a)
2707 |
2708 |
2709 |   export
2710 |   previousSibling :
2711 |        {auto 0 _ : JSType t1}
2712 |     -> {auto 0 _ : Elem Node (Types t1)}
2713 |     -> (obj : t1)
2714 |     -> JSIO (Maybe Node)
2715 |   previousSibling a = tryJS "Node.previousSibling" $
2716 |     Node.prim__previousSibling (up a)
2717 |
2718 |
2719 |   export
2720 |   textContent :
2721 |        {auto 0 _ : JSType t}
2722 |     -> {auto 0 _ : Elem Node (Types t)}
2723 |     -> t
2724 |     -> Attribute False Maybe String
2725 |   textContent v = fromNullablePrim
2726 |                     "Node.gettextContent"
2727 |                     prim__textContent
2728 |                     prim__setTextContent
2729 |                     (v :> Node)
2730 |
2731 |
2732 |   export
2733 |   appendChild :
2734 |        {auto 0 _ : JSType t1}
2735 |     -> {auto 0 _ : JSType t2}
2736 |     -> {auto 0 _ : Elem Node (Types t1)}
2737 |     -> {auto 0 _ : Elem Node (Types t2)}
2738 |     -> (obj : t1)
2739 |     -> (node : t2)
2740 |     -> JSIO Node
2741 |   appendChild a b = primJS $ Node.prim__appendChild (up a) (up b)
2742 |
2743 |
2744 |   export
2745 |   cloneNode' :
2746 |        {auto 0 _ : JSType t1}
2747 |     -> {auto 0 _ : Elem Node (Types t1)}
2748 |     -> (obj : t1)
2749 |     -> (deep : Optional Bool)
2750 |     -> JSIO Node
2751 |   cloneNode' a b = primJS $ Node.prim__cloneNode (up a) (toFFI b)
2752 |
2753 |   export
2754 |   cloneNode :
2755 |        {auto 0 _ : JSType t1}
2756 |     -> {auto 0 _ : Elem Node (Types t1)}
2757 |     -> (obj : t1)
2758 |     -> JSIO Node
2759 |   cloneNode a = primJS $ Node.prim__cloneNode (up a) undef
2760 |
2761 |
2762 |   export
2763 |   compareDocumentPosition :
2764 |        {auto 0 _ : JSType t1}
2765 |     -> {auto 0 _ : JSType t2}
2766 |     -> {auto 0 _ : Elem Node (Types t1)}
2767 |     -> {auto 0 _ : Elem Node (Types t2)}
2768 |     -> (obj : t1)
2769 |     -> (other : t2)
2770 |     -> JSIO Bits16
2771 |   compareDocumentPosition a b = primJS $
2772 |     Node.prim__compareDocumentPosition (up a) (up b)
2773 |
2774 |
2775 |   export
2776 |   contains :
2777 |        {auto 0 _ : JSType t1}
2778 |     -> {auto 0 _ : JSType t2}
2779 |     -> {auto 0 _ : Elem Node (Types t1)}
2780 |     -> {auto 0 _ : Elem Node (Types t2)}
2781 |     -> (obj : t1)
2782 |     -> (other : Maybe t2)
2783 |     -> JSIO Bool
2784 |   contains a b = tryJS "Node.contains" $ Node.prim__contains (up a) (mayUp b)
2785 |
2786 |
2787 |   export
2788 |   getRootNode' :
2789 |        {auto 0 _ : JSType t1}
2790 |     -> {auto 0 _ : JSType t2}
2791 |     -> {auto 0 _ : Elem Node (Types t1)}
2792 |     -> {auto 0 _ : Elem GetRootNodeOptions (Types t2)}
2793 |     -> (obj : t1)
2794 |     -> (options : Optional t2)
2795 |     -> JSIO Node
2796 |   getRootNode' a b = primJS $ Node.prim__getRootNode (up a) (optUp b)
2797 |
2798 |   export
2799 |   getRootNode :
2800 |        {auto 0 _ : JSType t1}
2801 |     -> {auto 0 _ : Elem Node (Types t1)}
2802 |     -> (obj : t1)
2803 |     -> JSIO Node
2804 |   getRootNode a = primJS $ Node.prim__getRootNode (up a) undef
2805 |
2806 |
2807 |   export
2808 |   hasChildNodes :
2809 |        {auto 0 _ : JSType t1}
2810 |     -> {auto 0 _ : Elem Node (Types t1)}
2811 |     -> (obj : t1)
2812 |     -> JSIO Bool
2813 |   hasChildNodes a = tryJS "Node.hasChildNodes" $ Node.prim__hasChildNodes (up a)
2814 |
2815 |
2816 |   export
2817 |   insertBefore :
2818 |        {auto 0 _ : JSType t1}
2819 |     -> {auto 0 _ : JSType t2}
2820 |     -> {auto 0 _ : JSType t3}
2821 |     -> {auto 0 _ : Elem Node (Types t1)}
2822 |     -> {auto 0 _ : Elem Node (Types t2)}
2823 |     -> {auto 0 _ : Elem Node (Types t3)}
2824 |     -> (obj : t1)
2825 |     -> (node : t2)
2826 |     -> (child : Maybe t3)
2827 |     -> JSIO Node
2828 |   insertBefore a b c = primJS $ Node.prim__insertBefore (up a) (up b) (mayUp c)
2829 |
2830 |
2831 |   export
2832 |   isDefaultNamespace :
2833 |        {auto 0 _ : JSType t1}
2834 |     -> {auto 0 _ : Elem Node (Types t1)}
2835 |     -> (obj : t1)
2836 |     -> (namespace_ : Maybe String)
2837 |     -> JSIO Bool
2838 |   isDefaultNamespace a b = tryJS "Node.isDefaultNamespace" $
2839 |     Node.prim__isDefaultNamespace (up a) (toFFI b)
2840 |
2841 |
2842 |   export
2843 |   isEqualNode :
2844 |        {auto 0 _ : JSType t1}
2845 |     -> {auto 0 _ : JSType t2}
2846 |     -> {auto 0 _ : Elem Node (Types t1)}
2847 |     -> {auto 0 _ : Elem Node (Types t2)}
2848 |     -> (obj : t1)
2849 |     -> (otherNode : Maybe t2)
2850 |     -> JSIO Bool
2851 |   isEqualNode a b = tryJS "Node.isEqualNode" $
2852 |     Node.prim__isEqualNode (up a) (mayUp b)
2853 |
2854 |
2855 |   export
2856 |   isSameNode :
2857 |        {auto 0 _ : JSType t1}
2858 |     -> {auto 0 _ : JSType t2}
2859 |     -> {auto 0 _ : Elem Node (Types t1)}
2860 |     -> {auto 0 _ : Elem Node (Types t2)}
2861 |     -> (obj : t1)
2862 |     -> (otherNode : Maybe t2)
2863 |     -> JSIO Bool
2864 |   isSameNode a b = tryJS "Node.isSameNode" $
2865 |     Node.prim__isSameNode (up a) (mayUp b)
2866 |
2867 |
2868 |   export
2869 |   lookupNamespaceURI :
2870 |        {auto 0 _ : JSType t1}
2871 |     -> {auto 0 _ : Elem Node (Types t1)}
2872 |     -> (obj : t1)
2873 |     -> (prefix_ : Maybe String)
2874 |     -> JSIO (Maybe String)
2875 |   lookupNamespaceURI a b = tryJS "Node.lookupNamespaceURI" $
2876 |     Node.prim__lookupNamespaceURI (up a) (toFFI b)
2877 |
2878 |
2879 |   export
2880 |   lookupPrefix :
2881 |        {auto 0 _ : JSType t1}
2882 |     -> {auto 0 _ : Elem Node (Types t1)}
2883 |     -> (obj : t1)
2884 |     -> (namespace_ : Maybe String)
2885 |     -> JSIO (Maybe String)
2886 |   lookupPrefix a b = tryJS "Node.lookupPrefix" $
2887 |     Node.prim__lookupPrefix (up a) (toFFI b)
2888 |
2889 |
2890 |   export
2891 |   normalize :
2892 |        {auto 0 _ : JSType t1}
2893 |     -> {auto 0 _ : Elem Node (Types t1)}
2894 |     -> (obj : t1)
2895 |     -> JSIO ()
2896 |   normalize a = primJS $ Node.prim__normalize (up a)
2897 |
2898 |
2899 |   export
2900 |   removeChild :
2901 |        {auto 0 _ : JSType t1}
2902 |     -> {auto 0 _ : JSType t2}
2903 |     -> {auto 0 _ : Elem Node (Types t1)}
2904 |     -> {auto 0 _ : Elem Node (Types t2)}
2905 |     -> (obj : t1)
2906 |     -> (child : t2)
2907 |     -> JSIO Node
2908 |   removeChild a b = primJS $ Node.prim__removeChild (up a) (up b)
2909 |
2910 |
2911 |   export
2912 |   replaceChild :
2913 |        {auto 0 _ : JSType t1}
2914 |     -> {auto 0 _ : JSType t2}
2915 |     -> {auto 0 _ : JSType t3}
2916 |     -> {auto 0 _ : Elem Node (Types t1)}
2917 |     -> {auto 0 _ : Elem Node (Types t2)}
2918 |     -> {auto 0 _ : Elem Node (Types t3)}
2919 |     -> (obj : t1)
2920 |     -> (node : t2)
2921 |     -> (child : t3)
2922 |     -> JSIO Node
2923 |   replaceChild a b c = primJS $ Node.prim__replaceChild (up a) (up b) (up c)
2924 |
2925 |
2926 |
2927 | namespace NodeIterator
2928 |
2929 |   export
2930 |   filter : (obj : NodeIterator) -> JSIO (Maybe NodeFilter)
2931 |   filter a = tryJS "NodeIterator.filter" $ NodeIterator.prim__filter a
2932 |
2933 |
2934 |   export
2935 |   pointerBeforeReferenceNode : (obj : NodeIterator) -> JSIO Bool
2936 |   pointerBeforeReferenceNode a = tryJS "NodeIterator.pointerBeforeReferenceNode" $
2937 |     NodeIterator.prim__pointerBeforeReferenceNode a
2938 |
2939 |
2940 |   export
2941 |   referenceNode : (obj : NodeIterator) -> JSIO Node
2942 |   referenceNode a = primJS $ NodeIterator.prim__referenceNode a
2943 |
2944 |
2945 |   export
2946 |   root : (obj : NodeIterator) -> JSIO Node
2947 |   root a = primJS $ NodeIterator.prim__root a
2948 |
2949 |
2950 |   export
2951 |   whatToShow : (obj : NodeIterator) -> JSIO Bits32
2952 |   whatToShow a = primJS $ NodeIterator.prim__whatToShow a
2953 |
2954 |
2955 |   export
2956 |   detach : (obj : NodeIterator) -> JSIO ()
2957 |   detach a = primJS $ NodeIterator.prim__detach a
2958 |
2959 |
2960 |   export
2961 |   nextNode : (obj : NodeIterator) -> JSIO (Maybe Node)
2962 |   nextNode a = tryJS "NodeIterator.nextNode" $ NodeIterator.prim__nextNode a
2963 |
2964 |
2965 |   export
2966 |   previousNode : (obj : NodeIterator) -> JSIO (Maybe Node)
2967 |   previousNode a = tryJS "NodeIterator.previousNode" $
2968 |     NodeIterator.prim__previousNode a
2969 |
2970 |
2971 |
2972 | namespace NodeList
2973 |
2974 |   export
2975 |   length :
2976 |        {auto 0 _ : JSType t1}
2977 |     -> {auto 0 _ : Elem NodeList (Types t1)}
2978 |     -> (obj : t1)
2979 |     -> JSIO Bits32
2980 |   length a = primJS $ NodeList.prim__length (up a)
2981 |
2982 |
2983 |   export
2984 |   item :
2985 |        {auto 0 _ : JSType t1}
2986 |     -> {auto 0 _ : Elem NodeList (Types t1)}
2987 |     -> (obj : t1)
2988 |     -> (index : Bits32)
2989 |     -> JSIO (Maybe Node)
2990 |   item a b = tryJS "NodeList.item" $ NodeList.prim__item (up a) b
2991 |
2992 |
2993 |
2994 | namespace Performance
2995 |
2996 |   export
2997 |   timeOrigin : (obj : Performance) -> JSIO Double
2998 |   timeOrigin a = primJS $ Performance.prim__timeOrigin a
2999 |
3000 |
3001 |   export
3002 |   now : (obj : Performance) -> JSIO Double
3003 |   now a = primJS $ Performance.prim__now a
3004 |
3005 |
3006 |   export
3007 |   toJSON : (obj : Performance) -> JSIO Object
3008 |   toJSON a = primJS $ Performance.prim__toJSON a
3009 |
3010 |
3011 |
3012 | namespace ProcessingInstruction
3013 |
3014 |   export
3015 |   target : (obj : ProcessingInstruction) -> JSIO String
3016 |   target a = primJS $ ProcessingInstruction.prim__target a
3017 |
3018 |
3019 |
3020 | namespace Range
3021 |
3022 |   public export
3023 |   END_TO_END : Bits16
3024 |   END_TO_END = 2
3025 |
3026 |
3027 |   public export
3028 |   END_TO_START : Bits16
3029 |   END_TO_START = 3
3030 |
3031 |
3032 |   public export
3033 |   START_TO_END : Bits16
3034 |   START_TO_END = 1
3035 |
3036 |
3037 |   public export
3038 |   START_TO_START : Bits16
3039 |   START_TO_START = 0
3040 |
3041 |
3042 |   export
3043 |   new : JSIO Range
3044 |   new = primJS $ Range.prim__new
3045 |
3046 |
3047 |   export
3048 |   commonAncestorContainer : (obj : Range) -> JSIO Node
3049 |   commonAncestorContainer a = primJS $ Range.prim__commonAncestorContainer a
3050 |
3051 |
3052 |   export
3053 |   cloneContents : (obj : Range) -> JSIO DocumentFragment
3054 |   cloneContents a = primJS $ Range.prim__cloneContents a
3055 |
3056 |
3057 |   export
3058 |   cloneRange : (obj : Range) -> JSIO Range
3059 |   cloneRange a = primJS $ Range.prim__cloneRange a
3060 |
3061 |
3062 |   export
3063 |   collapse' : (obj : Range) -> (toStart : Optional Bool) -> JSIO ()
3064 |   collapse' a b = primJS $ Range.prim__collapse a (toFFI b)
3065 |
3066 |   export
3067 |   collapse : (obj : Range) -> JSIO ()
3068 |   collapse a = primJS $ Range.prim__collapse a undef
3069 |
3070 |
3071 |   export
3072 |   compareBoundaryPoints :
3073 |        (obj : Range)
3074 |     -> (how : Bits16)
3075 |     -> (sourceRange : Range)
3076 |     -> JSIO Int16
3077 |   compareBoundaryPoints a b c = primJS $ Range.prim__compareBoundaryPoints a b c
3078 |
3079 |
3080 |   export
3081 |   comparePoint :
3082 |        {auto 0 _ : JSType t2}
3083 |     -> {auto 0 _ : Elem Node (Types t2)}
3084 |     -> (obj : Range)
3085 |     -> (node : t2)
3086 |     -> (offset : Bits32)
3087 |     -> JSIO Int16
3088 |   comparePoint a b c = primJS $ Range.prim__comparePoint a (up b) c
3089 |
3090 |
3091 |   export
3092 |   createContextualFragment :
3093 |        (obj : Range)
3094 |     -> (fragment : String)
3095 |     -> JSIO DocumentFragment
3096 |   createContextualFragment a b = primJS $
3097 |     Range.prim__createContextualFragment a b
3098 |
3099 |
3100 |   export
3101 |   deleteContents : (obj : Range) -> JSIO ()
3102 |   deleteContents a = primJS $ Range.prim__deleteContents a
3103 |
3104 |
3105 |   export
3106 |   detach : (obj : Range) -> JSIO ()
3107 |   detach a = primJS $ Range.prim__detach a
3108 |
3109 |
3110 |   export
3111 |   extractContents : (obj : Range) -> JSIO DocumentFragment
3112 |   extractContents a = primJS $ Range.prim__extractContents a
3113 |
3114 |
3115 |   export
3116 |   getBoundingClientRect : (obj : Range) -> JSIO DOMRect
3117 |   getBoundingClientRect a = primJS $ Range.prim__getBoundingClientRect a
3118 |
3119 |
3120 |   export
3121 |   getClientRects : (obj : Range) -> JSIO DOMRectList
3122 |   getClientRects a = primJS $ Range.prim__getClientRects a
3123 |
3124 |
3125 |   export
3126 |   insertNode :
3127 |        {auto 0 _ : JSType t2}
3128 |     -> {auto 0 _ : Elem Node (Types t2)}
3129 |     -> (obj : Range)
3130 |     -> (node : t2)
3131 |     -> JSIO ()
3132 |   insertNode a b = primJS $ Range.prim__insertNode a (up b)
3133 |
3134 |
3135 |   export
3136 |   intersectsNode :
3137 |        {auto 0 _ : JSType t2}
3138 |     -> {auto 0 _ : Elem Node (Types t2)}
3139 |     -> (obj : Range)
3140 |     -> (node : t2)
3141 |     -> JSIO Bool
3142 |   intersectsNode a b = tryJS "Range.intersectsNode" $
3143 |     Range.prim__intersectsNode a (up b)
3144 |
3145 |
3146 |   export
3147 |   isPointInRange :
3148 |        {auto 0 _ : JSType t2}
3149 |     -> {auto 0 _ : Elem Node (Types t2)}
3150 |     -> (obj : Range)
3151 |     -> (node : t2)
3152 |     -> (offset : Bits32)
3153 |     -> JSIO Bool
3154 |   isPointInRange a b c = tryJS "Range.isPointInRange" $
3155 |     Range.prim__isPointInRange a (up b) c
3156 |
3157 |
3158 |   export
3159 |   selectNodeContents :
3160 |        {auto 0 _ : JSType t2}
3161 |     -> {auto 0 _ : Elem Node (Types t2)}
3162 |     -> (obj : Range)
3163 |     -> (node : t2)
3164 |     -> JSIO ()
3165 |   selectNodeContents a b = primJS $ Range.prim__selectNodeContents a (up b)
3166 |
3167 |
3168 |   export
3169 |   selectNode :
3170 |        {auto 0 _ : JSType t2}
3171 |     -> {auto 0 _ : Elem Node (Types t2)}
3172 |     -> (obj : Range)
3173 |     -> (node : t2)
3174 |     -> JSIO ()
3175 |   selectNode a b = primJS $ Range.prim__selectNode a (up b)
3176 |
3177 |
3178 |   export
3179 |   setEndAfter :
3180 |        {auto 0 _ : JSType t2}
3181 |     -> {auto 0 _ : Elem Node (Types t2)}
3182 |     -> (obj : Range)
3183 |     -> (node : t2)
3184 |     -> JSIO ()
3185 |   setEndAfter a b = primJS $ Range.prim__setEndAfter a (up b)
3186 |
3187 |
3188 |   export
3189 |   setEndBefore :
3190 |        {auto 0 _ : JSType t2}
3191 |     -> {auto 0 _ : Elem Node (Types t2)}
3192 |     -> (obj : Range)
3193 |     -> (node : t2)
3194 |     -> JSIO ()
3195 |   setEndBefore a b = primJS $ Range.prim__setEndBefore a (up b)
3196 |
3197 |
3198 |   export
3199 |   setEnd :
3200 |        {auto 0 _ : JSType t2}
3201 |     -> {auto 0 _ : Elem Node (Types t2)}
3202 |     -> (obj : Range)
3203 |     -> (node : t2)
3204 |     -> (offset : Bits32)
3205 |     -> JSIO ()
3206 |   setEnd a b c = primJS $ Range.prim__setEnd a (up b) c
3207 |
3208 |
3209 |   export
3210 |   setStartAfter :
3211 |        {auto 0 _ : JSType t2}
3212 |     -> {auto 0 _ : Elem Node (Types t2)}
3213 |     -> (obj : Range)
3214 |     -> (node : t2)
3215 |     -> JSIO ()
3216 |   setStartAfter a b = primJS $ Range.prim__setStartAfter a (up b)
3217 |
3218 |
3219 |   export
3220 |   setStartBefore :
3221 |        {auto 0 _ : JSType t2}
3222 |     -> {auto 0 _ : Elem Node (Types t2)}
3223 |     -> (obj : Range)
3224 |     -> (node : t2)
3225 |     -> JSIO ()
3226 |   setStartBefore a b = primJS $ Range.prim__setStartBefore a (up b)
3227 |
3228 |
3229 |   export
3230 |   setStart :
3231 |        {auto 0 _ : JSType t2}
3232 |     -> {auto 0 _ : Elem Node (Types t2)}
3233 |     -> (obj : Range)
3234 |     -> (node : t2)
3235 |     -> (offset : Bits32)
3236 |     -> JSIO ()
3237 |   setStart a b c = primJS $ Range.prim__setStart a (up b) c
3238 |
3239 |
3240 |   export
3241 |   surroundContents :
3242 |        {auto 0 _ : JSType t2}
3243 |     -> {auto 0 _ : Elem Node (Types t2)}
3244 |     -> (obj : Range)
3245 |     -> (newParent : t2)
3246 |     -> JSIO ()
3247 |   surroundContents a b = primJS $ Range.prim__surroundContents a (up b)
3248 |
3249 |
3250 |   export
3251 |   toString : (obj : Range) -> JSIO String
3252 |   toString a = primJS $ Range.prim__toString a
3253 |
3254 |
3255 |
3256 | namespace ShadowRoot
3257 |
3258 |   export
3259 |   host :
3260 |        {auto 0 _ : JSType t1}
3261 |     -> {auto 0 _ : Elem ShadowRoot (Types t1)}
3262 |     -> (obj : t1)
3263 |     -> JSIO Element
3264 |   host a = primJS $ ShadowRoot.prim__host (up a)
3265 |
3266 |
3267 |   export
3268 |   mode :
3269 |        {auto 0 _ : JSType t1}
3270 |     -> {auto 0 _ : Elem ShadowRoot (Types t1)}
3271 |     -> (obj : t1)
3272 |     -> JSIO ShadowRootMode
3273 |   mode a = tryJS "ShadowRoot.mode" $ ShadowRoot.prim__mode (up a)
3274 |
3275 |
3276 |   export
3277 |   onslotchange :
3278 |        {auto 0 _ : JSType t}
3279 |     -> {auto 0 _ : Elem ShadowRoot (Types t)}
3280 |     -> t
3281 |     -> Attribute False Maybe EventHandlerNonNull
3282 |   onslotchange v = fromNullablePrim
3283 |                      "ShadowRoot.getonslotchange"
3284 |                      prim__onslotchange
3285 |                      prim__setOnslotchange
3286 |                      (v :> ShadowRoot)
3287 |
3288 |
3289 |
3290 | namespace StaticRange
3291 |
3292 |   export
3293 |   new :
3294 |        {auto 0 _ : JSType t1}
3295 |     -> {auto 0 _ : Elem StaticRangeInit (Types t1)}
3296 |     -> (init : t1)
3297 |     -> JSIO StaticRange
3298 |   new a = primJS $ StaticRange.prim__new (up a)
3299 |
3300 |
3301 |
3302 | namespace Text
3303 |
3304 |   export
3305 |   new' : (data_ : Optional String) -> JSIO Text
3306 |   new' a = primJS $ Text.prim__new (toFFI a)
3307 |
3308 |   export
3309 |   new : JSIO Text
3310 |   new = primJS $ Text.prim__new undef
3311 |
3312 |
3313 |   export
3314 |   wholeText :
3315 |        {auto 0 _ : JSType t1}
3316 |     -> {auto 0 _ : Elem Text (Types t1)}
3317 |     -> (obj : t1)
3318 |     -> JSIO String
3319 |   wholeText a = primJS $ Text.prim__wholeText (up a)
3320 |
3321 |
3322 |   export
3323 |   splitText :
3324 |        {auto 0 _ : JSType t1}
3325 |     -> {auto 0 _ : Elem Text (Types t1)}
3326 |     -> (obj : t1)
3327 |     -> (offset : Bits32)
3328 |     -> JSIO Text
3329 |   splitText a b = primJS $ Text.prim__splitText (up a) b
3330 |
3331 |
3332 |
3333 | namespace TreeWalker
3334 |
3335 |   export
3336 |   currentNode : TreeWalker -> Attribute True Prelude.id Node
3337 |   currentNode v = fromPrim
3338 |                     "TreeWalker.getcurrentNode"
3339 |                     prim__currentNode
3340 |                     prim__setCurrentNode
3341 |                     v
3342 |
3343 |
3344 |   export
3345 |   filter : (obj : TreeWalker) -> JSIO (Maybe NodeFilter)
3346 |   filter a = tryJS "TreeWalker.filter" $ TreeWalker.prim__filter a
3347 |
3348 |
3349 |   export
3350 |   root : (obj : TreeWalker) -> JSIO Node
3351 |   root a = primJS $ TreeWalker.prim__root a
3352 |
3353 |
3354 |   export
3355 |   whatToShow : (obj : TreeWalker) -> JSIO Bits32
3356 |   whatToShow a = primJS $ TreeWalker.prim__whatToShow a
3357 |
3358 |
3359 |   export
3360 |   firstChild : (obj : TreeWalker) -> JSIO (Maybe Node)
3361 |   firstChild a = tryJS "TreeWalker.firstChild" $ TreeWalker.prim__firstChild a
3362 |
3363 |
3364 |   export
3365 |   lastChild : (obj : TreeWalker) -> JSIO (Maybe Node)
3366 |   lastChild a = tryJS "TreeWalker.lastChild" $ TreeWalker.prim__lastChild a
3367 |
3368 |
3369 |   export
3370 |   nextNode : (obj : TreeWalker) -> JSIO (Maybe Node)
3371 |   nextNode a = tryJS "TreeWalker.nextNode" $ TreeWalker.prim__nextNode a
3372 |
3373 |
3374 |   export
3375 |   nextSibling : (obj : TreeWalker) -> JSIO (Maybe Node)
3376 |   nextSibling a = tryJS "TreeWalker.nextSibling" $
3377 |     TreeWalker.prim__nextSibling a
3378 |
3379 |
3380 |   export
3381 |   parentNode : (obj : TreeWalker) -> JSIO (Maybe Node)
3382 |   parentNode a = tryJS "TreeWalker.parentNode" $ TreeWalker.prim__parentNode a
3383 |
3384 |
3385 |   export
3386 |   previousNode : (obj : TreeWalker) -> JSIO (Maybe Node)
3387 |   previousNode a = tryJS "TreeWalker.previousNode" $
3388 |     TreeWalker.prim__previousNode a
3389 |
3390 |
3391 |   export
3392 |   previousSibling : (obj : TreeWalker) -> JSIO (Maybe Node)
3393 |   previousSibling a = tryJS "TreeWalker.previousSibling" $
3394 |     TreeWalker.prim__previousSibling a
3395 |
3396 |
3397 |
3398 |
3399 | namespace XMLSerializer
3400 |
3401 |   export
3402 |   new : JSIO XMLSerializer
3403 |   new = primJS $ XMLSerializer.prim__new
3404 |
3405 |
3406 |   export
3407 |   serializeToString :
3408 |        {auto 0 _ : JSType t2}
3409 |     -> {auto 0 _ : Elem Node (Types t2)}
3410 |     -> (obj : XMLSerializer)
3411 |     -> (root : t2)
3412 |     -> JSIO String
3413 |   serializeToString a b = primJS $
3414 |     XMLSerializer.prim__serializeToString a (up b)
3415 |
3416 |
3417 |
3418 | namespace XPathEvaluator
3419 |
3420 |   export
3421 |   new : JSIO XPathEvaluator
3422 |   new = primJS $ XPathEvaluator.prim__new
3423 |
3424 |
3425 |
3426 | namespace XPathExpression
3427 |
3428 |   export
3429 |   evaluate' :
3430 |        {auto 0 _ : JSType t2}
3431 |     -> {auto 0 _ : Elem Node (Types t2)}
3432 |     -> (obj : XPathExpression)
3433 |     -> (contextNode : t2)
3434 |     -> (type : Optional Bits16)
3435 |     -> (result : Optional (Maybe XPathResult))
3436 |     -> JSIO XPathResult
3437 |   evaluate' a b c d = primJS $
3438 |     XPathExpression.prim__evaluate a (up b) (toFFI c) (toFFI d)
3439 |
3440 |   export
3441 |   evaluate :
3442 |        {auto 0 _ : JSType t2}
3443 |     -> {auto 0 _ : Elem Node (Types t2)}
3444 |     -> (obj : XPathExpression)
3445 |     -> (contextNode : t2)
3446 |     -> JSIO XPathResult
3447 |   evaluate a b = primJS $ XPathExpression.prim__evaluate a (up b) undef undef
3448 |
3449 |
3450 |
3451 | namespace XPathResult
3452 |
3453 |   public export
3454 |   ANY_TYPE : Bits16
3455 |   ANY_TYPE = 0
3456 |
3457 |
3458 |   public export
3459 |   ANY_UNORDERED_NODE_TYPE : Bits16
3460 |   ANY_UNORDERED_NODE_TYPE = 8
3461 |
3462 |
3463 |   public export
3464 |   BOOLEAN_TYPE : Bits16
3465 |   BOOLEAN_TYPE = 3
3466 |
3467 |
3468 |   public export
3469 |   FIRST_ORDERED_NODE_TYPE : Bits16
3470 |   FIRST_ORDERED_NODE_TYPE = 9
3471 |
3472 |
3473 |   public export
3474 |   NUMBER_TYPE : Bits16
3475 |   NUMBER_TYPE = 1
3476 |
3477 |
3478 |   public export
3479 |   ORDERED_NODE_ITERATOR_TYPE : Bits16
3480 |   ORDERED_NODE_ITERATOR_TYPE = 5
3481 |
3482 |
3483 |   public export
3484 |   ORDERED_NODE_SNAPSHOT_TYPE : Bits16
3485 |   ORDERED_NODE_SNAPSHOT_TYPE = 7
3486 |
3487 |
3488 |   public export
3489 |   STRING_TYPE : Bits16
3490 |   STRING_TYPE = 2
3491 |
3492 |
3493 |   public export
3494 |   UNORDERED_NODE_ITERATOR_TYPE : Bits16
3495 |   UNORDERED_NODE_ITERATOR_TYPE = 4
3496 |
3497 |
3498 |   public export
3499 |   UNORDERED_NODE_SNAPSHOT_TYPE : Bits16
3500 |   UNORDERED_NODE_SNAPSHOT_TYPE = 6
3501 |
3502 |
3503 |   export
3504 |   booleanValue : (obj : XPathResult) -> JSIO Bool
3505 |   booleanValue a = tryJS "XPathResult.booleanValue" $
3506 |     XPathResult.prim__booleanValue a
3507 |
3508 |
3509 |   export
3510 |   invalidIteratorState : (obj : XPathResult) -> JSIO Bool
3511 |   invalidIteratorState a = tryJS "XPathResult.invalidIteratorState" $
3512 |     XPathResult.prim__invalidIteratorState a
3513 |
3514 |
3515 |   export
3516 |   numberValue : (obj : XPathResult) -> JSIO Double
3517 |   numberValue a = primJS $ XPathResult.prim__numberValue a
3518 |
3519 |
3520 |   export
3521 |   resultType : (obj : XPathResult) -> JSIO Bits16
3522 |   resultType a = primJS $ XPathResult.prim__resultType a
3523 |
3524 |
3525 |   export
3526 |   singleNodeValue : (obj : XPathResult) -> JSIO (Maybe Node)
3527 |   singleNodeValue a = tryJS "XPathResult.singleNodeValue" $
3528 |     XPathResult.prim__singleNodeValue a
3529 |
3530 |
3531 |   export
3532 |   snapshotLength : (obj : XPathResult) -> JSIO Bits32
3533 |   snapshotLength a = primJS $ XPathResult.prim__snapshotLength a
3534 |
3535 |
3536 |   export
3537 |   stringValue : (obj : XPathResult) -> JSIO String
3538 |   stringValue a = primJS $ XPathResult.prim__stringValue a
3539 |
3540 |
3541 |   export
3542 |   iterateNext : (obj : XPathResult) -> JSIO (Maybe Node)
3543 |   iterateNext a = tryJS "XPathResult.iterateNext" $
3544 |     XPathResult.prim__iterateNext a
3545 |
3546 |
3547 |   export
3548 |   snapshotItem : (obj : XPathResult) -> (index : Bits32) -> JSIO (Maybe Node)
3549 |   snapshotItem a b = tryJS "XPathResult.snapshotItem" $
3550 |     XPathResult.prim__snapshotItem a b
3551 |
3552 |
3553 |
3554 |
3555 | --------------------------------------------------------------------------------
3556 | --          Mixins
3557 | --------------------------------------------------------------------------------
3558 |
3559 | namespace ChildNode
3560 |
3561 |   export
3562 |   after :
3563 |        {auto 0 _ : JSType t1}
3564 |     -> {auto 0 _ : Elem ChildNode (Types t1)}
3565 |     -> (obj : t1)
3566 |     -> (nodes : List (HSum [Node, String]))
3567 |     -> JSIO ()
3568 |   after a b = primJS $ ChildNode.prim__after (up a) (toFFI b)
3569 |
3570 |
3571 |   export
3572 |   before :
3573 |        {auto 0 _ : JSType t1}
3574 |     -> {auto 0 _ : Elem ChildNode (Types t1)}
3575 |     -> (obj : t1)
3576 |     -> (nodes : List (HSum [Node, String]))
3577 |     -> JSIO ()
3578 |   before a b = primJS $ ChildNode.prim__before (up a) (toFFI b)
3579 |
3580 |
3581 |   export
3582 |   remove :
3583 |        {auto 0 _ : JSType t1}
3584 |     -> {auto 0 _ : Elem ChildNode (Types t1)}
3585 |     -> (obj : t1)
3586 |     -> JSIO ()
3587 |   remove a = primJS $ ChildNode.prim__remove (up a)
3588 |
3589 |
3590 |   export
3591 |   replaceWith :
3592 |        {auto 0 _ : JSType t1}
3593 |     -> {auto 0 _ : Elem ChildNode (Types t1)}
3594 |     -> (obj : t1)
3595 |     -> (nodes : List (HSum [Node, String]))
3596 |     -> JSIO ()
3597 |   replaceWith a b = primJS $ ChildNode.prim__replaceWith (up a) (toFFI b)
3598 |
3599 |
3600 |
3601 | namespace DocumentOrShadowRoot
3602 |
3603 |   export
3604 |   styleSheets :
3605 |        {auto 0 _ : JSType t1}
3606 |     -> {auto 0 _ : Elem DocumentOrShadowRoot (Types t1)}
3607 |     -> (obj : t1)
3608 |     -> JSIO StyleSheetList
3609 |   styleSheets a = primJS $ DocumentOrShadowRoot.prim__styleSheets (up a)
3610 |
3611 |
3612 |
3613 | namespace InnerHTML
3614 |
3615 |   export
3616 |   innerHTML :
3617 |        {auto 0 _ : JSType t}
3618 |     -> {auto 0 _ : Elem InnerHTML (Types t)}
3619 |     -> t
3620 |     -> Attribute True Prelude.id String
3621 |   innerHTML v = fromPrim
3622 |                   "InnerHTML.getinnerHTML"
3623 |                   prim__innerHTML
3624 |                   prim__setInnerHTML
3625 |                   (v :> InnerHTML)
3626 |
3627 |
3628 |
3629 | namespace NonDocumentTypeChildNode
3630 |
3631 |   export
3632 |   nextElementSibling :
3633 |        {auto 0 _ : JSType t1}
3634 |     -> {auto 0 _ : Elem NonDocumentTypeChildNode (Types t1)}
3635 |     -> (obj : t1)
3636 |     -> JSIO (Maybe Element)
3637 |   nextElementSibling a = tryJS "NonDocumentTypeChildNode.nextElementSibling" $
3638 |     NonDocumentTypeChildNode.prim__nextElementSibling (up a)
3639 |
3640 |
3641 |   export
3642 |   previousElementSibling :
3643 |        {auto 0 _ : JSType t1}
3644 |     -> {auto 0 _ : Elem NonDocumentTypeChildNode (Types t1)}
3645 |     -> (obj : t1)
3646 |     -> JSIO (Maybe Element)
3647 |   previousElementSibling a = tryJS "NonDocumentTypeChildNode.previousElementSibling" $
3648 |     NonDocumentTypeChildNode.prim__previousElementSibling (up a)
3649 |
3650 |
3651 |
3652 | namespace NonElementParentNode
3653 |
3654 |   export
3655 |   getElementById :
3656 |        {auto 0 _ : JSType t1}
3657 |     -> {auto 0 _ : Elem NonElementParentNode (Types t1)}
3658 |     -> (obj : t1)
3659 |     -> (elementId : String)
3660 |     -> JSIO (Maybe Element)
3661 |   getElementById a b = tryJS "NonElementParentNode.getElementById" $
3662 |     NonElementParentNode.prim__getElementById (up a) b
3663 |
3664 |
3665 |
3666 | namespace ParentNode
3667 |
3668 |   export
3669 |   childElementCount :
3670 |        {auto 0 _ : JSType t1}
3671 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3672 |     -> (obj : t1)
3673 |     -> JSIO Bits32
3674 |   childElementCount a = primJS $ ParentNode.prim__childElementCount (up a)
3675 |
3676 |
3677 |   export
3678 |   children :
3679 |        {auto 0 _ : JSType t1}
3680 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3681 |     -> (obj : t1)
3682 |     -> JSIO HTMLCollection
3683 |   children a = primJS $ ParentNode.prim__children (up a)
3684 |
3685 |
3686 |   export
3687 |   firstElementChild :
3688 |        {auto 0 _ : JSType t1}
3689 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3690 |     -> (obj : t1)
3691 |     -> JSIO (Maybe Element)
3692 |   firstElementChild a = tryJS "ParentNode.firstElementChild" $
3693 |     ParentNode.prim__firstElementChild (up a)
3694 |
3695 |
3696 |   export
3697 |   lastElementChild :
3698 |        {auto 0 _ : JSType t1}
3699 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3700 |     -> (obj : t1)
3701 |     -> JSIO (Maybe Element)
3702 |   lastElementChild a = tryJS "ParentNode.lastElementChild" $
3703 |     ParentNode.prim__lastElementChild (up a)
3704 |
3705 |
3706 |   export
3707 |   append :
3708 |        {auto 0 _ : JSType t1}
3709 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3710 |     -> (obj : t1)
3711 |     -> (nodes : List (HSum [Node, String]))
3712 |     -> JSIO ()
3713 |   append a b = primJS $ ParentNode.prim__append (up a) (toFFI b)
3714 |
3715 |
3716 |   export
3717 |   prepend :
3718 |        {auto 0 _ : JSType t1}
3719 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3720 |     -> (obj : t1)
3721 |     -> (nodes : List (HSum [Node, String]))
3722 |     -> JSIO ()
3723 |   prepend a b = primJS $ ParentNode.prim__prepend (up a) (toFFI b)
3724 |
3725 |
3726 |   export
3727 |   querySelectorAll :
3728 |        {auto 0 _ : JSType t1}
3729 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3730 |     -> (obj : t1)
3731 |     -> (selectors : String)
3732 |     -> JSIO NodeList
3733 |   querySelectorAll a b = primJS $ ParentNode.prim__querySelectorAll (up a) b
3734 |
3735 |
3736 |   export
3737 |   querySelector :
3738 |        {auto 0 _ : JSType t1}
3739 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3740 |     -> (obj : t1)
3741 |     -> (selectors : String)
3742 |     -> JSIO (Maybe Element)
3743 |   querySelector a b = tryJS "ParentNode.querySelector" $
3744 |     ParentNode.prim__querySelector (up a) b
3745 |
3746 |
3747 |   export
3748 |   replaceChildren :
3749 |        {auto 0 _ : JSType t1}
3750 |     -> {auto 0 _ : Elem ParentNode (Types t1)}
3751 |     -> (obj : t1)
3752 |     -> (nodes : List (HSum [Node, String]))
3753 |     -> JSIO ()
3754 |   replaceChildren a b = primJS $
3755 |     ParentNode.prim__replaceChildren (up a) (toFFI b)
3756 |
3757 |
3758 |
3759 | namespace Slottable
3760 |
3761 |   export
3762 |   assignedSlot :
3763 |        {auto 0 _ : JSType t1}
3764 |     -> {auto 0 _ : Elem Slottable (Types t1)}
3765 |     -> (obj : t1)
3766 |     -> JSIO (Maybe HTMLSlotElement)
3767 |   assignedSlot a = tryJS "Slottable.assignedSlot" $
3768 |     Slottable.prim__assignedSlot (up a)
3769 |
3770 |
3771 |
3772 | namespace XPathEvaluatorBase
3773 |
3774 |   export
3775 |   createExpression' :
3776 |        {auto 0 _ : JSType t1}
3777 |     -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)}
3778 |     -> (obj : t1)
3779 |     -> (expression : String)
3780 |     -> (resolver : Optional (Maybe XPathNSResolver))
3781 |     -> JSIO XPathExpression
3782 |   createExpression' a b c = primJS $
3783 |     XPathEvaluatorBase.prim__createExpression (up a) b (toFFI c)
3784 |
3785 |   export
3786 |   createExpression :
3787 |        {auto 0 _ : JSType t1}
3788 |     -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)}
3789 |     -> (obj : t1)
3790 |     -> (expression : String)
3791 |     -> JSIO XPathExpression
3792 |   createExpression a b = primJS $
3793 |     XPathEvaluatorBase.prim__createExpression (up a) b undef
3794 |
3795 |
3796 |   export
3797 |   createNSResolver :
3798 |        {auto 0 _ : JSType t1}
3799 |     -> {auto 0 _ : JSType t2}
3800 |     -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)}
3801 |     -> {auto 0 _ : Elem Node (Types t2)}
3802 |     -> (obj : t1)
3803 |     -> (nodeResolver : t2)
3804 |     -> JSIO XPathNSResolver
3805 |   createNSResolver a b = primJS $
3806 |     XPathEvaluatorBase.prim__createNSResolver (up a) (up b)
3807 |
3808 |
3809 |   export
3810 |   evaluate' :
3811 |        {auto 0 _ : JSType t1}
3812 |     -> {auto 0 _ : JSType t3}
3813 |     -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)}
3814 |     -> {auto 0 _ : Elem Node (Types t3)}
3815 |     -> (obj : t1)
3816 |     -> (expression : String)
3817 |     -> (contextNode : t3)
3818 |     -> (resolver : Optional (Maybe XPathNSResolver))
3819 |     -> (type : Optional Bits16)
3820 |     -> (result : Optional (Maybe XPathResult))
3821 |     -> JSIO XPathResult
3822 |   evaluate' a b c d e f = primJS $
3823 |     XPathEvaluatorBase.prim__evaluate
3824 |       (up a)
3825 |       b
3826 |       (up c)
3827 |       (toFFI d)
3828 |       (toFFI e)
3829 |       (toFFI f)
3830 |
3831 |   export
3832 |   evaluate :
3833 |        {auto 0 _ : JSType t1}
3834 |     -> {auto 0 _ : JSType t3}
3835 |     -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)}
3836 |     -> {auto 0 _ : Elem Node (Types t3)}
3837 |     -> (obj : t1)
3838 |     -> (expression : String)
3839 |     -> (contextNode : t3)
3840 |     -> JSIO XPathResult
3841 |   evaluate a b c = primJS $
3842 |     XPathEvaluatorBase.prim__evaluate (up a) b (up c) undef undef undef
3843 |
3844 |
3845 |
3846 |
3847 | --------------------------------------------------------------------------------
3848 | --          Dictionaries
3849 | --------------------------------------------------------------------------------
3850 |
3851 | namespace AddEventListenerOptions
3852 |
3853 |   export
3854 |   new' :
3855 |        (passive : Optional Bool)
3856 |     -> (once : Optional Bool)
3857 |     -> (signal : Optional AbortSignal)
3858 |     -> JSIO AddEventListenerOptions
3859 |   new' a b c = primJS $
3860 |     AddEventListenerOptions.prim__new (toFFI a) (toFFI b) (toFFI c)
3861 |
3862 |   export
3863 |   new : JSIO AddEventListenerOptions
3864 |   new = primJS $ AddEventListenerOptions.prim__new undef undef undef
3865 |
3866 |
3867 |   export
3868 |   once :
3869 |        {auto 0 _ : JSType t}
3870 |     -> {auto 0 _ : Elem AddEventListenerOptions (Types t)}
3871 |     -> t
3872 |     -> Attribute True Optional Bool
3873 |   once v = fromUndefOrPrim
3874 |              "AddEventListenerOptions.getonce"
3875 |              prim__once
3876 |              prim__setOnce
3877 |              False
3878 |              (v :> AddEventListenerOptions)
3879 |
3880 |
3881 |   export
3882 |   passive :
3883 |        {auto 0 _ : JSType t}
3884 |     -> {auto 0 _ : Elem AddEventListenerOptions (Types t)}
3885 |     -> t
3886 |     -> Attribute True Optional Bool
3887 |   passive v = fromUndefOrPrim
3888 |                 "AddEventListenerOptions.getpassive"
3889 |                 prim__passive
3890 |                 prim__setPassive
3891 |                 False
3892 |                 (v :> AddEventListenerOptions)
3893 |
3894 |
3895 |   export
3896 |   signal :
3897 |        {auto 0 _ : JSType t}
3898 |     -> {auto 0 _ : Elem AddEventListenerOptions (Types t)}
3899 |     -> t
3900 |     -> Attribute False Optional AbortSignal
3901 |   signal v = fromUndefOrPrimNoDefault
3902 |                "AddEventListenerOptions.getsignal"
3903 |                prim__signal
3904 |                prim__setSignal
3905 |                (v :> AddEventListenerOptions)
3906 |
3907 |
3908 |
3909 | namespace CustomEventInit
3910 |
3911 |   export
3912 |   new' : (detail : Optional Any) -> JSIO CustomEventInit
3913 |   new' a = primJS $ CustomEventInit.prim__new (toFFI a)
3914 |
3915 |   export
3916 |   new : JSIO CustomEventInit
3917 |   new = primJS $ CustomEventInit.prim__new undef
3918 |
3919 |
3920 |   export
3921 |   detail :
3922 |        {auto 0 _ : JSType t}
3923 |     -> {auto 0 _ : Elem CustomEventInit (Types t)}
3924 |     -> t
3925 |     -> Attribute True Optional Any
3926 |   detail v = fromUndefOrPrim
3927 |                "CustomEventInit.getdetail"
3928 |                prim__detail
3929 |                prim__setDetail
3930 |                (MkAny $ null {a = ()})
3931 |                (v :> CustomEventInit)
3932 |
3933 |
3934 |
3935 | namespace ElementCreationOptions
3936 |
3937 |   export
3938 |   new' : (is : Optional String) -> JSIO ElementCreationOptions
3939 |   new' a = primJS $ ElementCreationOptions.prim__new (toFFI a)
3940 |
3941 |   export
3942 |   new : JSIO ElementCreationOptions
3943 |   new = primJS $ ElementCreationOptions.prim__new undef
3944 |
3945 |
3946 |   export
3947 |   is :
3948 |        {auto 0 _ : JSType t}
3949 |     -> {auto 0 _ : Elem ElementCreationOptions (Types t)}
3950 |     -> t
3951 |     -> Attribute False Optional String
3952 |   is v = fromUndefOrPrimNoDefault
3953 |            "ElementCreationOptions.getis"
3954 |            prim__is
3955 |            prim__setIs
3956 |            (v :> ElementCreationOptions)
3957 |
3958 |
3959 |
3960 | namespace EventInit
3961 |
3962 |   export
3963 |   new' :
3964 |        (bubbles : Optional Bool)
3965 |     -> (cancelable : Optional Bool)
3966 |     -> (composed : Optional Bool)
3967 |     -> JSIO EventInit
3968 |   new' a b c = primJS $ EventInit.prim__new (toFFI a) (toFFI b) (toFFI c)
3969 |
3970 |   export
3971 |   new : JSIO EventInit
3972 |   new = primJS $ EventInit.prim__new undef undef undef
3973 |
3974 |
3975 |   export
3976 |   bubbles :
3977 |        {auto 0 _ : JSType t}
3978 |     -> {auto 0 _ : Elem EventInit (Types t)}
3979 |     -> t
3980 |     -> Attribute True Optional Bool
3981 |   bubbles v = fromUndefOrPrim
3982 |                 "EventInit.getbubbles"
3983 |                 prim__bubbles
3984 |                 prim__setBubbles
3985 |                 False
3986 |                 (v :> EventInit)
3987 |
3988 |
3989 |   export
3990 |   cancelable :
3991 |        {auto 0 _ : JSType t}
3992 |     -> {auto 0 _ : Elem EventInit (Types t)}
3993 |     -> t
3994 |     -> Attribute True Optional Bool
3995 |   cancelable v = fromUndefOrPrim
3996 |                    "EventInit.getcancelable"
3997 |                    prim__cancelable
3998 |                    prim__setCancelable
3999 |                    False
4000 |                    (v :> EventInit)
4001 |
4002 |
4003 |   export
4004 |   composed :
4005 |        {auto 0 _ : JSType t}
4006 |     -> {auto 0 _ : Elem EventInit (Types t)}
4007 |     -> t
4008 |     -> Attribute True Optional Bool
4009 |   composed v = fromUndefOrPrim
4010 |                  "EventInit.getcomposed"
4011 |                  prim__composed
4012 |                  prim__setComposed
4013 |                  False
4014 |                  (v :> EventInit)
4015 |
4016 |
4017 |
4018 | namespace EventListenerOptions
4019 |
4020 |   export
4021 |   new' : (capture : Optional Bool) -> JSIO EventListenerOptions
4022 |   new' a = primJS $ EventListenerOptions.prim__new (toFFI a)
4023 |
4024 |   export
4025 |   new : JSIO EventListenerOptions
4026 |   new = primJS $ EventListenerOptions.prim__new undef
4027 |
4028 |
4029 |   export
4030 |   capture :
4031 |        {auto 0 _ : JSType t}
4032 |     -> {auto 0 _ : Elem EventListenerOptions (Types t)}
4033 |     -> t
4034 |     -> Attribute True Optional Bool
4035 |   capture v = fromUndefOrPrim
4036 |                 "EventListenerOptions.getcapture"
4037 |                 prim__capture
4038 |                 prim__setCapture
4039 |                 False
4040 |                 (v :> EventListenerOptions)
4041 |
4042 |
4043 |
4044 | namespace GetRootNodeOptions
4045 |
4046 |   export
4047 |   new' : (composed : Optional Bool) -> JSIO GetRootNodeOptions
4048 |   new' a = primJS $ GetRootNodeOptions.prim__new (toFFI a)
4049 |
4050 |   export
4051 |   new : JSIO GetRootNodeOptions
4052 |   new = primJS $ GetRootNodeOptions.prim__new undef
4053 |
4054 |
4055 |   export
4056 |   composed :
4057 |        {auto 0 _ : JSType t}
4058 |     -> {auto 0 _ : Elem GetRootNodeOptions (Types t)}
4059 |     -> t
4060 |     -> Attribute True Optional Bool
4061 |   composed v = fromUndefOrPrim
4062 |                  "GetRootNodeOptions.getcomposed"
4063 |                  prim__composed
4064 |                  prim__setComposed
4065 |                  False
4066 |                  (v :> GetRootNodeOptions)
4067 |
4068 |
4069 |
4070 | namespace MutationObserverInit
4071 |
4072 |   export
4073 |   new' :
4074 |        (childList : Optional Bool)
4075 |     -> (attributes : Optional Bool)
4076 |     -> (characterData : Optional Bool)
4077 |     -> (subtree : Optional Bool)
4078 |     -> (attributeOldValue : Optional Bool)
4079 |     -> (characterDataOldValue : Optional Bool)
4080 |     -> (attributeFilter : Optional (Array String))
4081 |     -> JSIO MutationObserverInit
4082 |   new' a b c d e f g = primJS $
4083 |     MutationObserverInit.prim__new
4084 |       (toFFI a)
4085 |       (toFFI b)
4086 |       (toFFI c)
4087 |       (toFFI d)
4088 |       (toFFI e)
4089 |       (toFFI f)
4090 |       (toFFI g)
4091 |
4092 |   export
4093 |   new : JSIO MutationObserverInit
4094 |   new = primJS $
4095 |     MutationObserverInit.prim__new undef undef undef undef undef undef undef
4096 |
4097 |
4098 |   export
4099 |   attributeFilter :
4100 |        {auto 0 _ : JSType t}
4101 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4102 |     -> t
4103 |     -> Attribute False Optional (Array String)
4104 |   attributeFilter v = fromUndefOrPrimNoDefault
4105 |                         "MutationObserverInit.getattributeFilter"
4106 |                         prim__attributeFilter
4107 |                         prim__setAttributeFilter
4108 |                         (v :> MutationObserverInit)
4109 |
4110 |
4111 |   export
4112 |   attributeOldValue :
4113 |        {auto 0 _ : JSType t}
4114 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4115 |     -> t
4116 |     -> Attribute False Optional Bool
4117 |   attributeOldValue v = fromUndefOrPrimNoDefault
4118 |                           "MutationObserverInit.getattributeOldValue"
4119 |                           prim__attributeOldValue
4120 |                           prim__setAttributeOldValue
4121 |                           (v :> MutationObserverInit)
4122 |
4123 |
4124 |   export
4125 |   attributes :
4126 |        {auto 0 _ : JSType t}
4127 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4128 |     -> t
4129 |     -> Attribute False Optional Bool
4130 |   attributes v = fromUndefOrPrimNoDefault
4131 |                    "MutationObserverInit.getattributes"
4132 |                    prim__attributes
4133 |                    prim__setAttributes
4134 |                    (v :> MutationObserverInit)
4135 |
4136 |
4137 |   export
4138 |   characterData :
4139 |        {auto 0 _ : JSType t}
4140 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4141 |     -> t
4142 |     -> Attribute False Optional Bool
4143 |   characterData v = fromUndefOrPrimNoDefault
4144 |                       "MutationObserverInit.getcharacterData"
4145 |                       prim__characterData
4146 |                       prim__setCharacterData
4147 |                       (v :> MutationObserverInit)
4148 |
4149 |
4150 |   export
4151 |   characterDataOldValue :
4152 |        {auto 0 _ : JSType t}
4153 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4154 |     -> t
4155 |     -> Attribute False Optional Bool
4156 |   characterDataOldValue v = fromUndefOrPrimNoDefault
4157 |                               "MutationObserverInit.getcharacterDataOldValue"
4158 |                               prim__characterDataOldValue
4159 |                               prim__setCharacterDataOldValue
4160 |                               (v :> MutationObserverInit)
4161 |
4162 |
4163 |   export
4164 |   childList :
4165 |        {auto 0 _ : JSType t}
4166 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4167 |     -> t
4168 |     -> Attribute True Optional Bool
4169 |   childList v = fromUndefOrPrim
4170 |                   "MutationObserverInit.getchildList"
4171 |                   prim__childList
4172 |                   prim__setChildList
4173 |                   False
4174 |                   (v :> MutationObserverInit)
4175 |
4176 |
4177 |   export
4178 |   subtree :
4179 |        {auto 0 _ : JSType t}
4180 |     -> {auto 0 _ : Elem MutationObserverInit (Types t)}
4181 |     -> t
4182 |     -> Attribute True Optional Bool
4183 |   subtree v = fromUndefOrPrim
4184 |                 "MutationObserverInit.getsubtree"
4185 |                 prim__subtree
4186 |                 prim__setSubtree
4187 |                 False
4188 |                 (v :> MutationObserverInit)
4189 |
4190 |
4191 |
4192 | namespace ShadowRootInit
4193 |
4194 |   export
4195 |   new' :
4196 |        (mode : ShadowRootMode)
4197 |     -> (delegatesFocus : Optional Bool)
4198 |     -> JSIO ShadowRootInit
4199 |   new' a b = primJS $ ShadowRootInit.prim__new (toFFI a) (toFFI b)
4200 |
4201 |   export
4202 |   new : (mode : ShadowRootMode) -> JSIO ShadowRootInit
4203 |   new a = primJS $ ShadowRootInit.prim__new (toFFI a) undef
4204 |
4205 |
4206 |   export
4207 |   delegatesFocus :
4208 |        {auto 0 _ : JSType t}
4209 |     -> {auto 0 _ : Elem ShadowRootInit (Types t)}
4210 |     -> t
4211 |     -> Attribute True Optional Bool
4212 |   delegatesFocus v = fromUndefOrPrim
4213 |                        "ShadowRootInit.getdelegatesFocus"
4214 |                        prim__delegatesFocus
4215 |                        prim__setDelegatesFocus
4216 |                        False
4217 |                        (v :> ShadowRootInit)
4218 |
4219 |
4220 |   export
4221 |   mode :
4222 |        {auto 0 _ : JSType t}
4223 |     -> {auto 0 _ : Elem ShadowRootInit (Types t)}
4224 |     -> t
4225 |     -> Attribute True Prelude.id ShadowRootMode
4226 |   mode v = fromPrim
4227 |              "ShadowRootInit.getmode"
4228 |              prim__mode
4229 |              prim__setMode
4230 |              (v :> ShadowRootInit)
4231 |
4232 |
4233 |
4234 | namespace StaticRangeInit
4235 |
4236 |   export
4237 |   new :
4238 |        {auto 0 _ : JSType t1}
4239 |     -> {auto 0 _ : JSType t3}
4240 |     -> {auto 0 _ : Elem Node (Types t1)}
4241 |     -> {auto 0 _ : Elem Node (Types t3)}
4242 |     -> (startContainer : t1)
4243 |     -> (startOffset : Bits32)
4244 |     -> (endContainer : t3)
4245 |     -> (endOffset : Bits32)
4246 |     -> JSIO StaticRangeInit
4247 |   new a b c d = primJS $ StaticRangeInit.prim__new (up a) b (up c) d
4248 |
4249 |
4250 |   export
4251 |   endContainer :
4252 |        {auto 0 _ : JSType t}
4253 |     -> {auto 0 _ : Elem StaticRangeInit (Types t)}
4254 |     -> t
4255 |     -> Attribute True Prelude.id Node
4256 |   endContainer v = fromPrim
4257 |                      "StaticRangeInit.getendContainer"
4258 |                      prim__endContainer
4259 |                      prim__setEndContainer
4260 |                      (v :> StaticRangeInit)
4261 |
4262 |
4263 |   export
4264 |   endOffset :
4265 |        {auto 0 _ : JSType t}
4266 |     -> {auto 0 _ : Elem StaticRangeInit (Types t)}
4267 |     -> t
4268 |     -> Attribute True Prelude.id Bits32
4269 |   endOffset v = fromPrim
4270 |                   "StaticRangeInit.getendOffset"
4271 |                   prim__endOffset
4272 |                   prim__setEndOffset
4273 |                   (v :> StaticRangeInit)
4274 |
4275 |
4276 |   export
4277 |   startContainer :
4278 |        {auto 0 _ : JSType t}
4279 |     -> {auto 0 _ : Elem StaticRangeInit (Types t)}
4280 |     -> t
4281 |     -> Attribute True Prelude.id Node
4282 |   startContainer v = fromPrim
4283 |                        "StaticRangeInit.getstartContainer"
4284 |                        prim__startContainer
4285 |                        prim__setStartContainer
4286 |                        (v :> StaticRangeInit)
4287 |
4288 |
4289 |   export
4290 |   startOffset :
4291 |        {auto 0 _ : JSType t}
4292 |     -> {auto 0 _ : Elem StaticRangeInit (Types t)}
4293 |     -> t
4294 |     -> Attribute True Prelude.id Bits32
4295 |   startOffset v = fromPrim
4296 |                     "StaticRangeInit.getstartOffset"
4297 |                     prim__startOffset
4298 |                     prim__setStartOffset
4299 |                     (v :> StaticRangeInit)
4300 |
4301 |
4302 |
4303 |
4304 | --------------------------------------------------------------------------------
4305 | --          Callbacks
4306 | --------------------------------------------------------------------------------
4307 |
4308 | namespace EventListener
4309 |
4310 |   export
4311 |   toEventListener : (Event -> IO ()) -> JSIO EventListener
4312 |   toEventListener cb = primJS $ prim__toEventListener cb
4313 |
4314 |
4315 |
4316 | namespace MutationCallback
4317 |
4318 |   export
4319 |   toMutationCallback :
4320 |        (Array MutationRecord -> MutationObserver -> IO ())
4321 |     -> JSIO MutationCallback
4322 |   toMutationCallback cb = primJS $ prim__toMutationCallback cb
4323 |
4324 |
4325 |
4326 | namespace NodeFilter
4327 |
4328 |   export
4329 |   toNodeFilter : (Node -> IO Bits16) -> JSIO NodeFilter
4330 |   toNodeFilter cb = primJS $ prim__toNodeFilter cb
4331 |
4332 |
4333 |   public export
4334 |   FILTER_ACCEPT : Bits16
4335 |   FILTER_ACCEPT = 1
4336 |
4337 |
4338 |   public export
4339 |   FILTER_REJECT : Bits16
4340 |   FILTER_REJECT = 2
4341 |
4342 |
4343 |   public export
4344 |   FILTER_SKIP : Bits16
4345 |   FILTER_SKIP = 3
4346 |
4347 |
4348 |   public export
4349 |   SHOW_ALL : Bits32
4350 |   SHOW_ALL = 0xffffffff
4351 |
4352 |
4353 |   public export
4354 |   SHOW_ATTRIBUTE : Bits32
4355 |   SHOW_ATTRIBUTE = 0x2
4356 |
4357 |
4358 |   public export
4359 |   SHOW_CDATA_SECTION : Bits32
4360 |   SHOW_CDATA_SECTION = 0x8
4361 |
4362 |
4363 |   public export
4364 |   SHOW_COMMENT : Bits32
4365 |   SHOW_COMMENT = 0x80
4366 |
4367 |
4368 |   public export
4369 |   SHOW_DOCUMENT : Bits32
4370 |   SHOW_DOCUMENT = 0x100
4371 |
4372 |
4373 |   public export
4374 |   SHOW_DOCUMENT_FRAGMENT : Bits32
4375 |   SHOW_DOCUMENT_FRAGMENT = 0x400
4376 |
4377 |
4378 |   public export
4379 |   SHOW_DOCUMENT_TYPE : Bits32
4380 |   SHOW_DOCUMENT_TYPE = 0x200
4381 |
4382 |
4383 |   public export
4384 |   SHOW_ELEMENT : Bits32
4385 |   SHOW_ELEMENT = 0x1
4386 |
4387 |
4388 |   public export
4389 |   SHOW_ENTITY : Bits32
4390 |   SHOW_ENTITY = 0x20
4391 |
4392 |
4393 |   public export
4394 |   SHOW_ENTITY_REFERENCE : Bits32
4395 |   SHOW_ENTITY_REFERENCE = 0x10
4396 |
4397 |
4398 |   public export
4399 |   SHOW_NOTATION : Bits32
4400 |   SHOW_NOTATION = 0x800
4401 |
4402 |
4403 |   public export
4404 |   SHOW_PROCESSING_INSTRUCTION : Bits32
4405 |   SHOW_PROCESSING_INSTRUCTION = 0x40
4406 |
4407 |
4408 |   public export
4409 |   SHOW_TEXT : Bits32
4410 |   SHOW_TEXT = 0x4
4411 |
4412 |
4413 |
4414 | namespace XPathNSResolver
4415 |
4416 |   export
4417 |   toXPathNSResolver :
4418 |        (Nullable String -> IO (Nullable String))
4419 |     -> JSIO XPathNSResolver
4420 |   toXPathNSResolver cb = primJS $ prim__toXPathNSResolver cb
4421 |