Text.XML.PolySoup.Parser

The module defines a generic parser which can be used, in particular, to parse XML forests. The main characteristic of the parser is that it can be used in a sequential (sub-trees are processed in order) and a selective (subtrees are process regardless of their position) way.

Core

newtype P a b

An XML forest parser.

Constructors

P

Fields

runP :: [a] -> Maybe (b, [a])

Instances

Monad (P a)

Functor (P a)

Applicative (P a)

Alternative (P a)

evalP :: P a b -> [a] -> Maybe b

Evaluate parser on the given XML forest.

Parsing

Selective

first :: Q a b -> P a b

Find the first tree satisfying the given predicate.

every :: Q a b -> P a [b]

Select every tree satisfying the given predicate.

every' :: Q a b -> P a [b]

A lazy version of every which "forgets" non-matching subtrees along the way.

Sequential

pop :: Q a b -> P a b

Check, if the first tree satisfies the given predicate.

Peek

peek :: Q a b -> P a b

Like pop, but doesn't consume the tree.

spy :: Q a b -> P a b

Like first, but doesn't consume the tree.

Utilities

many_ :: Alternative f => f a -> f ()

Many combinator which ignores parsing results.