Language.XML.Name

Definitions

data Name : Type

Totality: total
Visibility: public export
Constructor: 

MkName : String -> Name

Hints:

Eq Name

Show Name

record QName : Type

Totality: total
Visibility: public export
Constructor: 

MkQName : Maybe Name -> Name -> QName

Projections:

.localPart : QName -> Name

.namespacePrefix : QName -> Maybe Name

Hints:

Eq QName

Show QName

.namespacePrefix : QName -> Maybe Name

Visibility: public export

namespacePrefix : QName -> Maybe Name

Visibility: public export

.localPart : QName -> Name

Visibility: public export

localPart : QName -> Name

Visibility: public export

isNameStartChar : Char -> Bool

Visibility: public export

isNameChar : Char -> Bool

Visibility: public export

name : Parser Name

Visibility: export

qName : Parser QName

Visibility: export