Idris2Doc : Web.Internal.SvgTypes

Web.Internal.SvgTypes

(source)

Definitions

data MathMLElement : Type
Totality: total
Visibility: export
Hints:
FromFFI MathMLElement MathMLElement
JSType MathMLElement
SafeCast MathMLElement
ToFFI MathMLElement MathMLElement
data SVGAElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAElement SVGAElement
JSType SVGAElement
SafeCast SVGAElement
ToFFI SVGAElement SVGAElement
data SVGAngle : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAngle SVGAngle
JSType SVGAngle
SafeCast SVGAngle
ToFFI SVGAngle SVGAngle
data SVGAnimatedAngle : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedAngle SVGAnimatedAngle
JSType SVGAnimatedAngle
SafeCast SVGAnimatedAngle
ToFFI SVGAnimatedAngle SVGAnimatedAngle
data SVGAnimatedBoolean : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedBoolean SVGAnimatedBoolean
JSType SVGAnimatedBoolean
SafeCast SVGAnimatedBoolean
ToFFI SVGAnimatedBoolean SVGAnimatedBoolean
data SVGAnimatedEnumeration : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedEnumeration SVGAnimatedEnumeration
JSType SVGAnimatedEnumeration
SafeCast SVGAnimatedEnumeration
ToFFI SVGAnimatedEnumeration SVGAnimatedEnumeration
data SVGAnimatedInteger : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedInteger SVGAnimatedInteger
JSType SVGAnimatedInteger
SafeCast SVGAnimatedInteger
ToFFI SVGAnimatedInteger SVGAnimatedInteger
data SVGAnimatedLength : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedLength SVGAnimatedLength
JSType SVGAnimatedLength
SafeCast SVGAnimatedLength
ToFFI SVGAnimatedLength SVGAnimatedLength
data SVGAnimatedLengthList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedLengthList SVGAnimatedLengthList
JSType SVGAnimatedLengthList
SafeCast SVGAnimatedLengthList
ToFFI SVGAnimatedLengthList SVGAnimatedLengthList
data SVGAnimatedNumber : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedNumber SVGAnimatedNumber
JSType SVGAnimatedNumber
SafeCast SVGAnimatedNumber
ToFFI SVGAnimatedNumber SVGAnimatedNumber
data SVGAnimatedNumberList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedNumberList SVGAnimatedNumberList
JSType SVGAnimatedNumberList
SafeCast SVGAnimatedNumberList
ToFFI SVGAnimatedNumberList SVGAnimatedNumberList
data SVGAnimatedPreserveAspectRatio : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedPreserveAspectRatio SVGAnimatedPreserveAspectRatio
JSType SVGAnimatedPreserveAspectRatio
SafeCast SVGAnimatedPreserveAspectRatio
ToFFI SVGAnimatedPreserveAspectRatio SVGAnimatedPreserveAspectRatio
data SVGAnimatedRect : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedRect SVGAnimatedRect
JSType SVGAnimatedRect
SafeCast SVGAnimatedRect
ToFFI SVGAnimatedRect SVGAnimatedRect
data SVGAnimatedString : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedString SVGAnimatedString
JSType SVGAnimatedString
SafeCast SVGAnimatedString
ToFFI SVGAnimatedString SVGAnimatedString
data SVGAnimatedTransformList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedTransformList SVGAnimatedTransformList
JSType SVGAnimatedTransformList
SafeCast SVGAnimatedTransformList
ToFFI SVGAnimatedTransformList SVGAnimatedTransformList
data SVGCircleElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGCircleElement SVGCircleElement
JSType SVGCircleElement
SafeCast SVGCircleElement
ToFFI SVGCircleElement SVGCircleElement
data SVGDefsElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGDefsElement SVGDefsElement
JSType SVGDefsElement
SafeCast SVGDefsElement
ToFFI SVGDefsElement SVGDefsElement
data SVGDescElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGDescElement SVGDescElement
JSType SVGDescElement
SafeCast SVGDescElement
ToFFI SVGDescElement SVGDescElement
data SVGElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGElement SVGElement
JSType SVGElement
SafeCast SVGElement
ToFFI SVGElement SVGElement
data SVGEllipseElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGEllipseElement SVGEllipseElement
JSType SVGEllipseElement
SafeCast SVGEllipseElement
ToFFI SVGEllipseElement SVGEllipseElement
data SVGForeignObjectElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGForeignObjectElement SVGForeignObjectElement
JSType SVGForeignObjectElement
SafeCast SVGForeignObjectElement
ToFFI SVGForeignObjectElement SVGForeignObjectElement
data SVGGElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGGElement SVGGElement
JSType SVGGElement
SafeCast SVGGElement
ToFFI SVGGElement SVGGElement
data SVGGeometryElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGGeometryElement SVGGeometryElement
JSType SVGGeometryElement
SafeCast SVGGeometryElement
ToFFI SVGGeometryElement SVGGeometryElement
data SVGGradientElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGGradientElement SVGGradientElement
JSType SVGGradientElement
SafeCast SVGGradientElement
ToFFI SVGGradientElement SVGGradientElement
data SVGGraphicsElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGGraphicsElement SVGGraphicsElement
JSType SVGGraphicsElement
SafeCast SVGGraphicsElement
ToFFI SVGGraphicsElement SVGGraphicsElement
data SVGImageElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGImageElement SVGImageElement
JSType SVGImageElement
SafeCast SVGImageElement
ToFFI SVGImageElement SVGImageElement
data SVGLength : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGLength SVGLength
JSType SVGLength
SafeCast SVGLength
ToFFI SVGLength SVGLength
data SVGLengthList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGLengthList SVGLengthList
JSType SVGLengthList
SafeCast SVGLengthList
ToFFI SVGLengthList SVGLengthList
data SVGLineElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGLineElement SVGLineElement
JSType SVGLineElement
SafeCast SVGLineElement
ToFFI SVGLineElement SVGLineElement
data SVGLinearGradientElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGLinearGradientElement SVGLinearGradientElement
JSType SVGLinearGradientElement
SafeCast SVGLinearGradientElement
ToFFI SVGLinearGradientElement SVGLinearGradientElement
data SVGMarkerElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGMarkerElement SVGMarkerElement
JSType SVGMarkerElement
SafeCast SVGMarkerElement
ToFFI SVGMarkerElement SVGMarkerElement
data SVGMetadataElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGMetadataElement SVGMetadataElement
JSType SVGMetadataElement
SafeCast SVGMetadataElement
ToFFI SVGMetadataElement SVGMetadataElement
data SVGNumber : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGNumber SVGNumber
JSType SVGNumber
SafeCast SVGNumber
ToFFI SVGNumber SVGNumber
data SVGNumberList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGNumberList SVGNumberList
JSType SVGNumberList
SafeCast SVGNumberList
ToFFI SVGNumberList SVGNumberList
data SVGPathElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGPathElement SVGPathElement
JSType SVGPathElement
SafeCast SVGPathElement
ToFFI SVGPathElement SVGPathElement
data SVGPatternElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGPatternElement SVGPatternElement
JSType SVGPatternElement
SafeCast SVGPatternElement
ToFFI SVGPatternElement SVGPatternElement
data SVGPointList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGPointList SVGPointList
JSType SVGPointList
SafeCast SVGPointList
ToFFI SVGPointList SVGPointList
data SVGPolygonElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGPolygonElement SVGPolygonElement
JSType SVGPolygonElement
SafeCast SVGPolygonElement
ToFFI SVGPolygonElement SVGPolygonElement
data SVGPolylineElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGPolylineElement SVGPolylineElement
JSType SVGPolylineElement
SafeCast SVGPolylineElement
ToFFI SVGPolylineElement SVGPolylineElement
data SVGPreserveAspectRatio : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGPreserveAspectRatio SVGPreserveAspectRatio
JSType SVGPreserveAspectRatio
SafeCast SVGPreserveAspectRatio
ToFFI SVGPreserveAspectRatio SVGPreserveAspectRatio
data SVGRadialGradientElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGRadialGradientElement SVGRadialGradientElement
JSType SVGRadialGradientElement
SafeCast SVGRadialGradientElement
ToFFI SVGRadialGradientElement SVGRadialGradientElement
data SVGRectElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGRectElement SVGRectElement
JSType SVGRectElement
SafeCast SVGRectElement
ToFFI SVGRectElement SVGRectElement
data SVGSVGElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGSVGElement SVGSVGElement
JSType SVGSVGElement
SafeCast SVGSVGElement
ToFFI SVGSVGElement SVGSVGElement
data SVGScriptElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGScriptElement SVGScriptElement
JSType SVGScriptElement
SafeCast SVGScriptElement
ToFFI SVGScriptElement SVGScriptElement
data SVGStopElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGStopElement SVGStopElement
JSType SVGStopElement
SafeCast SVGStopElement
ToFFI SVGStopElement SVGStopElement
data SVGStringList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGStringList SVGStringList
JSType SVGStringList
SafeCast SVGStringList
ToFFI SVGStringList SVGStringList
data SVGStyleElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGStyleElement SVGStyleElement
JSType SVGStyleElement
SafeCast SVGStyleElement
ToFFI SVGStyleElement SVGStyleElement
data SVGSwitchElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGSwitchElement SVGSwitchElement
JSType SVGSwitchElement
SafeCast SVGSwitchElement
ToFFI SVGSwitchElement SVGSwitchElement
data SVGSymbolElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGSymbolElement SVGSymbolElement
JSType SVGSymbolElement
SafeCast SVGSymbolElement
ToFFI SVGSymbolElement SVGSymbolElement
data SVGTSpanElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTSpanElement SVGTSpanElement
JSType SVGTSpanElement
SafeCast SVGTSpanElement
ToFFI SVGTSpanElement SVGTSpanElement
data SVGTextContentElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTextContentElement SVGTextContentElement
JSType SVGTextContentElement
SafeCast SVGTextContentElement
ToFFI SVGTextContentElement SVGTextContentElement
data SVGTextElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTextElement SVGTextElement
JSType SVGTextElement
SafeCast SVGTextElement
ToFFI SVGTextElement SVGTextElement
data SVGTextPathElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTextPathElement SVGTextPathElement
JSType SVGTextPathElement
SafeCast SVGTextPathElement
ToFFI SVGTextPathElement SVGTextPathElement
data SVGTextPositioningElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTextPositioningElement SVGTextPositioningElement
JSType SVGTextPositioningElement
SafeCast SVGTextPositioningElement
ToFFI SVGTextPositioningElement SVGTextPositioningElement
data SVGTitleElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTitleElement SVGTitleElement
JSType SVGTitleElement
SafeCast SVGTitleElement
ToFFI SVGTitleElement SVGTitleElement
data SVGTransform : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTransform SVGTransform
JSType SVGTransform
SafeCast SVGTransform
ToFFI SVGTransform SVGTransform
data SVGTransformList : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTransformList SVGTransformList
JSType SVGTransformList
SafeCast SVGTransformList
ToFFI SVGTransformList SVGTransformList
data SVGUnitTypes : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGUnitTypes SVGUnitTypes
JSType SVGUnitTypes
SafeCast SVGUnitTypes
ToFFI SVGUnitTypes SVGUnitTypes
data SVGUseElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGUseElement SVGUseElement
JSType SVGUseElement
SafeCast SVGUseElement
ToFFI SVGUseElement SVGUseElement
data SVGUseElementShadowRoot : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGUseElementShadowRoot SVGUseElementShadowRoot
JSType SVGUseElementShadowRoot
SafeCast SVGUseElementShadowRoot
ToFFI SVGUseElementShadowRoot SVGUseElementShadowRoot
data SVGViewElement : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGViewElement SVGViewElement
JSType SVGViewElement
SafeCast SVGViewElement
ToFFI SVGViewElement SVGViewElement
data ShadowAnimation : Type
Totality: total
Visibility: export
Hints:
FromFFI ShadowAnimation ShadowAnimation
JSType ShadowAnimation
SafeCast ShadowAnimation
ToFFI ShadowAnimation ShadowAnimation
data SVGBoundingBoxOptions : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGBoundingBoxOptions SVGBoundingBoxOptions
JSType SVGBoundingBoxOptions
ToFFI SVGBoundingBoxOptions SVGBoundingBoxOptions
data GetSVGDocument : Type
Totality: total
Visibility: export
Hints:
FromFFI GetSVGDocument GetSVGDocument
ToFFI GetSVGDocument GetSVGDocument
data SVGAnimatedPoints : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGAnimatedPoints SVGAnimatedPoints
ToFFI SVGAnimatedPoints SVGAnimatedPoints
data SVGElementInstance : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGElementInstance SVGElementInstance
ToFFI SVGElementInstance SVGElementInstance
data SVGFitToViewBox : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGFitToViewBox SVGFitToViewBox
ToFFI SVGFitToViewBox SVGFitToViewBox
data SVGTests : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGTests SVGTests
ToFFI SVGTests SVGTests
data SVGURIReference : Type
Totality: total
Visibility: export
Hints:
FromFFI SVGURIReference SVGURIReference
ToFFI SVGURIReference SVGURIReference