Idris2Doc : Text.SVG

Text.SVG

(source)
Reexports
import public Text.SVG.Attribute as SVG
import public Text.SVG.Node as SVG
import public Text.SVG.Tag as SVG
import public Text.SVG.Types as SVG