Idris2Doc : Web.Raw.Svg

Web.Raw.Svg

(source)

Definitions

download : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
hreflang : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
ping : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
referrerPolicy : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
rel : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
relList : SVGAElement -> JSIO DOMTokenList
Totality: total
Visibility: export
target : SVGAElement -> JSIO SVGAnimatedString
Totality: total
Visibility: export
text : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
type : SVGAElement -> Attribute True id String
Totality: total
Visibility: export
SVG_ANGLETYPE_DEG : Bits16
Totality: total
Visibility: public export
SVG_ANGLETYPE_GRAD : Bits16
Totality: total
Visibility: public export
SVG_ANGLETYPE_RAD : Bits16
Totality: total
Visibility: public export
SVG_ANGLETYPE_UNKNOWN : Bits16
Totality: total
Visibility: public export
SVG_ANGLETYPE_UNSPECIFIED : Bits16
Totality: total
Visibility: public export
unitType : SVGAngle -> JSIO Bits16
Totality: total
Visibility: export
value : SVGAngle -> Attribute True id Double
Totality: total
Visibility: export
valueAsString : SVGAngle -> Attribute True id String
Totality: total
Visibility: export
valueInSpecifiedUnits : SVGAngle -> Attribute True id Double
Totality: total
Visibility: export
convertToSpecifiedUnits : SVGAngle -> Bits16 -> JSIO ()
Totality: total
Visibility: export
newValueSpecifiedUnits : SVGAngle -> Bits16 -> Double -> JSIO ()
Totality: total
Visibility: export
animVal : SVGAnimatedAngle -> JSIO SVGAngle
Totality: total
Visibility: export
baseVal : SVGAnimatedAngle -> JSIO SVGAngle
Totality: total
Visibility: export
animVal : SVGAnimatedBoolean -> JSIO Bool
Totality: total
Visibility: export
baseVal : SVGAnimatedBoolean -> Attribute True id Bool
Totality: total
Visibility: export
animVal : SVGAnimatedEnumeration -> JSIO Bits16
Totality: total
Visibility: export
baseVal : SVGAnimatedEnumeration -> Attribute True id Bits16
Totality: total
Visibility: export
animVal : SVGAnimatedInteger -> JSIO Int32
Totality: total
Visibility: export
baseVal : SVGAnimatedInteger -> Attribute True id Int32
Totality: total
Visibility: export
animVal : SVGAnimatedLength -> JSIO SVGLength
Totality: total
Visibility: export
baseVal : SVGAnimatedLength -> JSIO SVGLength
Totality: total
Visibility: export
animVal : SVGAnimatedLengthList -> JSIO SVGLengthList
Totality: total
Visibility: export
baseVal : SVGAnimatedLengthList -> JSIO SVGLengthList
Totality: total
Visibility: export
animVal : SVGAnimatedNumber -> JSIO Double
Totality: total
Visibility: export
baseVal : SVGAnimatedNumber -> Attribute True id Double
Totality: total
Visibility: export
animVal : SVGAnimatedNumberList -> JSIO SVGNumberList
Totality: total
Visibility: export
baseVal : SVGAnimatedNumberList -> JSIO SVGNumberList
Totality: total
Visibility: export
animVal : SVGAnimatedPreserveAspectRatio -> JSIO SVGPreserveAspectRatio
Totality: total
Visibility: export
baseVal : SVGAnimatedPreserveAspectRatio -> JSIO SVGPreserveAspectRatio
Totality: total
Visibility: export
animVal : SVGAnimatedRect -> JSIO DOMRectReadOnly
Totality: total
Visibility: export
baseVal : SVGAnimatedRect -> JSIO DOMRect
Totality: total
Visibility: export
animVal : SVGAnimatedString -> JSIO String
Totality: total
Visibility: export
baseVal : SVGAnimatedString -> Attribute True id String
Totality: total
Visibility: export
animVal : SVGAnimatedTransformList -> JSIO SVGTransformList
Totality: total
Visibility: export
baseVal : SVGAnimatedTransformList -> JSIO SVGTransformList
Totality: total
Visibility: export
cx : SVGCircleElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
cy : SVGCircleElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
r : SVGCircleElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
className : {auto 0 {conArg:4038} : JSType t1} -> {auto 0 _ : Elem SVGElement (Types t1)} -> t1 -> JSIO SVGAnimatedString
Totality: total
Visibility: export
ownerSVGElement : {auto 0 {conArg:4066} : JSType t1} -> {auto 0 _ : Elem SVGElement (Types t1)} -> t1 -> JSIO (Maybe SVGSVGElement)
Totality: total
Visibility: export
viewportElement : {auto 0 {conArg:4102} : JSType t1} -> {auto 0 _ : Elem SVGElement (Types t1)} -> t1 -> JSIO (Maybe SVGElement)
Totality: total
Visibility: export
cx : SVGEllipseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
cy : SVGEllipseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
rx : SVGEllipseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
ry : SVGEllipseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
height : SVGForeignObjectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
width : SVGForeignObjectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x : SVGForeignObjectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y : SVGForeignObjectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
pathLength : {auto 0 {conArg:4186} : JSType t1} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> t1 -> JSIO SVGAnimatedNumber
Totality: total
Visibility: export
getPointAtLength : {auto 0 {conArg:4214} : JSType t1} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> t1 -> Double -> JSIO DOMPoint
Totality: total
Visibility: export
getTotalLength : {auto 0 {conArg:4245} : JSType t1} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> t1 -> JSIO Double
Totality: total
Visibility: export
isPointInFill' : {auto 0 {conArg:4273} : JSType t1} -> {auto 0 {conArg:4276} : JSType t2} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> t1 -> Optional t2 -> JSIO Bool
Totality: total
Visibility: export
isPointInFill : {auto 0 {conArg:4329} : JSType t1} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
isPointInStroke' : {auto 0 {conArg:4362} : JSType t1} -> {auto 0 {conArg:4365} : JSType t2} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> t1 -> Optional t2 -> JSIO Bool
Totality: total
Visibility: export
isPointInStroke : {auto 0 {conArg:4418} : JSType t1} -> {auto 0 _ : Elem SVGGeometryElement (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
SVG_SPREADMETHOD_PAD : Bits16
Totality: total
Visibility: public export
SVG_SPREADMETHOD_REFLECT : Bits16
Totality: total
Visibility: public export
SVG_SPREADMETHOD_REPEAT : Bits16
Totality: total
Visibility: public export
SVG_SPREADMETHOD_UNKNOWN : Bits16
Totality: total
Visibility: public export
gradientTransform : {auto 0 {conArg:4463} : JSType t1} -> {auto 0 _ : Elem SVGGradientElement (Types t1)} -> t1 -> JSIO SVGAnimatedTransformList
Totality: total
Visibility: export
gradientUnits : {auto 0 {conArg:4491} : JSType t1} -> {auto 0 _ : Elem SVGGradientElement (Types t1)} -> t1 -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
spreadMethod : {auto 0 {conArg:4519} : JSType t1} -> {auto 0 _ : Elem SVGGradientElement (Types t1)} -> t1 -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
transform : {auto 0 {conArg:4547} : JSType t1} -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)} -> t1 -> JSIO SVGAnimatedTransformList
Totality: total
Visibility: export
getBBox' : {auto 0 {conArg:4575} : JSType t1} -> {auto 0 {conArg:4578} : JSType t2} -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)} -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t2)} -> t1 -> Optional t2 -> JSIO DOMRect
Totality: total
Visibility: export
getBBox : {auto 0 {conArg:4627} : JSType t1} -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)} -> t1 -> JSIO DOMRect
Totality: total
Visibility: export
getCTM : {auto 0 {conArg:4656} : JSType t1} -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)} -> t1 -> JSIO (Maybe DOMMatrix)
Totality: total
Visibility: export
getScreenCTM : {auto 0 {conArg:4692} : JSType t1} -> {auto 0 _ : Elem SVGGraphicsElement (Types t1)} -> t1 -> JSIO (Maybe DOMMatrix)
Totality: total
Visibility: export
crossOrigin : SVGImageElement -> Attribute False Maybe String
Totality: total
Visibility: export
height : SVGImageElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
preserveAspectRatio : SVGImageElement -> JSIO SVGAnimatedPreserveAspectRatio
Totality: total
Visibility: export
width : SVGImageElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x : SVGImageElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y : SVGImageElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
SVG_LENGTHTYPE_CM : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_EMS : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_EXS : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_IN : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_MM : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_NUMBER : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_PC : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_PERCENTAGE : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_PT : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_PX : Bits16
Totality: total
Visibility: public export
SVG_LENGTHTYPE_UNKNOWN : Bits16
Totality: total
Visibility: public export
unitType : SVGLength -> JSIO Bits16
Totality: total
Visibility: export
value : SVGLength -> Attribute True id Double
Totality: total
Visibility: export
valueAsString : SVGLength -> Attribute True id String
Totality: total
Visibility: export
valueInSpecifiedUnits : SVGLength -> Attribute True id Double
Totality: total
Visibility: export
convertToSpecifiedUnits : SVGLength -> Bits16 -> JSIO ()
Totality: total
Visibility: export
newValueSpecifiedUnits : SVGLength -> Bits16 -> Double -> JSIO ()
Totality: total
Visibility: export
set : SVGLengthList -> Bits32 -> SVGLength -> JSIO ()
Totality: total
Visibility: export
length : SVGLengthList -> JSIO Bits32
Totality: total
Visibility: export
numberOfItems : SVGLengthList -> JSIO Bits32
Totality: total
Visibility: export
appendItem : SVGLengthList -> SVGLength -> JSIO SVGLength
Totality: total
Visibility: export
clear : SVGLengthList -> JSIO ()
Totality: total
Visibility: export
getItem : SVGLengthList -> Bits32 -> JSIO SVGLength
Totality: total
Visibility: export
initialize : SVGLengthList -> SVGLength -> JSIO SVGLength
Totality: total
Visibility: export
insertItemBefore : SVGLengthList -> SVGLength -> Bits32 -> JSIO SVGLength
Totality: total
Visibility: export
removeItem : SVGLengthList -> Bits32 -> JSIO SVGLength
Totality: total
Visibility: export
replaceItem : SVGLengthList -> SVGLength -> Bits32 -> JSIO SVGLength
Totality: total
Visibility: export
x1 : SVGLineElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x2 : SVGLineElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y1 : SVGLineElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y2 : SVGLineElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x1 : SVGLinearGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x2 : SVGLinearGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y1 : SVGLinearGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y2 : SVGLinearGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
SVG_MARKERUNITS_STROKEWIDTH : Bits16
Totality: total
Visibility: public export
SVG_MARKERUNITS_UNKNOWN : Bits16
Totality: total
Visibility: public export
SVG_MARKERUNITS_USERSPACEONUSE : Bits16
Totality: total
Visibility: public export
SVG_MARKER_ORIENT_ANGLE : Bits16
Totality: total
Visibility: public export
SVG_MARKER_ORIENT_AUTO : Bits16
Totality: total
Visibility: public export
SVG_MARKER_ORIENT_UNKNOWN : Bits16
Totality: total
Visibility: public export
markerHeight : SVGMarkerElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
markerUnits : SVGMarkerElement -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
markerWidth : SVGMarkerElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
orient : SVGMarkerElement -> Attribute True id String
Totality: total
Visibility: export
orientAngle : SVGMarkerElement -> JSIO SVGAnimatedAngle
Totality: total
Visibility: export
orientType : SVGMarkerElement -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
refX : SVGMarkerElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
refY : SVGMarkerElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
setOrientToAngle : SVGMarkerElement -> SVGAngle -> JSIO ()
Totality: total
Visibility: export
setOrientToAuto : SVGMarkerElement -> JSIO ()
Totality: total
Visibility: export
value : SVGNumber -> Attribute True id Double
Totality: total
Visibility: export
set : SVGNumberList -> Bits32 -> SVGNumber -> JSIO ()
Totality: total
Visibility: export
length : SVGNumberList -> JSIO Bits32
Totality: total
Visibility: export
numberOfItems : SVGNumberList -> JSIO Bits32
Totality: total
Visibility: export
appendItem : SVGNumberList -> SVGNumber -> JSIO SVGNumber
Totality: total
Visibility: export
clear : SVGNumberList -> JSIO ()
Totality: total
Visibility: export
getItem : SVGNumberList -> Bits32 -> JSIO SVGNumber
Totality: total
Visibility: export
initialize : SVGNumberList -> SVGNumber -> JSIO SVGNumber
Totality: total
Visibility: export
insertItemBefore : SVGNumberList -> SVGNumber -> Bits32 -> JSIO SVGNumber
Totality: total
Visibility: export
removeItem : SVGNumberList -> Bits32 -> JSIO SVGNumber
Totality: total
Visibility: export
replaceItem : SVGNumberList -> SVGNumber -> Bits32 -> JSIO SVGNumber
Totality: total
Visibility: export
height : SVGPatternElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
patternContentUnits : SVGPatternElement -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
patternTransform : SVGPatternElement -> JSIO SVGAnimatedTransformList
Totality: total
Visibility: export
patternUnits : SVGPatternElement -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
width : SVGPatternElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x : SVGPatternElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y : SVGPatternElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
set : SVGPointList -> Bits32 -> DOMPoint -> JSIO ()
Totality: total
Visibility: export
length : SVGPointList -> JSIO Bits32
Totality: total
Visibility: export
numberOfItems : SVGPointList -> JSIO Bits32
Totality: total
Visibility: export
appendItem : SVGPointList -> DOMPoint -> JSIO DOMPoint
Totality: total
Visibility: export
clear : SVGPointList -> JSIO ()
Totality: total
Visibility: export
getItem : SVGPointList -> Bits32 -> JSIO DOMPoint
Totality: total
Visibility: export
initialize : SVGPointList -> DOMPoint -> JSIO DOMPoint
Totality: total
Visibility: export
insertItemBefore : SVGPointList -> DOMPoint -> Bits32 -> JSIO DOMPoint
Totality: total
Visibility: export
removeItem : SVGPointList -> Bits32 -> JSIO DOMPoint
Totality: total
Visibility: export
replaceItem : SVGPointList -> DOMPoint -> Bits32 -> JSIO DOMPoint
Totality: total
Visibility: export
SVG_MEETORSLICE_MEET : Bits16
Totality: total
Visibility: public export
SVG_MEETORSLICE_SLICE : Bits16
Totality: total
Visibility: public export
SVG_MEETORSLICE_UNKNOWN : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_NONE : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_UNKNOWN : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMAXYMAX : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMAXYMID : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMAXYMIN : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMIDYMAX : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMIDYMID : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMIDYMIN : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMINYMAX : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMINYMID : Bits16
Totality: total
Visibility: public export
SVG_PRESERVEASPECTRATIO_XMINYMIN : Bits16
Totality: total
Visibility: public export
align : SVGPreserveAspectRatio -> Attribute True id Bits16
Totality: total
Visibility: export
meetOrSlice : SVGPreserveAspectRatio -> Attribute True id Bits16
Totality: total
Visibility: export
cx : SVGRadialGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
cy : SVGRadialGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
fr : SVGRadialGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
fx : SVGRadialGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
fy : SVGRadialGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
r : SVGRadialGradientElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
height : SVGRectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
rx : SVGRectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
ry : SVGRectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
width : SVGRectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x : SVGRectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y : SVGRectElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
currentScale : SVGSVGElement -> Attribute True id Double
Totality: total
Visibility: export
currentTranslate : SVGSVGElement -> JSIO DOMPointReadOnly
Totality: total
Visibility: export
height : SVGSVGElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
width : SVGSVGElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x : SVGSVGElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y : SVGSVGElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
checkEnclosure : {auto 0 {conArg:5570} : JSType t2} -> {auto 0 {conArg:5573} : JSType t3} -> {auto 0 _ : Elem SVGElement (Types t2)} -> {auto 0 _ : Elem DOMRectReadOnly (Types t3)} -> SVGSVGElement -> t2 -> t3 -> JSIO Bool
Totality: total
Visibility: export
checkIntersection : {auto 0 {conArg:5630} : JSType t2} -> {auto 0 {conArg:5633} : JSType t3} -> {auto 0 _ : Elem SVGElement (Types t2)} -> {auto 0 _ : Elem DOMRectReadOnly (Types t3)} -> SVGSVGElement -> t2 -> t3 -> JSIO Bool
Totality: total
Visibility: export
createSVGAngle : SVGSVGElement -> JSIO SVGAngle
Totality: total
Visibility: export
createSVGLength : SVGSVGElement -> JSIO SVGLength
Totality: total
Visibility: export
createSVGMatrix : SVGSVGElement -> JSIO DOMMatrix
Totality: total
Visibility: export
createSVGNumber : SVGSVGElement -> JSIO SVGNumber
Totality: total
Visibility: export
createSVGPoint : SVGSVGElement -> JSIO DOMPoint
Totality: total
Visibility: export
createSVGRect : SVGSVGElement -> JSIO DOMRect
Totality: total
Visibility: export
createSVGTransformFromMatrix' : {auto 0 {conArg:5726} : JSType t2} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)} -> SVGSVGElement -> Optional t2 -> JSIO SVGTransform
Totality: total
Visibility: export
createSVGTransformFromMatrix : SVGSVGElement -> JSIO SVGTransform
Totality: total
Visibility: export
createSVGTransform : SVGSVGElement -> JSIO SVGTransform
Totality: total
Visibility: export
deselectAll : SVGSVGElement -> JSIO ()
Totality: total
Visibility: export
forceRedraw : SVGSVGElement -> JSIO ()
Totality: total
Visibility: export
getElementById : SVGSVGElement -> String -> JSIO Element
Totality: total
Visibility: export
getEnclosureList : {auto 0 {conArg:5792} : JSType t2} -> {auto 0 {conArg:5795} : JSType t3} -> {auto 0 _ : Elem DOMRectReadOnly (Types t2)} -> {auto 0 _ : Elem SVGElement (Types t3)} -> SVGSVGElement -> t2 -> Maybe t3 -> JSIO NodeList
Totality: total
Visibility: export
getIntersectionList : {auto 0 {conArg:5847} : JSType t2} -> {auto 0 {conArg:5850} : JSType t3} -> {auto 0 _ : Elem DOMRectReadOnly (Types t2)} -> {auto 0 _ : Elem SVGElement (Types t3)} -> SVGSVGElement -> t2 -> Maybe t3 -> JSIO NodeList
Totality: total
Visibility: export
suspendRedraw : SVGSVGElement -> Bits32 -> JSIO Bits32
Totality: total
Visibility: export
unsuspendRedrawAll : SVGSVGElement -> JSIO ()
Totality: total
Visibility: export
unsuspendRedraw : SVGSVGElement -> Bits32 -> JSIO ()
Totality: total
Visibility: export
crossOrigin : SVGScriptElement -> Attribute False Maybe String
Totality: total
Visibility: export
type : SVGScriptElement -> Attribute True id String
Totality: total
Visibility: export
offset : SVGStopElement -> JSIO SVGAnimatedNumber
Totality: total
Visibility: export
set : SVGStringList -> Bits32 -> String -> JSIO ()
Totality: total
Visibility: export
length : SVGStringList -> JSIO Bits32
Totality: total
Visibility: export
numberOfItems : SVGStringList -> JSIO Bits32
Totality: total
Visibility: export
appendItem : SVGStringList -> String -> JSIO String
Totality: total
Visibility: export
clear : SVGStringList -> JSIO ()
Totality: total
Visibility: export
getItem : SVGStringList -> Bits32 -> JSIO String
Totality: total
Visibility: export
initialize : SVGStringList -> String -> JSIO String
Totality: total
Visibility: export
insertItemBefore : SVGStringList -> String -> Bits32 -> JSIO String
Totality: total
Visibility: export
removeItem : SVGStringList -> Bits32 -> JSIO String
Totality: total
Visibility: export
replaceItem : SVGStringList -> String -> Bits32 -> JSIO String
Totality: total
Visibility: export
media : SVGStyleElement -> Attribute True id String
Totality: total
Visibility: export
title : SVGStyleElement -> Attribute True id String
Totality: total
Visibility: export
type : SVGStyleElement -> Attribute True id String
Totality: total
Visibility: export
LENGTHADJUST_SPACING : Bits16
Totality: total
Visibility: public export
LENGTHADJUST_SPACINGANDGLYPHS : Bits16
Totality: total
Visibility: public export
LENGTHADJUST_UNKNOWN : Bits16
Totality: total
Visibility: public export
lengthAdjust : {auto 0 {conArg:6126} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
textLength : {auto 0 {conArg:6154} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
getCharNumAtPosition' : {auto 0 {conArg:6182} : JSType t1} -> {auto 0 {conArg:6185} : JSType t2} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> t1 -> Optional t2 -> JSIO Int32
Totality: total
Visibility: export
getCharNumAtPosition : {auto 0 {conArg:6234} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
getComputedTextLength : {auto 0 {conArg:6263} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> JSIO Double
Totality: total
Visibility: export
getEndPositionOfChar : {auto 0 {conArg:6291} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> Bits32 -> JSIO DOMPoint
Totality: total
Visibility: export
getExtentOfChar : {auto 0 {conArg:6322} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> Bits32 -> JSIO DOMRect
Totality: total
Visibility: export
getNumberOfChars : {auto 0 {conArg:6353} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
getRotationOfChar : {auto 0 {conArg:6381} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> Bits32 -> JSIO Double
Totality: total
Visibility: export
getStartPositionOfChar : {auto 0 {conArg:6412} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> Bits32 -> JSIO DOMPoint
Totality: total
Visibility: export
getSubStringLength : {auto 0 {conArg:6443} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> Bits32 -> Bits32 -> JSIO Double
Totality: total
Visibility: export
selectSubString : {auto 0 {conArg:6477} : JSType t1} -> {auto 0 _ : Elem SVGTextContentElement (Types t1)} -> t1 -> Bits32 -> Bits32 -> JSIO ()
Totality: total
Visibility: export
TEXTPATH_METHODTYPE_ALIGN : Bits16
Totality: total
Visibility: public export
TEXTPATH_METHODTYPE_STRETCH : Bits16
Totality: total
Visibility: public export
TEXTPATH_METHODTYPE_UNKNOWN : Bits16
Totality: total
Visibility: public export
TEXTPATH_SPACINGTYPE_AUTO : Bits16
Totality: total
Visibility: public export
TEXTPATH_SPACINGTYPE_EXACT : Bits16
Totality: total
Visibility: public export
TEXTPATH_SPACINGTYPE_UNKNOWN : Bits16
Totality: total
Visibility: public export
method : SVGTextPathElement -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
spacing : SVGTextPathElement -> JSIO SVGAnimatedEnumeration
Totality: total
Visibility: export
startOffset : SVGTextPathElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
dx : {auto 0 {conArg:6548} : JSType t1} -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)} -> t1 -> JSIO SVGAnimatedLengthList
Totality: total
Visibility: export
dy : {auto 0 {conArg:6576} : JSType t1} -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)} -> t1 -> JSIO SVGAnimatedLengthList
Totality: total
Visibility: export
rotate : {auto 0 {conArg:6604} : JSType t1} -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)} -> t1 -> JSIO SVGAnimatedNumberList
Totality: total
Visibility: export
x : {auto 0 {conArg:6632} : JSType t1} -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)} -> t1 -> JSIO SVGAnimatedLengthList
Totality: total
Visibility: export
y : {auto 0 {conArg:6660} : JSType t1} -> {auto 0 _ : Elem SVGTextPositioningElement (Types t1)} -> t1 -> JSIO SVGAnimatedLengthList
Totality: total
Visibility: export
SVG_TRANSFORM_MATRIX : Bits16
Totality: total
Visibility: public export
SVG_TRANSFORM_ROTATE : Bits16
Totality: total
Visibility: public export
SVG_TRANSFORM_SCALE : Bits16
Totality: total
Visibility: public export
SVG_TRANSFORM_SKEWX : Bits16
Totality: total
Visibility: public export
SVG_TRANSFORM_SKEWY : Bits16
Totality: total
Visibility: public export
SVG_TRANSFORM_TRANSLATE : Bits16
Totality: total
Visibility: public export
SVG_TRANSFORM_UNKNOWN : Bits16
Totality: total
Visibility: public export
angle : SVGTransform -> JSIO Double
Totality: total
Visibility: export
matrix : SVGTransform -> JSIO DOMMatrix
Totality: total
Visibility: export
type : SVGTransform -> JSIO Bits16
Totality: total
Visibility: export
setMatrix' : {auto 0 {conArg:6727} : JSType t2} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)} -> SVGTransform -> Optional t2 -> JSIO ()
Totality: total
Visibility: export
setMatrix : SVGTransform -> JSIO ()
Totality: total
Visibility: export
setRotate : SVGTransform -> Double -> Double -> Double -> JSIO ()
Totality: total
Visibility: export
setScale : SVGTransform -> Double -> Double -> JSIO ()
Totality: total
Visibility: export
setSkewX : SVGTransform -> Double -> JSIO ()
Totality: total
Visibility: export
setSkewY : SVGTransform -> Double -> JSIO ()
Totality: total
Visibility: export
setTranslate : SVGTransform -> Double -> Double -> JSIO ()
Totality: total
Visibility: export
set : SVGTransformList -> Bits32 -> SVGTransform -> JSIO ()
Totality: total
Visibility: export
length : SVGTransformList -> JSIO Bits32
Totality: total
Visibility: export
numberOfItems : SVGTransformList -> JSIO Bits32
Totality: total
Visibility: export
appendItem : SVGTransformList -> SVGTransform -> JSIO SVGTransform
Totality: total
Visibility: export
clear : SVGTransformList -> JSIO ()
Totality: total
Visibility: export
consolidate : SVGTransformList -> JSIO (Maybe SVGTransform)
Totality: total
Visibility: export
createSVGTransformFromMatrix' : {auto 0 {conArg:6883} : JSType t2} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)} -> SVGTransformList -> Optional t2 -> JSIO SVGTransform
Totality: total
Visibility: export
createSVGTransformFromMatrix : SVGTransformList -> JSIO SVGTransform
Totality: total
Visibility: export
getItem : SVGTransformList -> Bits32 -> JSIO SVGTransform
Totality: total
Visibility: export
initialize : SVGTransformList -> SVGTransform -> JSIO SVGTransform
Totality: total
Visibility: export
insertItemBefore : SVGTransformList -> SVGTransform -> Bits32 -> JSIO SVGTransform
Totality: total
Visibility: export
removeItem : SVGTransformList -> Bits32 -> JSIO SVGTransform
Totality: total
Visibility: export
replaceItem : SVGTransformList -> SVGTransform -> Bits32 -> JSIO SVGTransform
Totality: total
Visibility: export
SVG_UNIT_TYPE_OBJECTBOUNDINGBOX : Bits16
Totality: total
Visibility: public export
SVG_UNIT_TYPE_UNKNOWN : Bits16
Totality: total
Visibility: public export
SVG_UNIT_TYPE_USERSPACEONUSE : Bits16
Totality: total
Visibility: public export
animatedInstanceRoot : SVGUseElement -> JSIO (Maybe SVGElement)
Totality: total
Visibility: export
height : SVGUseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
instanceRoot : SVGUseElement -> JSIO (Maybe SVGElement)
Totality: total
Visibility: export
width : SVGUseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
x : SVGUseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
y : SVGUseElement -> JSIO SVGAnimatedLength
Totality: total
Visibility: export
new : {auto 0 {conArg:7032} : JSType t1} -> {auto 0 {conArg:7035} : JSType t2} -> {auto 0 _ : Elem Animation (Types t1)} -> {auto 0 _ : Elem Animatable (Types t2)} -> t1 -> t2 -> JSIO ShadowAnimation
Totality: total
Visibility: export
sourceAnimation : ShadowAnimation -> JSIO Animation
Totality: total
Visibility: export
getSVGDocument : {auto 0 {conArg:7091} : JSType t1} -> {auto 0 _ : Elem GetSVGDocument (Types t1)} -> t1 -> JSIO Document
Totality: total
Visibility: export
animatedPoints : {auto 0 {conArg:7120} : JSType t1} -> {auto 0 _ : Elem SVGAnimatedPoints (Types t1)} -> t1 -> JSIO SVGPointList
Totality: total
Visibility: export
points : {auto 0 {conArg:7148} : JSType t1} -> {auto 0 _ : Elem SVGAnimatedPoints (Types t1)} -> t1 -> JSIO SVGPointList
Totality: total
Visibility: export
correspondingElement : {auto 0 {conArg:7176} : JSType t1} -> {auto 0 _ : Elem SVGElementInstance (Types t1)} -> t1 -> JSIO (Maybe SVGElement)
Totality: total
Visibility: export
correspondingUseElement : {auto 0 {conArg:7212} : JSType t1} -> {auto 0 _ : Elem SVGElementInstance (Types t1)} -> t1 -> JSIO (Maybe SVGUseElement)
Totality: total
Visibility: export
preserveAspectRatio : {auto 0 {conArg:7248} : JSType t1} -> {auto 0 _ : Elem SVGFitToViewBox (Types t1)} -> t1 -> JSIO SVGAnimatedPreserveAspectRatio
Totality: total
Visibility: export
viewBox : {auto 0 {conArg:7276} : JSType t1} -> {auto 0 _ : Elem SVGFitToViewBox (Types t1)} -> t1 -> JSIO SVGAnimatedRect
Totality: total
Visibility: export
requiredExtensions : {auto 0 {conArg:7304} : JSType t1} -> {auto 0 _ : Elem SVGTests (Types t1)} -> t1 -> JSIO SVGStringList
Totality: total
Visibility: export
systemLanguage : {auto 0 {conArg:7332} : JSType t1} -> {auto 0 _ : Elem SVGTests (Types t1)} -> t1 -> JSIO SVGStringList
Totality: total
Visibility: export
href : {auto 0 {conArg:7360} : JSType t1} -> {auto 0 _ : Elem SVGURIReference (Types t1)} -> t1 -> JSIO SVGAnimatedString
Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> JSIO SVGBoundingBoxOptions
Totality: total
Visibility: export
new : JSIO SVGBoundingBoxOptions
Totality: total
Visibility: export
clipped : {auto 0 {conArg:7434} : JSType t} -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
fill : {auto 0 {conArg:7472} : JSType t} -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
markers : {auto 0 {conArg:7510} : JSType t} -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
stroke : {auto 0 {conArg:7548} : JSType t} -> {auto 0 _ : Elem SVGBoundingBoxOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export