Text.HTML.Tagchup.Tag

Documentation

data T name string

An HTML element, a document is [T]. There is no requirement for Open and Close to match.

The type parameter string lets you choose between [Char] for interpreted HTML entity references and [HTMLChar.T] for uninterpreted HTML entities. You will most oftenly want plain Char, since HTMLChar.T is only necessary if you want to know, whether a non-ASCII character was encoded as HTML entity or as non-ASCII Unicode character.

Constructors

Open (Name name) [T name string]

An open tag with Ts in their original order.

Close (Name name)

A closing tag

Text string

A text node, guaranteed not to be the empty string

Comment String

A comment

Special (Name name) String

A tag like <!DOCTYPE ...>

Processing (Name name) (T name string)

A tag like <?xml ...>

Warning String

Mark a syntax error in the input file

Instances

Functor (T name)

Defined in Text.HTML.Tagchup.Tag

Methods

fmap :: (a -> b) -> T name a -> T name b

(<$) :: a -> T name b -> T name a

Foldable (T name)

Defined in Text.HTML.Tagchup.Tag

Methods

fold :: Monoid m => T name m -> m

foldMap :: Monoid m => (a -> m) -> T name a -> m

foldr :: (a -> b -> b) -> b -> T name a -> b

foldr' :: (a -> b -> b) -> b -> T name a -> b

foldl :: (b -> a -> b) -> b -> T name a -> b

foldl' :: (b -> a -> b) -> b -> T name a -> b

foldr1 :: (a -> a -> a) -> T name a -> a

foldl1 :: (a -> a -> a) -> T name a -> a

toList :: T name a -> [a]

null :: T name a -> Bool

length :: T name a -> Int

elem :: Eq a => a -> T name a -> Bool

maximum :: Ord a => T name a -> a

minimum :: Ord a => T name a -> a

sum :: Num a => T name a -> a

product :: Num a => T name a -> a

Traversable (T name)

Defined in Text.HTML.Tagchup.Tag

Methods

traverse :: Applicative f => (a -> f b) -> T name a -> f (T name b)

sequenceA :: Applicative f => T name (f a) -> f (T name a)

mapM :: Monad m => (a -> m b) -> T name a -> m (T name b)

sequence :: Monad m => T name (m a) -> m (T name a)

(Eq name, Eq string) => Eq (T name string)

Defined in Text.HTML.Tagchup.Tag

Methods

(==) :: T name string -> T name string -> Bool

(/=) :: T name string -> T name string -> Bool

(Ord name, Ord string) => Ord (T name string)

Defined in Text.HTML.Tagchup.Tag

Methods

compare :: T name string -> T name string -> Ordering

(<) :: T name string -> T name string -> Bool

(<=) :: T name string -> T name string -> Bool

(>) :: T name string -> T name string -> Bool

(>=) :: T name string -> T name string -> Bool

max :: T name string -> T name string -> T name string

min :: T name string -> T name string -> T name string

(Attribute name, Show name, Show string) => Show (T name string)

Defined in Text.HTML.Tagchup.Tag

Methods

showsPrec :: Int -> T name string -> ShowS

show :: T name string -> String

showList :: [T name string] -> ShowS

(Tag name, Attribute name, C string) => C (T name string)

Defined in Text.HTML.Tagchup.Tag

Methods

run :: T name string -> ShowS

newtype Name ident

Constructors

Name ident

Instances

Eq ident => Eq (Name ident)

Defined in Text.XML.Basic.Tag

Methods

(==) :: Name ident -> Name ident -> Bool

(/=) :: Name ident -> Name ident -> Bool

Ord ident => Ord (Name ident)

Defined in Text.XML.Basic.Tag

Methods

compare :: Name ident -> Name ident -> Ordering

(<) :: Name ident -> Name ident -> Bool

(<=) :: Name ident -> Name ident -> Bool

(>) :: Name ident -> Name ident -> Bool

(>=) :: Name ident -> Name ident -> Bool

max :: Name ident -> Name ident -> Name ident

min :: Name ident -> Name ident -> Name ident

Show ident => Show (Name ident)

Defined in Text.XML.Basic.Tag

Methods

showsPrec :: Int -> Name ident -> ShowS

show :: Name ident -> String

showList :: [Name ident] -> ShowS

Tag ident => C (Name ident)

Defined in Text.XML.Basic.Tag

Methods

fromString :: String -> Name ident

toString :: Name ident -> String

mapName :: (Name name0 -> Name name1) -> (Name name0 -> Name name1) -> T name0 string -> T name1 string

open :: Name name -> [T name string] -> T name string

isOpen :: T name string -> Bool

Test if a T is a Open

maybeOpen :: T name string -> Maybe (Name name, [T name string])

close :: Name name -> T name string

isClose :: T name string -> Bool

Test if a T is a Close

maybeClose :: T name string -> Maybe (Name name)

text :: string -> T name string

isText :: T name string -> Bool

Test if a T is a Text

maybeText :: T name string -> Maybe string

Extract the string from within Text, otherwise Nothing

innerText :: Monoid string => [T name string] -> string

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

comment :: String -> T name string

isComment :: T name string -> Bool

maybeComment :: T name string -> Maybe String

special :: Name name -> String -> T name string

isSpecial :: T name string -> Bool

maybeSpecial :: T name string -> Maybe (Name name, String)

cdata :: Tag name => String -> T name string

isCData :: Tag name => T name string -> Bool

maybeCData :: Tag name => T name string -> Maybe String

processing :: Name name -> T name string -> T name string

isProcessing :: T name string -> Bool

maybeProcessing :: T name string -> Maybe (Name name, T name string)

warning :: String -> T name string

isWarning :: T name string -> Bool

maybeWarning :: T name string -> Maybe String

formatOpen :: (Tag name, Attribute name, C string) => Bool -> Name name -> [T name string] -> ShowS

formatClose :: Tag name => Name name -> ShowS

textFromCData :: (Tag name, C char) => T name [char] -> T name [char]

Replace CDATA sections by plain text.

concatTexts :: Monoid string => [T name string] -> [T name string]

Merge adjacent Text sections.

mapText :: Tag name => (String -> String) -> T name String -> T name String

Modify content of a Text or a CDATA part.

mapTextA :: (Tag name, Applicative f) => (String -> f String) -> T name String -> f (T name String)