0 | module Web.Raw.Geometry
   1 |
   2 | import JS
   3 | import Web.Internal.GeometryPrim
   4 | import Web.Internal.Types
   5 |
   6 | %default total
   7 |
   8 |
   9 | --------------------------------------------------------------------------------
  10 | --          Interfaces
  11 | --------------------------------------------------------------------------------
  12 |
  13 | namespace DOMMatrix
  14 |
  15 |   export
  16 |   fromFloat32Array : (array32 : Float32Array) -> JSIO DOMMatrix
  17 |   fromFloat32Array a = primJS $ DOMMatrix.prim__fromFloat32Array a
  18 |
  19 |
  20 |   export
  21 |   fromFloat64Array : (array64 : Float64Array) -> JSIO DOMMatrix
  22 |   fromFloat64Array a = primJS $ DOMMatrix.prim__fromFloat64Array a
  23 |
  24 |
  25 |   export
  26 |   fromMatrix' :
  27 |        {auto 0 _ : JSType t1}
  28 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t1)}
  29 |     -> (other : Optional t1)
  30 |     -> JSIO DOMMatrix
  31 |   fromMatrix' a = primJS $ DOMMatrix.prim__fromMatrix (optUp a)
  32 |
  33 |   export
  34 |   fromMatrix : JSIO DOMMatrix
  35 |   fromMatrix = primJS $ DOMMatrix.prim__fromMatrix undef
  36 |
  37 |
  38 |   export
  39 |   invertSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
  40 |   invertSelf a = primJS $ DOMMatrix.prim__invertSelf a
  41 |
  42 |
  43 |   export
  44 |   multiplySelf' :
  45 |        {auto 0 _ : JSType t2}
  46 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
  47 |     -> (obj : DOMMatrix)
  48 |     -> (other : Optional t2)
  49 |     -> JSIO DOMMatrix
  50 |   multiplySelf' a b = primJS $ DOMMatrix.prim__multiplySelf a (optUp b)
  51 |
  52 |   export
  53 |   multiplySelf : (obj : DOMMatrix) -> JSIO DOMMatrix
  54 |   multiplySelf a = primJS $ DOMMatrix.prim__multiplySelf a undef
  55 |
  56 |
  57 |   export
  58 |   preMultiplySelf' :
  59 |        {auto 0 _ : JSType t2}
  60 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
  61 |     -> (obj : DOMMatrix)
  62 |     -> (other : Optional t2)
  63 |     -> JSIO DOMMatrix
  64 |   preMultiplySelf' a b = primJS $ DOMMatrix.prim__preMultiplySelf a (optUp b)
  65 |
  66 |   export
  67 |   preMultiplySelf : (obj : DOMMatrix) -> JSIO DOMMatrix
  68 |   preMultiplySelf a = primJS $ DOMMatrix.prim__preMultiplySelf a undef
  69 |
  70 |
  71 |   export
  72 |   rotateAxisAngleSelf' :
  73 |        (obj : DOMMatrix)
  74 |     -> (x : Optional Double)
  75 |     -> (y : Optional Double)
  76 |     -> (z : Optional Double)
  77 |     -> (angle : Optional Double)
  78 |     -> JSIO DOMMatrix
  79 |   rotateAxisAngleSelf' a b c d e = primJS $
  80 |     DOMMatrix.prim__rotateAxisAngleSelf
  81 |       a
  82 |       (toFFI b)
  83 |       (toFFI c)
  84 |       (toFFI d)
  85 |       (toFFI e)
  86 |
  87 |   export
  88 |   rotateAxisAngleSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
  89 |   rotateAxisAngleSelf a = primJS $
  90 |     DOMMatrix.prim__rotateAxisAngleSelf a undef undef undef undef
  91 |
  92 |
  93 |   export
  94 |   rotateFromVectorSelf' :
  95 |        (obj : DOMMatrix)
  96 |     -> (x : Optional Double)
  97 |     -> (y : Optional Double)
  98 |     -> JSIO DOMMatrix
  99 |   rotateFromVectorSelf' a b c = primJS $
 100 |     DOMMatrix.prim__rotateFromVectorSelf a (toFFI b) (toFFI c)
 101 |
 102 |   export
 103 |   rotateFromVectorSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 104 |   rotateFromVectorSelf a = primJS $
 105 |     DOMMatrix.prim__rotateFromVectorSelf a undef undef
 106 |
 107 |
 108 |   export
 109 |   rotateSelf' :
 110 |        (obj : DOMMatrix)
 111 |     -> (rotX : Optional Double)
 112 |     -> (rotY : Optional Double)
 113 |     -> (rotZ : Optional Double)
 114 |     -> JSIO DOMMatrix
 115 |   rotateSelf' a b c d = primJS $
 116 |     DOMMatrix.prim__rotateSelf a (toFFI b) (toFFI c) (toFFI d)
 117 |
 118 |   export
 119 |   rotateSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 120 |   rotateSelf a = primJS $ DOMMatrix.prim__rotateSelf a undef undef undef
 121 |
 122 |
 123 |   export
 124 |   scale3dSelf' :
 125 |        (obj : DOMMatrix)
 126 |     -> (scale : Optional Double)
 127 |     -> (originX : Optional Double)
 128 |     -> (originY : Optional Double)
 129 |     -> (originZ : Optional Double)
 130 |     -> JSIO DOMMatrix
 131 |   scale3dSelf' a b c d e = primJS $
 132 |     DOMMatrix.prim__scale3dSelf a (toFFI b) (toFFI c) (toFFI d) (toFFI e)
 133 |
 134 |   export
 135 |   scale3dSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 136 |   scale3dSelf a = primJS $ DOMMatrix.prim__scale3dSelf a undef undef undef undef
 137 |
 138 |
 139 |   export
 140 |   scaleSelf' :
 141 |        (obj : DOMMatrix)
 142 |     -> (scaleX : Optional Double)
 143 |     -> (scaleY : Optional Double)
 144 |     -> (scaleZ : Optional Double)
 145 |     -> (originX : Optional Double)
 146 |     -> (originY : Optional Double)
 147 |     -> (originZ : Optional Double)
 148 |     -> JSIO DOMMatrix
 149 |   scaleSelf' a b c d e f g = primJS $
 150 |     DOMMatrix.prim__scaleSelf
 151 |       a
 152 |       (toFFI b)
 153 |       (toFFI c)
 154 |       (toFFI d)
 155 |       (toFFI e)
 156 |       (toFFI f)
 157 |       (toFFI g)
 158 |
 159 |   export
 160 |   scaleSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 161 |   scaleSelf a = primJS $
 162 |     DOMMatrix.prim__scaleSelf a undef undef undef undef undef undef
 163 |
 164 |
 165 |   export
 166 |   setMatrixValue :
 167 |        (obj : DOMMatrix)
 168 |     -> (transformList : String)
 169 |     -> JSIO DOMMatrix
 170 |   setMatrixValue a b = primJS $ DOMMatrix.prim__setMatrixValue a b
 171 |
 172 |
 173 |   export
 174 |   skewXSelf' : (obj : DOMMatrix) -> (sx : Optional Double) -> JSIO DOMMatrix
 175 |   skewXSelf' a b = primJS $ DOMMatrix.prim__skewXSelf a (toFFI b)
 176 |
 177 |   export
 178 |   skewXSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 179 |   skewXSelf a = primJS $ DOMMatrix.prim__skewXSelf a undef
 180 |
 181 |
 182 |   export
 183 |   skewYSelf' : (obj : DOMMatrix) -> (sy : Optional Double) -> JSIO DOMMatrix
 184 |   skewYSelf' a b = primJS $ DOMMatrix.prim__skewYSelf a (toFFI b)
 185 |
 186 |   export
 187 |   skewYSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 188 |   skewYSelf a = primJS $ DOMMatrix.prim__skewYSelf a undef
 189 |
 190 |
 191 |   export
 192 |   translateSelf' :
 193 |        (obj : DOMMatrix)
 194 |     -> (tx : Optional Double)
 195 |     -> (ty : Optional Double)
 196 |     -> (tz : Optional Double)
 197 |     -> JSIO DOMMatrix
 198 |   translateSelf' a b c d = primJS $
 199 |     DOMMatrix.prim__translateSelf a (toFFI b) (toFFI c) (toFFI d)
 200 |
 201 |   export
 202 |   translateSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
 203 |   translateSelf a = primJS $ DOMMatrix.prim__translateSelf a undef undef undef
 204 |
 205 |
 206 |
 207 | namespace DOMMatrixReadOnly
 208 |
 209 |   export
 210 |   fromFloat32Array : (array32 : Float32Array) -> JSIO DOMMatrixReadOnly
 211 |   fromFloat32Array a = primJS $ DOMMatrixReadOnly.prim__fromFloat32Array a
 212 |
 213 |
 214 |   export
 215 |   fromFloat64Array : (array64 : Float64Array) -> JSIO DOMMatrixReadOnly
 216 |   fromFloat64Array a = primJS $ DOMMatrixReadOnly.prim__fromFloat64Array a
 217 |
 218 |
 219 |   export
 220 |   fromMatrix' :
 221 |        {auto 0 _ : JSType t1}
 222 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t1)}
 223 |     -> (other : Optional t1)
 224 |     -> JSIO DOMMatrixReadOnly
 225 |   fromMatrix' a = primJS $ DOMMatrixReadOnly.prim__fromMatrix (optUp a)
 226 |
 227 |   export
 228 |   fromMatrix : JSIO DOMMatrixReadOnly
 229 |   fromMatrix = primJS $ DOMMatrixReadOnly.prim__fromMatrix undef
 230 |
 231 |
 232 |   export
 233 |   a :
 234 |        {auto 0 _ : JSType t1}
 235 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 236 |     -> (obj : t1)
 237 |     -> JSIO Double
 238 |   a b = primJS $ DOMMatrixReadOnly.prim__a (up b)
 239 |
 240 |
 241 |   export
 242 |   b :
 243 |        {auto 0 _ : JSType t1}
 244 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 245 |     -> (obj : t1)
 246 |     -> JSIO Double
 247 |   b a = primJS $ DOMMatrixReadOnly.prim__b (up a)
 248 |
 249 |
 250 |   export
 251 |   c :
 252 |        {auto 0 _ : JSType t1}
 253 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 254 |     -> (obj : t1)
 255 |     -> JSIO Double
 256 |   c a = primJS $ DOMMatrixReadOnly.prim__c (up a)
 257 |
 258 |
 259 |   export
 260 |   d :
 261 |        {auto 0 _ : JSType t1}
 262 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 263 |     -> (obj : t1)
 264 |     -> JSIO Double
 265 |   d a = primJS $ DOMMatrixReadOnly.prim__d (up a)
 266 |
 267 |
 268 |   export
 269 |   e :
 270 |        {auto 0 _ : JSType t1}
 271 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 272 |     -> (obj : t1)
 273 |     -> JSIO Double
 274 |   e a = primJS $ DOMMatrixReadOnly.prim__e (up a)
 275 |
 276 |
 277 |   export
 278 |   f :
 279 |        {auto 0 _ : JSType t1}
 280 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 281 |     -> (obj : t1)
 282 |     -> JSIO Double
 283 |   f a = primJS $ DOMMatrixReadOnly.prim__f (up a)
 284 |
 285 |
 286 |   export
 287 |   is2D :
 288 |        {auto 0 _ : JSType t1}
 289 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 290 |     -> (obj : t1)
 291 |     -> JSIO Bool
 292 |   is2D a = tryJS "DOMMatrixReadOnly.is2D" $ DOMMatrixReadOnly.prim__is2D (up a)
 293 |
 294 |
 295 |   export
 296 |   isIdentity :
 297 |        {auto 0 _ : JSType t1}
 298 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 299 |     -> (obj : t1)
 300 |     -> JSIO Bool
 301 |   isIdentity a = tryJS "DOMMatrixReadOnly.isIdentity" $
 302 |     DOMMatrixReadOnly.prim__isIdentity (up a)
 303 |
 304 |
 305 |   export
 306 |   m11 :
 307 |        {auto 0 _ : JSType t1}
 308 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 309 |     -> (obj : t1)
 310 |     -> JSIO Double
 311 |   m11 a = primJS $ DOMMatrixReadOnly.prim__m11 (up a)
 312 |
 313 |
 314 |   export
 315 |   m12 :
 316 |        {auto 0 _ : JSType t1}
 317 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 318 |     -> (obj : t1)
 319 |     -> JSIO Double
 320 |   m12 a = primJS $ DOMMatrixReadOnly.prim__m12 (up a)
 321 |
 322 |
 323 |   export
 324 |   m13 :
 325 |        {auto 0 _ : JSType t1}
 326 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 327 |     -> (obj : t1)
 328 |     -> JSIO Double
 329 |   m13 a = primJS $ DOMMatrixReadOnly.prim__m13 (up a)
 330 |
 331 |
 332 |   export
 333 |   m14 :
 334 |        {auto 0 _ : JSType t1}
 335 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 336 |     -> (obj : t1)
 337 |     -> JSIO Double
 338 |   m14 a = primJS $ DOMMatrixReadOnly.prim__m14 (up a)
 339 |
 340 |
 341 |   export
 342 |   m21 :
 343 |        {auto 0 _ : JSType t1}
 344 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 345 |     -> (obj : t1)
 346 |     -> JSIO Double
 347 |   m21 a = primJS $ DOMMatrixReadOnly.prim__m21 (up a)
 348 |
 349 |
 350 |   export
 351 |   m22 :
 352 |        {auto 0 _ : JSType t1}
 353 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 354 |     -> (obj : t1)
 355 |     -> JSIO Double
 356 |   m22 a = primJS $ DOMMatrixReadOnly.prim__m22 (up a)
 357 |
 358 |
 359 |   export
 360 |   m23 :
 361 |        {auto 0 _ : JSType t1}
 362 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 363 |     -> (obj : t1)
 364 |     -> JSIO Double
 365 |   m23 a = primJS $ DOMMatrixReadOnly.prim__m23 (up a)
 366 |
 367 |
 368 |   export
 369 |   m24 :
 370 |        {auto 0 _ : JSType t1}
 371 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 372 |     -> (obj : t1)
 373 |     -> JSIO Double
 374 |   m24 a = primJS $ DOMMatrixReadOnly.prim__m24 (up a)
 375 |
 376 |
 377 |   export
 378 |   m31 :
 379 |        {auto 0 _ : JSType t1}
 380 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 381 |     -> (obj : t1)
 382 |     -> JSIO Double
 383 |   m31 a = primJS $ DOMMatrixReadOnly.prim__m31 (up a)
 384 |
 385 |
 386 |   export
 387 |   m32 :
 388 |        {auto 0 _ : JSType t1}
 389 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 390 |     -> (obj : t1)
 391 |     -> JSIO Double
 392 |   m32 a = primJS $ DOMMatrixReadOnly.prim__m32 (up a)
 393 |
 394 |
 395 |   export
 396 |   m33 :
 397 |        {auto 0 _ : JSType t1}
 398 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 399 |     -> (obj : t1)
 400 |     -> JSIO Double
 401 |   m33 a = primJS $ DOMMatrixReadOnly.prim__m33 (up a)
 402 |
 403 |
 404 |   export
 405 |   m34 :
 406 |        {auto 0 _ : JSType t1}
 407 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 408 |     -> (obj : t1)
 409 |     -> JSIO Double
 410 |   m34 a = primJS $ DOMMatrixReadOnly.prim__m34 (up a)
 411 |
 412 |
 413 |   export
 414 |   m41 :
 415 |        {auto 0 _ : JSType t1}
 416 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 417 |     -> (obj : t1)
 418 |     -> JSIO Double
 419 |   m41 a = primJS $ DOMMatrixReadOnly.prim__m41 (up a)
 420 |
 421 |
 422 |   export
 423 |   m42 :
 424 |        {auto 0 _ : JSType t1}
 425 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 426 |     -> (obj : t1)
 427 |     -> JSIO Double
 428 |   m42 a = primJS $ DOMMatrixReadOnly.prim__m42 (up a)
 429 |
 430 |
 431 |   export
 432 |   m43 :
 433 |        {auto 0 _ : JSType t1}
 434 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 435 |     -> (obj : t1)
 436 |     -> JSIO Double
 437 |   m43 a = primJS $ DOMMatrixReadOnly.prim__m43 (up a)
 438 |
 439 |
 440 |   export
 441 |   m44 :
 442 |        {auto 0 _ : JSType t1}
 443 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 444 |     -> (obj : t1)
 445 |     -> JSIO Double
 446 |   m44 a = primJS $ DOMMatrixReadOnly.prim__m44 (up a)
 447 |
 448 |
 449 |   export
 450 |   flipX :
 451 |        {auto 0 _ : JSType t1}
 452 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 453 |     -> (obj : t1)
 454 |     -> JSIO DOMMatrix
 455 |   flipX a = primJS $ DOMMatrixReadOnly.prim__flipX (up a)
 456 |
 457 |
 458 |   export
 459 |   flipY :
 460 |        {auto 0 _ : JSType t1}
 461 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 462 |     -> (obj : t1)
 463 |     -> JSIO DOMMatrix
 464 |   flipY a = primJS $ DOMMatrixReadOnly.prim__flipY (up a)
 465 |
 466 |
 467 |   export
 468 |   inverse :
 469 |        {auto 0 _ : JSType t1}
 470 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 471 |     -> (obj : t1)
 472 |     -> JSIO DOMMatrix
 473 |   inverse a = primJS $ DOMMatrixReadOnly.prim__inverse (up a)
 474 |
 475 |
 476 |   export
 477 |   multiply' :
 478 |        {auto 0 _ : JSType t1}
 479 |     -> {auto 0 _ : JSType t2}
 480 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 481 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
 482 |     -> (obj : t1)
 483 |     -> (other : Optional t2)
 484 |     -> JSIO DOMMatrix
 485 |   multiply' a b = primJS $ DOMMatrixReadOnly.prim__multiply (up a) (optUp b)
 486 |
 487 |   export
 488 |   multiply :
 489 |        {auto 0 _ : JSType t1}
 490 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 491 |     -> (obj : t1)
 492 |     -> JSIO DOMMatrix
 493 |   multiply a = primJS $ DOMMatrixReadOnly.prim__multiply (up a) undef
 494 |
 495 |
 496 |   export
 497 |   rotateAxisAngle' :
 498 |        {auto 0 _ : JSType t1}
 499 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 500 |     -> (obj : t1)
 501 |     -> (x : Optional Double)
 502 |     -> (y : Optional Double)
 503 |     -> (z : Optional Double)
 504 |     -> (angle : Optional Double)
 505 |     -> JSIO DOMMatrix
 506 |   rotateAxisAngle' a b c d e = primJS $
 507 |     DOMMatrixReadOnly.prim__rotateAxisAngle
 508 |       (up a)
 509 |       (toFFI b)
 510 |       (toFFI c)
 511 |       (toFFI d)
 512 |       (toFFI e)
 513 |
 514 |   export
 515 |   rotateAxisAngle :
 516 |        {auto 0 _ : JSType t1}
 517 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 518 |     -> (obj : t1)
 519 |     -> JSIO DOMMatrix
 520 |   rotateAxisAngle a = primJS $
 521 |     DOMMatrixReadOnly.prim__rotateAxisAngle (up a) undef undef undef undef
 522 |
 523 |
 524 |   export
 525 |   rotate' :
 526 |        {auto 0 _ : JSType t1}
 527 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 528 |     -> (obj : t1)
 529 |     -> (rotX : Optional Double)
 530 |     -> (rotY : Optional Double)
 531 |     -> (rotZ : Optional Double)
 532 |     -> JSIO DOMMatrix
 533 |   rotate' a b c d = primJS $
 534 |     DOMMatrixReadOnly.prim__rotate (up a) (toFFI b) (toFFI c) (toFFI d)
 535 |
 536 |   export
 537 |   rotate :
 538 |        {auto 0 _ : JSType t1}
 539 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 540 |     -> (obj : t1)
 541 |     -> JSIO DOMMatrix
 542 |   rotate a = primJS $ DOMMatrixReadOnly.prim__rotate (up a) undef undef undef
 543 |
 544 |
 545 |   export
 546 |   rotateFromVector' :
 547 |        {auto 0 _ : JSType t1}
 548 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 549 |     -> (obj : t1)
 550 |     -> (x : Optional Double)
 551 |     -> (y : Optional Double)
 552 |     -> JSIO DOMMatrix
 553 |   rotateFromVector' a b c = primJS $
 554 |     DOMMatrixReadOnly.prim__rotateFromVector (up a) (toFFI b) (toFFI c)
 555 |
 556 |   export
 557 |   rotateFromVector :
 558 |        {auto 0 _ : JSType t1}
 559 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 560 |     -> (obj : t1)
 561 |     -> JSIO DOMMatrix
 562 |   rotateFromVector a = primJS $
 563 |     DOMMatrixReadOnly.prim__rotateFromVector (up a) undef undef
 564 |
 565 |
 566 |   export
 567 |   scale3d' :
 568 |        {auto 0 _ : JSType t1}
 569 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 570 |     -> (obj : t1)
 571 |     -> (scale : Optional Double)
 572 |     -> (originX : Optional Double)
 573 |     -> (originY : Optional Double)
 574 |     -> (originZ : Optional Double)
 575 |     -> JSIO DOMMatrix
 576 |   scale3d' a b c d e = primJS $
 577 |     DOMMatrixReadOnly.prim__scale3d
 578 |       (up a)
 579 |       (toFFI b)
 580 |       (toFFI c)
 581 |       (toFFI d)
 582 |       (toFFI e)
 583 |
 584 |   export
 585 |   scale3d :
 586 |        {auto 0 _ : JSType t1}
 587 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 588 |     -> (obj : t1)
 589 |     -> JSIO DOMMatrix
 590 |   scale3d a = primJS $
 591 |     DOMMatrixReadOnly.prim__scale3d (up a) undef undef undef undef
 592 |
 593 |
 594 |   export
 595 |   scale' :
 596 |        {auto 0 _ : JSType t1}
 597 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 598 |     -> (obj : t1)
 599 |     -> (scaleX : Optional Double)
 600 |     -> (scaleY : Optional Double)
 601 |     -> (scaleZ : Optional Double)
 602 |     -> (originX : Optional Double)
 603 |     -> (originY : Optional Double)
 604 |     -> (originZ : Optional Double)
 605 |     -> JSIO DOMMatrix
 606 |   scale' a b c d e f g = primJS $
 607 |     DOMMatrixReadOnly.prim__scale
 608 |       (up a)
 609 |       (toFFI b)
 610 |       (toFFI c)
 611 |       (toFFI d)
 612 |       (toFFI e)
 613 |       (toFFI f)
 614 |       (toFFI g)
 615 |
 616 |   export
 617 |   scale :
 618 |        {auto 0 _ : JSType t1}
 619 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 620 |     -> (obj : t1)
 621 |     -> JSIO DOMMatrix
 622 |   scale a = primJS $
 623 |     DOMMatrixReadOnly.prim__scale (up a) undef undef undef undef undef undef
 624 |
 625 |
 626 |   export
 627 |   scaleNonUniform' :
 628 |        {auto 0 _ : JSType t1}
 629 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 630 |     -> (obj : t1)
 631 |     -> (scaleX : Optional Double)
 632 |     -> (scaleY : Optional Double)
 633 |     -> JSIO DOMMatrix
 634 |   scaleNonUniform' a b c = primJS $
 635 |     DOMMatrixReadOnly.prim__scaleNonUniform (up a) (toFFI b) (toFFI c)
 636 |
 637 |   export
 638 |   scaleNonUniform :
 639 |        {auto 0 _ : JSType t1}
 640 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 641 |     -> (obj : t1)
 642 |     -> JSIO DOMMatrix
 643 |   scaleNonUniform a = primJS $
 644 |     DOMMatrixReadOnly.prim__scaleNonUniform (up a) undef undef
 645 |
 646 |
 647 |   export
 648 |   skewX' :
 649 |        {auto 0 _ : JSType t1}
 650 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 651 |     -> (obj : t1)
 652 |     -> (sx : Optional Double)
 653 |     -> JSIO DOMMatrix
 654 |   skewX' a b = primJS $ DOMMatrixReadOnly.prim__skewX (up a) (toFFI b)
 655 |
 656 |   export
 657 |   skewX :
 658 |        {auto 0 _ : JSType t1}
 659 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 660 |     -> (obj : t1)
 661 |     -> JSIO DOMMatrix
 662 |   skewX a = primJS $ DOMMatrixReadOnly.prim__skewX (up a) undef
 663 |
 664 |
 665 |   export
 666 |   skewY' :
 667 |        {auto 0 _ : JSType t1}
 668 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 669 |     -> (obj : t1)
 670 |     -> (sy : Optional Double)
 671 |     -> JSIO DOMMatrix
 672 |   skewY' a b = primJS $ DOMMatrixReadOnly.prim__skewY (up a) (toFFI b)
 673 |
 674 |   export
 675 |   skewY :
 676 |        {auto 0 _ : JSType t1}
 677 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 678 |     -> (obj : t1)
 679 |     -> JSIO DOMMatrix
 680 |   skewY a = primJS $ DOMMatrixReadOnly.prim__skewY (up a) undef
 681 |
 682 |
 683 |   export
 684 |   toFloat32Array :
 685 |        {auto 0 _ : JSType t1}
 686 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 687 |     -> (obj : t1)
 688 |     -> JSIO Float32Array
 689 |   toFloat32Array a = primJS $ DOMMatrixReadOnly.prim__toFloat32Array (up a)
 690 |
 691 |
 692 |   export
 693 |   toFloat64Array :
 694 |        {auto 0 _ : JSType t1}
 695 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 696 |     -> (obj : t1)
 697 |     -> JSIO Float64Array
 698 |   toFloat64Array a = primJS $ DOMMatrixReadOnly.prim__toFloat64Array (up a)
 699 |
 700 |
 701 |   export
 702 |   toJSON :
 703 |        {auto 0 _ : JSType t1}
 704 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 705 |     -> (obj : t1)
 706 |     -> JSIO Object
 707 |   toJSON a = primJS $ DOMMatrixReadOnly.prim__toJSON (up a)
 708 |
 709 |
 710 |   export
 711 |   toString :
 712 |        {auto 0 _ : JSType t1}
 713 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 714 |     -> (obj : t1)
 715 |     -> JSIO String
 716 |   toString a = primJS $ DOMMatrixReadOnly.prim__toString (up a)
 717 |
 718 |
 719 |   export
 720 |   transformPoint' :
 721 |        {auto 0 _ : JSType t1}
 722 |     -> {auto 0 _ : JSType t2}
 723 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 724 |     -> {auto 0 _ : Elem DOMPointInit (Types t2)}
 725 |     -> (obj : t1)
 726 |     -> (point : Optional t2)
 727 |     -> JSIO DOMPoint
 728 |   transformPoint' a b = primJS $
 729 |     DOMMatrixReadOnly.prim__transformPoint (up a) (optUp b)
 730 |
 731 |   export
 732 |   transformPoint :
 733 |        {auto 0 _ : JSType t1}
 734 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 735 |     -> (obj : t1)
 736 |     -> JSIO DOMPoint
 737 |   transformPoint a = primJS $
 738 |     DOMMatrixReadOnly.prim__transformPoint (up a) undef
 739 |
 740 |
 741 |   export
 742 |   translate' :
 743 |        {auto 0 _ : JSType t1}
 744 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 745 |     -> (obj : t1)
 746 |     -> (tx : Optional Double)
 747 |     -> (ty : Optional Double)
 748 |     -> (tz : Optional Double)
 749 |     -> JSIO DOMMatrix
 750 |   translate' a b c d = primJS $
 751 |     DOMMatrixReadOnly.prim__translate (up a) (toFFI b) (toFFI c) (toFFI d)
 752 |
 753 |   export
 754 |   translate :
 755 |        {auto 0 _ : JSType t1}
 756 |     -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
 757 |     -> (obj : t1)
 758 |     -> JSIO DOMMatrix
 759 |   translate a = primJS $
 760 |     DOMMatrixReadOnly.prim__translate (up a) undef undef undef
 761 |
 762 |
 763 |
 764 | namespace DOMPoint
 765 |
 766 |   export
 767 |   fromPoint' :
 768 |        {auto 0 _ : JSType t1}
 769 |     -> {auto 0 _ : Elem DOMPointInit (Types t1)}
 770 |     -> (other : Optional t1)
 771 |     -> JSIO DOMPoint
 772 |   fromPoint' a = primJS $ DOMPoint.prim__fromPoint (optUp a)
 773 |
 774 |   export
 775 |   fromPoint : JSIO DOMPoint
 776 |   fromPoint = primJS $ DOMPoint.prim__fromPoint undef
 777 |
 778 |
 779 |
 780 | namespace DOMPointReadOnly
 781 |
 782 |   export
 783 |   fromPoint' :
 784 |        {auto 0 _ : JSType t1}
 785 |     -> {auto 0 _ : Elem DOMPointInit (Types t1)}
 786 |     -> (other : Optional t1)
 787 |     -> JSIO DOMPointReadOnly
 788 |   fromPoint' a = primJS $ DOMPointReadOnly.prim__fromPoint (optUp a)
 789 |
 790 |   export
 791 |   fromPoint : JSIO DOMPointReadOnly
 792 |   fromPoint = primJS $ DOMPointReadOnly.prim__fromPoint undef
 793 |
 794 |
 795 |   export
 796 |   w :
 797 |        {auto 0 _ : JSType t1}
 798 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 799 |     -> (obj : t1)
 800 |     -> JSIO Double
 801 |   w a = primJS $ DOMPointReadOnly.prim__w (up a)
 802 |
 803 |
 804 |   export
 805 |   x :
 806 |        {auto 0 _ : JSType t1}
 807 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 808 |     -> (obj : t1)
 809 |     -> JSIO Double
 810 |   x a = primJS $ DOMPointReadOnly.prim__x (up a)
 811 |
 812 |
 813 |   export
 814 |   y :
 815 |        {auto 0 _ : JSType t1}
 816 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 817 |     -> (obj : t1)
 818 |     -> JSIO Double
 819 |   y a = primJS $ DOMPointReadOnly.prim__y (up a)
 820 |
 821 |
 822 |   export
 823 |   z :
 824 |        {auto 0 _ : JSType t1}
 825 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 826 |     -> (obj : t1)
 827 |     -> JSIO Double
 828 |   z a = primJS $ DOMPointReadOnly.prim__z (up a)
 829 |
 830 |
 831 |   export
 832 |   matrixTransform' :
 833 |        {auto 0 _ : JSType t1}
 834 |     -> {auto 0 _ : JSType t2}
 835 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 836 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
 837 |     -> (obj : t1)
 838 |     -> (matrix : Optional t2)
 839 |     -> JSIO DOMPoint
 840 |   matrixTransform' a b = primJS $
 841 |     DOMPointReadOnly.prim__matrixTransform (up a) (optUp b)
 842 |
 843 |   export
 844 |   matrixTransform :
 845 |        {auto 0 _ : JSType t1}
 846 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 847 |     -> (obj : t1)
 848 |     -> JSIO DOMPoint
 849 |   matrixTransform a = primJS $
 850 |     DOMPointReadOnly.prim__matrixTransform (up a) undef
 851 |
 852 |
 853 |   export
 854 |   toJSON :
 855 |        {auto 0 _ : JSType t1}
 856 |     -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
 857 |     -> (obj : t1)
 858 |     -> JSIO Object
 859 |   toJSON a = primJS $ DOMPointReadOnly.prim__toJSON (up a)
 860 |
 861 |
 862 |
 863 | namespace DOMQuad
 864 |
 865 |   export
 866 |   fromQuad' :
 867 |        {auto 0 _ : JSType t1}
 868 |     -> {auto 0 _ : Elem DOMQuadInit (Types t1)}
 869 |     -> (other : Optional t1)
 870 |     -> JSIO DOMQuad
 871 |   fromQuad' a = primJS $ DOMQuad.prim__fromQuad (optUp a)
 872 |
 873 |   export
 874 |   fromQuad : JSIO DOMQuad
 875 |   fromQuad = primJS $ DOMQuad.prim__fromQuad undef
 876 |
 877 |
 878 |   export
 879 |   fromRect' :
 880 |        {auto 0 _ : JSType t1}
 881 |     -> {auto 0 _ : Elem DOMRectInit (Types t1)}
 882 |     -> (other : Optional t1)
 883 |     -> JSIO DOMQuad
 884 |   fromRect' a = primJS $ DOMQuad.prim__fromRect (optUp a)
 885 |
 886 |   export
 887 |   fromRect : JSIO DOMQuad
 888 |   fromRect = primJS $ DOMQuad.prim__fromRect undef
 889 |
 890 |
 891 |   export
 892 |   p1 : (obj : DOMQuad) -> JSIO DOMPoint
 893 |   p1 a = primJS $ DOMQuad.prim__p1 a
 894 |
 895 |
 896 |   export
 897 |   p2 : (obj : DOMQuad) -> JSIO DOMPoint
 898 |   p2 a = primJS $ DOMQuad.prim__p2 a
 899 |
 900 |
 901 |   export
 902 |   p3 : (obj : DOMQuad) -> JSIO DOMPoint
 903 |   p3 a = primJS $ DOMQuad.prim__p3 a
 904 |
 905 |
 906 |   export
 907 |   p4 : (obj : DOMQuad) -> JSIO DOMPoint
 908 |   p4 a = primJS $ DOMQuad.prim__p4 a
 909 |
 910 |
 911 |   export
 912 |   getBounds : (obj : DOMQuad) -> JSIO DOMRect
 913 |   getBounds a = primJS $ DOMQuad.prim__getBounds a
 914 |
 915 |
 916 |   export
 917 |   toJSON : (obj : DOMQuad) -> JSIO Object
 918 |   toJSON a = primJS $ DOMQuad.prim__toJSON a
 919 |
 920 |
 921 |
 922 | namespace DOMRect
 923 |
 924 |   export
 925 |   fromRect' :
 926 |        {auto 0 _ : JSType t1}
 927 |     -> {auto 0 _ : Elem DOMRectInit (Types t1)}
 928 |     -> (other : Optional t1)
 929 |     -> JSIO DOMRect
 930 |   fromRect' a = primJS $ DOMRect.prim__fromRect (optUp a)
 931 |
 932 |   export
 933 |   fromRect : JSIO DOMRect
 934 |   fromRect = primJS $ DOMRect.prim__fromRect undef
 935 |
 936 |
 937 |
 938 | namespace DOMRectList
 939 |
 940 |   export
 941 |   length : (obj : DOMRectList) -> JSIO Bits32
 942 |   length a = primJS $ DOMRectList.prim__length a
 943 |
 944 |
 945 |   export
 946 |   item : (obj : DOMRectList) -> (index : Bits32) -> JSIO (Maybe DOMRect)
 947 |   item a b = tryJS "DOMRectList.item" $ DOMRectList.prim__item a b
 948 |
 949 |
 950 |
 951 | namespace DOMRectReadOnly
 952 |
 953 |   export
 954 |   fromRect' :
 955 |        {auto 0 _ : JSType t1}
 956 |     -> {auto 0 _ : Elem DOMRectInit (Types t1)}
 957 |     -> (other : Optional t1)
 958 |     -> JSIO DOMRectReadOnly
 959 |   fromRect' a = primJS $ DOMRectReadOnly.prim__fromRect (optUp a)
 960 |
 961 |   export
 962 |   fromRect : JSIO DOMRectReadOnly
 963 |   fromRect = primJS $ DOMRectReadOnly.prim__fromRect undef
 964 |
 965 |
 966 |   export
 967 |   bottom :
 968 |        {auto 0 _ : JSType t1}
 969 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
 970 |     -> (obj : t1)
 971 |     -> JSIO Double
 972 |   bottom a = primJS $ DOMRectReadOnly.prim__bottom (up a)
 973 |
 974 |
 975 |   export
 976 |   height :
 977 |        {auto 0 _ : JSType t1}
 978 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
 979 |     -> (obj : t1)
 980 |     -> JSIO Double
 981 |   height a = primJS $ DOMRectReadOnly.prim__height (up a)
 982 |
 983 |
 984 |   export
 985 |   left :
 986 |        {auto 0 _ : JSType t1}
 987 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
 988 |     -> (obj : t1)
 989 |     -> JSIO Double
 990 |   left a = primJS $ DOMRectReadOnly.prim__left (up a)
 991 |
 992 |
 993 |   export
 994 |   right :
 995 |        {auto 0 _ : JSType t1}
 996 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
 997 |     -> (obj : t1)
 998 |     -> JSIO Double
 999 |   right a = primJS $ DOMRectReadOnly.prim__right (up a)
1000 |
1001 |
1002 |   export
1003 |   top :
1004 |        {auto 0 _ : JSType t1}
1005 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1006 |     -> (obj : t1)
1007 |     -> JSIO Double
1008 |   top a = primJS $ DOMRectReadOnly.prim__top (up a)
1009 |
1010 |
1011 |   export
1012 |   width :
1013 |        {auto 0 _ : JSType t1}
1014 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1015 |     -> (obj : t1)
1016 |     -> JSIO Double
1017 |   width a = primJS $ DOMRectReadOnly.prim__width (up a)
1018 |
1019 |
1020 |   export
1021 |   x :
1022 |        {auto 0 _ : JSType t1}
1023 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1024 |     -> (obj : t1)
1025 |     -> JSIO Double
1026 |   x a = primJS $ DOMRectReadOnly.prim__x (up a)
1027 |
1028 |
1029 |   export
1030 |   y :
1031 |        {auto 0 _ : JSType t1}
1032 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1033 |     -> (obj : t1)
1034 |     -> JSIO Double
1035 |   y a = primJS $ DOMRectReadOnly.prim__y (up a)
1036 |
1037 |
1038 |   export
1039 |   toJSON :
1040 |        {auto 0 _ : JSType t1}
1041 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1042 |     -> (obj : t1)
1043 |     -> JSIO Object
1044 |   toJSON a = primJS $ DOMRectReadOnly.prim__toJSON (up a)
1045 |
1046 |
1047 |
1048 |
1049 |
1050 | --------------------------------------------------------------------------------
1051 | --          Dictionaries
1052 | --------------------------------------------------------------------------------
1053 |
1054 | namespace DOMMatrix2DInit
1055 |
1056 |   export
1057 |   new' :
1058 |        (a : Optional Double)
1059 |     -> (b : Optional Double)
1060 |     -> (c : Optional Double)
1061 |     -> (d : Optional Double)
1062 |     -> (e : Optional Double)
1063 |     -> (f : Optional Double)
1064 |     -> (m11 : Optional Double)
1065 |     -> (m12 : Optional Double)
1066 |     -> (m21 : Optional Double)
1067 |     -> (m22 : Optional Double)
1068 |     -> (m41 : Optional Double)
1069 |     -> (m42 : Optional Double)
1070 |     -> JSIO DOMMatrix2DInit
1071 |   new' a b c d e f g h i j k l = primJS $
1072 |     DOMMatrix2DInit.prim__new
1073 |       (toFFI a)
1074 |       (toFFI b)
1075 |       (toFFI c)
1076 |       (toFFI d)
1077 |       (toFFI e)
1078 |       (toFFI f)
1079 |       (toFFI g)
1080 |       (toFFI h)
1081 |       (toFFI i)
1082 |       (toFFI j)
1083 |       (toFFI k)
1084 |       (toFFI l)
1085 |
1086 |   export
1087 |   new : JSIO DOMMatrix2DInit
1088 |   new = primJS $
1089 |     DOMMatrix2DInit.prim__new
1090 |       undef
1091 |       undef
1092 |       undef
1093 |       undef
1094 |       undef
1095 |       undef
1096 |       undef
1097 |       undef
1098 |       undef
1099 |       undef
1100 |       undef
1101 |       undef
1102 |
1103 |
1104 |   export
1105 |   a :
1106 |        {auto 0 _ : JSType t}
1107 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1108 |     -> t
1109 |     -> Attribute False Optional Double
1110 |   a v = fromUndefOrPrimNoDefault
1111 |           "DOMMatrix2DInit.geta"
1112 |           prim__a
1113 |           prim__setA
1114 |           (v :> DOMMatrix2DInit)
1115 |
1116 |
1117 |   export
1118 |   b :
1119 |        {auto 0 _ : JSType t}
1120 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1121 |     -> t
1122 |     -> Attribute False Optional Double
1123 |   b v = fromUndefOrPrimNoDefault
1124 |           "DOMMatrix2DInit.getb"
1125 |           prim__b
1126 |           prim__setB
1127 |           (v :> DOMMatrix2DInit)
1128 |
1129 |
1130 |   export
1131 |   c :
1132 |        {auto 0 _ : JSType t}
1133 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1134 |     -> t
1135 |     -> Attribute False Optional Double
1136 |   c v = fromUndefOrPrimNoDefault
1137 |           "DOMMatrix2DInit.getc"
1138 |           prim__c
1139 |           prim__setC
1140 |           (v :> DOMMatrix2DInit)
1141 |
1142 |
1143 |   export
1144 |   d :
1145 |        {auto 0 _ : JSType t}
1146 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1147 |     -> t
1148 |     -> Attribute False Optional Double
1149 |   d v = fromUndefOrPrimNoDefault
1150 |           "DOMMatrix2DInit.getd"
1151 |           prim__d
1152 |           prim__setD
1153 |           (v :> DOMMatrix2DInit)
1154 |
1155 |
1156 |   export
1157 |   e :
1158 |        {auto 0 _ : JSType t}
1159 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1160 |     -> t
1161 |     -> Attribute False Optional Double
1162 |   e v = fromUndefOrPrimNoDefault
1163 |           "DOMMatrix2DInit.gete"
1164 |           prim__e
1165 |           prim__setE
1166 |           (v :> DOMMatrix2DInit)
1167 |
1168 |
1169 |   export
1170 |   f :
1171 |        {auto 0 _ : JSType t}
1172 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1173 |     -> t
1174 |     -> Attribute False Optional Double
1175 |   f v = fromUndefOrPrimNoDefault
1176 |           "DOMMatrix2DInit.getf"
1177 |           prim__f
1178 |           prim__setF
1179 |           (v :> DOMMatrix2DInit)
1180 |
1181 |
1182 |   export
1183 |   m11 :
1184 |        {auto 0 _ : JSType t}
1185 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1186 |     -> t
1187 |     -> Attribute False Optional Double
1188 |   m11 v = fromUndefOrPrimNoDefault
1189 |             "DOMMatrix2DInit.getm11"
1190 |             prim__m11
1191 |             prim__setM11
1192 |             (v :> DOMMatrix2DInit)
1193 |
1194 |
1195 |   export
1196 |   m12 :
1197 |        {auto 0 _ : JSType t}
1198 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1199 |     -> t
1200 |     -> Attribute False Optional Double
1201 |   m12 v = fromUndefOrPrimNoDefault
1202 |             "DOMMatrix2DInit.getm12"
1203 |             prim__m12
1204 |             prim__setM12
1205 |             (v :> DOMMatrix2DInit)
1206 |
1207 |
1208 |   export
1209 |   m21 :
1210 |        {auto 0 _ : JSType t}
1211 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1212 |     -> t
1213 |     -> Attribute False Optional Double
1214 |   m21 v = fromUndefOrPrimNoDefault
1215 |             "DOMMatrix2DInit.getm21"
1216 |             prim__m21
1217 |             prim__setM21
1218 |             (v :> DOMMatrix2DInit)
1219 |
1220 |
1221 |   export
1222 |   m22 :
1223 |        {auto 0 _ : JSType t}
1224 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1225 |     -> t
1226 |     -> Attribute False Optional Double
1227 |   m22 v = fromUndefOrPrimNoDefault
1228 |             "DOMMatrix2DInit.getm22"
1229 |             prim__m22
1230 |             prim__setM22
1231 |             (v :> DOMMatrix2DInit)
1232 |
1233 |
1234 |   export
1235 |   m41 :
1236 |        {auto 0 _ : JSType t}
1237 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1238 |     -> t
1239 |     -> Attribute False Optional Double
1240 |   m41 v = fromUndefOrPrimNoDefault
1241 |             "DOMMatrix2DInit.getm41"
1242 |             prim__m41
1243 |             prim__setM41
1244 |             (v :> DOMMatrix2DInit)
1245 |
1246 |
1247 |   export
1248 |   m42 :
1249 |        {auto 0 _ : JSType t}
1250 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1251 |     -> t
1252 |     -> Attribute False Optional Double
1253 |   m42 v = fromUndefOrPrimNoDefault
1254 |             "DOMMatrix2DInit.getm42"
1255 |             prim__m42
1256 |             prim__setM42
1257 |             (v :> DOMMatrix2DInit)
1258 |
1259 |
1260 |
1261 | namespace DOMMatrixInit
1262 |
1263 |   export
1264 |   new' :
1265 |        (m13 : Optional Double)
1266 |     -> (m14 : Optional Double)
1267 |     -> (m23 : Optional Double)
1268 |     -> (m24 : Optional Double)
1269 |     -> (m31 : Optional Double)
1270 |     -> (m32 : Optional Double)
1271 |     -> (m33 : Optional Double)
1272 |     -> (m34 : Optional Double)
1273 |     -> (m43 : Optional Double)
1274 |     -> (m44 : Optional Double)
1275 |     -> (is2D : Optional Bool)
1276 |     -> JSIO DOMMatrixInit
1277 |   new' a b c d e f g h i j k = primJS $
1278 |     DOMMatrixInit.prim__new
1279 |       (toFFI a)
1280 |       (toFFI b)
1281 |       (toFFI c)
1282 |       (toFFI d)
1283 |       (toFFI e)
1284 |       (toFFI f)
1285 |       (toFFI g)
1286 |       (toFFI h)
1287 |       (toFFI i)
1288 |       (toFFI j)
1289 |       (toFFI k)
1290 |
1291 |   export
1292 |   new : JSIO DOMMatrixInit
1293 |   new = primJS $
1294 |     DOMMatrixInit.prim__new
1295 |       undef
1296 |       undef
1297 |       undef
1298 |       undef
1299 |       undef
1300 |       undef
1301 |       undef
1302 |       undef
1303 |       undef
1304 |       undef
1305 |       undef
1306 |
1307 |
1308 |   export
1309 |   is2D :
1310 |        {auto 0 _ : JSType t}
1311 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1312 |     -> t
1313 |     -> Attribute False Optional Bool
1314 |   is2D v = fromUndefOrPrimNoDefault
1315 |              "DOMMatrixInit.getis2D"
1316 |              prim__is2D
1317 |              prim__setIs2D
1318 |              (v :> DOMMatrixInit)
1319 |
1320 |
1321 |   export
1322 |   m13 :
1323 |        {auto 0 _ : JSType t}
1324 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1325 |     -> t
1326 |     -> Attribute True Optional Double
1327 |   m13 v = fromUndefOrPrim
1328 |             "DOMMatrixInit.getm13"
1329 |             prim__m13
1330 |             prim__setM13
1331 |             0
1332 |             (v :> DOMMatrixInit)
1333 |
1334 |
1335 |   export
1336 |   m14 :
1337 |        {auto 0 _ : JSType t}
1338 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1339 |     -> t
1340 |     -> Attribute True Optional Double
1341 |   m14 v = fromUndefOrPrim
1342 |             "DOMMatrixInit.getm14"
1343 |             prim__m14
1344 |             prim__setM14
1345 |             0
1346 |             (v :> DOMMatrixInit)
1347 |
1348 |
1349 |   export
1350 |   m23 :
1351 |        {auto 0 _ : JSType t}
1352 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1353 |     -> t
1354 |     -> Attribute True Optional Double
1355 |   m23 v = fromUndefOrPrim
1356 |             "DOMMatrixInit.getm23"
1357 |             prim__m23
1358 |             prim__setM23
1359 |             0
1360 |             (v :> DOMMatrixInit)
1361 |
1362 |
1363 |   export
1364 |   m24 :
1365 |        {auto 0 _ : JSType t}
1366 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1367 |     -> t
1368 |     -> Attribute True Optional Double
1369 |   m24 v = fromUndefOrPrim
1370 |             "DOMMatrixInit.getm24"
1371 |             prim__m24
1372 |             prim__setM24
1373 |             0
1374 |             (v :> DOMMatrixInit)
1375 |
1376 |
1377 |   export
1378 |   m31 :
1379 |        {auto 0 _ : JSType t}
1380 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1381 |     -> t
1382 |     -> Attribute True Optional Double
1383 |   m31 v = fromUndefOrPrim
1384 |             "DOMMatrixInit.getm31"
1385 |             prim__m31
1386 |             prim__setM31
1387 |             0
1388 |             (v :> DOMMatrixInit)
1389 |
1390 |
1391 |   export
1392 |   m32 :
1393 |        {auto 0 _ : JSType t}
1394 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1395 |     -> t
1396 |     -> Attribute True Optional Double
1397 |   m32 v = fromUndefOrPrim
1398 |             "DOMMatrixInit.getm32"
1399 |             prim__m32
1400 |             prim__setM32
1401 |             0
1402 |             (v :> DOMMatrixInit)
1403 |
1404 |
1405 |   export
1406 |   m33 :
1407 |        {auto 0 _ : JSType t}
1408 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1409 |     -> t
1410 |     -> Attribute True Optional Double
1411 |   m33 v = fromUndefOrPrim
1412 |             "DOMMatrixInit.getm33"
1413 |             prim__m33
1414 |             prim__setM33
1415 |             1
1416 |             (v :> DOMMatrixInit)
1417 |
1418 |
1419 |   export
1420 |   m34 :
1421 |        {auto 0 _ : JSType t}
1422 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1423 |     -> t
1424 |     -> Attribute True Optional Double
1425 |   m34 v = fromUndefOrPrim
1426 |             "DOMMatrixInit.getm34"
1427 |             prim__m34
1428 |             prim__setM34
1429 |             0
1430 |             (v :> DOMMatrixInit)
1431 |
1432 |
1433 |   export
1434 |   m43 :
1435 |        {auto 0 _ : JSType t}
1436 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1437 |     -> t
1438 |     -> Attribute True Optional Double
1439 |   m43 v = fromUndefOrPrim
1440 |             "DOMMatrixInit.getm43"
1441 |             prim__m43
1442 |             prim__setM43
1443 |             0
1444 |             (v :> DOMMatrixInit)
1445 |
1446 |
1447 |   export
1448 |   m44 :
1449 |        {auto 0 _ : JSType t}
1450 |     -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1451 |     -> t
1452 |     -> Attribute True Optional Double
1453 |   m44 v = fromUndefOrPrim
1454 |             "DOMMatrixInit.getm44"
1455 |             prim__m44
1456 |             prim__setM44
1457 |             1
1458 |             (v :> DOMMatrixInit)
1459 |
1460 |
1461 |
1462 | namespace DOMPointInit
1463 |
1464 |   export
1465 |   new' :
1466 |        (x : Optional Double)
1467 |     -> (y : Optional Double)
1468 |     -> (z : Optional Double)
1469 |     -> (w : Optional Double)
1470 |     -> JSIO DOMPointInit
1471 |   new' a b c d = primJS $
1472 |     DOMPointInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d)
1473 |
1474 |   export
1475 |   new : JSIO DOMPointInit
1476 |   new = primJS $ DOMPointInit.prim__new undef undef undef undef
1477 |
1478 |
1479 |   export
1480 |   w :
1481 |        {auto 0 _ : JSType t}
1482 |     -> {auto 0 _ : Elem DOMPointInit (Types t)}
1483 |     -> t
1484 |     -> Attribute True Optional Double
1485 |   w v = fromUndefOrPrim
1486 |           "DOMPointInit.getw"
1487 |           prim__w
1488 |           prim__setW
1489 |           1
1490 |           (v :> DOMPointInit)
1491 |
1492 |
1493 |   export
1494 |   x :
1495 |        {auto 0 _ : JSType t}
1496 |     -> {auto 0 _ : Elem DOMPointInit (Types t)}
1497 |     -> t
1498 |     -> Attribute True Optional Double
1499 |   x v = fromUndefOrPrim
1500 |           "DOMPointInit.getx"
1501 |           prim__x
1502 |           prim__setX
1503 |           0
1504 |           (v :> DOMPointInit)
1505 |
1506 |
1507 |   export
1508 |   y :
1509 |        {auto 0 _ : JSType t}
1510 |     -> {auto 0 _ : Elem DOMPointInit (Types t)}
1511 |     -> t
1512 |     -> Attribute True Optional Double
1513 |   y v = fromUndefOrPrim
1514 |           "DOMPointInit.gety"
1515 |           prim__y
1516 |           prim__setY
1517 |           0
1518 |           (v :> DOMPointInit)
1519 |
1520 |
1521 |   export
1522 |   z :
1523 |        {auto 0 _ : JSType t}
1524 |     -> {auto 0 _ : Elem DOMPointInit (Types t)}
1525 |     -> t
1526 |     -> Attribute True Optional Double
1527 |   z v = fromUndefOrPrim
1528 |           "DOMPointInit.getz"
1529 |           prim__z
1530 |           prim__setZ
1531 |           0
1532 |           (v :> DOMPointInit)
1533 |
1534 |
1535 |
1536 | namespace DOMQuadInit
1537 |
1538 |   export
1539 |   new' :
1540 |        {auto 0 _ : JSType t1}
1541 |     -> {auto 0 _ : JSType t2}
1542 |     -> {auto 0 _ : JSType t3}
1543 |     -> {auto 0 _ : JSType t4}
1544 |     -> {auto 0 _ : Elem DOMPointInit (Types t1)}
1545 |     -> {auto 0 _ : Elem DOMPointInit (Types t2)}
1546 |     -> {auto 0 _ : Elem DOMPointInit (Types t3)}
1547 |     -> {auto 0 _ : Elem DOMPointInit (Types t4)}
1548 |     -> (p1 : Optional t1)
1549 |     -> (p2 : Optional t2)
1550 |     -> (p3 : Optional t3)
1551 |     -> (p4 : Optional t4)
1552 |     -> JSIO DOMQuadInit
1553 |   new' a b c d = primJS $
1554 |     DOMQuadInit.prim__new (optUp a) (optUp b) (optUp c) (optUp d)
1555 |
1556 |   export
1557 |   new : JSIO DOMQuadInit
1558 |   new = primJS $ DOMQuadInit.prim__new undef undef undef undef
1559 |
1560 |
1561 |   export
1562 |   p1 :
1563 |        {auto 0 _ : JSType t}
1564 |     -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1565 |     -> t
1566 |     -> Attribute False Optional DOMPointInit
1567 |   p1 v = fromUndefOrPrimNoDefault
1568 |            "DOMQuadInit.getp1"
1569 |            prim__p1
1570 |            prim__setP1
1571 |            (v :> DOMQuadInit)
1572 |
1573 |
1574 |   export
1575 |   p2 :
1576 |        {auto 0 _ : JSType t}
1577 |     -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1578 |     -> t
1579 |     -> Attribute False Optional DOMPointInit
1580 |   p2 v = fromUndefOrPrimNoDefault
1581 |            "DOMQuadInit.getp2"
1582 |            prim__p2
1583 |            prim__setP2
1584 |            (v :> DOMQuadInit)
1585 |
1586 |
1587 |   export
1588 |   p3 :
1589 |        {auto 0 _ : JSType t}
1590 |     -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1591 |     -> t
1592 |     -> Attribute False Optional DOMPointInit
1593 |   p3 v = fromUndefOrPrimNoDefault
1594 |            "DOMQuadInit.getp3"
1595 |            prim__p3
1596 |            prim__setP3
1597 |            (v :> DOMQuadInit)
1598 |
1599 |
1600 |   export
1601 |   p4 :
1602 |        {auto 0 _ : JSType t}
1603 |     -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1604 |     -> t
1605 |     -> Attribute False Optional DOMPointInit
1606 |   p4 v = fromUndefOrPrimNoDefault
1607 |            "DOMQuadInit.getp4"
1608 |            prim__p4
1609 |            prim__setP4
1610 |            (v :> DOMQuadInit)
1611 |
1612 |
1613 |
1614 | namespace DOMRectInit
1615 |
1616 |   export
1617 |   new' :
1618 |        (x : Optional Double)
1619 |     -> (y : Optional Double)
1620 |     -> (width : Optional Double)
1621 |     -> (height : Optional Double)
1622 |     -> JSIO DOMRectInit
1623 |   new' a b c d = primJS $
1624 |     DOMRectInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d)
1625 |
1626 |   export
1627 |   new : JSIO DOMRectInit
1628 |   new = primJS $ DOMRectInit.prim__new undef undef undef undef
1629 |
1630 |
1631 |   export
1632 |   height :
1633 |        {auto 0 _ : JSType t}
1634 |     -> {auto 0 _ : Elem DOMRectInit (Types t)}
1635 |     -> t
1636 |     -> Attribute True Optional Double
1637 |   height v = fromUndefOrPrim
1638 |                "DOMRectInit.getheight"
1639 |                prim__height
1640 |                prim__setHeight
1641 |                0
1642 |                (v :> DOMRectInit)
1643 |
1644 |
1645 |   export
1646 |   width :
1647 |        {auto 0 _ : JSType t}
1648 |     -> {auto 0 _ : Elem DOMRectInit (Types t)}
1649 |     -> t
1650 |     -> Attribute True Optional Double
1651 |   width v = fromUndefOrPrim
1652 |               "DOMRectInit.getwidth"
1653 |               prim__width
1654 |               prim__setWidth
1655 |               0
1656 |               (v :> DOMRectInit)
1657 |
1658 |
1659 |   export
1660 |   x :
1661 |        {auto 0 _ : JSType t}
1662 |     -> {auto 0 _ : Elem DOMRectInit (Types t)}
1663 |     -> t
1664 |     -> Attribute True Optional Double
1665 |   x v = fromUndefOrPrim
1666 |           "DOMRectInit.getx"
1667 |           prim__x
1668 |           prim__setX
1669 |           0
1670 |           (v :> DOMRectInit)
1671 |
1672 |
1673 |   export
1674 |   y :
1675 |        {auto 0 _ : JSType t}
1676 |     -> {auto 0 _ : Elem DOMRectInit (Types t)}
1677 |     -> t
1678 |     -> Attribute True Optional Double
1679 |   y v = fromUndefOrPrim
1680 |           "DOMRectInit.gety"
1681 |           prim__y
1682 |           prim__setY
1683 |           0
1684 |           (v :> DOMRectInit)
1685 |