Language.XML.Prolog.DocType

Definitions

data ExternalID : Type

Totality: total
Visibility: public export
Constructors:

System : String -> ExternalID

Public : String -> String -> ExternalID

Hint: 

Show ExternalID

record DocType : Type

Totality: total
Visibility: public export
Constructor: 

MkDocType : String -> Maybe ExternalID -> DocType

Projections:

.externalID : DocType -> Maybe ExternalID

.name : DocType -> String

Hint: 

Show DocType

.name : DocType -> String

Visibility: public export

name : DocType -> String

Visibility: public export

.externalID : DocType -> Maybe ExternalID

Visibility: public export

externalID : DocType -> Maybe ExternalID

Visibility: public export

systemID : Parser ExternalID

Visibility: export

publicID : Parser ExternalID

Visibility: export

externalID : Parser ExternalID

Visibility: export

docType : Parser DocType

Visibility: export