Fadno.Xml.XParser

Deprecated: in favor of XParse

Backtracking combinators for consuming XML productions (elements, attributes).

XParser monad

type XParser m = (Alternative m, MonadState [Element] m, MonadError String m)

Stack entry tracking identified elements.

XParser constraint kind. Stack state + alternative + errors.

parseX :: Monad m => StateT [Element] (ExceptT String m) b -> Element -> m (Either String b)

run XParser on an element.

Stack manipulation

peek :: XParser m => m Element

Stack peek.

push :: XParser m => Element -> m ()

Stack push.

pop :: XParser m => m ()

Stack pop.

checkStack :: XParser m => m [Element]

Verify populated stack.

Element operations

atEl :: XParser m => QName -> m ()

Verify and "consume" current element.

findChild :: XParser m => QName -> m a -> m a

Find child element and act on it.

findChildren :: XParser m => QName -> m a -> m [a]

Find zero or many children and act on them.

anyChildren :: XParser m => m a -> m [a]

Run optional action on all children.

oneChild :: XParser m => m a -> m a

Expect to find one child only, and run action on it.

allChildren :: XParser m => m a -> m [a]

Act on all children.

manyOrdered :: XParser m => m a -> m [a]

Flailing attempt to restore "order" by faking a single-child element one at a time.

Attribute/Text operations

attr :: XParser m => QName -> m String

Expect/consume a particular attribute.

textContent :: XParser m => m String

Get text content, returning empty string if none, per strContent.

QNames

name :: String -> QName

Local-only QName.

xsName :: String -> QName

Special support for XSD QNames.

Utility

readXml :: FilePath -> IO Element

Convenience to read in top element from file.