Idris2Doc : Web.Internal.SvgPrim

Web.Internal.SvgPrim

(source)

Definitions

prim__download : SVGAElement -> PrimIO String
prim__setDownload : SVGAElement -> String -> PrimIO ()
prim__hreflang : SVGAElement -> PrimIO String
prim__setHreflang : SVGAElement -> String -> PrimIO ()
prim__ping : SVGAElement -> PrimIO String
prim__setPing : SVGAElement -> String -> PrimIO ()
prim__referrerPolicy : SVGAElement -> PrimIO String
prim__setReferrerPolicy : SVGAElement -> String -> PrimIO ()
prim__rel : SVGAElement -> PrimIO String
prim__setRel : SVGAElement -> String -> PrimIO ()
prim__relList : SVGAElement -> PrimIO DOMTokenList
prim__target : SVGAElement -> PrimIO SVGAnimatedString
prim__text : SVGAElement -> PrimIO String
prim__setText : SVGAElement -> String -> PrimIO ()
prim__type : SVGAElement -> PrimIO String
prim__setType : SVGAElement -> String -> PrimIO ()
prim__unitType : SVGAngle -> PrimIO Bits16
prim__value : SVGAngle -> PrimIO Double
prim__setValue : SVGAngle -> Double -> PrimIO ()
prim__valueAsString : SVGAngle -> PrimIO String
prim__setValueAsString : SVGAngle -> String -> PrimIO ()
prim__valueInSpecifiedUnits : SVGAngle -> PrimIO Double
prim__setValueInSpecifiedUnits : SVGAngle -> Double -> PrimIO ()
prim__convertToSpecifiedUnits : SVGAngle -> Bits16 -> PrimIO ()
prim__newValueSpecifiedUnits : SVGAngle -> Bits16 -> Double -> PrimIO ()
prim__animVal : SVGAnimatedAngle -> PrimIO SVGAngle
prim__baseVal : SVGAnimatedAngle -> PrimIO SVGAngle
prim__animVal : SVGAnimatedBoolean -> PrimIO Boolean
prim__baseVal : SVGAnimatedBoolean -> PrimIO Boolean
prim__setBaseVal : SVGAnimatedBoolean -> Boolean -> PrimIO ()
prim__animVal : SVGAnimatedEnumeration -> PrimIO Bits16
prim__baseVal : SVGAnimatedEnumeration -> PrimIO Bits16
prim__setBaseVal : SVGAnimatedEnumeration -> Bits16 -> PrimIO ()
prim__animVal : SVGAnimatedInteger -> PrimIO Int32
prim__baseVal : SVGAnimatedInteger -> PrimIO Int32
prim__setBaseVal : SVGAnimatedInteger -> Int32 -> PrimIO ()
prim__animVal : SVGAnimatedLength -> PrimIO SVGLength
prim__baseVal : SVGAnimatedLength -> PrimIO SVGLength
prim__animVal : SVGAnimatedLengthList -> PrimIO SVGLengthList
prim__baseVal : SVGAnimatedLengthList -> PrimIO SVGLengthList
prim__animVal : SVGAnimatedNumber -> PrimIO Double
prim__baseVal : SVGAnimatedNumber -> PrimIO Double
prim__setBaseVal : SVGAnimatedNumber -> Double -> PrimIO ()
prim__animVal : SVGAnimatedNumberList -> PrimIO SVGNumberList
prim__baseVal : SVGAnimatedNumberList -> PrimIO SVGNumberList
prim__animVal : SVGAnimatedPreserveAspectRatio -> PrimIO SVGPreserveAspectRatio
prim__baseVal : SVGAnimatedPreserveAspectRatio -> PrimIO SVGPreserveAspectRatio
prim__animVal : SVGAnimatedRect -> PrimIO DOMRectReadOnly
prim__baseVal : SVGAnimatedRect -> PrimIO DOMRect
prim__animVal : SVGAnimatedString -> PrimIO String
prim__baseVal : SVGAnimatedString -> PrimIO String
prim__setBaseVal : SVGAnimatedString -> String -> PrimIO ()
prim__animVal : SVGAnimatedTransformList -> PrimIO SVGTransformList
prim__baseVal : SVGAnimatedTransformList -> PrimIO SVGTransformList
prim__cx : SVGCircleElement -> PrimIO SVGAnimatedLength
prim__cy : SVGCircleElement -> PrimIO SVGAnimatedLength
prim__r : SVGCircleElement -> PrimIO SVGAnimatedLength
prim__className : SVGElement -> PrimIO SVGAnimatedString
prim__ownerSVGElement : SVGElement -> PrimIO (Nullable SVGSVGElement)
prim__viewportElement : SVGElement -> PrimIO (Nullable SVGElement)
prim__cx : SVGEllipseElement -> PrimIO SVGAnimatedLength
prim__cy : SVGEllipseElement -> PrimIO SVGAnimatedLength
prim__rx : SVGEllipseElement -> PrimIO SVGAnimatedLength
prim__ry : SVGEllipseElement -> PrimIO SVGAnimatedLength
prim__height : SVGForeignObjectElement -> PrimIO SVGAnimatedLength
prim__width : SVGForeignObjectElement -> PrimIO SVGAnimatedLength
prim__x : SVGForeignObjectElement -> PrimIO SVGAnimatedLength
prim__y : SVGForeignObjectElement -> PrimIO SVGAnimatedLength
prim__pathLength : SVGGeometryElement -> PrimIO SVGAnimatedNumber
prim__getPointAtLength : SVGGeometryElement -> Double -> PrimIO DOMPoint
prim__getTotalLength : SVGGeometryElement -> PrimIO Double
prim__isPointInFill : SVGGeometryElement -> UndefOr DOMPointInit -> PrimIO Boolean
prim__isPointInStroke : SVGGeometryElement -> UndefOr DOMPointInit -> PrimIO Boolean
prim__gradientTransform : SVGGradientElement -> PrimIO SVGAnimatedTransformList
prim__gradientUnits : SVGGradientElement -> PrimIO SVGAnimatedEnumeration
prim__spreadMethod : SVGGradientElement -> PrimIO SVGAnimatedEnumeration
prim__transform : SVGGraphicsElement -> PrimIO SVGAnimatedTransformList
prim__getBBox : SVGGraphicsElement -> UndefOr SVGBoundingBoxOptions -> PrimIO DOMRect
prim__getCTM : SVGGraphicsElement -> PrimIO (Nullable DOMMatrix)
prim__getScreenCTM : SVGGraphicsElement -> PrimIO (Nullable DOMMatrix)
prim__crossOrigin : SVGImageElement -> PrimIO (Nullable String)
prim__setCrossOrigin : SVGImageElement -> Nullable String -> PrimIO ()
prim__height : SVGImageElement -> PrimIO SVGAnimatedLength
prim__preserveAspectRatio : SVGImageElement -> PrimIO SVGAnimatedPreserveAspectRatio
prim__width : SVGImageElement -> PrimIO SVGAnimatedLength
prim__x : SVGImageElement -> PrimIO SVGAnimatedLength
prim__y : SVGImageElement -> PrimIO SVGAnimatedLength
prim__unitType : SVGLength -> PrimIO Bits16
prim__value : SVGLength -> PrimIO Double
prim__setValue : SVGLength -> Double -> PrimIO ()
prim__valueAsString : SVGLength -> PrimIO String
prim__setValueAsString : SVGLength -> String -> PrimIO ()
prim__valueInSpecifiedUnits : SVGLength -> PrimIO Double
prim__setValueInSpecifiedUnits : SVGLength -> Double -> PrimIO ()
prim__convertToSpecifiedUnits : SVGLength -> Bits16 -> PrimIO ()
prim__newValueSpecifiedUnits : SVGLength -> Bits16 -> Double -> PrimIO ()
prim__set : SVGLengthList -> Bits32 -> SVGLength -> PrimIO ()
prim__length : SVGLengthList -> PrimIO Bits32
prim__numberOfItems : SVGLengthList -> PrimIO Bits32
prim__appendItem : SVGLengthList -> SVGLength -> PrimIO SVGLength
prim__clear : SVGLengthList -> PrimIO ()
prim__getItem : SVGLengthList -> Bits32 -> PrimIO SVGLength
prim__initialize : SVGLengthList -> SVGLength -> PrimIO SVGLength
prim__insertItemBefore : SVGLengthList -> SVGLength -> Bits32 -> PrimIO SVGLength
prim__removeItem : SVGLengthList -> Bits32 -> PrimIO SVGLength
prim__replaceItem : SVGLengthList -> SVGLength -> Bits32 -> PrimIO SVGLength
prim__x1 : SVGLineElement -> PrimIO SVGAnimatedLength
prim__x2 : SVGLineElement -> PrimIO SVGAnimatedLength
prim__y1 : SVGLineElement -> PrimIO SVGAnimatedLength
prim__y2 : SVGLineElement -> PrimIO SVGAnimatedLength
prim__x1 : SVGLinearGradientElement -> PrimIO SVGAnimatedLength
prim__x2 : SVGLinearGradientElement -> PrimIO SVGAnimatedLength
prim__y1 : SVGLinearGradientElement -> PrimIO SVGAnimatedLength
prim__y2 : SVGLinearGradientElement -> PrimIO SVGAnimatedLength
prim__markerHeight : SVGMarkerElement -> PrimIO SVGAnimatedLength
prim__markerUnits : SVGMarkerElement -> PrimIO SVGAnimatedEnumeration
prim__markerWidth : SVGMarkerElement -> PrimIO SVGAnimatedLength
prim__orient : SVGMarkerElement -> PrimIO String
prim__setOrient : SVGMarkerElement -> String -> PrimIO ()
prim__orientAngle : SVGMarkerElement -> PrimIO SVGAnimatedAngle
prim__orientType : SVGMarkerElement -> PrimIO SVGAnimatedEnumeration
prim__refX : SVGMarkerElement -> PrimIO SVGAnimatedLength
prim__refY : SVGMarkerElement -> PrimIO SVGAnimatedLength
prim__setOrientToAngle : SVGMarkerElement -> SVGAngle -> PrimIO ()
prim__setOrientToAuto : SVGMarkerElement -> PrimIO ()
prim__value : SVGNumber -> PrimIO Double
prim__setValue : SVGNumber -> Double -> PrimIO ()
prim__set : SVGNumberList -> Bits32 -> SVGNumber -> PrimIO ()
prim__length : SVGNumberList -> PrimIO Bits32
prim__numberOfItems : SVGNumberList -> PrimIO Bits32
prim__appendItem : SVGNumberList -> SVGNumber -> PrimIO SVGNumber
prim__clear : SVGNumberList -> PrimIO ()
prim__getItem : SVGNumberList -> Bits32 -> PrimIO SVGNumber
prim__initialize : SVGNumberList -> SVGNumber -> PrimIO SVGNumber
prim__insertItemBefore : SVGNumberList -> SVGNumber -> Bits32 -> PrimIO SVGNumber
prim__removeItem : SVGNumberList -> Bits32 -> PrimIO SVGNumber
prim__replaceItem : SVGNumberList -> SVGNumber -> Bits32 -> PrimIO SVGNumber
prim__height : SVGPatternElement -> PrimIO SVGAnimatedLength
prim__patternContentUnits : SVGPatternElement -> PrimIO SVGAnimatedEnumeration
prim__patternTransform : SVGPatternElement -> PrimIO SVGAnimatedTransformList
prim__patternUnits : SVGPatternElement -> PrimIO SVGAnimatedEnumeration
prim__width : SVGPatternElement -> PrimIO SVGAnimatedLength
prim__x : SVGPatternElement -> PrimIO SVGAnimatedLength
prim__y : SVGPatternElement -> PrimIO SVGAnimatedLength
prim__set : SVGPointList -> Bits32 -> DOMPoint -> PrimIO ()
prim__length : SVGPointList -> PrimIO Bits32
prim__numberOfItems : SVGPointList -> PrimIO Bits32
prim__appendItem : SVGPointList -> DOMPoint -> PrimIO DOMPoint
prim__clear : SVGPointList -> PrimIO ()
prim__getItem : SVGPointList -> Bits32 -> PrimIO DOMPoint
prim__initialize : SVGPointList -> DOMPoint -> PrimIO DOMPoint
prim__insertItemBefore : SVGPointList -> DOMPoint -> Bits32 -> PrimIO DOMPoint
prim__removeItem : SVGPointList -> Bits32 -> PrimIO DOMPoint
prim__replaceItem : SVGPointList -> DOMPoint -> Bits32 -> PrimIO DOMPoint
prim__align : SVGPreserveAspectRatio -> PrimIO Bits16
prim__setAlign : SVGPreserveAspectRatio -> Bits16 -> PrimIO ()
prim__meetOrSlice : SVGPreserveAspectRatio -> PrimIO Bits16
prim__setMeetOrSlice : SVGPreserveAspectRatio -> Bits16 -> PrimIO ()
prim__cx : SVGRadialGradientElement -> PrimIO SVGAnimatedLength
prim__cy : SVGRadialGradientElement -> PrimIO SVGAnimatedLength
prim__fr : SVGRadialGradientElement -> PrimIO SVGAnimatedLength
prim__fx : SVGRadialGradientElement -> PrimIO SVGAnimatedLength
prim__fy : SVGRadialGradientElement -> PrimIO SVGAnimatedLength
prim__r : SVGRadialGradientElement -> PrimIO SVGAnimatedLength
prim__height : SVGRectElement -> PrimIO SVGAnimatedLength
prim__rx : SVGRectElement -> PrimIO SVGAnimatedLength
prim__ry : SVGRectElement -> PrimIO SVGAnimatedLength
prim__width : SVGRectElement -> PrimIO SVGAnimatedLength
prim__x : SVGRectElement -> PrimIO SVGAnimatedLength
prim__y : SVGRectElement -> PrimIO SVGAnimatedLength
prim__currentScale : SVGSVGElement -> PrimIO Double
prim__setCurrentScale : SVGSVGElement -> Double -> PrimIO ()
prim__currentTranslate : SVGSVGElement -> PrimIO DOMPointReadOnly
prim__height : SVGSVGElement -> PrimIO SVGAnimatedLength
prim__width : SVGSVGElement -> PrimIO SVGAnimatedLength
prim__x : SVGSVGElement -> PrimIO SVGAnimatedLength
prim__y : SVGSVGElement -> PrimIO SVGAnimatedLength
prim__checkEnclosure : SVGSVGElement -> SVGElement -> DOMRectReadOnly -> PrimIO Boolean
prim__checkIntersection : SVGSVGElement -> SVGElement -> DOMRectReadOnly -> PrimIO Boolean
prim__createSVGAngle : SVGSVGElement -> PrimIO SVGAngle
prim__createSVGLength : SVGSVGElement -> PrimIO SVGLength
prim__createSVGMatrix : SVGSVGElement -> PrimIO DOMMatrix
prim__createSVGNumber : SVGSVGElement -> PrimIO SVGNumber
prim__createSVGPoint : SVGSVGElement -> PrimIO DOMPoint
prim__createSVGRect : SVGSVGElement -> PrimIO DOMRect
prim__createSVGTransformFromMatrix : SVGSVGElement -> UndefOr DOMMatrix2DInit -> PrimIO SVGTransform
prim__createSVGTransform : SVGSVGElement -> PrimIO SVGTransform
prim__deselectAll : SVGSVGElement -> PrimIO ()
prim__forceRedraw : SVGSVGElement -> PrimIO ()
prim__getElementById : SVGSVGElement -> String -> PrimIO Element
prim__getEnclosureList : SVGSVGElement -> DOMRectReadOnly -> Nullable SVGElement -> PrimIO NodeList
prim__getIntersectionList : SVGSVGElement -> DOMRectReadOnly -> Nullable SVGElement -> PrimIO NodeList
prim__suspendRedraw : SVGSVGElement -> Bits32 -> PrimIO Bits32
prim__unsuspendRedrawAll : SVGSVGElement -> PrimIO ()
prim__unsuspendRedraw : SVGSVGElement -> Bits32 -> PrimIO ()
prim__crossOrigin : SVGScriptElement -> PrimIO (Nullable String)
prim__setCrossOrigin : SVGScriptElement -> Nullable String -> PrimIO ()
prim__type : SVGScriptElement -> PrimIO String
prim__setType : SVGScriptElement -> String -> PrimIO ()
prim__offset : SVGStopElement -> PrimIO SVGAnimatedNumber
prim__set : SVGStringList -> Bits32 -> String -> PrimIO ()
prim__length : SVGStringList -> PrimIO Bits32
prim__numberOfItems : SVGStringList -> PrimIO Bits32
prim__appendItem : SVGStringList -> String -> PrimIO String
prim__clear : SVGStringList -> PrimIO ()
prim__getItem : SVGStringList -> Bits32 -> PrimIO String
prim__initialize : SVGStringList -> String -> PrimIO String
prim__insertItemBefore : SVGStringList -> String -> Bits32 -> PrimIO String
prim__removeItem : SVGStringList -> Bits32 -> PrimIO String
prim__replaceItem : SVGStringList -> String -> Bits32 -> PrimIO String
prim__media : SVGStyleElement -> PrimIO String
prim__setMedia : SVGStyleElement -> String -> PrimIO ()
prim__title : SVGStyleElement -> PrimIO String
prim__setTitle : SVGStyleElement -> String -> PrimIO ()
prim__type : SVGStyleElement -> PrimIO String
prim__setType : SVGStyleElement -> String -> PrimIO ()
prim__lengthAdjust : SVGTextContentElement -> PrimIO SVGAnimatedEnumeration
prim__textLength : SVGTextContentElement -> PrimIO SVGAnimatedLength
prim__getCharNumAtPosition : SVGTextContentElement -> UndefOr DOMPointInit -> PrimIO Int32
prim__getComputedTextLength : SVGTextContentElement -> PrimIO Double
prim__getEndPositionOfChar : SVGTextContentElement -> Bits32 -> PrimIO DOMPoint
prim__getExtentOfChar : SVGTextContentElement -> Bits32 -> PrimIO DOMRect
prim__getNumberOfChars : SVGTextContentElement -> PrimIO Int32
prim__getRotationOfChar : SVGTextContentElement -> Bits32 -> PrimIO Double
prim__getStartPositionOfChar : SVGTextContentElement -> Bits32 -> PrimIO DOMPoint
prim__getSubStringLength : SVGTextContentElement -> Bits32 -> Bits32 -> PrimIO Double
prim__selectSubString : SVGTextContentElement -> Bits32 -> Bits32 -> PrimIO ()
prim__method : SVGTextPathElement -> PrimIO SVGAnimatedEnumeration
prim__spacing : SVGTextPathElement -> PrimIO SVGAnimatedEnumeration
prim__startOffset : SVGTextPathElement -> PrimIO SVGAnimatedLength
prim__dx : SVGTextPositioningElement -> PrimIO SVGAnimatedLengthList
prim__dy : SVGTextPositioningElement -> PrimIO SVGAnimatedLengthList
prim__rotate : SVGTextPositioningElement -> PrimIO SVGAnimatedNumberList
prim__x : SVGTextPositioningElement -> PrimIO SVGAnimatedLengthList
prim__y : SVGTextPositioningElement -> PrimIO SVGAnimatedLengthList
prim__angle : SVGTransform -> PrimIO Double
prim__matrix : SVGTransform -> PrimIO DOMMatrix
prim__type : SVGTransform -> PrimIO Bits16
prim__setMatrix : SVGTransform -> UndefOr DOMMatrix2DInit -> PrimIO ()
prim__setRotate : SVGTransform -> Double -> Double -> Double -> PrimIO ()
prim__setScale : SVGTransform -> Double -> Double -> PrimIO ()
prim__setSkewX : SVGTransform -> Double -> PrimIO ()
prim__setSkewY : SVGTransform -> Double -> PrimIO ()
prim__setTranslate : SVGTransform -> Double -> Double -> PrimIO ()
prim__set : SVGTransformList -> Bits32 -> SVGTransform -> PrimIO ()
prim__length : SVGTransformList -> PrimIO Bits32
prim__numberOfItems : SVGTransformList -> PrimIO Bits32
prim__appendItem : SVGTransformList -> SVGTransform -> PrimIO SVGTransform
prim__clear : SVGTransformList -> PrimIO ()
prim__consolidate : SVGTransformList -> PrimIO (Nullable SVGTransform)
prim__createSVGTransformFromMatrix : SVGTransformList -> UndefOr DOMMatrix2DInit -> PrimIO SVGTransform
prim__getItem : SVGTransformList -> Bits32 -> PrimIO SVGTransform
prim__initialize : SVGTransformList -> SVGTransform -> PrimIO SVGTransform
prim__insertItemBefore : SVGTransformList -> SVGTransform -> Bits32 -> PrimIO SVGTransform
prim__removeItem : SVGTransformList -> Bits32 -> PrimIO SVGTransform
prim__replaceItem : SVGTransformList -> SVGTransform -> Bits32 -> PrimIO SVGTransform
prim__animatedInstanceRoot : SVGUseElement -> PrimIO (Nullable SVGElement)
prim__height : SVGUseElement -> PrimIO SVGAnimatedLength
prim__instanceRoot : SVGUseElement -> PrimIO (Nullable SVGElement)
prim__width : SVGUseElement -> PrimIO SVGAnimatedLength
prim__x : SVGUseElement -> PrimIO SVGAnimatedLength
prim__y : SVGUseElement -> PrimIO SVGAnimatedLength
prim__new : Animation -> Animatable -> PrimIO ShadowAnimation
prim__sourceAnimation : ShadowAnimation -> PrimIO Animation
prim__getSVGDocument : GetSVGDocument -> PrimIO Document
prim__animatedPoints : SVGAnimatedPoints -> PrimIO SVGPointList
prim__points : SVGAnimatedPoints -> PrimIO SVGPointList
prim__correspondingElement : SVGElementInstance -> PrimIO (Nullable SVGElement)
prim__correspondingUseElement : SVGElementInstance -> PrimIO (Nullable SVGUseElement)
prim__preserveAspectRatio : SVGFitToViewBox -> PrimIO SVGAnimatedPreserveAspectRatio
prim__viewBox : SVGFitToViewBox -> PrimIO SVGAnimatedRect
prim__requiredExtensions : SVGTests -> PrimIO SVGStringList
prim__systemLanguage : SVGTests -> PrimIO SVGStringList
prim__href : SVGURIReference -> PrimIO SVGAnimatedString
prim__new : UndefOr Boolean -> UndefOr Boolean -> UndefOr Boolean -> UndefOr Boolean -> PrimIO SVGBoundingBoxOptions
prim__clipped : SVGBoundingBoxOptions -> PrimIO (UndefOr Boolean)
prim__setClipped : SVGBoundingBoxOptions -> UndefOr Boolean -> PrimIO ()
prim__fill : SVGBoundingBoxOptions -> PrimIO (UndefOr Boolean)
prim__setFill : SVGBoundingBoxOptions -> UndefOr Boolean -> PrimIO ()
prim__markers : SVGBoundingBoxOptions -> PrimIO (UndefOr Boolean)
prim__setMarkers : SVGBoundingBoxOptions -> UndefOr Boolean -> PrimIO ()
prim__stroke : SVGBoundingBoxOptions -> PrimIO (UndefOr Boolean)
prim__setStroke : SVGBoundingBoxOptions -> UndefOr Boolean -> PrimIO ()