0 | module Web.Internal.SvgTypes
12 | export data MathMLElement : Type where [external]
15 | ToFFI MathMLElement MathMLElement where toFFI = id
18 | FromFFI MathMLElement MathMLElement where fromFFI = Just
21 | SafeCast MathMLElement where
22 | safeCast = unsafeCastOnPrototypeName "MathMLElement"
24 | export data SVGAElement : Type where [external]
27 | ToFFI SVGAElement SVGAElement where toFFI = id
30 | FromFFI SVGAElement SVGAElement where fromFFI = Just
33 | SafeCast SVGAElement where
34 | safeCast = unsafeCastOnPrototypeName "SVGAElement"
36 | export data SVGAngle : Type where [external]
39 | ToFFI SVGAngle SVGAngle where toFFI = id
42 | FromFFI SVGAngle SVGAngle where fromFFI = Just
45 | SafeCast SVGAngle where
46 | safeCast = unsafeCastOnPrototypeName "SVGAngle"
48 | export data SVGAnimatedAngle : Type where [external]
51 | ToFFI SVGAnimatedAngle SVGAnimatedAngle where toFFI = id
54 | FromFFI SVGAnimatedAngle SVGAnimatedAngle where fromFFI = Just
57 | SafeCast SVGAnimatedAngle where
58 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedAngle"
60 | export data SVGAnimatedBoolean : Type where [external]
63 | ToFFI SVGAnimatedBoolean SVGAnimatedBoolean where toFFI = id
66 | FromFFI SVGAnimatedBoolean SVGAnimatedBoolean where fromFFI = Just
69 | SafeCast SVGAnimatedBoolean where
70 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedBoolean"
72 | export data SVGAnimatedEnumeration : Type where [external]
75 | ToFFI SVGAnimatedEnumeration SVGAnimatedEnumeration where toFFI = id
78 | FromFFI SVGAnimatedEnumeration SVGAnimatedEnumeration where fromFFI = Just
81 | SafeCast SVGAnimatedEnumeration where
82 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedEnumeration"
84 | export data SVGAnimatedInteger : Type where [external]
87 | ToFFI SVGAnimatedInteger SVGAnimatedInteger where toFFI = id
90 | FromFFI SVGAnimatedInteger SVGAnimatedInteger where fromFFI = Just
93 | SafeCast SVGAnimatedInteger where
94 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedInteger"
96 | export data SVGAnimatedLength : Type where [external]
99 | ToFFI SVGAnimatedLength SVGAnimatedLength where toFFI = id
102 | FromFFI SVGAnimatedLength SVGAnimatedLength where fromFFI = Just
105 | SafeCast SVGAnimatedLength where
106 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedLength"
108 | export data SVGAnimatedLengthList : Type where [external]
111 | ToFFI SVGAnimatedLengthList SVGAnimatedLengthList where toFFI = id
114 | FromFFI SVGAnimatedLengthList SVGAnimatedLengthList where fromFFI = Just
117 | SafeCast SVGAnimatedLengthList where
118 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedLengthList"
120 | export data SVGAnimatedNumber : Type where [external]
123 | ToFFI SVGAnimatedNumber SVGAnimatedNumber where toFFI = id
126 | FromFFI SVGAnimatedNumber SVGAnimatedNumber where fromFFI = Just
129 | SafeCast SVGAnimatedNumber where
130 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedNumber"
132 | export data SVGAnimatedNumberList : Type where [external]
135 | ToFFI SVGAnimatedNumberList SVGAnimatedNumberList where toFFI = id
138 | FromFFI SVGAnimatedNumberList SVGAnimatedNumberList where fromFFI = Just
141 | SafeCast SVGAnimatedNumberList where
142 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedNumberList"
144 | export data SVGAnimatedPreserveAspectRatio : Type where [external]
147 | ToFFI SVGAnimatedPreserveAspectRatio SVGAnimatedPreserveAspectRatio where toFFI = id
150 | FromFFI SVGAnimatedPreserveAspectRatio SVGAnimatedPreserveAspectRatio where fromFFI = Just
153 | SafeCast SVGAnimatedPreserveAspectRatio where
154 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedPreserveAspectRatio"
156 | export data SVGAnimatedRect : Type where [external]
159 | ToFFI SVGAnimatedRect SVGAnimatedRect where toFFI = id
162 | FromFFI SVGAnimatedRect SVGAnimatedRect where fromFFI = Just
165 | SafeCast SVGAnimatedRect where
166 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedRect"
168 | export data SVGAnimatedString : Type where [external]
171 | ToFFI SVGAnimatedString SVGAnimatedString where toFFI = id
174 | FromFFI SVGAnimatedString SVGAnimatedString where fromFFI = Just
177 | SafeCast SVGAnimatedString where
178 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedString"
180 | export data SVGAnimatedTransformList : Type where [external]
183 | ToFFI SVGAnimatedTransformList SVGAnimatedTransformList where toFFI = id
186 | FromFFI SVGAnimatedTransformList SVGAnimatedTransformList where fromFFI = Just
189 | SafeCast SVGAnimatedTransformList where
190 | safeCast = unsafeCastOnPrototypeName "SVGAnimatedTransformList"
192 | export data SVGCircleElement : Type where [external]
195 | ToFFI SVGCircleElement SVGCircleElement where toFFI = id
198 | FromFFI SVGCircleElement SVGCircleElement where fromFFI = Just
201 | SafeCast SVGCircleElement where
202 | safeCast = unsafeCastOnPrototypeName "SVGCircleElement"
204 | export data SVGDefsElement : Type where [external]
207 | ToFFI SVGDefsElement SVGDefsElement where toFFI = id
210 | FromFFI SVGDefsElement SVGDefsElement where fromFFI = Just
213 | SafeCast SVGDefsElement where
214 | safeCast = unsafeCastOnPrototypeName "SVGDefsElement"
216 | export data SVGDescElement : Type where [external]
219 | ToFFI SVGDescElement SVGDescElement where toFFI = id
222 | FromFFI SVGDescElement SVGDescElement where fromFFI = Just
225 | SafeCast SVGDescElement where
226 | safeCast = unsafeCastOnPrototypeName "SVGDescElement"
228 | export data SVGElement : Type where [external]
231 | ToFFI SVGElement SVGElement where toFFI = id
234 | FromFFI SVGElement SVGElement where fromFFI = Just
237 | SafeCast SVGElement where
238 | safeCast = unsafeCastOnPrototypeName "SVGElement"
240 | export data SVGEllipseElement : Type where [external]
243 | ToFFI SVGEllipseElement SVGEllipseElement where toFFI = id
246 | FromFFI SVGEllipseElement SVGEllipseElement where fromFFI = Just
249 | SafeCast SVGEllipseElement where
250 | safeCast = unsafeCastOnPrototypeName "SVGEllipseElement"
252 | export data SVGForeignObjectElement : Type where [external]
255 | ToFFI SVGForeignObjectElement SVGForeignObjectElement where toFFI = id
258 | FromFFI SVGForeignObjectElement SVGForeignObjectElement where fromFFI = Just
261 | SafeCast SVGForeignObjectElement where
262 | safeCast = unsafeCastOnPrototypeName "SVGForeignObjectElement"
264 | export data SVGGElement : Type where [external]
267 | ToFFI SVGGElement SVGGElement where toFFI = id
270 | FromFFI SVGGElement SVGGElement where fromFFI = Just
273 | SafeCast SVGGElement where
274 | safeCast = unsafeCastOnPrototypeName "SVGGElement"
276 | export data SVGGeometryElement : Type where [external]
279 | ToFFI SVGGeometryElement SVGGeometryElement where toFFI = id
282 | FromFFI SVGGeometryElement SVGGeometryElement where fromFFI = Just
285 | SafeCast SVGGeometryElement where
286 | safeCast = unsafeCastOnPrototypeName "SVGGeometryElement"
288 | export data SVGGradientElement : Type where [external]
291 | ToFFI SVGGradientElement SVGGradientElement where toFFI = id
294 | FromFFI SVGGradientElement SVGGradientElement where fromFFI = Just
297 | SafeCast SVGGradientElement where
298 | safeCast = unsafeCastOnPrototypeName "SVGGradientElement"
300 | export data SVGGraphicsElement : Type where [external]
303 | ToFFI SVGGraphicsElement SVGGraphicsElement where toFFI = id
306 | FromFFI SVGGraphicsElement SVGGraphicsElement where fromFFI = Just
309 | SafeCast SVGGraphicsElement where
310 | safeCast = unsafeCastOnPrototypeName "SVGGraphicsElement"
312 | export data SVGImageElement : Type where [external]
315 | ToFFI SVGImageElement SVGImageElement where toFFI = id
318 | FromFFI SVGImageElement SVGImageElement where fromFFI = Just
321 | SafeCast SVGImageElement where
322 | safeCast = unsafeCastOnPrototypeName "SVGImageElement"
324 | export data SVGLength : Type where [external]
327 | ToFFI SVGLength SVGLength where toFFI = id
330 | FromFFI SVGLength SVGLength where fromFFI = Just
333 | SafeCast SVGLength where
334 | safeCast = unsafeCastOnPrototypeName "SVGLength"
336 | export data SVGLengthList : Type where [external]
339 | ToFFI SVGLengthList SVGLengthList where toFFI = id
342 | FromFFI SVGLengthList SVGLengthList where fromFFI = Just
345 | SafeCast SVGLengthList where
346 | safeCast = unsafeCastOnPrototypeName "SVGLengthList"
348 | export data SVGLineElement : Type where [external]
351 | ToFFI SVGLineElement SVGLineElement where toFFI = id
354 | FromFFI SVGLineElement SVGLineElement where fromFFI = Just
357 | SafeCast SVGLineElement where
358 | safeCast = unsafeCastOnPrototypeName "SVGLineElement"
360 | export data SVGLinearGradientElement : Type where [external]
363 | ToFFI SVGLinearGradientElement SVGLinearGradientElement where toFFI = id
366 | FromFFI SVGLinearGradientElement SVGLinearGradientElement where fromFFI = Just
369 | SafeCast SVGLinearGradientElement where
370 | safeCast = unsafeCastOnPrototypeName "SVGLinearGradientElement"
372 | export data SVGMarkerElement : Type where [external]
375 | ToFFI SVGMarkerElement SVGMarkerElement where toFFI = id
378 | FromFFI SVGMarkerElement SVGMarkerElement where fromFFI = Just
381 | SafeCast SVGMarkerElement where
382 | safeCast = unsafeCastOnPrototypeName "SVGMarkerElement"
384 | export data SVGMetadataElement : Type where [external]
387 | ToFFI SVGMetadataElement SVGMetadataElement where toFFI = id
390 | FromFFI SVGMetadataElement SVGMetadataElement where fromFFI = Just
393 | SafeCast SVGMetadataElement where
394 | safeCast = unsafeCastOnPrototypeName "SVGMetadataElement"
396 | export data SVGNumber : Type where [external]
399 | ToFFI SVGNumber SVGNumber where toFFI = id
402 | FromFFI SVGNumber SVGNumber where fromFFI = Just
405 | SafeCast SVGNumber where
406 | safeCast = unsafeCastOnPrototypeName "SVGNumber"
408 | export data SVGNumberList : Type where [external]
411 | ToFFI SVGNumberList SVGNumberList where toFFI = id
414 | FromFFI SVGNumberList SVGNumberList where fromFFI = Just
417 | SafeCast SVGNumberList where
418 | safeCast = unsafeCastOnPrototypeName "SVGNumberList"
420 | export data SVGPathElement : Type where [external]
423 | ToFFI SVGPathElement SVGPathElement where toFFI = id
426 | FromFFI SVGPathElement SVGPathElement where fromFFI = Just
429 | SafeCast SVGPathElement where
430 | safeCast = unsafeCastOnPrototypeName "SVGPathElement"
432 | export data SVGPatternElement : Type where [external]
435 | ToFFI SVGPatternElement SVGPatternElement where toFFI = id
438 | FromFFI SVGPatternElement SVGPatternElement where fromFFI = Just
441 | SafeCast SVGPatternElement where
442 | safeCast = unsafeCastOnPrototypeName "SVGPatternElement"
444 | export data SVGPointList : Type where [external]
447 | ToFFI SVGPointList SVGPointList where toFFI = id
450 | FromFFI SVGPointList SVGPointList where fromFFI = Just
453 | SafeCast SVGPointList where
454 | safeCast = unsafeCastOnPrototypeName "SVGPointList"
456 | export data SVGPolygonElement : Type where [external]
459 | ToFFI SVGPolygonElement SVGPolygonElement where toFFI = id
462 | FromFFI SVGPolygonElement SVGPolygonElement where fromFFI = Just
465 | SafeCast SVGPolygonElement where
466 | safeCast = unsafeCastOnPrototypeName "SVGPolygonElement"
468 | export data SVGPolylineElement : Type where [external]
471 | ToFFI SVGPolylineElement SVGPolylineElement where toFFI = id
474 | FromFFI SVGPolylineElement SVGPolylineElement where fromFFI = Just
477 | SafeCast SVGPolylineElement where
478 | safeCast = unsafeCastOnPrototypeName "SVGPolylineElement"
480 | export data SVGPreserveAspectRatio : Type where [external]
483 | ToFFI SVGPreserveAspectRatio SVGPreserveAspectRatio where toFFI = id
486 | FromFFI SVGPreserveAspectRatio SVGPreserveAspectRatio where fromFFI = Just
489 | SafeCast SVGPreserveAspectRatio where
490 | safeCast = unsafeCastOnPrototypeName "SVGPreserveAspectRatio"
492 | export data SVGRadialGradientElement : Type where [external]
495 | ToFFI SVGRadialGradientElement SVGRadialGradientElement where toFFI = id
498 | FromFFI SVGRadialGradientElement SVGRadialGradientElement where fromFFI = Just
501 | SafeCast SVGRadialGradientElement where
502 | safeCast = unsafeCastOnPrototypeName "SVGRadialGradientElement"
504 | export data SVGRectElement : Type where [external]
507 | ToFFI SVGRectElement SVGRectElement where toFFI = id
510 | FromFFI SVGRectElement SVGRectElement where fromFFI = Just
513 | SafeCast SVGRectElement where
514 | safeCast = unsafeCastOnPrototypeName "SVGRectElement"
516 | export data SVGSVGElement : Type where [external]
519 | ToFFI SVGSVGElement SVGSVGElement where toFFI = id
522 | FromFFI SVGSVGElement SVGSVGElement where fromFFI = Just
525 | SafeCast SVGSVGElement where
526 | safeCast = unsafeCastOnPrototypeName "SVGSVGElement"
528 | export data SVGScriptElement : Type where [external]
531 | ToFFI SVGScriptElement SVGScriptElement where toFFI = id
534 | FromFFI SVGScriptElement SVGScriptElement where fromFFI = Just
537 | SafeCast SVGScriptElement where
538 | safeCast = unsafeCastOnPrototypeName "SVGScriptElement"
540 | export data SVGStopElement : Type where [external]
543 | ToFFI SVGStopElement SVGStopElement where toFFI = id
546 | FromFFI SVGStopElement SVGStopElement where fromFFI = Just
549 | SafeCast SVGStopElement where
550 | safeCast = unsafeCastOnPrototypeName "SVGStopElement"
552 | export data SVGStringList : Type where [external]
555 | ToFFI SVGStringList SVGStringList where toFFI = id
558 | FromFFI SVGStringList SVGStringList where fromFFI = Just
561 | SafeCast SVGStringList where
562 | safeCast = unsafeCastOnPrototypeName "SVGStringList"
564 | export data SVGStyleElement : Type where [external]
567 | ToFFI SVGStyleElement SVGStyleElement where toFFI = id
570 | FromFFI SVGStyleElement SVGStyleElement where fromFFI = Just
573 | SafeCast SVGStyleElement where
574 | safeCast = unsafeCastOnPrototypeName "SVGStyleElement"
576 | export data SVGSwitchElement : Type where [external]
579 | ToFFI SVGSwitchElement SVGSwitchElement where toFFI = id
582 | FromFFI SVGSwitchElement SVGSwitchElement where fromFFI = Just
585 | SafeCast SVGSwitchElement where
586 | safeCast = unsafeCastOnPrototypeName "SVGSwitchElement"
588 | export data SVGSymbolElement : Type where [external]
591 | ToFFI SVGSymbolElement SVGSymbolElement where toFFI = id
594 | FromFFI SVGSymbolElement SVGSymbolElement where fromFFI = Just
597 | SafeCast SVGSymbolElement where
598 | safeCast = unsafeCastOnPrototypeName "SVGSymbolElement"
600 | export data SVGTSpanElement : Type where [external]
603 | ToFFI SVGTSpanElement SVGTSpanElement where toFFI = id
606 | FromFFI SVGTSpanElement SVGTSpanElement where fromFFI = Just
609 | SafeCast SVGTSpanElement where
610 | safeCast = unsafeCastOnPrototypeName "SVGTSpanElement"
612 | export data SVGTextContentElement : Type where [external]
615 | ToFFI SVGTextContentElement SVGTextContentElement where toFFI = id
618 | FromFFI SVGTextContentElement SVGTextContentElement where fromFFI = Just
621 | SafeCast SVGTextContentElement where
622 | safeCast = unsafeCastOnPrototypeName "SVGTextContentElement"
624 | export data SVGTextElement : Type where [external]
627 | ToFFI SVGTextElement SVGTextElement where toFFI = id
630 | FromFFI SVGTextElement SVGTextElement where fromFFI = Just
633 | SafeCast SVGTextElement where
634 | safeCast = unsafeCastOnPrototypeName "SVGTextElement"
636 | export data SVGTextPathElement : Type where [external]
639 | ToFFI SVGTextPathElement SVGTextPathElement where toFFI = id
642 | FromFFI SVGTextPathElement SVGTextPathElement where fromFFI = Just
645 | SafeCast SVGTextPathElement where
646 | safeCast = unsafeCastOnPrototypeName "SVGTextPathElement"
648 | export data SVGTextPositioningElement : Type where [external]
651 | ToFFI SVGTextPositioningElement SVGTextPositioningElement where toFFI = id
654 | FromFFI SVGTextPositioningElement SVGTextPositioningElement where fromFFI = Just
657 | SafeCast SVGTextPositioningElement where
658 | safeCast = unsafeCastOnPrototypeName "SVGTextPositioningElement"
660 | export data SVGTitleElement : Type where [external]
663 | ToFFI SVGTitleElement SVGTitleElement where toFFI = id
666 | FromFFI SVGTitleElement SVGTitleElement where fromFFI = Just
669 | SafeCast SVGTitleElement where
670 | safeCast = unsafeCastOnPrototypeName "SVGTitleElement"
672 | export data SVGTransform : Type where [external]
675 | ToFFI SVGTransform SVGTransform where toFFI = id
678 | FromFFI SVGTransform SVGTransform where fromFFI = Just
681 | SafeCast SVGTransform where
682 | safeCast = unsafeCastOnPrototypeName "SVGTransform"
684 | export data SVGTransformList : Type where [external]
687 | ToFFI SVGTransformList SVGTransformList where toFFI = id
690 | FromFFI SVGTransformList SVGTransformList where fromFFI = Just
693 | SafeCast SVGTransformList where
694 | safeCast = unsafeCastOnPrototypeName "SVGTransformList"
696 | export data SVGUnitTypes : Type where [external]
699 | ToFFI SVGUnitTypes SVGUnitTypes where toFFI = id
702 | FromFFI SVGUnitTypes SVGUnitTypes where fromFFI = Just
705 | SafeCast SVGUnitTypes where
706 | safeCast = unsafeCastOnPrototypeName "SVGUnitTypes"
708 | export data SVGUseElement : Type where [external]
711 | ToFFI SVGUseElement SVGUseElement where toFFI = id
714 | FromFFI SVGUseElement SVGUseElement where fromFFI = Just
717 | SafeCast SVGUseElement where
718 | safeCast = unsafeCastOnPrototypeName "SVGUseElement"
720 | export data SVGUseElementShadowRoot : Type where [external]
723 | ToFFI SVGUseElementShadowRoot SVGUseElementShadowRoot where toFFI = id
726 | FromFFI SVGUseElementShadowRoot SVGUseElementShadowRoot where fromFFI = Just
729 | SafeCast SVGUseElementShadowRoot where
730 | safeCast = unsafeCastOnPrototypeName "SVGUseElementShadowRoot"
732 | export data SVGViewElement : Type where [external]
735 | ToFFI SVGViewElement SVGViewElement where toFFI = id
738 | FromFFI SVGViewElement SVGViewElement where fromFFI = Just
741 | SafeCast SVGViewElement where
742 | safeCast = unsafeCastOnPrototypeName "SVGViewElement"
744 | export data ShadowAnimation : Type where [external]
747 | ToFFI ShadowAnimation ShadowAnimation where toFFI = id
750 | FromFFI ShadowAnimation ShadowAnimation where fromFFI = Just
753 | SafeCast ShadowAnimation where
754 | safeCast = unsafeCastOnPrototypeName "ShadowAnimation"
761 | export data SVGBoundingBoxOptions : Type where [external]
764 | ToFFI SVGBoundingBoxOptions SVGBoundingBoxOptions where toFFI = id
767 | FromFFI SVGBoundingBoxOptions SVGBoundingBoxOptions where fromFFI = Just
774 | export data GetSVGDocument : Type where [external]
777 | ToFFI GetSVGDocument GetSVGDocument where toFFI = id
780 | FromFFI GetSVGDocument GetSVGDocument where fromFFI = Just
782 | export data SVGAnimatedPoints : Type where [external]
785 | ToFFI SVGAnimatedPoints SVGAnimatedPoints where toFFI = id
788 | FromFFI SVGAnimatedPoints SVGAnimatedPoints where fromFFI = Just
790 | export data SVGElementInstance : Type where [external]
793 | ToFFI SVGElementInstance SVGElementInstance where toFFI = id
796 | FromFFI SVGElementInstance SVGElementInstance where fromFFI = Just
798 | export data SVGFitToViewBox : Type where [external]
801 | ToFFI SVGFitToViewBox SVGFitToViewBox where toFFI = id
804 | FromFFI SVGFitToViewBox SVGFitToViewBox where fromFFI = Just
806 | export data SVGTests : Type where [external]
809 | ToFFI SVGTests SVGTests where toFFI = id
812 | FromFFI SVGTests SVGTests where fromFFI = Just
814 | export data SVGURIReference : Type where [external]
817 | ToFFI SVGURIReference SVGURIReference where toFFI = id
820 | FromFFI SVGURIReference SVGURIReference where fromFFI = Just