Text.HTML.TagSoup

This module is for working with HTML/XML. It deals with both well-formed XML and malformed HTML from the web. It features:

• A lazy parser, based on the HTML 5 specification - see parseTags.
• A renderer that can write out HTML/XML - see renderTags.
• Utilities for extracting information from a document - see ~==, sections and partitions.

The standard practice is to parse a String to [Tag String] using parseTags, then operate upon it to extract the necessary information.

Data structures and parsing

data Tag str

A single HTML element. A whole document is represented by a list of Tag. There is no requirement for TagOpen and TagClose to match.

Constructors

TagOpen str [Attribute str]

An open tag with Attributes in their original order

TagClose str

A closing tag

TagText str

A text node, guaranteed not to be the empty string

TagComment str

A comment

TagWarning str

Meta: A syntax error in the input file

TagPosition !Row !Column

Meta: The position of a parsed element

Instances

Functor Tag

Defined in Text.HTML.TagSoup.Type

Methods

fmap :: (a -> b) -> Tag a -> Tag b

(<$) :: a -> Tag b -> Tag a

Eq str => Eq (Tag str)

Defined in Text.HTML.TagSoup.Type

Methods

(==) :: Tag str -> Tag str -> Bool

(/=) :: Tag str -> Tag str -> Bool

Data str => Data (Tag str)

Defined in Text.HTML.TagSoup.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tag str -> c (Tag str)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tag str)

toConstr :: Tag str -> Constr

dataTypeOf :: Tag str -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tag str))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tag str))

gmapT :: (forall b. Data b => b -> b) -> Tag str -> Tag str

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tag str -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tag str -> r

gmapQ :: (forall d. Data d => d -> u) -> Tag str -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Tag str -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tag str -> m (Tag str)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tag str -> m (Tag str)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tag str -> m (Tag str)

Ord str => Ord (Tag str)

Defined in Text.HTML.TagSoup.Type

Methods

compare :: Tag str -> Tag str -> Ordering

(<) :: Tag str -> Tag str -> Bool

(<=) :: Tag str -> Tag str -> Bool

(>) :: Tag str -> Tag str -> Bool

(>=) :: Tag str -> Tag str -> Bool

max :: Tag str -> Tag str -> Tag str

min :: Tag str -> Tag str -> Tag str

Show str => Show (Tag str)

Defined in Text.HTML.TagSoup.Type

Methods

showsPrec :: Int -> Tag str -> ShowS

show :: Tag str -> String

showList :: [Tag str] -> ShowS

StringLike str => TagRep (Tag str)

Defined in Text.HTML.TagSoup

Methods

toTagRep :: StringLike str0 => Tag str -> Tag str0

type Row = Int

The row/line of a position, starting at 1

type Column = Int

The column of a position, starting at 1

type Attribute str = (str, str)

An HTML attribute id="name" generates ("id","name")

parseTags :: StringLike str => str -> [Tag str]

Parse a string to a list of tags, using an HTML 5 compliant parser.

parseTags "<hello>my&amp;</world>" == [TagOpen "hello" [],TagText "my&",TagClose "world"]

parseTagsOptions :: StringLike str => ParseOptions str -> str -> [Tag str]

Parse a string to a list of tags, using settings supplied by the ParseOptions parameter, eg. to output position information:

parseTagsOptions parseOptions{optTagPosition = True} "<hello>my&amp;</world>" ==
   [TagPosition 1 1,TagOpen "hello" [],TagPosition 1 8,TagText "my&",TagPosition 1 15,TagClose "world"]

data ParseOptions str

These options control how parseTags works. The ParseOptions type is usually generated by one of parseOptions, parseOptionsFast or parseOptionsEntities, then selected fields may be overriden.

The options optTagPosition and optTagWarning specify whether to generate TagPosition or TagWarning elements respectively. Usually these options should be set to False to simplify future stages, unless you rely on position information or want to give malformed HTML messages to the end user.

The options optEntityData and optEntityAttrib control how entities, for example   are handled. Both take a string, and a boolean, where True indicates that the entity ended with a semi-colon ;. Inside normal text optEntityData will be called, and the results will be inserted in the tag stream. Inside a tag attribute optEntityAttrib will be called, and the first component of the result will be used in the attribute, and the second component will be appended after the TagOpen value (usually the second component is []). As an example, to not decode any entities, pass:

parseOptions
    {optEntityData=\(str,b) -> [TagText $ "&" ++ str ++ [';' | b]]
    ,optEntityAttrib\(str,b) -> ("&" ++ str ++ [';' | b], [])

Constructors

ParseOptions

Fields

• optTagPosition :: Bool

  Should TagPosition values be given before some items (default=False,fast=False).

• optTagWarning :: Bool

  Should TagWarning values be given (default=False,fast=False)

• optEntityData :: (str, Bool) -> [Tag str]

  How to lookup an entity (Bool = has ending ';')

• optEntityAttrib :: (str, Bool) -> (str, [Tag str])

  How to lookup an entity in an attribute (Bool = has ending ';'?)

• optTagTextMerge :: Bool

  Require no adjacent TagText values (default=True,fast=False)

parseOptions :: StringLike str => ParseOptions str

The default parse options value, described in ParseOptions. Equivalent to parseOptionsEntities lookupEntity.

parseOptionsFast :: StringLike str => ParseOptions str

A ParseOptions structure optimised for speed, following the fast options.

parseOptionsEntities :: StringLike str => (str -> Maybe str) -> ParseOptions str

A ParseOptions structure using a custom function to lookup attributes. Any attribute that is not found will be left intact, and a TagWarning given (if optTagWarning is set).

If you do not want to resolve any entities, simpliy pass const Nothing for the lookup function.

renderTags :: StringLike str => [Tag str] -> str

Show a list of tags, as they might have been parsed, using the default settings given in RenderOptions.

renderTags [TagOpen "hello" [],TagText "my&",TagClose "world"] == "<hello>my&amp;</world>"

renderTagsOptions :: StringLike str => RenderOptions str -> [Tag str] -> str

Show a list of tags using settings supplied by the RenderOptions parameter, eg. to avoid escaping any characters one could do:

renderTagsOptions renderOptions{optEscape = id} [TagText "my&"] == "my&"

escapeHTML :: StringLike str => str -> str

Replace the four characters &"<> with their HTML entities (escapeXML lifted to StringLike).

data RenderOptions str

These options control how renderTags works.

The strange quirk of only minimizing <br> tags is due to Internet Explorer treating <br></br> as <br><br>.

Constructors

RenderOptions

Fields

• optEscape :: str -> str

  Escape a piece of text (default = escape the four characters &"<>)

• optMinimize :: str -> Bool

  Minimise <b></b> -> <b/> (default = minimise only <br> tags)

• optRawTag :: str -> Bool

  Should a tag be output with no escaping (default = true only for script)

renderOptions :: StringLike str => RenderOptions str

The default render options value, described in RenderOptions.

canonicalizeTags :: StringLike str => [Tag str] -> [Tag str]

Turns all tag names and attributes to lower case and converts DOCTYPE to upper case.

Tag identification

isTagOpen :: Tag str -> Bool

Test if a Tag is a TagOpen

isTagClose :: Tag str -> Bool

Test if a Tag is a TagClose

isTagText :: Tag str -> Bool

Test if a Tag is a TagText

isTagWarning :: Tag str -> Bool

Test if a Tag is a TagWarning

isTagPosition :: Tag str -> Bool

Test if a Tag is a TagPosition

isTagOpenName :: Eq str => str -> Tag str -> Bool

Returns True if the Tag is TagOpen and matches the given name

isTagCloseName :: Eq str => str -> Tag str -> Bool

Returns True if the Tag is TagClose and matches the given name

isTagComment :: Tag str -> Bool

Test if a Tag is a TagComment

Extraction

fromTagText :: Show str => Tag str -> str

Extract the string from within TagText, crashes if not a TagText

fromAttrib :: (Show str, Eq str, StringLike str) => str -> Tag str -> str

Extract an attribute, crashes if not a TagOpen. Returns "" if no attribute present.

Warning: does not distinquish between missing attribute and present attribute with value "".

maybeTagText :: Tag str -> Maybe str

Extract the string from within TagText, otherwise Nothing

maybeTagWarning :: Tag str -> Maybe str

Extract the string from within TagWarning, otherwise Nothing

innerText :: StringLike str => [Tag str] -> str

Extract all text content from tags (similar to Verbatim found in HaXml)

Utility

sections :: (a -> Bool) -> [a] -> [[a]]

This function takes a list, and returns all suffixes whose first item matches the predicate.

partitions :: (a -> Bool) -> [a] -> [[a]]

This function is similar to sections, but splits the list so no element appears in any two partitions.

Combinators

class TagRep a where

Define a class to allow String's or Tag str's to be used as matches

Minimal complete definition

toTagRep

Methods

toTagRep :: StringLike str => a -> Tag str

Convert a value into a Tag.

Instances

TagRep String

Defined in Text.HTML.TagSoup

Methods

toTagRep :: StringLike str => String -> Tag str

StringLike str => TagRep (Tag str)

Defined in Text.HTML.TagSoup

Methods

toTagRep :: StringLike str0 => Tag str -> Tag str0

(~==) :: (StringLike str, TagRep t) => Tag str -> t -> Bool

Performs an inexact match, the first item should be the thing to match. If the second item is a blank string, that is considered to match anything. For example:

(TagText "test" ~== TagText ""    ) == True
(TagText "test" ~== TagText "test") == True
(TagText "test" ~== TagText "soup") == False

For TagOpen missing attributes on the right are allowed.

(~/=) :: (StringLike str, TagRep t) => Tag str -> t -> Bool

Negation of ~==