Idris2Doc : Language.XML

Language.XML

(source)
Reexports
import public Language.XML.Element
import public Language.XML.Misc
import public Language.XML.Prolog
Definitions
record XMLDocument : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkXMLDocument : XMLProlog -> Element -> List Misc -> XMLDocument

  Projections:
  
.misc : XMLDocument -> List Misc
  
.prolog : XMLDocument -> XMLProlog
  
.root : XMLDocument -> Element

  Hint: 
Show XMLDocument
.prolog : XMLDocument -> XMLProlog
  Visibility: public export
prolog : XMLDocument -> XMLProlog
  Visibility: public export
.root : XMLDocument -> Element
  Visibility: public export
root : XMLDocument -> Element
  Visibility: public export
.misc : XMLDocument -> List Misc
  Visibility: public export
misc : XMLDocument -> List Misc
  Visibility: public export
mapContent : (Element -> Element) -> XMLDocument -> XMLDocument
  Visibility: public export
xmlDocument : Parser XMLDocument
  Visibility: export