Idris2Doc : Language.XML.Prolog

Language.XML.Prolog

(source)
Reexports
import public Language.XML.Misc
import public Language.XML.Prolog.DocType
import public Language.XML.Prolog.XMLDecl
Definitions
record XMLProlog : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkXMLProlog : Maybe XMLDecl -> List Misc -> Maybe DocType -> List Misc -> XMLProlog

  Projections:
  
.docType : XMLProlog -> Maybe DocType
  
.docTypeMisc : XMLProlog -> List Misc
  
.xmlDecl : XMLProlog -> Maybe XMLDecl
  
.xmlDeclMisc : XMLProlog -> List Misc

  Hint: 
Show XMLProlog
.xmlDecl : XMLProlog -> Maybe XMLDecl
  Visibility: public export
xmlDecl : XMLProlog -> Maybe XMLDecl
  Visibility: public export
.xmlDeclMisc : XMLProlog -> List Misc
  Visibility: public export
xmlDeclMisc : XMLProlog -> List Misc
  Visibility: public export
.docType : XMLProlog -> Maybe DocType
  Visibility: public export
docType : XMLProlog -> Maybe DocType
  Visibility: public export
.docTypeMisc : XMLProlog -> List Misc
  Visibility: public export
docTypeMisc : XMLProlog -> List Misc
  Visibility: public export
xmlProlog : Parser XMLProlog
  Visibility: export