Idris2Doc : Text.SVG.Node

Text.SVG.Node

(source)

Definitions

dataSVGNode : Type
Totality: total
Visibility: public export
Constructors:
El : (tag : String) ->List (SVGAttributetag) ->ListSVGNode->SVGNode
Txt : String->SVGNode
Raw : String->SVGNode
Empty : SVGNode
el : (s : String) ->List (SVGAttributes) ->SVGNode
Totality: total
Visibility: export
circle : List (SVGAttribute"circle") ->SVGNode
Totality: total
Visibility: export
ellipse : List (SVGAttribute"ellipse") ->SVGNode
Totality: total
Visibility: export
g : List (SVGAttribute"g") ->ListSVGNode->SVGNode
Totality: total
Visibility: export
image : List (SVGAttribute"image") ->SVGNode
Totality: total
Visibility: export
line : List (SVGAttribute"line") ->SVGNode
Totality: total
Visibility: export
mask : List (SVGAttribute"mask") ->ListSVGNode->SVGNode
Totality: total
Visibility: export
rect : List (SVGAttribute"rect") ->SVGNode
Totality: total
Visibility: export
path : List (SVGAttribute"path") ->SVGNode
Totality: total
Visibility: export
polygon : List (SVGAttribute"polygon") ->SVGNode
Totality: total
Visibility: export
polyline : List (SVGAttribute"polyline") ->SVGNode
Totality: total
Visibility: export
svg : List (SVGAttribute"svg") ->ListSVGNode->SVGNode
Totality: total
Visibility: export
symbol : List (SVGAttribute"symbol") ->ListSVGNode->SVGNode
Totality: total
Visibility: export
text1 : List (SVGAttribute"text") ->String->SVGNode
Totality: total
Visibility: export
text : List (SVGAttribute"text") ->ListSVGNode->SVGNode
Totality: total
Visibility: export
tspan : List (SVGAttribute"tspan") ->ListSVGNode->SVGNode
Totality: total
Visibility: export
use : List (SVGAttribute"use") ->SVGNode
Totality: total
Visibility: export
view : List (SVGAttribute"view") ->SVGNode
Totality: total
Visibility: export
escape : String->String
Totality: total
Visibility: export
render : SVGNode->String
Totality: total
Visibility: export
renderMany : ListSVGNode->String
Totality: total
Visibility: export