Language.XML.Element

Reexports

Definitions

data Element : Type

Totality: total
Visibility: public export
Constructors:

EmptyElem : QName -> List Attribute -> Element

Elem : QName -> List Attribute -> Odd CharData (Either Misc Element) -> Element

Hint: 

Show Element

.name : Element -> QName

Visibility: public export

.attrs : Element -> List Attribute

Visibility: public export

.content : Element -> Odd CharData (Either Misc Element)

Visibility: public export

maybeNl : Bool -> String

Visibility: public export

showNl : CharData -> String

Visibility: public export

textContent : Element -> String

Visibility: public export

find : (Element -> Bool) -> Element -> Maybe Element

Visibility: public export

mapContent : (Odd CharData (Either Misc Element) -> Odd CharData (Either Misc Element)) -> Element -> Element

Visibility: public export

mapContentM : Monad m => (Odd CharData (Either Misc Element) -> m (Odd CharData (Either Misc Element))) -> Element -> m Element

Visibility: public export

element : Parser Element

Visibility: export