Text.SVG.Attribute

Definitions

data SVGAttribute : String -> Type

  SVG Attributes, indexed by the SVG element's name.
  
  Implementation note: Numeric attributes get their own constructors.
  This allows us to more efficiently set such attributes programmatically
  at the DOM, avoiding unnecessary conversions to `String` and back.

Totality: total
Visibility: public export
Constructors:

Id : String -> SVGAttribute s

Str : String -> String -> SVGAttribute s

Style : String -> String -> SVGAttribute s

Bool : String -> Bool -> SVGAttribute s

LOP : String -> LengthOrPercentage -> SVGAttribute s

Perc : String -> Percentage -> SVGAttribute s

Pth : String -> List PathCmd -> SVGAttribute s

Points : String -> List Double -> SVGAttribute s

Empty : SVGAttribute s

displayAttributes : List (SVGAttribute s) -> String

Totality: total
Visibility: export

d : List PathCmd -> SVGAttribute "path"

Totality: total
Visibility: export

r : LengthOrPercentage -> SVGAttribute "circle"

Totality: total
Visibility: export

x1 : LengthOrPercentage -> SVGAttribute "line"

Totality: total
Visibility: export

y1 : LengthOrPercentage -> SVGAttribute "line"

Totality: total
Visibility: export

x2 : LengthOrPercentage -> SVGAttribute "line"

Totality: total
Visibility: export

y2 : LengthOrPercentage -> SVGAttribute "line"

Totality: total
Visibility: export

xmlns : String -> SVGAttribute "svg"

Totality: total
Visibility: export

xmlns_2000 : SVGAttribute "svg"

Totality: total
Visibility: export

transform : Transform -> SVGAttribute s

Totality: total
Visibility: export

transforms : List Transform -> SVGAttribute s

Totality: total
Visibility: export

translateX : Double -> SVGAttribute s

Totality: total
Visibility: export

translateY : Double -> SVGAttribute s

Totality: total
Visibility: export

translate : Double -> Double -> SVGAttribute s

Totality: total
Visibility: export

rotate : Double -> SVGAttribute s

Totality: total
Visibility: export

scaleX : Double -> SVGAttribute s

Totality: total
Visibility: export

scaleY : Double -> SVGAttribute s

Totality: total
Visibility: export

scaleXY : Double -> Double -> SVGAttribute s

Totality: total
Visibility: export

scale : Double -> SVGAttribute s

Totality: total
Visibility: export

class : String -> SVGAttribute s

Totality: total
Visibility: export

classes : List String -> SVGAttribute s

Totality: total
Visibility: export

cx : {auto 0 _ : HasCX s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

cy : {auto 0 _ : HasCX s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

rx : {auto 0 _ : HasRX s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

ry : {auto 0 _ : HasRY s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

x : {auto 0 _ : HasX s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

y : {auto 0 _ : HasY s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

fill : {auto 0 _ : HasFill s} -> SVGColor -> SVGAttribute s

Totality: total
Visibility: export

fillOpacity : {auto 0 _ : HasFill s} -> Percentage -> SVGAttribute s

Totality: total
Visibility: export

stroke : {auto 0 _ : HasStroke s} -> SVGColor -> SVGAttribute s

Totality: total
Visibility: export

strokeLinecap : {auto 0 _ : HasStroke s} -> StrokeLinecap -> SVGAttribute s

Totality: total
Visibility: export

strokeLinejoin : {auto 0 _ : HasStroke s} -> StrokeLinejoin -> SVGAttribute s

Totality: total
Visibility: export

strokeOpacity : {auto 0 _ : HasStroke s} -> Percentage -> SVGAttribute s

Totality: total
Visibility: export

width : {auto 0 _ : HasWidth s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

height : {auto 0 _ : HasHeight s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

strokeWidth : {auto 0 _ : HasStroke s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

strokeDasharray : {auto 0 _ : HasStroke s} -> List Double -> SVGAttribute s

Totality: total
Visibility: export

strokeDashoffset : {auto 0 _ : HasStroke s} -> Double -> SVGAttribute s

Totality: total
Visibility: export

points : {auto 0 _ : HasPoints s} -> List Double -> SVGAttribute s

Totality: total
Visibility: export

viewBox : {auto 0 _ : HasViewBox s} -> LengthOrPercentage -> LengthOrPercentage -> LengthOrPercentage -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

dominantBaseline : {auto 0 _ : IsText s} -> DominantBaseline -> SVGAttribute s

Totality: total
Visibility: export

textAnchor : {auto 0 _ : IsText s} -> TextAnchor -> SVGAttribute s

Totality: total
Visibility: export

font : {auto 0 _ : IsText s} -> String -> SVGAttribute s

Totality: total
Visibility: export

fontFamily : {auto 0 _ : IsText s} -> String -> SVGAttribute s

Totality: total
Visibility: export

fontWeight : {auto 0 _ : IsText s} -> FontWeight -> SVGAttribute s

Totality: total
Visibility: export

lengthAdjust : {auto 0 _ : IsText s} -> LengthAdjust -> SVGAttribute s

Totality: total
Visibility: export

textLength : {auto 0 _ : IsText s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

dx : {auto 0 _ : IsText s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

dy : {auto 0 _ : IsText s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export

fontSize : {auto 0 _ : IsText s} -> LengthOrPercentage -> SVGAttribute s

Totality: total
Visibility: export