Ideas.Text.XML

A datatype, parser, and pretty printer for XML documents. Re-exports functions defined elsewhere.

Documentation

type XML = Element

type Attr = Attribute

type AttrList = Attributes

data Element

Constructors

Element

Fields

• name :: Name
• attributes :: Attributes
• content :: Content

Instances

Show Element

Methods

showsPrec :: Int -> Element -> ShowS

show :: Element -> String

showList :: [Element] -> ShowS

class InXML a where

Minimal complete definition

toXML, fromXML

Methods

toXML :: a -> XML

listToXML :: [a] -> XML

fromXML :: Monad m => XML -> m a

listFromXML :: Monad m => XML -> m [a]

Instances

InXML OMOBJ

Methods

toXML :: OMOBJ -> XML

listToXML :: [OMOBJ] -> XML

fromXML :: Monad m => XML -> m OMOBJ

listFromXML :: Monad m => XML -> m [OMOBJ]

InXML HTMLPage

Methods

toXML :: HTMLPage -> XML

listToXML :: [HTMLPage] -> XML

fromXML :: Monad m => XML -> m HTMLPage

listFromXML :: Monad m => XML -> m [HTMLPage]

InXML MathML

Methods

toXML :: MathML -> XML

listToXML :: [MathML] -> XML

fromXML :: Monad m => XML -> m MathML

listFromXML :: Monad m => XML -> m [MathML]

data XMLBuilder

Instances

IsString XMLBuilder

Methods

fromString :: String -> XMLBuilder

Semigroup XMLBuilder

Methods

(<>) :: XMLBuilder -> XMLBuilder -> XMLBuilder

sconcat :: NonEmpty XMLBuilder -> XMLBuilder

stimes :: Integral b => b -> XMLBuilder -> XMLBuilder

Monoid XMLBuilder

Methods

mempty :: XMLBuilder

mappend :: XMLBuilder -> XMLBuilder -> XMLBuilder

mconcat :: [XMLBuilder] -> XMLBuilder

BuildXML XMLBuilder

Methods

(.=.) :: String -> String -> XMLBuilder

unescaped :: String -> XMLBuilder

builder :: Element -> XMLBuilder

tag :: String -> XMLBuilder -> XMLBuilder

string :: String -> XMLBuilder

text :: Show s => s -> XMLBuilder

element :: String -> [XMLBuilder] -> XMLBuilder

emptyTag :: String -> XMLBuilder

makeXML :: String -> XMLBuilder -> XML

parseXML :: String -> Either String XML

parseXMLFile :: FilePath -> IO XML

compactXML :: Element -> String

findAttribute :: Monad m => String -> Element -> m String

children :: Element -> [Element]

data Attribute

Constructors

Name := String

fromBuilder :: XMLBuilder -> Maybe Element

findChild :: Monad m => String -> Element -> m Element

findChildren :: String -> Element -> [Element]

getData :: Element -> String

class (Semigroup a, Monoid a) => BuildXML a where

Minimal complete definition

(.=.), unescaped, builder, tag

Methods

(.=.) :: String -> String -> a infix 7

unescaped :: String -> a

builder :: Element -> a

tag :: String -> a -> a

string :: String -> a

text :: Show s => s -> a

element :: String -> [a] -> a

emptyTag :: String -> a

Instances

BuildXML XMLBuilder

Methods

(.=.) :: String -> String -> XMLBuilder

unescaped :: String -> XMLBuilder

builder :: Element -> XMLBuilder

tag :: String -> XMLBuilder -> XMLBuilder

string :: String -> XMLBuilder

text :: Show s => s -> XMLBuilder

element :: String -> [XMLBuilder] -> XMLBuilder

emptyTag :: String -> XMLBuilder

BuildXML t => BuildXML (Encoder a s t)

Methods

(.=.) :: String -> String -> Encoder a s t

unescaped :: String -> Encoder a s t

builder :: Element -> Encoder a s t

tag :: String -> Encoder a s t -> Encoder a s t

string :: String -> Encoder a s t

text :: Show s => s -> Encoder a s t

element :: String -> [Encoder a s t] -> Encoder a s t

emptyTag :: String -> Encoder a s t

module Data.Monoid

(<>) :: Semigroup a => a -> a -> a infixr 6

An associative operation.

(a <> b) <> c = a <> (b <> c)

If a is also a Monoid we further require

(<>) = mappend

munless :: Monoid a => Bool -> a -> a

mwhen :: Monoid a => Bool -> a -> a