Safe Haskell	Safe
Language	Haskell98

Text.XML.PolySoup.Parser

Contents

Core
Parsing

Description

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.

Synopsis

newtype P a b = P {
- runP :: [a] -> Maybe (b, [a])
}
evalP :: P a b -> [a] -> Maybe b
first :: Q a b -> P a b
every :: Q a b -> P a [b]
every' :: Q a b -> P a [b]
pop :: Q a b -> P a b
peek :: Q a b -> P a b
spy :: Q a b -> P a b
many_ :: Alternative f => f a -> f ()

Core

newtype P a b Source #

An XML forest parser.

Constructors

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

Instances

Monad (P a) Source #
Instance details Defined in Text.XML.PolySoup.Parser Methods (>>=) :: P a a0 -> (a0 -> P a b) -> P a b # (>>) :: P a a0 -> P a b -> P a b # return :: a0 -> P a a0 # fail :: String -> P a a0 #
Functor (P a) Source #
Instance details Defined in Text.XML.PolySoup.Parser Methods fmap :: (a0 -> b) -> P a a0 -> P a b # (<$) :: a0 -> P a b -> P a a0 #
Applicative (P a) Source #
Instance details Defined in Text.XML.PolySoup.Parser Methods pure :: a0 -> P a a0 # (<>) :: P a (a0 -> b) -> P a a0 -> P a b # liftA2 :: (a0 -> b -> c) -> P a a0 -> P a b -> P a c # (>) :: P a a0 -> P a b -> P a b # (<*) :: P a a0 -> P a b -> P a a0 #
Alternative (P a) Source #
Instance details Defined in Text.XML.PolySoup.Parser Methods empty :: P a a0 # (<\|>) :: P a a0 -> P a a0 -> P a a0 # some :: P a a0 -> P a [a0] # many :: P a a0 -> P a [a0] #