ListT.HTMLParser

Documentation

data Parser m a

A backtracking HTML-tokens stream parser.

Instances

Monad m => MonadError Error (Parser m)

Monad m => Alternative (Parser m)

Monad m => Monad (Parser m)

Monad m => Functor (Parser m)

Monad m => MonadPlus (Parser m)

Monad m => Applicative (Parser m)

type Error = Maybe ErrorDetails

A possibly detailed parser error. When mzero or empty is used, an error value of Nothing is produced.

data ErrorDetails

Constructors

ErrorDetails_Message Text

A text message

ErrorDetails_UnexpectedToken

Unexpected token

ErrorDetails_EOI

End of input

Instances

Show ErrorDetails

Monad m => MonadError Error (Parser m)

run :: Monad m => Parser m a -> ListT m Token -> m (Either Error a)

Run a parser on a stream of HTML tokens, consuming only as many as needed.

Parsers

eoi :: Monad m => Parser m ()

End of input.

token :: Monad m => Parser m Token

Any HTML token.

openingTag :: Monad m => Parser m OpeningTag

An opening tag.

closingTag :: Monad m => Parser m ClosingTag

A closing tag.

text :: Monad m => Parser m Text

A text between tags with HTML-entities decoded.

comment :: Monad m => Parser m Text

Contents of a comment.

Combinators

manyTill :: Monad m => Parser m a -> Parser m b -> Parser m ([a], b)

Apply a parser multiple times until another parser is satisfied. Returns results of both parsers.

skipTill :: Monad m => Parser m a -> Parser m a

Skip any tokens until the provided parser is satisfied.

total :: Monad m => Parser m a -> Parser m a

Greedily consume all the input until the end, while running the provided parser. Same as:

theParser <* eoi