Idris2Doc : Language.XML.Attribute

Language.XML.Attribute

(source)
Reexports
import public Language.XML.Name
Definitions
record Attribute : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkAttribute : QName -> String -> Attribute

  Projections:
  
.name : Attribute -> QName
  
.value : Attribute -> String

  Hint: 
Show Attribute
.name : Attribute -> QName
  Visibility: public export
name : Attribute -> QName
  Visibility: public export
.value : Attribute -> String
  Visibility: public export
value : Attribute -> String
  Visibility: public export
lookup : QName -> List Attribute -> Maybe String
  Visibility: public export
quotedString : Parser String
  Visibility: export
attribute : Parser Attribute
  Visibility: export
exactAttribute : QName -> Parser String
  Visibility: export