Language.XML.Prolog.XMLDecl

Definitions

record XMLDecl : Type

Totality: total
Visibility: public export
Constructor: 

MkXMLDecl : String -> Maybe String -> Maybe Bool -> XMLDecl

Projections:

.encoding : XMLDecl -> Maybe String

.standalone : XMLDecl -> Maybe Bool

.version : XMLDecl -> String

Hint: 

Show XMLDecl

.version : XMLDecl -> String

Visibility: public export

version : XMLDecl -> String

Visibility: public export

.encoding : XMLDecl -> Maybe String

Visibility: public export

encoding : XMLDecl -> Maybe String

Visibility: public export

.standalone : XMLDecl -> Maybe Bool

Visibility: public export

standalone : XMLDecl -> Maybe Bool

Visibility: public export

xmlDecl : Parser XMLDecl

Visibility: export