wraxml-0.4.2: Lazy wrapper to HaXML, HXT, TagSoup via custom XML tree structure Source code Contents Index

Text.XML.WraXML.Element

Contents tests modification monadic modification format

Synopsis

data T name str = Cons { name_ :: Name name attributes_ :: [T name str] } type Filter name str = T name str -> T name str cons :: (Tag name, Attribute name) => Name name -> [T name str] -> T name str name :: T (T name str) (Name name) attributes :: T (T name str) [T name str] checkName :: (Name name -> Bool) -> T name str -> Bool checkAttributes :: ([T name str] -> Bool) -> T name str -> Bool lift :: (Name name -> [T name str] -> (Name name, [T name str])) -> Filter name str processAttrs :: (Tag name, Attribute name) => (Name name -> Bool) -> ([T name str] -> [T name str]) -> Filter name str processAttrValue :: (Tag name, Attribute name) => (Name name, Name name) -> (str -> str) -> Filter name str processAttrValueCond :: (Tag name, Attribute name) => (Name name, Name name) -> ([T name str] -> Bool) -> (str -> str) -> Filter name str processAttrsA :: (Tag name, Attribute name, Applicative m) => (Name name -> Bool) -> ([T name str] -> m [T name str]) -> T name str -> m (T name str) processAttrValueA :: (Tag name, Attribute name, Applicative m) => (Name name, Name name) -> (str -> m str) -> T name str -> m (T name str) processAttrValueCondA :: (Tag name, Attribute name, Applicative m) => (Name name, Name name) -> ([T name str] -> Bool) -> (str -> m str) -> T name str -> m (T name str) liftA :: (Tag name, Attribute name, Applicative m) => (Name name -> [T name str] -> m (Name name, [T name str])) -> T name str -> m (T name str) format :: (Tag name, Attribute name, C string) => (Name name -> Bool) -> ShowS -> T name string -> [ShowS] -> ShowS

Documentation

data T name str Source

Constructors Cons name_ :: Name name attributes_ :: [T name str] Instances Functor (T name) Foldable (T name) Traversable (T name) (Show name, Show str, Attribute name) => Show (T name str)

type Filter name str = T name str -> T name str Source

cons :: (Tag name, Attribute name) => Name name -> [T name str] -> T name str Source

name :: T (T name str) (Name name) Source

attributes :: T (T name str) [T name str] Source

tests

checkName :: (Name name -> Bool) -> T name str -> Bool Source

checkAttributes :: ([T name str] -> Bool) -> T name str -> Bool Source

modification

lift :: (Name name -> [T name str] -> (Name name, [T name str])) -> Filter name str Source

processAttrs :: (Tag name, Attribute name) => (Name name -> Bool) -> ([T name str] -> [T name str]) -> Filter name str Source

process the attribute list of a specific tag

processAttrValue :: (Tag name, Attribute name) => (Name name, Name name) -> (str -> str) -> Filter name str Source

processAttrValueCond :: (Tag name, Attribute name) => (Name name, Name name) -> ([T name str] -> Bool) -> (str -> str) -> Filter name str Source

monadic modification

processAttrsA :: (Tag name, Attribute name, Applicative m) => (Name name -> Bool) -> ([T name str] -> m [T name str]) -> T name str -> m (T name str) Source

process the attribute list of a specific tag

processAttrValueA :: (Tag name, Attribute name, Applicative m) => (Name name, Name name) -> (str -> m str) -> T name str -> m (T name str) Source

processAttrValueCondA :: (Tag name, Attribute name, Applicative m) => (Name name, Name name) -> ([T name str] -> Bool) -> (str -> m str) -> T name str -> m (T name str) Source

liftA :: (Tag name, Attribute name, Applicative m) => (Name name -> [T name str] -> m (Name name, [T name str])) -> T name str -> m (T name str) Source

format

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

Produced by Haddock version 2.6.0