
    0 | module Web.Raw.Svg
    1 | 
    2 | import JS
    3 | import Web.Internal.SvgPrim
    4 | import Web.Internal.Types
    5 | 
    6 | %default total
    7 | 
    8 | 
    9 | --------------------------------------------------------------------------------
   10 | --          Interfaces
   11 | --------------------------------------------------------------------------------
   12 | 
   13 | 
   14 | namespace SVGAElement
   15 | 
   16 |   export
   17 |   download : SVGAElement -> Attribute True Prelude.id String
   18 |   download v = fromPrim
   19 |                  "SVGAElement.getdownload"
   20 |                  prim__download
   21 |                  prim__setDownload
   22 |                  v
   23 | 
   24 | 
   25 |   export
   26 |   hreflang : SVGAElement -> Attribute True Prelude.id String
   27 |   hreflang v = fromPrim
   28 |                  "SVGAElement.gethreflang"
   29 |                  prim__hreflang
   30 |                  prim__setHreflang
   31 |                  v
   32 | 
   33 | 
   34 |   export
   35 |   ping : SVGAElement -> Attribute True Prelude.id String
   36 |   ping v = fromPrim "SVGAElement.getping" prim__ping prim__setPing v
   37 | 
   38 | 
   39 |   export
   40 |   referrerPolicy : SVGAElement -> Attribute True Prelude.id String
   41 |   referrerPolicy v = fromPrim
   42 |                        "SVGAElement.getreferrerPolicy"
   43 |                        prim__referrerPolicy
   44 |                        prim__setReferrerPolicy
   45 |                        v
   46 | 
   47 | 
   48 |   export
   49 |   rel : SVGAElement -> Attribute True Prelude.id String
   50 |   rel v = fromPrim "SVGAElement.getrel" prim__rel prim__setRel v
   51 | 
   52 | 
   53 |   export
   54 |   relList : (obj : SVGAElement) -> JSIO DOMTokenList
   55 |   relList a = primJS $ SVGAElement.prim__relList a
   56 | 
   57 | 
   58 |   export
   59 |   target : (obj : SVGAElement) -> JSIO SVGAnimatedString
   60 |   target a = primJS $ SVGAElement.prim__target a
   61 | 
   62 | 
   63 |   export
   64 |   text : SVGAElement -> Attribute True Prelude.id String
   65 |   text v = fromPrim "SVGAElement.gettext" prim__text prim__setText v
   66 | 
   67 | 
   68 |   export
   69 |   type : SVGAElement -> Attribute True Prelude.id String
   70 |   type v = fromPrim "SVGAElement.gettype" prim__type prim__setType v
   71 | 
   72 | 
   73 | 
   74 | namespace SVGAngle
   75 | 
   76 |   public export
   77 |   SVG_ANGLETYPE_DEG : Bits16
   78 |   SVG_ANGLETYPE_DEG = 2
   79 | 
   80 | 
   81 |   public export
   82 |   SVG_ANGLETYPE_GRAD : Bits16
   83 |   SVG_ANGLETYPE_GRAD = 4
   84 | 
   85 | 
   86 |   public export
   87 |   SVG_ANGLETYPE_RAD : Bits16
   88 |   SVG_ANGLETYPE_RAD = 3
   89 | 
   90 | 
   91 |   public export
   92 |   SVG_ANGLETYPE_UNKNOWN : Bits16
   93 |   SVG_ANGLETYPE_UNKNOWN = 0
   94 | 
   95 | 
   96 |   public export
   97 |   SVG_ANGLETYPE_UNSPECIFIED : Bits16
   98 |   SVG_ANGLETYPE_UNSPECIFIED = 1
   99 | 
  100 | 
  101 |   export
  102 |   unitType : (obj : SVGAngle) -> JSIO Bits16
  103 |   unitType a = primJS $ SVGAngle.prim__unitType a
  104 | 
  105 | 
  106 |   export
  107 |   value : SVGAngle -> Attribute True Prelude.id Double
  108 |   value v = fromPrim "SVGAngle.getvalue" prim__value prim__setValue v
  109 | 
  110 | 
  111 |   export
  112 |   valueAsString : SVGAngle -> Attribute True Prelude.id String
  113 |   valueAsString v = fromPrim
  114 |                       "SVGAngle.getvalueAsString"
  115 |                       prim__valueAsString
  116 |                       prim__setValueAsString
  117 |                       v
  118 | 
  119 | 
  120 |   export
  121 |   valueInSpecifiedUnits : SVGAngle -> Attribute True Prelude.id Double
  122 |   valueInSpecifiedUnits v = fromPrim
  123 |                               "SVGAngle.getvalueInSpecifiedUnits"
  124 |                               prim__valueInSpecifiedUnits
  125 |                               prim__setValueInSpecifiedUnits
  126 |                               v
  127 | 
  128 | 
  129 |   export
  130 |   convertToSpecifiedUnits : (obj : SVGAngle) -> (unitType : Bits16) -> JSIO ()
  131 |   convertToSpecifiedUnits a b = primJS $
  132 |     SVGAngle.prim__convertToSpecifiedUnits a b
  133 | 
  134 | 
  135 |   export
  136 |   newValueSpecifiedUnits :
  137 |        (obj : SVGAngle)
  138 |     -> (unitType : Bits16)
  139 |     -> (valueInSpecifiedUnits : Double)
  140 |     -> JSIO ()
  141 |   newValueSpecifiedUnits a b c = primJS $
  142 |     SVGAngle.prim__newValueSpecifiedUnits a b c
  143 | 
  144 | 
  145 | 
  146 | namespace SVGAnimatedAngle
  147 | 
  148 |   export
  149 |   animVal : (obj : SVGAnimatedAngle) -> JSIO SVGAngle
  150 |   animVal a = primJS $ SVGAnimatedAngle.prim__animVal a
  151 | 
  152 | 
  153 |   export
  154 |   baseVal : (obj : SVGAnimatedAngle) -> JSIO SVGAngle
  155 |   baseVal a = primJS $ SVGAnimatedAngle.prim__baseVal a
  156 | 
  157 | 
  158 | 
  159 | namespace SVGAnimatedBoolean
  160 | 
  161 |   export
  162 |   animVal : (obj : SVGAnimatedBoolean) -> JSIO Bool
  163 |   animVal a = tryJS "SVGAnimatedBoolean.animVal" $
  164 |     SVGAnimatedBoolean.prim__animVal a
  165 | 
  166 | 
  167 |   export
  168 |   baseVal : SVGAnimatedBoolean -> Attribute True Prelude.id Bool
  169 |   baseVal v = fromPrim
  170 |                 "SVGAnimatedBoolean.getbaseVal"
  171 |                 prim__baseVal
  172 |                 prim__setBaseVal
  173 |                 v
  174 | 
  175 | 
  176 | 
  177 | namespace SVGAnimatedEnumeration
  178 | 
  179 |   export
  180 |   animVal : (obj : SVGAnimatedEnumeration) -> JSIO Bits16
  181 |   animVal a = primJS $ SVGAnimatedEnumeration.prim__animVal a
  182 | 
  183 | 
  184 |   export
  185 |   baseVal : SVGAnimatedEnumeration -> Attribute True Prelude.id Bits16
  186 |   baseVal v = fromPrim
  187 |                 "SVGAnimatedEnumeration.getbaseVal"
  188 |                 prim__baseVal
  189 |                 prim__setBaseVal
  190 |                 v
  191 | 
  192 | 
  193 | 
  194 | namespace SVGAnimatedInteger
  195 | 
  196 |   export
  197 |   animVal : (obj : SVGAnimatedInteger) -> JSIO Int32
  198 |   animVal a = primJS $ SVGAnimatedInteger.prim__animVal a
  199 | 
  200 | 
  201 |   export
  202 |   baseVal : SVGAnimatedInteger -> Attribute True Prelude.id Int32
  203 |   baseVal v = fromPrim
  204 |                 "SVGAnimatedInteger.getbaseVal"
  205 |                 prim__baseVal
  206 |                 prim__setBaseVal
  207 |                 v
  208 | 
  209 | 
  210 | 
  211 | namespace SVGAnimatedLength
  212 | 
  213 |   export
  214 |   animVal : (obj : SVGAnimatedLength) -> JSIO SVGLength
  215 |   animVal a = primJS $ SVGAnimatedLength.prim__animVal a
  216 | 
  217 | 
  218 |   export
  219 |   baseVal : (obj : SVGAnimatedLength) -> JSIO SVGLength
  220 |   baseVal a = primJS $ SVGAnimatedLength.prim__baseVal a
  221 | 
  222 | 
  223 | 
  224 | namespace SVGAnimatedLengthList
  225 | 
  226 |   export
  227 |   animVal : (obj : SVGAnimatedLengthList) -> JSIO SVGLengthList
  228 |   animVal a = primJS $ SVGAnimatedLengthList.prim__animVal a
  229 | 
  230 | 
  231 |   export
  232 |   baseVal : (obj : SVGAnimatedLengthList) -> JSIO SVGLengthList
  233 |   baseVal a = primJS $ SVGAnimatedLengthList.prim__baseVal a
  234 | 
  235 | 
  236 | 
  237 | namespace SVGAnimatedNumber
  238 | 
  239 |   export
  240 |   animVal : (obj : SVGAnimatedNumber) -> JSIO Double
  241 |   animVal a = primJS $ SVGAnimatedNumber.prim__animVal a
  242 | 
  243 | 
  244 |   export
  245 |   baseVal : SVGAnimatedNumber -> Attribute True Prelude.id Double
  246 |   baseVal v = fromPrim
  247 |                 "SVGAnimatedNumber.getbaseVal"
  248 |                 prim__baseVal
  249 |                 prim__setBaseVal
  250 |                 v
  251 | 
  252 | 
  253 | 
  254 | namespace SVGAnimatedNumberList
  255 | 
  256 |   export
  257 |   animVal : (obj : SVGAnimatedNumberList) -> JSIO SVGNumberList
  258 |   animVal a = primJS $ SVGAnimatedNumberList.prim__animVal a
  259 | 
  260 | 
  261 |   export
  262 |   baseVal : (obj : SVGAnimatedNumberList) -> JSIO SVGNumberList
  263 |   baseVal a = primJS $ SVGAnimatedNumberList.prim__baseVal a
  264 | 
  265 | 
  266 | 
  267 | namespace SVGAnimatedPreserveAspectRatio
  268 | 
  269 |   export
  270 |   animVal :
  271 |        (obj : SVGAnimatedPreserveAspectRatio)
  272 |     -> JSIO SVGPreserveAspectRatio
  273 |   animVal a = primJS $ SVGAnimatedPreserveAspectRatio.prim__animVal a
  274 | 
  275 | 
  276 |   export
  277 |   baseVal :
  278 |        (obj : SVGAnimatedPreserveAspectRatio)
  279 |     -> JSIO SVGPreserveAspectRatio
  280 |   baseVal a = primJS $ SVGAnimatedPreserveAspectRatio.prim__baseVal a
  281 | 
  282 | 
  283 | 
  284 | namespace SVGAnimatedRect
  285 | 
  286 |   export
  287 |   animVal : (obj : SVGAnimatedRect) -> JSIO DOMRectReadOnly
  288 |   animVal a = primJS $ SVGAnimatedRect.prim__animVal a
  289 | 
  290 | 
  291 |   export
  292 |   baseVal : (obj : SVGAnimatedRect) -> JSIO DOMRect
  293 |   baseVal a = primJS $ SVGAnimatedRect.prim__baseVal a
  294 | 
  295 | 
  296 | 
  297 | namespace SVGAnimatedString
  298 | 
  299 |   export
  300 |   animVal : (obj : SVGAnimatedString) -> JSIO String
  301 |   animVal a = primJS $ SVGAnimatedString.prim__animVal a
  302 | 
  303 | 
  304 |   export
  305 |   baseVal : SVGAnimatedString -> Attribute True Prelude.id String
  306 |   baseVal v = fromPrim
  307 |                 "SVGAnimatedString.getbaseVal"
  308 |                 prim__baseVal
  309 |                 prim__setBaseVal
  310 |                 v
  311 | 
  312 | 
  313 | 
  314 | namespace SVGAnimatedTransformList
  315 | 
  316 |   export
  317 |   animVal : (obj : SVGAnimatedTransformList) -> JSIO SVGTransformList
  318 |   animVal a = primJS $ SVGAnimatedTransformList.prim__animVal a
  319 | 
  320 | 
  321 |   export
  322 |   baseVal : (obj : SVGAnimatedTransformList) -> JSIO SVGTransformList
  323 |   baseVal a = primJS $ SVGAnimatedTransformList.prim__baseVal a
  324 | 
  325 | 
  326 | 
  327 | namespace SVGCircleElement
  328 | 
  329 |   export
  330 |   cx : (obj : SVGCircleElement) -> JSIO SVGAnimatedLength
  331 |   cx a = primJS $ SVGCircleElement.prim__cx a
  332 | 
  333 | 
  334 |   export
  335 |   cy : (obj : SVGCircleElement) -> JSIO SVGAnimatedLength
  336 |   cy a = primJS $ SVGCircleElement.prim__cy a
  337 | 
  338 | 
  339 |   export
  340 |   r : (obj : SVGCircleElement) -> JSIO SVGAnimatedLength
  341 |   r a = primJS $ SVGCircleElement.prim__r a
  342 | 
  343 | 
  344 | 
  345 | 
  346 | 
  347 | namespace SVGElement
  348 | 
  349 |   export
  350 |   className :
  351 |        {auto 0 _ : JSType t1}
  352 |     -> {auto 0 _ : Elem SVGElement (Types t1)}
  353 |     -> (obj : t1)
  354 |     -> JSIO SVGAnimatedString
  355 |   className a = primJS $ SVGElement.prim__className (up a)
  356 | 
  357 | 
  358 |   export
  359 |   ownerSVGElement :
  360 |        {auto 0 _ : JSType t1}
  361 |     -> {auto 0 _ : Elem SVGElement (Types t1)}
  362 |     -> (obj : t1)
  363 |     -> JSIO (Maybe SVGSVGElement)
  364 |   ownerSVGElement a = tryJS "SVGElement.ownerSVGElement" $
  365 |     SVGElement.prim__ownerSVGElement (up a)
  366 | 
  367 | 
  368 |   export
  369 |   viewportElement :
  370 |        {auto 0 _ : JSType t1}
  371 |     -> {auto 0 _ : Elem SVGElement (Types t1)}
  372 |     -> (obj : t1)
  373 |     -> JSIO (Maybe SVGElement)
  374 |   viewportElement a = tryJS "SVGElement.viewportElement" $
  375 |     SVGElement.prim__viewportElement (up a)
  376 | 
  377 | 
  378 | 
  379 | namespace SVGEllipseElement
  380 | 
  381 |   export
  382 |   cx : (obj : SVGEllipseElement) -> JSIO SVGAnimatedLength
  383 |   cx a = primJS $ SVGEllipseElement.prim__cx a
  384 | 
  385 | 
  386 |   export
  387 |   cy : (obj : SVGEllipseElement) -> JSIO SVGAnimatedLength
  388 |   cy a = primJS $ SVGEllipseElement.prim__cy a
  389 | 
  390 | 
  391 |   export
  392 |   rx : (obj : SVGEllipseElement) -> JSIO SVGAnimatedLength
  393 |   rx a = primJS $ SVGEllipseElement.prim__rx a
  394 | 
  395 | 
  396 |   export
  397 |   ry : (obj : SVGEllipseElement) -> JSIO SVGAnimatedLength
  398 |   ry a = primJS $ SVGEllipseElement.prim__ry a
  399 | 
  400 | 
  401 | 
  402 | namespace SVGForeignObjectElement
  403 | 
  404 |   export
  405 |   height : (obj : SVGForeignObjectElement) -> JSIO SVGAnimatedLength
  406 |   height a = primJS $ SVGForeignObjectElement.prim__height a
  407 | 
  408 | 
  409 |   export
  410 |   width : (obj : SVGForeignObjectElement) -> JSIO SVGAnimatedLength
  411 |   width a = primJS $ SVGForeignObjectElement.prim__width a
  412 | 
  413 | 
  414 |   export
  415 |   x : (obj : SVGForeignObjectElement) -> JSIO SVGAnimatedLength
  416 |   x a = primJS $ SVGForeignObjectElement.prim__x a
  417 | 
  418 | 
  419 |   export
  420 |   y : (obj : SVGForeignObjectElement) -> JSIO SVGAnimatedLength
  421 |   y a = primJS $ SVGForeignObjectElement.prim__y a
  422 | 
  423 | 
  424 | 
  425 | 
  426 | namespace SVGGeometryElement
  427 | 
  428 |   export
  429 |   pathLength :
  430 |        {auto 0 _ : JSType t1}
  431 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  432 |     -> (obj : t1)
  433 |     -> JSIO SVGAnimatedNumber
  434 |   pathLength a = primJS $ SVGGeometryElement.prim__pathLength (up a)
  435 | 
  436 | 
  437 |   export
  438 |   getPointAtLength :
  439 |        {auto 0 _ : JSType t1}
  440 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  441 |     -> (obj : t1)
  442 |     -> (distance : Double)
  443 |     -> JSIO DOMPoint
  444 |   getPointAtLength a b = primJS $
  445 |     SVGGeometryElement.prim__getPointAtLength (up a) b
  446 | 
  447 | 
  448 |   export
  449 |   getTotalLength :
  450 |        {auto 0 _ : JSType t1}
  451 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  452 |     -> (obj : t1)
  453 |     -> JSIO Double
  454 |   getTotalLength a = primJS $ SVGGeometryElement.prim__getTotalLength (up a)
  455 | 
  456 | 
  457 |   export
  458 |   isPointInFill' :
  459 |        {auto 0 _ : JSType t1}
  460 |     -> {auto 0 _ : JSType t2}
  461 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  462 |     -> {auto 0 _ : Elem DOMPointInit (Types t2)}
  463 |     -> (obj : t1)
  464 |     -> (point : Optional t2)
  465 |     -> JSIO Bool
  466 |   isPointInFill' a b = tryJS "SVGGeometryElement.isPointInFill'" $
  467 |     SVGGeometryElement.prim__isPointInFill (up a) (optUp b)
  468 | 
  469 |   export
  470 |   isPointInFill :
  471 |        {auto 0 _ : JSType t1}
  472 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  473 |     -> (obj : t1)
  474 |     -> JSIO Bool
  475 |   isPointInFill a = tryJS "SVGGeometryElement.isPointInFill" $
  476 |     SVGGeometryElement.prim__isPointInFill (up a) undef
  477 | 
  478 | 
  479 |   export
  480 |   isPointInStroke' :
  481 |        {auto 0 _ : JSType t1}
  482 |     -> {auto 0 _ : JSType t2}
  483 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  484 |     -> {auto 0 _ : Elem DOMPointInit (Types t2)}
  485 |     -> (obj : t1)
  486 |     -> (point : Optional t2)
  487 |     -> JSIO Bool
  488 |   isPointInStroke' a b = tryJS "SVGGeometryElement.isPointInStroke'" $
  489 |     SVGGeometryElement.prim__isPointInStroke (up a) (optUp b)
  490 | 
  491 |   export
  492 |   isPointInStroke :
  493 |        {auto 0 _ : JSType t1}
  494 |     -> {auto 0 _ : Elem SVGGeometryElement (Types t1)}
  495 |     -> (obj : t1)
  496 |     -> JSIO Bool
  497 |   isPointInStroke a = tryJS "SVGGeometryElement.isPointInStroke" $
  498 |     SVGGeometryElement.prim__isPointInStroke (up a) undef
  499 | 
  500 | 
  501 | 
  502 | namespace SVGGradientElement
  503 | 
  504 |   public export
  505 |   SVG_SPREADMETHOD_PAD : Bits16
  506 |   SVG_SPREADMETHOD_PAD = 1
  507 | 
  508 | 
  509 |   public export
  510 |   SVG_SPREADMETHOD_REFLECT : Bits16
  511 |   SVG_SPREADMETHOD_REFLECT = 2
  512 | 
  513 | 
  514 |   public export
  515 |   SVG_SPREADMETHOD_REPEAT : Bits16
  516 |   SVG_SPREADMETHOD_REPEAT = 3
  517 | 
  518 | 
  519 |   public export
  520 |   SVG_SPREADMETHOD_UNKNOWN : Bits16
  521 |   SVG_SPREADMETHOD_UNKNOWN = 0
  522 | 
  523 | 
  524 |   export
  525 |   gradientTransform :
  526 |        {auto 0 _ : JSType t1}
  527 |     -> {auto 0 _ : Elem SVGGradientElement (Types t1)}
  528 |     -> (obj : t1)
  529 |     -> JSIO SVGAnimatedTransformList
  530 |   gradientTransform a = primJS $
  531 |     SVGGradientElement.prim__gradientTransform (up a)
  532 | 
  533 | 
  534 |   export
  535 |   gradientUnits :
  536 |        {auto 0 _ : JSType t1}
  537 |     -> {auto 0 _ : Elem SVGGradientElement (Types t1)}
  538 |     -> (obj : t1)
  539 |     -> JSIO SVGAnimatedEnumeration
  540 |   gradientUnits a = primJS $ SVGGradientElement.prim__gradientUnits (up a)
  541 | 
  542 | 
  543 |   export
  544 |   spreadMethod :
  545 |        {auto 0 _ : JSType t1}
  546 |     -> {auto 0 _ : Elem SVGGradientElement (Types t1)}
  547 |     -> (obj : t1)
  548 |     -> JSIO SVGAnimatedEnumeration
  549 |   spreadMethod a = primJS $ SVGGradientElement.prim__spreadMethod (up a)
  550 | 
  551 | 
  552 | 
  553 | namespace SVGGraphicsElement
  554 | 
  555 |   export
  556 |   transform :
  557 |        {auto 0 _ : JSType t1}
  558 |     -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)}
  559 |     -> (obj : t1)
  560 |     -> JSIO SVGAnimatedTransformList
  561 |   transform a = primJS $ SVGGraphicsElement.prim__transform (up a)
  562 | 
  563 | 
  564 |   export
  565 |   getBBox' :
  566 |        {auto 0 _ : JSType t1}
  567 |     -> {auto 0 _ : JSType t2}
  568 |     -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)}
  569 |     -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t2)}
  570 |     -> (obj : t1)
  571 |     -> (options : Optional t2)
  572 |     -> JSIO DOMRect
  573 |   getBBox' a b = primJS $ SVGGraphicsElement.prim__getBBox (up a) (optUp b)
  574 | 
  575 |   export
  576 |   getBBox :
  577 |        {auto 0 _ : JSType t1}
  578 |     -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)}
  579 |     -> (obj : t1)
  580 |     -> JSIO DOMRect
  581 |   getBBox a = primJS $ SVGGraphicsElement.prim__getBBox (up a) undef
  582 | 
  583 | 
  584 |   export
  585 |   getCTM :
  586 |        {auto 0 _ : JSType t1}
  587 |     -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)}
  588 |     -> (obj : t1)
  589 |     -> JSIO (Maybe DOMMatrix)
  590 |   getCTM a = tryJS "SVGGraphicsElement.getCTM" $
  591 |     SVGGraphicsElement.prim__getCTM (up a)
  592 | 
  593 | 
  594 |   export
  595 |   getScreenCTM :
  596 |        {auto 0 _ : JSType t1}
  597 |     -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)}
  598 |     -> (obj : t1)
  599 |     -> JSIO (Maybe DOMMatrix)
  600 |   getScreenCTM a = tryJS "SVGGraphicsElement.getScreenCTM" $
  601 |     SVGGraphicsElement.prim__getScreenCTM (up a)
  602 | 
  603 | 
  604 | 
  605 | namespace SVGImageElement
  606 | 
  607 |   export
  608 |   crossOrigin : SVGImageElement -> Attribute False Maybe String
  609 |   crossOrigin v = fromNullablePrim
  610 |                     "SVGImageElement.getcrossOrigin"
  611 |                     prim__crossOrigin
  612 |                     prim__setCrossOrigin
  613 |                     v
  614 | 
  615 | 
  616 |   export
  617 |   height : (obj : SVGImageElement) -> JSIO SVGAnimatedLength
  618 |   height a = primJS $ SVGImageElement.prim__height a
  619 | 
  620 | 
  621 |   export
  622 |   preserveAspectRatio :
  623 |        (obj : SVGImageElement)
  624 |     -> JSIO SVGAnimatedPreserveAspectRatio
  625 |   preserveAspectRatio a = primJS $ SVGImageElement.prim__preserveAspectRatio a
  626 | 
  627 | 
  628 |   export
  629 |   width : (obj : SVGImageElement) -> JSIO SVGAnimatedLength
  630 |   width a = primJS $ SVGImageElement.prim__width a
  631 | 
  632 | 
  633 |   export
  634 |   x : (obj : SVGImageElement) -> JSIO SVGAnimatedLength
  635 |   x a = primJS $ SVGImageElement.prim__x a
  636 | 
  637 | 
  638 |   export
  639 |   y : (obj : SVGImageElement) -> JSIO SVGAnimatedLength
  640 |   y a = primJS $ SVGImageElement.prim__y a
  641 | 
  642 | 
  643 | 
  644 | namespace SVGLength
  645 | 
  646 |   public export
  647 |   SVG_LENGTHTYPE_CM : Bits16
  648 |   SVG_LENGTHTYPE_CM = 6
  649 | 
  650 | 
  651 |   public export
  652 |   SVG_LENGTHTYPE_EMS : Bits16
  653 |   SVG_LENGTHTYPE_EMS = 3
  654 | 
  655 | 
  656 |   public export
  657 |   SVG_LENGTHTYPE_EXS : Bits16
  658 |   SVG_LENGTHTYPE_EXS = 4
  659 | 
  660 | 
  661 |   public export
  662 |   SVG_LENGTHTYPE_IN : Bits16
  663 |   SVG_LENGTHTYPE_IN = 8
  664 | 
  665 | 
  666 |   public export
  667 |   SVG_LENGTHTYPE_MM : Bits16
  668 |   SVG_LENGTHTYPE_MM = 7
  669 | 
  670 | 
  671 |   public export
  672 |   SVG_LENGTHTYPE_NUMBER : Bits16
  673 |   SVG_LENGTHTYPE_NUMBER = 1
  674 | 
  675 | 
  676 |   public export
  677 |   SVG_LENGTHTYPE_PC : Bits16
  678 |   SVG_LENGTHTYPE_PC = 10
  679 | 
  680 | 
  681 |   public export
  682 |   SVG_LENGTHTYPE_PERCENTAGE : Bits16
  683 |   SVG_LENGTHTYPE_PERCENTAGE = 2
  684 | 
  685 | 
  686 |   public export
  687 |   SVG_LENGTHTYPE_PT : Bits16
  688 |   SVG_LENGTHTYPE_PT = 9
  689 | 
  690 | 
  691 |   public export
  692 |   SVG_LENGTHTYPE_PX : Bits16
  693 |   SVG_LENGTHTYPE_PX = 5
  694 | 
  695 | 
  696 |   public export
  697 |   SVG_LENGTHTYPE_UNKNOWN : Bits16
  698 |   SVG_LENGTHTYPE_UNKNOWN = 0
  699 | 
  700 | 
  701 |   export
  702 |   unitType : (obj : SVGLength) -> JSIO Bits16
  703 |   unitType a = primJS $ SVGLength.prim__unitType a
  704 | 
  705 | 
  706 |   export
  707 |   value : SVGLength -> Attribute True Prelude.id Double
  708 |   value v = fromPrim "SVGLength.getvalue" prim__value prim__setValue v
  709 | 
  710 | 
  711 |   export
  712 |   valueAsString : SVGLength -> Attribute True Prelude.id String
  713 |   valueAsString v = fromPrim
  714 |                       "SVGLength.getvalueAsString"
  715 |                       prim__valueAsString
  716 |                       prim__setValueAsString
  717 |                       v
  718 | 
  719 | 
  720 |   export
  721 |   valueInSpecifiedUnits : SVGLength -> Attribute True Prelude.id Double
  722 |   valueInSpecifiedUnits v = fromPrim
  723 |                               "SVGLength.getvalueInSpecifiedUnits"
  724 |                               prim__valueInSpecifiedUnits
  725 |                               prim__setValueInSpecifiedUnits
  726 |                               v
  727 | 
  728 | 
  729 |   export
  730 |   convertToSpecifiedUnits : (obj : SVGLength) -> (unitType : Bits16) -> JSIO ()
  731 |   convertToSpecifiedUnits a b = primJS $
  732 |     SVGLength.prim__convertToSpecifiedUnits a b
  733 | 
  734 | 
  735 |   export
  736 |   newValueSpecifiedUnits :
  737 |        (obj : SVGLength)
  738 |     -> (unitType : Bits16)
  739 |     -> (valueInSpecifiedUnits : Double)
  740 |     -> JSIO ()
  741 |   newValueSpecifiedUnits a b c = primJS $
  742 |     SVGLength.prim__newValueSpecifiedUnits a b c
  743 | 
  744 | 
  745 | 
  746 | namespace SVGLengthList
  747 | 
  748 |   export
  749 |   set :
  750 |        (obj : SVGLengthList)
  751 |     -> (index : Bits32)
  752 |     -> (newItem : SVGLength)
  753 |     -> JSIO ()
  754 |   set a b c = primJS $ SVGLengthList.prim__set a b c
  755 | 
  756 | 
  757 |   export
  758 |   length : (obj : SVGLengthList) -> JSIO Bits32
  759 |   length a = primJS $ SVGLengthList.prim__length a
  760 | 
  761 | 
  762 |   export
  763 |   numberOfItems : (obj : SVGLengthList) -> JSIO Bits32
  764 |   numberOfItems a = primJS $ SVGLengthList.prim__numberOfItems a
  765 | 
  766 | 
  767 |   export
  768 |   appendItem : (obj : SVGLengthList) -> (newItem : SVGLength) -> JSIO SVGLength
  769 |   appendItem a b = primJS $ SVGLengthList.prim__appendItem a b
  770 | 
  771 | 
  772 |   export
  773 |   clear : (obj : SVGLengthList) -> JSIO ()
  774 |   clear a = primJS $ SVGLengthList.prim__clear a
  775 | 
  776 | 
  777 |   export
  778 |   getItem : (obj : SVGLengthList) -> (index : Bits32) -> JSIO SVGLength
  779 |   getItem a b = primJS $ SVGLengthList.prim__getItem a b
  780 | 
  781 | 
  782 |   export
  783 |   initialize : (obj : SVGLengthList) -> (newItem : SVGLength) -> JSIO SVGLength
  784 |   initialize a b = primJS $ SVGLengthList.prim__initialize a b
  785 | 
  786 | 
  787 |   export
  788 |   insertItemBefore :
  789 |        (obj : SVGLengthList)
  790 |     -> (newItem : SVGLength)
  791 |     -> (index : Bits32)
  792 |     -> JSIO SVGLength
  793 |   insertItemBefore a b c = primJS $ SVGLengthList.prim__insertItemBefore a b c
  794 | 
  795 | 
  796 |   export
  797 |   removeItem : (obj : SVGLengthList) -> (index : Bits32) -> JSIO SVGLength
  798 |   removeItem a b = primJS $ SVGLengthList.prim__removeItem a b
  799 | 
  800 | 
  801 |   export
  802 |   replaceItem :
  803 |        (obj : SVGLengthList)
  804 |     -> (newItem : SVGLength)
  805 |     -> (index : Bits32)
  806 |     -> JSIO SVGLength
  807 |   replaceItem a b c = primJS $ SVGLengthList.prim__replaceItem a b c
  808 | 
  809 | 
  810 | 
  811 | namespace SVGLineElement
  812 | 
  813 |   export
  814 |   x1 : (obj : SVGLineElement) -> JSIO SVGAnimatedLength
  815 |   x1 a = primJS $ SVGLineElement.prim__x1 a
  816 | 
  817 | 
  818 |   export
  819 |   x2 : (obj : SVGLineElement) -> JSIO SVGAnimatedLength
  820 |   x2 a = primJS $ SVGLineElement.prim__x2 a
  821 | 
  822 | 
  823 |   export
  824 |   y1 : (obj : SVGLineElement) -> JSIO SVGAnimatedLength
  825 |   y1 a = primJS $ SVGLineElement.prim__y1 a
  826 | 
  827 | 
  828 |   export
  829 |   y2 : (obj : SVGLineElement) -> JSIO SVGAnimatedLength
  830 |   y2 a = primJS $ SVGLineElement.prim__y2 a
  831 | 
  832 | 
  833 | 
  834 | namespace SVGLinearGradientElement
  835 | 
  836 |   export
  837 |   x1 : (obj : SVGLinearGradientElement) -> JSIO SVGAnimatedLength
  838 |   x1 a = primJS $ SVGLinearGradientElement.prim__x1 a
  839 | 
  840 | 
  841 |   export
  842 |   x2 : (obj : SVGLinearGradientElement) -> JSIO SVGAnimatedLength
  843 |   x2 a = primJS $ SVGLinearGradientElement.prim__x2 a
  844 | 
  845 | 
  846 |   export
  847 |   y1 : (obj : SVGLinearGradientElement) -> JSIO SVGAnimatedLength
  848 |   y1 a = primJS $ SVGLinearGradientElement.prim__y1 a
  849 | 
  850 | 
  851 |   export
  852 |   y2 : (obj : SVGLinearGradientElement) -> JSIO SVGAnimatedLength
  853 |   y2 a = primJS $ SVGLinearGradientElement.prim__y2 a
  854 | 
  855 | 
  856 | 
  857 | namespace SVGMarkerElement
  858 | 
  859 |   public export
  860 |   SVG_MARKERUNITS_STROKEWIDTH : Bits16
  861 |   SVG_MARKERUNITS_STROKEWIDTH = 2
  862 | 
  863 | 
  864 |   public export
  865 |   SVG_MARKERUNITS_UNKNOWN : Bits16
  866 |   SVG_MARKERUNITS_UNKNOWN = 0
  867 | 
  868 | 
  869 |   public export
  870 |   SVG_MARKERUNITS_USERSPACEONUSE : Bits16
  871 |   SVG_MARKERUNITS_USERSPACEONUSE = 1
  872 | 
  873 | 
  874 |   public export
  875 |   SVG_MARKER_ORIENT_ANGLE : Bits16
  876 |   SVG_MARKER_ORIENT_ANGLE = 2
  877 | 
  878 | 
  879 |   public export
  880 |   SVG_MARKER_ORIENT_AUTO : Bits16
  881 |   SVG_MARKER_ORIENT_AUTO = 1
  882 | 
  883 | 
  884 |   public export
  885 |   SVG_MARKER_ORIENT_UNKNOWN : Bits16
  886 |   SVG_MARKER_ORIENT_UNKNOWN = 0
  887 | 
  888 | 
  889 |   export
  890 |   markerHeight : (obj : SVGMarkerElement) -> JSIO SVGAnimatedLength
  891 |   markerHeight a = primJS $ SVGMarkerElement.prim__markerHeight a
  892 | 
  893 | 
  894 |   export
  895 |   markerUnits : (obj : SVGMarkerElement) -> JSIO SVGAnimatedEnumeration
  896 |   markerUnits a = primJS $ SVGMarkerElement.prim__markerUnits a
  897 | 
  898 | 
  899 |   export
  900 |   markerWidth : (obj : SVGMarkerElement) -> JSIO SVGAnimatedLength
  901 |   markerWidth a = primJS $ SVGMarkerElement.prim__markerWidth a
  902 | 
  903 | 
  904 |   export
  905 |   orient : SVGMarkerElement -> Attribute True Prelude.id String
  906 |   orient v = fromPrim
  907 |                "SVGMarkerElement.getorient"
  908 |                prim__orient
  909 |                prim__setOrient
  910 |                v
  911 | 
  912 | 
  913 |   export
  914 |   orientAngle : (obj : SVGMarkerElement) -> JSIO SVGAnimatedAngle
  915 |   orientAngle a = primJS $ SVGMarkerElement.prim__orientAngle a
  916 | 
  917 | 
  918 |   export
  919 |   orientType : (obj : SVGMarkerElement) -> JSIO SVGAnimatedEnumeration
  920 |   orientType a = primJS $ SVGMarkerElement.prim__orientType a
  921 | 
  922 | 
  923 |   export
  924 |   refX : (obj : SVGMarkerElement) -> JSIO SVGAnimatedLength
  925 |   refX a = primJS $ SVGMarkerElement.prim__refX a
  926 | 
  927 | 
  928 |   export
  929 |   refY : (obj : SVGMarkerElement) -> JSIO SVGAnimatedLength
  930 |   refY a = primJS $ SVGMarkerElement.prim__refY a
  931 | 
  932 | 
  933 |   export
  934 |   setOrientToAngle : (obj : SVGMarkerElement) -> (angle : SVGAngle) -> JSIO ()
  935 |   setOrientToAngle a b = primJS $ SVGMarkerElement.prim__setOrientToAngle a b
  936 | 
  937 | 
  938 |   export
  939 |   setOrientToAuto : (obj : SVGMarkerElement) -> JSIO ()
  940 |   setOrientToAuto a = primJS $ SVGMarkerElement.prim__setOrientToAuto a
  941 | 
  942 | 
  943 | 
  944 | 
  945 | namespace SVGNumber
  946 | 
  947 |   export
  948 |   value : SVGNumber -> Attribute True Prelude.id Double
  949 |   value v = fromPrim "SVGNumber.getvalue" prim__value prim__setValue v
  950 | 
  951 | 
  952 | 
  953 | namespace SVGNumberList
  954 | 
  955 |   export
  956 |   set :
  957 |        (obj : SVGNumberList)
  958 |     -> (index : Bits32)
  959 |     -> (newItem : SVGNumber)
  960 |     -> JSIO ()
  961 |   set a b c = primJS $ SVGNumberList.prim__set a b c
  962 | 
  963 | 
  964 |   export
  965 |   length : (obj : SVGNumberList) -> JSIO Bits32
  966 |   length a = primJS $ SVGNumberList.prim__length a
  967 | 
  968 | 
  969 |   export
  970 |   numberOfItems : (obj : SVGNumberList) -> JSIO Bits32
  971 |   numberOfItems a = primJS $ SVGNumberList.prim__numberOfItems a
  972 | 
  973 | 
  974 |   export
  975 |   appendItem : (obj : SVGNumberList) -> (newItem : SVGNumber) -> JSIO SVGNumber
  976 |   appendItem a b = primJS $ SVGNumberList.prim__appendItem a b
  977 | 
  978 | 
  979 |   export
  980 |   clear : (obj : SVGNumberList) -> JSIO ()
  981 |   clear a = primJS $ SVGNumberList.prim__clear a
  982 | 
  983 | 
  984 |   export
  985 |   getItem : (obj : SVGNumberList) -> (index : Bits32) -> JSIO SVGNumber
  986 |   getItem a b = primJS $ SVGNumberList.prim__getItem a b
  987 | 
  988 | 
  989 |   export
  990 |   initialize : (obj : SVGNumberList) -> (newItem : SVGNumber) -> JSIO SVGNumber
  991 |   initialize a b = primJS $ SVGNumberList.prim__initialize a b
  992 | 
  993 | 
  994 |   export
  995 |   insertItemBefore :
  996 |        (obj : SVGNumberList)
  997 |     -> (newItem : SVGNumber)
  998 |     -> (index : Bits32)
  999 |     -> JSIO SVGNumber
 1000 |   insertItemBefore a b c = primJS $ SVGNumberList.prim__insertItemBefore a b c
 1001 | 
 1002 | 
 1003 |   export
 1004 |   removeItem : (obj : SVGNumberList) -> (index : Bits32) -> JSIO SVGNumber
 1005 |   removeItem a b = primJS $ SVGNumberList.prim__removeItem a b
 1006 | 
 1007 | 
 1008 |   export
 1009 |   replaceItem :
 1010 |        (obj : SVGNumberList)
 1011 |     -> (newItem : SVGNumber)
 1012 |     -> (index : Bits32)
 1013 |     -> JSIO SVGNumber
 1014 |   replaceItem a b c = primJS $ SVGNumberList.prim__replaceItem a b c
 1015 | 
 1016 | 
 1017 | 
 1018 | 
 1019 | namespace SVGPatternElement
 1020 | 
 1021 |   export
 1022 |   height : (obj : SVGPatternElement) -> JSIO SVGAnimatedLength
 1023 |   height a = primJS $ SVGPatternElement.prim__height a
 1024 | 
 1025 | 
 1026 |   export
 1027 |   patternContentUnits : (obj : SVGPatternElement) -> JSIO SVGAnimatedEnumeration
 1028 |   patternContentUnits a = primJS $ SVGPatternElement.prim__patternContentUnits a
 1029 | 
 1030 | 
 1031 |   export
 1032 |   patternTransform : (obj : SVGPatternElement) -> JSIO SVGAnimatedTransformList
 1033 |   patternTransform a = primJS $ SVGPatternElement.prim__patternTransform a
 1034 | 
 1035 | 
 1036 |   export
 1037 |   patternUnits : (obj : SVGPatternElement) -> JSIO SVGAnimatedEnumeration
 1038 |   patternUnits a = primJS $ SVGPatternElement.prim__patternUnits a
 1039 | 
 1040 | 
 1041 |   export
 1042 |   width : (obj : SVGPatternElement) -> JSIO SVGAnimatedLength
 1043 |   width a = primJS $ SVGPatternElement.prim__width a
 1044 | 
 1045 | 
 1046 |   export
 1047 |   x : (obj : SVGPatternElement) -> JSIO SVGAnimatedLength
 1048 |   x a = primJS $ SVGPatternElement.prim__x a
 1049 | 
 1050 | 
 1051 |   export
 1052 |   y : (obj : SVGPatternElement) -> JSIO SVGAnimatedLength
 1053 |   y a = primJS $ SVGPatternElement.prim__y a
 1054 | 
 1055 | 
 1056 | 
 1057 | namespace SVGPointList
 1058 | 
 1059 |   export
 1060 |   set :
 1061 |        (obj : SVGPointList)
 1062 |     -> (index : Bits32)
 1063 |     -> (newItem : DOMPoint)
 1064 |     -> JSIO ()
 1065 |   set a b c = primJS $ SVGPointList.prim__set a b c
 1066 | 
 1067 | 
 1068 |   export
 1069 |   length : (obj : SVGPointList) -> JSIO Bits32
 1070 |   length a = primJS $ SVGPointList.prim__length a
 1071 | 
 1072 | 
 1073 |   export
 1074 |   numberOfItems : (obj : SVGPointList) -> JSIO Bits32
 1075 |   numberOfItems a = primJS $ SVGPointList.prim__numberOfItems a
 1076 | 
 1077 | 
 1078 |   export
 1079 |   appendItem : (obj : SVGPointList) -> (newItem : DOMPoint) -> JSIO DOMPoint
 1080 |   appendItem a b = primJS $ SVGPointList.prim__appendItem a b
 1081 | 
 1082 | 
 1083 |   export
 1084 |   clear : (obj : SVGPointList) -> JSIO ()
 1085 |   clear a = primJS $ SVGPointList.prim__clear a
 1086 | 
 1087 | 
 1088 |   export
 1089 |   getItem : (obj : SVGPointList) -> (index : Bits32) -> JSIO DOMPoint
 1090 |   getItem a b = primJS $ SVGPointList.prim__getItem a b
 1091 | 
 1092 | 
 1093 |   export
 1094 |   initialize : (obj : SVGPointList) -> (newItem : DOMPoint) -> JSIO DOMPoint
 1095 |   initialize a b = primJS $ SVGPointList.prim__initialize a b
 1096 | 
 1097 | 
 1098 |   export
 1099 |   insertItemBefore :
 1100 |        (obj : SVGPointList)
 1101 |     -> (newItem : DOMPoint)
 1102 |     -> (index : Bits32)
 1103 |     -> JSIO DOMPoint
 1104 |   insertItemBefore a b c = primJS $ SVGPointList.prim__insertItemBefore a b c
 1105 | 
 1106 | 
 1107 |   export
 1108 |   removeItem : (obj : SVGPointList) -> (index : Bits32) -> JSIO DOMPoint
 1109 |   removeItem a b = primJS $ SVGPointList.prim__removeItem a b
 1110 | 
 1111 | 
 1112 |   export
 1113 |   replaceItem :
 1114 |        (obj : SVGPointList)
 1115 |     -> (newItem : DOMPoint)
 1116 |     -> (index : Bits32)
 1117 |     -> JSIO DOMPoint
 1118 |   replaceItem a b c = primJS $ SVGPointList.prim__replaceItem a b c
 1119 | 
 1120 | 
 1121 | 
 1122 | 
 1123 | 
 1124 | namespace SVGPreserveAspectRatio
 1125 | 
 1126 |   public export
 1127 |   SVG_MEETORSLICE_MEET : Bits16
 1128 |   SVG_MEETORSLICE_MEET = 1
 1129 | 
 1130 | 
 1131 |   public export
 1132 |   SVG_MEETORSLICE_SLICE : Bits16
 1133 |   SVG_MEETORSLICE_SLICE = 2
 1134 | 
 1135 | 
 1136 |   public export
 1137 |   SVG_MEETORSLICE_UNKNOWN : Bits16
 1138 |   SVG_MEETORSLICE_UNKNOWN = 0
 1139 | 
 1140 | 
 1141 |   public export
 1142 |   SVG_PRESERVEASPECTRATIO_NONE : Bits16
 1143 |   SVG_PRESERVEASPECTRATIO_NONE = 1
 1144 | 
 1145 | 
 1146 |   public export
 1147 |   SVG_PRESERVEASPECTRATIO_UNKNOWN : Bits16
 1148 |   SVG_PRESERVEASPECTRATIO_UNKNOWN = 0
 1149 | 
 1150 | 
 1151 |   public export
 1152 |   SVG_PRESERVEASPECTRATIO_XMAXYMAX : Bits16
 1153 |   SVG_PRESERVEASPECTRATIO_XMAXYMAX = 10
 1154 | 
 1155 | 
 1156 |   public export
 1157 |   SVG_PRESERVEASPECTRATIO_XMAXYMID : Bits16
 1158 |   SVG_PRESERVEASPECTRATIO_XMAXYMID = 7
 1159 | 
 1160 | 
 1161 |   public export
 1162 |   SVG_PRESERVEASPECTRATIO_XMAXYMIN : Bits16
 1163 |   SVG_PRESERVEASPECTRATIO_XMAXYMIN = 4
 1164 | 
 1165 | 
 1166 |   public export
 1167 |   SVG_PRESERVEASPECTRATIO_XMIDYMAX : Bits16
 1168 |   SVG_PRESERVEASPECTRATIO_XMIDYMAX = 9
 1169 | 
 1170 | 
 1171 |   public export
 1172 |   SVG_PRESERVEASPECTRATIO_XMIDYMID : Bits16
 1173 |   SVG_PRESERVEASPECTRATIO_XMIDYMID = 6
 1174 | 
 1175 | 
 1176 |   public export
 1177 |   SVG_PRESERVEASPECTRATIO_XMIDYMIN : Bits16
 1178 |   SVG_PRESERVEASPECTRATIO_XMIDYMIN = 3
 1179 | 
 1180 | 
 1181 |   public export
 1182 |   SVG_PRESERVEASPECTRATIO_XMINYMAX : Bits16
 1183 |   SVG_PRESERVEASPECTRATIO_XMINYMAX = 8
 1184 | 
 1185 | 
 1186 |   public export
 1187 |   SVG_PRESERVEASPECTRATIO_XMINYMID : Bits16
 1188 |   SVG_PRESERVEASPECTRATIO_XMINYMID = 5
 1189 | 
 1190 | 
 1191 |   public export
 1192 |   SVG_PRESERVEASPECTRATIO_XMINYMIN : Bits16
 1193 |   SVG_PRESERVEASPECTRATIO_XMINYMIN = 2
 1194 | 
 1195 | 
 1196 |   export
 1197 |   align : SVGPreserveAspectRatio -> Attribute True Prelude.id Bits16
 1198 |   align v = fromPrim
 1199 |               "SVGPreserveAspectRatio.getalign"
 1200 |               prim__align
 1201 |               prim__setAlign
 1202 |               v
 1203 | 
 1204 | 
 1205 |   export
 1206 |   meetOrSlice : SVGPreserveAspectRatio -> Attribute True Prelude.id Bits16
 1207 |   meetOrSlice v = fromPrim
 1208 |                     "SVGPreserveAspectRatio.getmeetOrSlice"
 1209 |                     prim__meetOrSlice
 1210 |                     prim__setMeetOrSlice
 1211 |                     v
 1212 | 
 1213 | 
 1214 | 
 1215 | namespace SVGRadialGradientElement
 1216 | 
 1217 |   export
 1218 |   cx : (obj : SVGRadialGradientElement) -> JSIO SVGAnimatedLength
 1219 |   cx a = primJS $ SVGRadialGradientElement.prim__cx a
 1220 | 
 1221 | 
 1222 |   export
 1223 |   cy : (obj : SVGRadialGradientElement) -> JSIO SVGAnimatedLength
 1224 |   cy a = primJS $ SVGRadialGradientElement.prim__cy a
 1225 | 
 1226 | 
 1227 |   export
 1228 |   fr : (obj : SVGRadialGradientElement) -> JSIO SVGAnimatedLength
 1229 |   fr a = primJS $ SVGRadialGradientElement.prim__fr a
 1230 | 
 1231 | 
 1232 |   export
 1233 |   fx : (obj : SVGRadialGradientElement) -> JSIO SVGAnimatedLength
 1234 |   fx a = primJS $ SVGRadialGradientElement.prim__fx a
 1235 | 
 1236 | 
 1237 |   export
 1238 |   fy : (obj : SVGRadialGradientElement) -> JSIO SVGAnimatedLength
 1239 |   fy a = primJS $ SVGRadialGradientElement.prim__fy a
 1240 | 
 1241 | 
 1242 |   export
 1243 |   r : (obj : SVGRadialGradientElement) -> JSIO SVGAnimatedLength
 1244 |   r a = primJS $ SVGRadialGradientElement.prim__r a
 1245 | 
 1246 | 
 1247 | 
 1248 | namespace SVGRectElement
 1249 | 
 1250 |   export
 1251 |   height : (obj : SVGRectElement) -> JSIO SVGAnimatedLength
 1252 |   height a = primJS $ SVGRectElement.prim__height a
 1253 | 
 1254 | 
 1255 |   export
 1256 |   rx : (obj : SVGRectElement) -> JSIO SVGAnimatedLength
 1257 |   rx a = primJS $ SVGRectElement.prim__rx a
 1258 | 
 1259 | 
 1260 |   export
 1261 |   ry : (obj : SVGRectElement) -> JSIO SVGAnimatedLength
 1262 |   ry a = primJS $ SVGRectElement.prim__ry a
 1263 | 
 1264 | 
 1265 |   export
 1266 |   width : (obj : SVGRectElement) -> JSIO SVGAnimatedLength
 1267 |   width a = primJS $ SVGRectElement.prim__width a
 1268 | 
 1269 | 
 1270 |   export
 1271 |   x : (obj : SVGRectElement) -> JSIO SVGAnimatedLength
 1272 |   x a = primJS $ SVGRectElement.prim__x a
 1273 | 
 1274 | 
 1275 |   export
 1276 |   y : (obj : SVGRectElement) -> JSIO SVGAnimatedLength
 1277 |   y a = primJS $ SVGRectElement.prim__y a
 1278 | 
 1279 | 
 1280 | 
 1281 | namespace SVGSVGElement
 1282 | 
 1283 |   export
 1284 |   currentScale : SVGSVGElement -> Attribute True Prelude.id Double
 1285 |   currentScale v = fromPrim
 1286 |                      "SVGSVGElement.getcurrentScale"
 1287 |                      prim__currentScale
 1288 |                      prim__setCurrentScale
 1289 |                      v
 1290 | 
 1291 | 
 1292 |   export
 1293 |   currentTranslate : (obj : SVGSVGElement) -> JSIO DOMPointReadOnly
 1294 |   currentTranslate a = primJS $ SVGSVGElement.prim__currentTranslate a
 1295 | 
 1296 | 
 1297 |   export
 1298 |   height : (obj : SVGSVGElement) -> JSIO SVGAnimatedLength
 1299 |   height a = primJS $ SVGSVGElement.prim__height a
 1300 | 
 1301 | 
 1302 |   export
 1303 |   width : (obj : SVGSVGElement) -> JSIO SVGAnimatedLength
 1304 |   width a = primJS $ SVGSVGElement.prim__width a
 1305 | 
 1306 | 
 1307 |   export
 1308 |   x : (obj : SVGSVGElement) -> JSIO SVGAnimatedLength
 1309 |   x a = primJS $ SVGSVGElement.prim__x a
 1310 | 
 1311 | 
 1312 |   export
 1313 |   y : (obj : SVGSVGElement) -> JSIO SVGAnimatedLength
 1314 |   y a = primJS $ SVGSVGElement.prim__y a
 1315 | 
 1316 | 
 1317 |   export
 1318 |   checkEnclosure :
 1319 |        {auto 0 _ : JSType t2}
 1320 |     -> {auto 0 _ : JSType t3}
 1321 |     -> {auto 0 _ : Elem SVGElement (Types t2)}
 1322 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t3)}
 1323 |     -> (obj : SVGSVGElement)
 1324 |     -> (element : t2)
 1325 |     -> (rect : t3)
 1326 |     -> JSIO Bool
 1327 |   checkEnclosure a b c = tryJS "SVGSVGElement.checkEnclosure" $
 1328 |     SVGSVGElement.prim__checkEnclosure a (up b) (up c)
 1329 | 
 1330 | 
 1331 |   export
 1332 |   checkIntersection :
 1333 |        {auto 0 _ : JSType t2}
 1334 |     -> {auto 0 _ : JSType t3}
 1335 |     -> {auto 0 _ : Elem SVGElement (Types t2)}
 1336 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t3)}
 1337 |     -> (obj : SVGSVGElement)
 1338 |     -> (element : t2)
 1339 |     -> (rect : t3)
 1340 |     -> JSIO Bool
 1341 |   checkIntersection a b c = tryJS "SVGSVGElement.checkIntersection" $
 1342 |     SVGSVGElement.prim__checkIntersection a (up b) (up c)
 1343 | 
 1344 | 
 1345 |   export
 1346 |   createSVGAngle : (obj : SVGSVGElement) -> JSIO SVGAngle
 1347 |   createSVGAngle a = primJS $ SVGSVGElement.prim__createSVGAngle a
 1348 | 
 1349 | 
 1350 |   export
 1351 |   createSVGLength : (obj : SVGSVGElement) -> JSIO SVGLength
 1352 |   createSVGLength a = primJS $ SVGSVGElement.prim__createSVGLength a
 1353 | 
 1354 | 
 1355 |   export
 1356 |   createSVGMatrix : (obj : SVGSVGElement) -> JSIO DOMMatrix
 1357 |   createSVGMatrix a = primJS $ SVGSVGElement.prim__createSVGMatrix a
 1358 | 
 1359 | 
 1360 |   export
 1361 |   createSVGNumber : (obj : SVGSVGElement) -> JSIO SVGNumber
 1362 |   createSVGNumber a = primJS $ SVGSVGElement.prim__createSVGNumber a
 1363 | 
 1364 | 
 1365 |   export
 1366 |   createSVGPoint : (obj : SVGSVGElement) -> JSIO DOMPoint
 1367 |   createSVGPoint a = primJS $ SVGSVGElement.prim__createSVGPoint a
 1368 | 
 1369 | 
 1370 |   export
 1371 |   createSVGRect : (obj : SVGSVGElement) -> JSIO DOMRect
 1372 |   createSVGRect a = primJS $ SVGSVGElement.prim__createSVGRect a
 1373 | 
 1374 | 
 1375 |   export
 1376 |   createSVGTransformFromMatrix' :
 1377 |        {auto 0 _ : JSType t2}
 1378 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)}
 1379 |     -> (obj : SVGSVGElement)
 1380 |     -> (matrix : Optional t2)
 1381 |     -> JSIO SVGTransform
 1382 |   createSVGTransformFromMatrix' a b = primJS $
 1383 |     SVGSVGElement.prim__createSVGTransformFromMatrix a (optUp b)
 1384 | 
 1385 |   export
 1386 |   createSVGTransformFromMatrix : (obj : SVGSVGElement) -> JSIO SVGTransform
 1387 |   createSVGTransformFromMatrix a = primJS $
 1388 |     SVGSVGElement.prim__createSVGTransformFromMatrix a undef
 1389 | 
 1390 | 
 1391 |   export
 1392 |   createSVGTransform : (obj : SVGSVGElement) -> JSIO SVGTransform
 1393 |   createSVGTransform a = primJS $ SVGSVGElement.prim__createSVGTransform a
 1394 | 
 1395 | 
 1396 |   export
 1397 |   deselectAll : (obj : SVGSVGElement) -> JSIO ()
 1398 |   deselectAll a = primJS $ SVGSVGElement.prim__deselectAll a
 1399 | 
 1400 | 
 1401 |   export
 1402 |   forceRedraw : (obj : SVGSVGElement) -> JSIO ()
 1403 |   forceRedraw a = primJS $ SVGSVGElement.prim__forceRedraw a
 1404 | 
 1405 | 
 1406 |   export
 1407 |   getElementById : (obj : SVGSVGElement) -> (elementId : String) -> JSIO Element
 1408 |   getElementById a b = primJS $ SVGSVGElement.prim__getElementById a b
 1409 | 
 1410 | 
 1411 |   export
 1412 |   getEnclosureList :
 1413 |        {auto 0 _ : JSType t2}
 1414 |     -> {auto 0 _ : JSType t3}
 1415 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t2)}
 1416 |     -> {auto 0 _ : Elem SVGElement (Types t3)}
 1417 |     -> (obj : SVGSVGElement)
 1418 |     -> (rect : t2)
 1419 |     -> (referenceElement : Maybe t3)
 1420 |     -> JSIO NodeList
 1421 |   getEnclosureList a b c = primJS $
 1422 |     SVGSVGElement.prim__getEnclosureList a (up b) (mayUp c)
 1423 | 
 1424 | 
 1425 |   export
 1426 |   getIntersectionList :
 1427 |        {auto 0 _ : JSType t2}
 1428 |     -> {auto 0 _ : JSType t3}
 1429 |     -> {auto 0 _ : Elem DOMRectReadOnly (Types t2)}
 1430 |     -> {auto 0 _ : Elem SVGElement (Types t3)}
 1431 |     -> (obj : SVGSVGElement)
 1432 |     -> (rect : t2)
 1433 |     -> (referenceElement : Maybe t3)
 1434 |     -> JSIO NodeList
 1435 |   getIntersectionList a b c = primJS $
 1436 |     SVGSVGElement.prim__getIntersectionList a (up b) (mayUp c)
 1437 | 
 1438 | 
 1439 |   export
 1440 |   suspendRedraw :
 1441 |        (obj : SVGSVGElement)
 1442 |     -> (maxWaitMilliseconds : Bits32)
 1443 |     -> JSIO Bits32
 1444 |   suspendRedraw a b = primJS $ SVGSVGElement.prim__suspendRedraw a b
 1445 | 
 1446 | 
 1447 |   export
 1448 |   unsuspendRedrawAll : (obj : SVGSVGElement) -> JSIO ()
 1449 |   unsuspendRedrawAll a = primJS $ SVGSVGElement.prim__unsuspendRedrawAll a
 1450 | 
 1451 | 
 1452 |   export
 1453 |   unsuspendRedraw :
 1454 |        (obj : SVGSVGElement)
 1455 |     -> (suspendHandleID : Bits32)
 1456 |     -> JSIO ()
 1457 |   unsuspendRedraw a b = primJS $ SVGSVGElement.prim__unsuspendRedraw a b
 1458 | 
 1459 | 
 1460 | 
 1461 | namespace SVGScriptElement
 1462 | 
 1463 |   export
 1464 |   crossOrigin : SVGScriptElement -> Attribute False Maybe String
 1465 |   crossOrigin v = fromNullablePrim
 1466 |                     "SVGScriptElement.getcrossOrigin"
 1467 |                     prim__crossOrigin
 1468 |                     prim__setCrossOrigin
 1469 |                     v
 1470 | 
 1471 | 
 1472 |   export
 1473 |   type : SVGScriptElement -> Attribute True Prelude.id String
 1474 |   type v = fromPrim "SVGScriptElement.gettype" prim__type prim__setType v
 1475 | 
 1476 | 
 1477 | 
 1478 | namespace SVGStopElement
 1479 | 
 1480 |   export
 1481 |   offset : (obj : SVGStopElement) -> JSIO SVGAnimatedNumber
 1482 |   offset a = primJS $ SVGStopElement.prim__offset a
 1483 | 
 1484 | 
 1485 | 
 1486 | namespace SVGStringList
 1487 | 
 1488 |   export
 1489 |   set :
 1490 |        (obj : SVGStringList)
 1491 |     -> (index : Bits32)
 1492 |     -> (newItem : String)
 1493 |     -> JSIO ()
 1494 |   set a b c = primJS $ SVGStringList.prim__set a b c
 1495 | 
 1496 | 
 1497 |   export
 1498 |   length : (obj : SVGStringList) -> JSIO Bits32
 1499 |   length a = primJS $ SVGStringList.prim__length a
 1500 | 
 1501 | 
 1502 |   export
 1503 |   numberOfItems : (obj : SVGStringList) -> JSIO Bits32
 1504 |   numberOfItems a = primJS $ SVGStringList.prim__numberOfItems a
 1505 | 
 1506 | 
 1507 |   export
 1508 |   appendItem : (obj : SVGStringList) -> (newItem : String) -> JSIO String
 1509 |   appendItem a b = primJS $ SVGStringList.prim__appendItem a b
 1510 | 
 1511 | 
 1512 |   export
 1513 |   clear : (obj : SVGStringList) -> JSIO ()
 1514 |   clear a = primJS $ SVGStringList.prim__clear a
 1515 | 
 1516 | 
 1517 |   export
 1518 |   getItem : (obj : SVGStringList) -> (index : Bits32) -> JSIO String
 1519 |   getItem a b = primJS $ SVGStringList.prim__getItem a b
 1520 | 
 1521 | 
 1522 |   export
 1523 |   initialize : (obj : SVGStringList) -> (newItem : String) -> JSIO String
 1524 |   initialize a b = primJS $ SVGStringList.prim__initialize a b
 1525 | 
 1526 | 
 1527 |   export
 1528 |   insertItemBefore :
 1529 |        (obj : SVGStringList)
 1530 |     -> (newItem : String)
 1531 |     -> (index : Bits32)
 1532 |     -> JSIO String
 1533 |   insertItemBefore a b c = primJS $ SVGStringList.prim__insertItemBefore a b c
 1534 | 
 1535 | 
 1536 |   export
 1537 |   removeItem : (obj : SVGStringList) -> (index : Bits32) -> JSIO String
 1538 |   removeItem a b = primJS $ SVGStringList.prim__removeItem a b
 1539 | 
 1540 | 
 1541 |   export
 1542 |   replaceItem :
 1543 |        (obj : SVGStringList)
 1544 |     -> (newItem : String)
 1545 |     -> (index : Bits32)
 1546 |     -> JSIO String
 1547 |   replaceItem a b c = primJS $ SVGStringList.prim__replaceItem a b c
 1548 | 
 1549 | 
 1550 | 
 1551 | namespace SVGStyleElement
 1552 | 
 1553 |   export
 1554 |   media : SVGStyleElement -> Attribute True Prelude.id String
 1555 |   media v = fromPrim "SVGStyleElement.getmedia" prim__media prim__setMedia v
 1556 | 
 1557 | 
 1558 |   export
 1559 |   title : SVGStyleElement -> Attribute True Prelude.id String
 1560 |   title v = fromPrim "SVGStyleElement.gettitle" prim__title prim__setTitle v
 1561 | 
 1562 | 
 1563 |   export
 1564 |   type : SVGStyleElement -> Attribute True Prelude.id String
 1565 |   type v = fromPrim "SVGStyleElement.gettype" prim__type prim__setType v
 1566 | 
 1567 | 
 1568 | 
 1569 | 
 1570 | 
 1571 | 
 1572 | namespace SVGTextContentElement
 1573 | 
 1574 |   public export
 1575 |   LENGTHADJUST_SPACING : Bits16
 1576 |   LENGTHADJUST_SPACING = 1
 1577 | 
 1578 | 
 1579 |   public export
 1580 |   LENGTHADJUST_SPACINGANDGLYPHS : Bits16
 1581 |   LENGTHADJUST_SPACINGANDGLYPHS = 2
 1582 | 
 1583 | 
 1584 |   public export
 1585 |   LENGTHADJUST_UNKNOWN : Bits16
 1586 |   LENGTHADJUST_UNKNOWN = 0
 1587 | 
 1588 | 
 1589 |   export
 1590 |   lengthAdjust :
 1591 |        {auto 0 _ : JSType t1}
 1592 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1593 |     -> (obj : t1)
 1594 |     -> JSIO SVGAnimatedEnumeration
 1595 |   lengthAdjust a = primJS $ SVGTextContentElement.prim__lengthAdjust (up a)
 1596 | 
 1597 | 
 1598 |   export
 1599 |   textLength :
 1600 |        {auto 0 _ : JSType t1}
 1601 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1602 |     -> (obj : t1)
 1603 |     -> JSIO SVGAnimatedLength
 1604 |   textLength a = primJS $ SVGTextContentElement.prim__textLength (up a)
 1605 | 
 1606 | 
 1607 |   export
 1608 |   getCharNumAtPosition' :
 1609 |        {auto 0 _ : JSType t1}
 1610 |     -> {auto 0 _ : JSType t2}
 1611 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1612 |     -> {auto 0 _ : Elem DOMPointInit (Types t2)}
 1613 |     -> (obj : t1)
 1614 |     -> (point : Optional t2)
 1615 |     -> JSIO Int32
 1616 |   getCharNumAtPosition' a b = primJS $
 1617 |     SVGTextContentElement.prim__getCharNumAtPosition (up a) (optUp b)
 1618 | 
 1619 |   export
 1620 |   getCharNumAtPosition :
 1621 |        {auto 0 _ : JSType t1}
 1622 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1623 |     -> (obj : t1)
 1624 |     -> JSIO Int32
 1625 |   getCharNumAtPosition a = primJS $
 1626 |     SVGTextContentElement.prim__getCharNumAtPosition (up a) undef
 1627 | 
 1628 | 
 1629 |   export
 1630 |   getComputedTextLength :
 1631 |        {auto 0 _ : JSType t1}
 1632 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1633 |     -> (obj : t1)
 1634 |     -> JSIO Double
 1635 |   getComputedTextLength a = primJS $
 1636 |     SVGTextContentElement.prim__getComputedTextLength (up a)
 1637 | 
 1638 | 
 1639 |   export
 1640 |   getEndPositionOfChar :
 1641 |        {auto 0 _ : JSType t1}
 1642 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1643 |     -> (obj : t1)
 1644 |     -> (charnum : Bits32)
 1645 |     -> JSIO DOMPoint
 1646 |   getEndPositionOfChar a b = primJS $
 1647 |     SVGTextContentElement.prim__getEndPositionOfChar (up a) b
 1648 | 
 1649 | 
 1650 |   export
 1651 |   getExtentOfChar :
 1652 |        {auto 0 _ : JSType t1}
 1653 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1654 |     -> (obj : t1)
 1655 |     -> (charnum : Bits32)
 1656 |     -> JSIO DOMRect
 1657 |   getExtentOfChar a b = primJS $
 1658 |     SVGTextContentElement.prim__getExtentOfChar (up a) b
 1659 | 
 1660 | 
 1661 |   export
 1662 |   getNumberOfChars :
 1663 |        {auto 0 _ : JSType t1}
 1664 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1665 |     -> (obj : t1)
 1666 |     -> JSIO Int32
 1667 |   getNumberOfChars a = primJS $
 1668 |     SVGTextContentElement.prim__getNumberOfChars (up a)
 1669 | 
 1670 | 
 1671 |   export
 1672 |   getRotationOfChar :
 1673 |        {auto 0 _ : JSType t1}
 1674 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1675 |     -> (obj : t1)
 1676 |     -> (charnum : Bits32)
 1677 |     -> JSIO Double
 1678 |   getRotationOfChar a b = primJS $
 1679 |     SVGTextContentElement.prim__getRotationOfChar (up a) b
 1680 | 
 1681 | 
 1682 |   export
 1683 |   getStartPositionOfChar :
 1684 |        {auto 0 _ : JSType t1}
 1685 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1686 |     -> (obj : t1)
 1687 |     -> (charnum : Bits32)
 1688 |     -> JSIO DOMPoint
 1689 |   getStartPositionOfChar a b = primJS $
 1690 |     SVGTextContentElement.prim__getStartPositionOfChar (up a) b
 1691 | 
 1692 | 
 1693 |   export
 1694 |   getSubStringLength :
 1695 |        {auto 0 _ : JSType t1}
 1696 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1697 |     -> (obj : t1)
 1698 |     -> (charnum : Bits32)
 1699 |     -> (nchars : Bits32)
 1700 |     -> JSIO Double
 1701 |   getSubStringLength a b c = primJS $
 1702 |     SVGTextContentElement.prim__getSubStringLength (up a) b c
 1703 | 
 1704 | 
 1705 |   export
 1706 |   selectSubString :
 1707 |        {auto 0 _ : JSType t1}
 1708 |     -> {auto 0 _ : Elem SVGTextContentElement (Types t1)}
 1709 |     -> (obj : t1)
 1710 |     -> (charnum : Bits32)
 1711 |     -> (nchars : Bits32)
 1712 |     -> JSIO ()
 1713 |   selectSubString a b c = primJS $
 1714 |     SVGTextContentElement.prim__selectSubString (up a) b c
 1715 | 
 1716 | 
 1717 | 
 1718 | 
 1719 | namespace SVGTextPathElement
 1720 | 
 1721 |   public export
 1722 |   TEXTPATH_METHODTYPE_ALIGN : Bits16
 1723 |   TEXTPATH_METHODTYPE_ALIGN = 1
 1724 | 
 1725 | 
 1726 |   public export
 1727 |   TEXTPATH_METHODTYPE_STRETCH : Bits16
 1728 |   TEXTPATH_METHODTYPE_STRETCH = 2
 1729 | 
 1730 | 
 1731 |   public export
 1732 |   TEXTPATH_METHODTYPE_UNKNOWN : Bits16
 1733 |   TEXTPATH_METHODTYPE_UNKNOWN = 0
 1734 | 
 1735 | 
 1736 |   public export
 1737 |   TEXTPATH_SPACINGTYPE_AUTO : Bits16
 1738 |   TEXTPATH_SPACINGTYPE_AUTO = 1
 1739 | 
 1740 | 
 1741 |   public export
 1742 |   TEXTPATH_SPACINGTYPE_EXACT : Bits16
 1743 |   TEXTPATH_SPACINGTYPE_EXACT = 2
 1744 | 
 1745 | 
 1746 |   public export
 1747 |   TEXTPATH_SPACINGTYPE_UNKNOWN : Bits16
 1748 |   TEXTPATH_SPACINGTYPE_UNKNOWN = 0
 1749 | 
 1750 | 
 1751 |   export
 1752 |   method : (obj : SVGTextPathElement) -> JSIO SVGAnimatedEnumeration
 1753 |   method a = primJS $ SVGTextPathElement.prim__method a
 1754 | 
 1755 | 
 1756 |   export
 1757 |   spacing : (obj : SVGTextPathElement) -> JSIO SVGAnimatedEnumeration
 1758 |   spacing a = primJS $ SVGTextPathElement.prim__spacing a
 1759 | 
 1760 | 
 1761 |   export
 1762 |   startOffset : (obj : SVGTextPathElement) -> JSIO SVGAnimatedLength
 1763 |   startOffset a = primJS $ SVGTextPathElement.prim__startOffset a
 1764 | 
 1765 | 
 1766 | 
 1767 | namespace SVGTextPositioningElement
 1768 | 
 1769 |   export
 1770 |   dx :
 1771 |        {auto 0 _ : JSType t1}
 1772 |     -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)}
 1773 |     -> (obj : t1)
 1774 |     -> JSIO SVGAnimatedLengthList
 1775 |   dx a = primJS $ SVGTextPositioningElement.prim__dx (up a)
 1776 | 
 1777 | 
 1778 |   export
 1779 |   dy :
 1780 |        {auto 0 _ : JSType t1}
 1781 |     -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)}
 1782 |     -> (obj : t1)
 1783 |     -> JSIO SVGAnimatedLengthList
 1784 |   dy a = primJS $ SVGTextPositioningElement.prim__dy (up a)
 1785 | 
 1786 | 
 1787 |   export
 1788 |   rotate :
 1789 |        {auto 0 _ : JSType t1}
 1790 |     -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)}
 1791 |     -> (obj : t1)
 1792 |     -> JSIO SVGAnimatedNumberList
 1793 |   rotate a = primJS $ SVGTextPositioningElement.prim__rotate (up a)
 1794 | 
 1795 | 
 1796 |   export
 1797 |   x :
 1798 |        {auto 0 _ : JSType t1}
 1799 |     -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)}
 1800 |     -> (obj : t1)
 1801 |     -> JSIO SVGAnimatedLengthList
 1802 |   x a = primJS $ SVGTextPositioningElement.prim__x (up a)
 1803 | 
 1804 | 
 1805 |   export
 1806 |   y :
 1807 |        {auto 0 _ : JSType t1}
 1808 |     -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)}
 1809 |     -> (obj : t1)
 1810 |     -> JSIO SVGAnimatedLengthList
 1811 |   y a = primJS $ SVGTextPositioningElement.prim__y (up a)
 1812 | 
 1813 | 
 1814 | 
 1815 | 
 1816 | namespace SVGTransform
 1817 | 
 1818 |   public export
 1819 |   SVG_TRANSFORM_MATRIX : Bits16
 1820 |   SVG_TRANSFORM_MATRIX = 1
 1821 | 
 1822 | 
 1823 |   public export
 1824 |   SVG_TRANSFORM_ROTATE : Bits16
 1825 |   SVG_TRANSFORM_ROTATE = 4
 1826 | 
 1827 | 
 1828 |   public export
 1829 |   SVG_TRANSFORM_SCALE : Bits16
 1830 |   SVG_TRANSFORM_SCALE = 3
 1831 | 
 1832 | 
 1833 |   public export
 1834 |   SVG_TRANSFORM_SKEWX : Bits16
 1835 |   SVG_TRANSFORM_SKEWX = 5
 1836 | 
 1837 | 
 1838 |   public export
 1839 |   SVG_TRANSFORM_SKEWY : Bits16
 1840 |   SVG_TRANSFORM_SKEWY = 6
 1841 | 
 1842 | 
 1843 |   public export
 1844 |   SVG_TRANSFORM_TRANSLATE : Bits16
 1845 |   SVG_TRANSFORM_TRANSLATE = 2
 1846 | 
 1847 | 
 1848 |   public export
 1849 |   SVG_TRANSFORM_UNKNOWN : Bits16
 1850 |   SVG_TRANSFORM_UNKNOWN = 0
 1851 | 
 1852 | 
 1853 |   export
 1854 |   angle : (obj : SVGTransform) -> JSIO Double
 1855 |   angle a = primJS $ SVGTransform.prim__angle a
 1856 | 
 1857 | 
 1858 |   export
 1859 |   matrix : (obj : SVGTransform) -> JSIO DOMMatrix
 1860 |   matrix a = primJS $ SVGTransform.prim__matrix a
 1861 | 
 1862 | 
 1863 |   export
 1864 |   type : (obj : SVGTransform) -> JSIO Bits16
 1865 |   type a = primJS $ SVGTransform.prim__type a
 1866 | 
 1867 | 
 1868 |   export
 1869 |   setMatrix' :
 1870 |        {auto 0 _ : JSType t2}
 1871 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)}
 1872 |     -> (obj : SVGTransform)
 1873 |     -> (matrix : Optional t2)
 1874 |     -> JSIO ()
 1875 |   setMatrix' a b = primJS $ SVGTransform.prim__setMatrix a (optUp b)
 1876 | 
 1877 |   export
 1878 |   setMatrix : (obj : SVGTransform) -> JSIO ()
 1879 |   setMatrix a = primJS $ SVGTransform.prim__setMatrix a undef
 1880 | 
 1881 | 
 1882 |   export
 1883 |   setRotate :
 1884 |        (obj : SVGTransform)
 1885 |     -> (angle : Double)
 1886 |     -> (cx : Double)
 1887 |     -> (cy : Double)
 1888 |     -> JSIO ()
 1889 |   setRotate a b c d = primJS $ SVGTransform.prim__setRotate a b c d
 1890 | 
 1891 | 
 1892 |   export
 1893 |   setScale : (obj : SVGTransform) -> (sx : Double) -> (sy : Double) -> JSIO ()
 1894 |   setScale a b c = primJS $ SVGTransform.prim__setScale a b c
 1895 | 
 1896 | 
 1897 |   export
 1898 |   setSkewX : (obj : SVGTransform) -> (angle : Double) -> JSIO ()
 1899 |   setSkewX a b = primJS $ SVGTransform.prim__setSkewX a b
 1900 | 
 1901 | 
 1902 |   export
 1903 |   setSkewY : (obj : SVGTransform) -> (angle : Double) -> JSIO ()
 1904 |   setSkewY a b = primJS $ SVGTransform.prim__setSkewY a b
 1905 | 
 1906 | 
 1907 |   export
 1908 |   setTranslate :
 1909 |        (obj : SVGTransform)
 1910 |     -> (tx : Double)
 1911 |     -> (ty : Double)
 1912 |     -> JSIO ()
 1913 |   setTranslate a b c = primJS $ SVGTransform.prim__setTranslate a b c
 1914 | 
 1915 | 
 1916 | 
 1917 | namespace SVGTransformList
 1918 | 
 1919 |   export
 1920 |   set :
 1921 |        (obj : SVGTransformList)
 1922 |     -> (index : Bits32)
 1923 |     -> (newItem : SVGTransform)
 1924 |     -> JSIO ()
 1925 |   set a b c = primJS $ SVGTransformList.prim__set a b c
 1926 | 
 1927 | 
 1928 |   export
 1929 |   length : (obj : SVGTransformList) -> JSIO Bits32
 1930 |   length a = primJS $ SVGTransformList.prim__length a
 1931 | 
 1932 | 
 1933 |   export
 1934 |   numberOfItems : (obj : SVGTransformList) -> JSIO Bits32
 1935 |   numberOfItems a = primJS $ SVGTransformList.prim__numberOfItems a
 1936 | 
 1937 | 
 1938 |   export
 1939 |   appendItem :
 1940 |        (obj : SVGTransformList)
 1941 |     -> (newItem : SVGTransform)
 1942 |     -> JSIO SVGTransform
 1943 |   appendItem a b = primJS $ SVGTransformList.prim__appendItem a b
 1944 | 
 1945 | 
 1946 |   export
 1947 |   clear : (obj : SVGTransformList) -> JSIO ()
 1948 |   clear a = primJS $ SVGTransformList.prim__clear a
 1949 | 
 1950 | 
 1951 |   export
 1952 |   consolidate : (obj : SVGTransformList) -> JSIO (Maybe SVGTransform)
 1953 |   consolidate a = tryJS "SVGTransformList.consolidate" $
 1954 |     SVGTransformList.prim__consolidate a
 1955 | 
 1956 | 
 1957 |   export
 1958 |   createSVGTransformFromMatrix' :
 1959 |        {auto 0 _ : JSType t2}
 1960 |     -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)}
 1961 |     -> (obj : SVGTransformList)
 1962 |     -> (matrix : Optional t2)
 1963 |     -> JSIO SVGTransform
 1964 |   createSVGTransformFromMatrix' a b = primJS $
 1965 |     SVGTransformList.prim__createSVGTransformFromMatrix a (optUp b)
 1966 | 
 1967 |   export
 1968 |   createSVGTransformFromMatrix : (obj : SVGTransformList) -> JSIO SVGTransform
 1969 |   createSVGTransformFromMatrix a = primJS $
 1970 |     SVGTransformList.prim__createSVGTransformFromMatrix a undef
 1971 | 
 1972 | 
 1973 |   export
 1974 |   getItem : (obj : SVGTransformList) -> (index : Bits32) -> JSIO SVGTransform
 1975 |   getItem a b = primJS $ SVGTransformList.prim__getItem a b
 1976 | 
 1977 | 
 1978 |   export
 1979 |   initialize :
 1980 |        (obj : SVGTransformList)
 1981 |     -> (newItem : SVGTransform)
 1982 |     -> JSIO SVGTransform
 1983 |   initialize a b = primJS $ SVGTransformList.prim__initialize a b
 1984 | 
 1985 | 
 1986 |   export
 1987 |   insertItemBefore :
 1988 |        (obj : SVGTransformList)
 1989 |     -> (newItem : SVGTransform)
 1990 |     -> (index : Bits32)
 1991 |     -> JSIO SVGTransform
 1992 |   insertItemBefore a b c = primJS $
 1993 |     SVGTransformList.prim__insertItemBefore a b c
 1994 | 
 1995 | 
 1996 |   export
 1997 |   removeItem : (obj : SVGTransformList) -> (index : Bits32) -> JSIO SVGTransform
 1998 |   removeItem a b = primJS $ SVGTransformList.prim__removeItem a b
 1999 | 
 2000 | 
 2001 |   export
 2002 |   replaceItem :
 2003 |        (obj : SVGTransformList)
 2004 |     -> (newItem : SVGTransform)
 2005 |     -> (index : Bits32)
 2006 |     -> JSIO SVGTransform
 2007 |   replaceItem a b c = primJS $ SVGTransformList.prim__replaceItem a b c
 2008 | 
 2009 | 
 2010 | 
 2011 | namespace SVGUnitTypes
 2012 | 
 2013 |   public export
 2014 |   SVG_UNIT_TYPE_OBJECTBOUNDINGBOX : Bits16
 2015 |   SVG_UNIT_TYPE_OBJECTBOUNDINGBOX = 2
 2016 | 
 2017 | 
 2018 |   public export
 2019 |   SVG_UNIT_TYPE_UNKNOWN : Bits16
 2020 |   SVG_UNIT_TYPE_UNKNOWN = 0
 2021 | 
 2022 | 
 2023 |   public export
 2024 |   SVG_UNIT_TYPE_USERSPACEONUSE : Bits16
 2025 |   SVG_UNIT_TYPE_USERSPACEONUSE = 1
 2026 | 
 2027 | 
 2028 | 
 2029 | namespace SVGUseElement
 2030 | 
 2031 |   export
 2032 |   animatedInstanceRoot : (obj : SVGUseElement) -> JSIO (Maybe SVGElement)
 2033 |   animatedInstanceRoot a = tryJS "SVGUseElement.animatedInstanceRoot" $
 2034 |     SVGUseElement.prim__animatedInstanceRoot a
 2035 | 
 2036 | 
 2037 |   export
 2038 |   height : (obj : SVGUseElement) -> JSIO SVGAnimatedLength
 2039 |   height a = primJS $ SVGUseElement.prim__height a
 2040 | 
 2041 | 
 2042 |   export
 2043 |   instanceRoot : (obj : SVGUseElement) -> JSIO (Maybe SVGElement)
 2044 |   instanceRoot a = tryJS "SVGUseElement.instanceRoot" $
 2045 |     SVGUseElement.prim__instanceRoot a
 2046 | 
 2047 | 
 2048 |   export
 2049 |   width : (obj : SVGUseElement) -> JSIO SVGAnimatedLength
 2050 |   width a = primJS $ SVGUseElement.prim__width a
 2051 | 
 2052 | 
 2053 |   export
 2054 |   x : (obj : SVGUseElement) -> JSIO SVGAnimatedLength
 2055 |   x a = primJS $ SVGUseElement.prim__x a
 2056 | 
 2057 | 
 2058 |   export
 2059 |   y : (obj : SVGUseElement) -> JSIO SVGAnimatedLength
 2060 |   y a = primJS $ SVGUseElement.prim__y a
 2061 | 
 2062 | 
 2063 | 
 2064 | 
 2065 | 
 2066 | namespace ShadowAnimation
 2067 | 
 2068 |   export
 2069 |   new :
 2070 |        {auto 0 _ : JSType t1}
 2071 |     -> {auto 0 _ : JSType t2}
 2072 |     -> {auto 0 _ : Elem Animation (Types t1)}
 2073 |     -> {auto 0 _ : Elem Animatable (Types t2)}
 2074 |     -> (source : t1)
 2075 |     -> (newTarget : t2)
 2076 |     -> JSIO ShadowAnimation
 2077 |   new a b = primJS $ ShadowAnimation.prim__new (up a) (up b)
 2078 | 
 2079 | 
 2080 |   export
 2081 |   sourceAnimation : (obj : ShadowAnimation) -> JSIO Animation
 2082 |   sourceAnimation a = primJS $ ShadowAnimation.prim__sourceAnimation a
 2083 | 
 2084 | 
 2085 | 
 2086 | 
 2087 | --------------------------------------------------------------------------------
 2088 | --          Mixins
 2089 | --------------------------------------------------------------------------------
 2090 | 
 2091 | namespace GetSVGDocument
 2092 | 
 2093 |   export
 2094 |   getSVGDocument :
 2095 |        {auto 0 _ : JSType t1}
 2096 |     -> {auto 0 _ : Elem GetSVGDocument (Types t1)}
 2097 |     -> (obj : t1)
 2098 |     -> JSIO Document
 2099 |   getSVGDocument a = primJS $ GetSVGDocument.prim__getSVGDocument (up a)
 2100 | 
 2101 | 
 2102 | 
 2103 | namespace SVGAnimatedPoints
 2104 | 
 2105 |   export
 2106 |   animatedPoints :
 2107 |        {auto 0 _ : JSType t1}
 2108 |     -> {auto 0 _ : Elem SVGAnimatedPoints (Types t1)}
 2109 |     -> (obj : t1)
 2110 |     -> JSIO SVGPointList
 2111 |   animatedPoints a = primJS $ SVGAnimatedPoints.prim__animatedPoints (up a)
 2112 | 
 2113 | 
 2114 |   export
 2115 |   points :
 2116 |        {auto 0 _ : JSType t1}
 2117 |     -> {auto 0 _ : Elem SVGAnimatedPoints (Types t1)}
 2118 |     -> (obj : t1)
 2119 |     -> JSIO SVGPointList
 2120 |   points a = primJS $ SVGAnimatedPoints.prim__points (up a)
 2121 | 
 2122 | 
 2123 | 
 2124 | namespace SVGElementInstance
 2125 | 
 2126 |   export
 2127 |   correspondingElement :
 2128 |        {auto 0 _ : JSType t1}
 2129 |     -> {auto 0 _ : Elem SVGElementInstance (Types t1)}
 2130 |     -> (obj : t1)
 2131 |     -> JSIO (Maybe SVGElement)
 2132 |   correspondingElement a = tryJS "SVGElementInstance.correspondingElement" $
 2133 |     SVGElementInstance.prim__correspondingElement (up a)
 2134 | 
 2135 | 
 2136 |   export
 2137 |   correspondingUseElement :
 2138 |        {auto 0 _ : JSType t1}
 2139 |     -> {auto 0 _ : Elem SVGElementInstance (Types t1)}
 2140 |     -> (obj : t1)
 2141 |     -> JSIO (Maybe SVGUseElement)
 2142 |   correspondingUseElement a = tryJS "SVGElementInstance.correspondingUseElement" $
 2143 |     SVGElementInstance.prim__correspondingUseElement (up a)
 2144 | 
 2145 | 
 2146 | 
 2147 | namespace SVGFitToViewBox
 2148 | 
 2149 |   export
 2150 |   preserveAspectRatio :
 2151 |        {auto 0 _ : JSType t1}
 2152 |     -> {auto 0 _ : Elem SVGFitToViewBox (Types t1)}
 2153 |     -> (obj : t1)
 2154 |     -> JSIO SVGAnimatedPreserveAspectRatio
 2155 |   preserveAspectRatio a = primJS $
 2156 |     SVGFitToViewBox.prim__preserveAspectRatio (up a)
 2157 | 
 2158 | 
 2159 |   export
 2160 |   viewBox :
 2161 |        {auto 0 _ : JSType t1}
 2162 |     -> {auto 0 _ : Elem SVGFitToViewBox (Types t1)}
 2163 |     -> (obj : t1)
 2164 |     -> JSIO SVGAnimatedRect
 2165 |   viewBox a = primJS $ SVGFitToViewBox.prim__viewBox (up a)
 2166 | 
 2167 | 
 2168 | 
 2169 | namespace SVGTests
 2170 | 
 2171 |   export
 2172 |   requiredExtensions :
 2173 |        {auto 0 _ : JSType t1}
 2174 |     -> {auto 0 _ : Elem SVGTests (Types t1)}
 2175 |     -> (obj : t1)
 2176 |     -> JSIO SVGStringList
 2177 |   requiredExtensions a = primJS $ SVGTests.prim__requiredExtensions (up a)
 2178 | 
 2179 | 
 2180 |   export
 2181 |   systemLanguage :
 2182 |        {auto 0 _ : JSType t1}
 2183 |     -> {auto 0 _ : Elem SVGTests (Types t1)}
 2184 |     -> (obj : t1)
 2185 |     -> JSIO SVGStringList
 2186 |   systemLanguage a = primJS $ SVGTests.prim__systemLanguage (up a)
 2187 | 
 2188 | 
 2189 | 
 2190 | namespace SVGURIReference
 2191 | 
 2192 |   export
 2193 |   href :
 2194 |        {auto 0 _ : JSType t1}
 2195 |     -> {auto 0 _ : Elem SVGURIReference (Types t1)}
 2196 |     -> (obj : t1)
 2197 |     -> JSIO SVGAnimatedString
 2198 |   href a = primJS $ SVGURIReference.prim__href (up a)
 2199 | 
 2200 | 
 2201 | 
 2202 | 
 2203 | --------------------------------------------------------------------------------
 2204 | --          Dictionaries
 2205 | --------------------------------------------------------------------------------
 2206 | 
 2207 | namespace SVGBoundingBoxOptions
 2208 | 
 2209 |   export
 2210 |   new' :
 2211 |        (fill : Optional Bool)
 2212 |     -> (stroke : Optional Bool)
 2213 |     -> (markers : Optional Bool)
 2214 |     -> (clipped : Optional Bool)
 2215 |     -> JSIO SVGBoundingBoxOptions
 2216 |   new' a b c d = primJS $
 2217 |     SVGBoundingBoxOptions.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d)
 2218 | 
 2219 |   export
 2220 |   new : JSIO SVGBoundingBoxOptions
 2221 |   new = primJS $ SVGBoundingBoxOptions.prim__new undef undef undef undef
 2222 | 
 2223 | 
 2224 |   export
 2225 |   clipped :
 2226 |        {auto 0 _ : JSType t}
 2227 |     -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)}
 2228 |     -> t
 2229 |     -> Attribute True Optional Bool
 2230 |   clipped v = fromUndefOrPrim
 2231 |                 "SVGBoundingBoxOptions.getclipped"
 2232 |                 prim__clipped
 2233 |                 prim__setClipped
 2234 |                 False
 2235 |                 (v :> SVGBoundingBoxOptions)
 2236 | 
 2237 | 
 2238 |   export
 2239 |   fill :
 2240 |        {auto 0 _ : JSType t}
 2241 |     -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)}
 2242 |     -> t
 2243 |     -> Attribute True Optional Bool
 2244 |   fill v = fromUndefOrPrim
 2245 |              "SVGBoundingBoxOptions.getfill"
 2246 |              prim__fill
 2247 |              prim__setFill
 2248 |              True
 2249 |              (v :> SVGBoundingBoxOptions)
 2250 | 
 2251 | 
 2252 |   export
 2253 |   markers :
 2254 |        {auto 0 _ : JSType t}
 2255 |     -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)}
 2256 |     -> t
 2257 |     -> Attribute True Optional Bool
 2258 |   markers v = fromUndefOrPrim
 2259 |                 "SVGBoundingBoxOptions.getmarkers"
 2260 |                 prim__markers
 2261 |                 prim__setMarkers
 2262 |                 False
 2263 |                 (v :> SVGBoundingBoxOptions)
 2264 | 
 2265 | 
 2266 |   export
 2267 |   stroke :
 2268 |        {auto 0 _ : JSType t}
 2269 |     -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)}
 2270 |     -> t
 2271 |     -> Attribute True Optional Bool
 2272 |   stroke v = fromUndefOrPrim
 2273 |                "SVGBoundingBoxOptions.getstroke"
 2274 |                prim__stroke
 2275 |                prim__setStroke
 2276 |                False
 2277 |                (v :> SVGBoundingBoxOptions)
 2278 |