Idris2Doc : Web.Internal.SvgTypes

Web.Internal.SvgTypes

(source)

Definitions

dataMathMLElement : Type
Totality: total
Visibility: export
Hints:
FromFFIMathMLElementMathMLElement
JSTypeMathMLElement
SafeCastMathMLElement
ToFFIMathMLElementMathMLElement
dataSVGAElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAElementSVGAElement
JSTypeSVGAElement
SafeCastSVGAElement
ToFFISVGAElementSVGAElement
dataSVGAngle : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAngleSVGAngle
JSTypeSVGAngle
SafeCastSVGAngle
ToFFISVGAngleSVGAngle
dataSVGAnimatedAngle : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedAngleSVGAnimatedAngle
JSTypeSVGAnimatedAngle
SafeCastSVGAnimatedAngle
ToFFISVGAnimatedAngleSVGAnimatedAngle
dataSVGAnimatedBoolean : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedBooleanSVGAnimatedBoolean
JSTypeSVGAnimatedBoolean
SafeCastSVGAnimatedBoolean
ToFFISVGAnimatedBooleanSVGAnimatedBoolean
dataSVGAnimatedEnumeration : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedEnumerationSVGAnimatedEnumeration
JSTypeSVGAnimatedEnumeration
SafeCastSVGAnimatedEnumeration
ToFFISVGAnimatedEnumerationSVGAnimatedEnumeration
dataSVGAnimatedInteger : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedIntegerSVGAnimatedInteger
JSTypeSVGAnimatedInteger
SafeCastSVGAnimatedInteger
ToFFISVGAnimatedIntegerSVGAnimatedInteger
dataSVGAnimatedLength : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedLengthSVGAnimatedLength
JSTypeSVGAnimatedLength
SafeCastSVGAnimatedLength
ToFFISVGAnimatedLengthSVGAnimatedLength
dataSVGAnimatedLengthList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedLengthListSVGAnimatedLengthList
JSTypeSVGAnimatedLengthList
SafeCastSVGAnimatedLengthList
ToFFISVGAnimatedLengthListSVGAnimatedLengthList
dataSVGAnimatedNumber : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedNumberSVGAnimatedNumber
JSTypeSVGAnimatedNumber
SafeCastSVGAnimatedNumber
ToFFISVGAnimatedNumberSVGAnimatedNumber
dataSVGAnimatedNumberList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedNumberListSVGAnimatedNumberList
JSTypeSVGAnimatedNumberList
SafeCastSVGAnimatedNumberList
ToFFISVGAnimatedNumberListSVGAnimatedNumberList
dataSVGAnimatedPreserveAspectRatio : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedPreserveAspectRatioSVGAnimatedPreserveAspectRatio
JSTypeSVGAnimatedPreserveAspectRatio
SafeCastSVGAnimatedPreserveAspectRatio
ToFFISVGAnimatedPreserveAspectRatioSVGAnimatedPreserveAspectRatio
dataSVGAnimatedRect : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedRectSVGAnimatedRect
JSTypeSVGAnimatedRect
SafeCastSVGAnimatedRect
ToFFISVGAnimatedRectSVGAnimatedRect
dataSVGAnimatedString : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedStringSVGAnimatedString
JSTypeSVGAnimatedString
SafeCastSVGAnimatedString
ToFFISVGAnimatedStringSVGAnimatedString
dataSVGAnimatedTransformList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedTransformListSVGAnimatedTransformList
JSTypeSVGAnimatedTransformList
SafeCastSVGAnimatedTransformList
ToFFISVGAnimatedTransformListSVGAnimatedTransformList
dataSVGCircleElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGCircleElementSVGCircleElement
JSTypeSVGCircleElement
SafeCastSVGCircleElement
ToFFISVGCircleElementSVGCircleElement
dataSVGDefsElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGDefsElementSVGDefsElement
JSTypeSVGDefsElement
SafeCastSVGDefsElement
ToFFISVGDefsElementSVGDefsElement
dataSVGDescElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGDescElementSVGDescElement
JSTypeSVGDescElement
SafeCastSVGDescElement
ToFFISVGDescElementSVGDescElement
dataSVGElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGElementSVGElement
JSTypeSVGElement
SafeCastSVGElement
ToFFISVGElementSVGElement
dataSVGEllipseElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGEllipseElementSVGEllipseElement
JSTypeSVGEllipseElement
SafeCastSVGEllipseElement
ToFFISVGEllipseElementSVGEllipseElement
dataSVGForeignObjectElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGForeignObjectElementSVGForeignObjectElement
JSTypeSVGForeignObjectElement
SafeCastSVGForeignObjectElement
ToFFISVGForeignObjectElementSVGForeignObjectElement
dataSVGGElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGGElementSVGGElement
JSTypeSVGGElement
SafeCastSVGGElement
ToFFISVGGElementSVGGElement
dataSVGGeometryElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGGeometryElementSVGGeometryElement
JSTypeSVGGeometryElement
SafeCastSVGGeometryElement
ToFFISVGGeometryElementSVGGeometryElement
dataSVGGradientElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGGradientElementSVGGradientElement
JSTypeSVGGradientElement
SafeCastSVGGradientElement
ToFFISVGGradientElementSVGGradientElement
dataSVGGraphicsElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGGraphicsElementSVGGraphicsElement
JSTypeSVGGraphicsElement
SafeCastSVGGraphicsElement
ToFFISVGGraphicsElementSVGGraphicsElement
dataSVGImageElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGImageElementSVGImageElement
JSTypeSVGImageElement
SafeCastSVGImageElement
ToFFISVGImageElementSVGImageElement
dataSVGLength : Type
Totality: total
Visibility: export
Hints:
FromFFISVGLengthSVGLength
JSTypeSVGLength
SafeCastSVGLength
ToFFISVGLengthSVGLength
dataSVGLengthList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGLengthListSVGLengthList
JSTypeSVGLengthList
SafeCastSVGLengthList
ToFFISVGLengthListSVGLengthList
dataSVGLineElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGLineElementSVGLineElement
JSTypeSVGLineElement
SafeCastSVGLineElement
ToFFISVGLineElementSVGLineElement
dataSVGLinearGradientElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGLinearGradientElementSVGLinearGradientElement
JSTypeSVGLinearGradientElement
SafeCastSVGLinearGradientElement
ToFFISVGLinearGradientElementSVGLinearGradientElement
dataSVGMarkerElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGMarkerElementSVGMarkerElement
JSTypeSVGMarkerElement
SafeCastSVGMarkerElement
ToFFISVGMarkerElementSVGMarkerElement
dataSVGMetadataElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGMetadataElementSVGMetadataElement
JSTypeSVGMetadataElement
SafeCastSVGMetadataElement
ToFFISVGMetadataElementSVGMetadataElement
dataSVGNumber : Type
Totality: total
Visibility: export
Hints:
FromFFISVGNumberSVGNumber
JSTypeSVGNumber
SafeCastSVGNumber
ToFFISVGNumberSVGNumber
dataSVGNumberList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGNumberListSVGNumberList
JSTypeSVGNumberList
SafeCastSVGNumberList
ToFFISVGNumberListSVGNumberList
dataSVGPathElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGPathElementSVGPathElement
JSTypeSVGPathElement
SafeCastSVGPathElement
ToFFISVGPathElementSVGPathElement
dataSVGPatternElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGPatternElementSVGPatternElement
JSTypeSVGPatternElement
SafeCastSVGPatternElement
ToFFISVGPatternElementSVGPatternElement
dataSVGPointList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGPointListSVGPointList
JSTypeSVGPointList
SafeCastSVGPointList
ToFFISVGPointListSVGPointList
dataSVGPolygonElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGPolygonElementSVGPolygonElement
JSTypeSVGPolygonElement
SafeCastSVGPolygonElement
ToFFISVGPolygonElementSVGPolygonElement
dataSVGPolylineElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGPolylineElementSVGPolylineElement
JSTypeSVGPolylineElement
SafeCastSVGPolylineElement
ToFFISVGPolylineElementSVGPolylineElement
dataSVGPreserveAspectRatio : Type
Totality: total
Visibility: export
Hints:
FromFFISVGPreserveAspectRatioSVGPreserveAspectRatio
JSTypeSVGPreserveAspectRatio
SafeCastSVGPreserveAspectRatio
ToFFISVGPreserveAspectRatioSVGPreserveAspectRatio
dataSVGRadialGradientElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGRadialGradientElementSVGRadialGradientElement
JSTypeSVGRadialGradientElement
SafeCastSVGRadialGradientElement
ToFFISVGRadialGradientElementSVGRadialGradientElement
dataSVGRectElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGRectElementSVGRectElement
JSTypeSVGRectElement
SafeCastSVGRectElement
ToFFISVGRectElementSVGRectElement
dataSVGSVGElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGSVGElementSVGSVGElement
JSTypeSVGSVGElement
SafeCastSVGSVGElement
ToFFISVGSVGElementSVGSVGElement
dataSVGScriptElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGScriptElementSVGScriptElement
JSTypeSVGScriptElement
SafeCastSVGScriptElement
ToFFISVGScriptElementSVGScriptElement
dataSVGStopElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGStopElementSVGStopElement
JSTypeSVGStopElement
SafeCastSVGStopElement
ToFFISVGStopElementSVGStopElement
dataSVGStringList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGStringListSVGStringList
JSTypeSVGStringList
SafeCastSVGStringList
ToFFISVGStringListSVGStringList
dataSVGStyleElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGStyleElementSVGStyleElement
JSTypeSVGStyleElement
SafeCastSVGStyleElement
ToFFISVGStyleElementSVGStyleElement
dataSVGSwitchElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGSwitchElementSVGSwitchElement
JSTypeSVGSwitchElement
SafeCastSVGSwitchElement
ToFFISVGSwitchElementSVGSwitchElement
dataSVGSymbolElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGSymbolElementSVGSymbolElement
JSTypeSVGSymbolElement
SafeCastSVGSymbolElement
ToFFISVGSymbolElementSVGSymbolElement
dataSVGTSpanElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTSpanElementSVGTSpanElement
JSTypeSVGTSpanElement
SafeCastSVGTSpanElement
ToFFISVGTSpanElementSVGTSpanElement
dataSVGTextContentElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTextContentElementSVGTextContentElement
JSTypeSVGTextContentElement
SafeCastSVGTextContentElement
ToFFISVGTextContentElementSVGTextContentElement
dataSVGTextElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTextElementSVGTextElement
JSTypeSVGTextElement
SafeCastSVGTextElement
ToFFISVGTextElementSVGTextElement
dataSVGTextPathElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTextPathElementSVGTextPathElement
JSTypeSVGTextPathElement
SafeCastSVGTextPathElement
ToFFISVGTextPathElementSVGTextPathElement
dataSVGTextPositioningElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTextPositioningElementSVGTextPositioningElement
JSTypeSVGTextPositioningElement
SafeCastSVGTextPositioningElement
ToFFISVGTextPositioningElementSVGTextPositioningElement
dataSVGTitleElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTitleElementSVGTitleElement
JSTypeSVGTitleElement
SafeCastSVGTitleElement
ToFFISVGTitleElementSVGTitleElement
dataSVGTransform : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTransformSVGTransform
JSTypeSVGTransform
SafeCastSVGTransform
ToFFISVGTransformSVGTransform
dataSVGTransformList : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTransformListSVGTransformList
JSTypeSVGTransformList
SafeCastSVGTransformList
ToFFISVGTransformListSVGTransformList
dataSVGUnitTypes : Type
Totality: total
Visibility: export
Hints:
FromFFISVGUnitTypesSVGUnitTypes
JSTypeSVGUnitTypes
SafeCastSVGUnitTypes
ToFFISVGUnitTypesSVGUnitTypes
dataSVGUseElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGUseElementSVGUseElement
JSTypeSVGUseElement
SafeCastSVGUseElement
ToFFISVGUseElementSVGUseElement
dataSVGUseElementShadowRoot : Type
Totality: total
Visibility: export
Hints:
FromFFISVGUseElementShadowRootSVGUseElementShadowRoot
JSTypeSVGUseElementShadowRoot
SafeCastSVGUseElementShadowRoot
ToFFISVGUseElementShadowRootSVGUseElementShadowRoot
dataSVGViewElement : Type
Totality: total
Visibility: export
Hints:
FromFFISVGViewElementSVGViewElement
JSTypeSVGViewElement
SafeCastSVGViewElement
ToFFISVGViewElementSVGViewElement
dataShadowAnimation : Type
Totality: total
Visibility: export
Hints:
FromFFIShadowAnimationShadowAnimation
JSTypeShadowAnimation
SafeCastShadowAnimation
ToFFIShadowAnimationShadowAnimation
dataSVGBoundingBoxOptions : Type
Totality: total
Visibility: export
Hints:
FromFFISVGBoundingBoxOptionsSVGBoundingBoxOptions
JSTypeSVGBoundingBoxOptions
ToFFISVGBoundingBoxOptionsSVGBoundingBoxOptions
dataGetSVGDocument : Type
Totality: total
Visibility: export
Hints:
FromFFIGetSVGDocumentGetSVGDocument
ToFFIGetSVGDocumentGetSVGDocument
dataSVGAnimatedPoints : Type
Totality: total
Visibility: export
Hints:
FromFFISVGAnimatedPointsSVGAnimatedPoints
ToFFISVGAnimatedPointsSVGAnimatedPoints
dataSVGElementInstance : Type
Totality: total
Visibility: export
Hints:
FromFFISVGElementInstanceSVGElementInstance
ToFFISVGElementInstanceSVGElementInstance
dataSVGFitToViewBox : Type
Totality: total
Visibility: export
Hints:
FromFFISVGFitToViewBoxSVGFitToViewBox
ToFFISVGFitToViewBoxSVGFitToViewBox
dataSVGTests : Type
Totality: total
Visibility: export
Hints:
FromFFISVGTestsSVGTests
ToFFISVGTestsSVGTests
dataSVGURIReference : Type
Totality: total
Visibility: export
Hints:
FromFFISVGURIReferenceSVGURIReference
ToFFISVGURIReferenceSVGURIReference