Text.XML.WraXML.Element

Documentation

data T name str

Constructors

Cons

Fields

• name_ :: Name name
• attributes_ :: [T name str]

Instances

Foldable (T name)

Defined in Text.XML.WraXML.Element

Methods

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

foldMap :: Monoid m => (a -> m) -> T name a -> 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.XML.WraXML.Element

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)

Functor (T name)

Defined in Text.XML.WraXML.Element

Methods

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

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

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

Defined in Text.XML.WraXML.Element

Methods

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

show :: T name str -> String

showList :: [T name str] -> ShowS

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]

tests

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

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

modification

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

process the attribute list of a specific tag

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

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)

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)

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

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