data SVGNode : Type
el : (s : String) -> List (SVGAttribute s) -> SVGNode
circle : List (SVGAttribute "circle") -> SVGNode
ellipse : List (SVGAttribute "ellipse") -> SVGNode
g : List (SVGAttribute "g") -> List SVGNode -> SVGNode
image : List (SVGAttribute "image") -> SVGNode
line : List (SVGAttribute "line") -> SVGNode
mask : List (SVGAttribute "mask") -> List SVGNode -> SVGNode
rect : List (SVGAttribute "rect") -> SVGNode
path : List (SVGAttribute "path") -> SVGNode
polygon : List (SVGAttribute "polygon") -> SVGNode
polyline : List (SVGAttribute "polyline") -> SVGNode
svg : List (SVGAttribute "svg") -> List SVGNode -> SVGNode
symbol : List (SVGAttribute "symbol") -> List SVGNode -> SVGNode
text1 : List (SVGAttribute "text") -> String -> SVGNode
text : List (SVGAttribute "text") -> List SVGNode -> SVGNode
tspan : List (SVGAttribute "tspan") -> List SVGNode -> SVGNode
use : List (SVGAttribute "use") -> SVGNode
view : List (SVGAttribute "view") -> SVGNode
escape : String -> String
render : SVGNode -> String
renderMany : List SVGNode -> String