Text.XML.HaXml.Xtract.Combinators

This is a new set of XML combinators for Xtract, not standard, but based on the standard set in Text.Xml.Haxml.Combinators. The main difference is that the Content Filter type becomes a Double Filter. A Double Filter always takes the whole document as an extra argument, so you can start to traverse it again from any inner location within the document tree.

The new combinators definitions are derived from the old ones. New names are derived from the old by surrounding with the letter o, or by doubling the operator symbols.

Documentation

type DFilter = Content -> Content -> [Content]

double content filter - takes document root + local subtree.

global :: CFilter -> DFilter

lift an ordinary content filter to a double filter.

local :: CFilter -> DFilter

dfilter :: DFilter -> CFilter

drop a double filter to an ordinary content filter

oglobo :: (CFilter -> CFilter) -> DFilter -> DFilter

lift a CFilter combinator to a DFilter combinator

oloco :: (CFilter -> CFilter) -> DFilter -> DFilter

ooo :: DFilter -> DFilter -> DFilter

lifted composition over double filters.

(||>||) :: (a -> b -> [c]) -> (a -> b -> [c]) -> a -> b -> [c]

lifted choice.

owithouto :: DFilter -> DFilter -> DFilter

lifted predicates.

owitho :: DFilter -> DFilter -> DFilter

ononeo :: DFilter

lifted unit and zero.

okeepo :: DFilter

oelmo :: DFilter

otxto :: DFilter

ochildreno :: DFilter

applypred :: CFilter -> DFilter -> CFilter

oiffindo :: String -> (String -> DFilter) -> DFilter -> DFilter

oifTxto :: (String -> DFilter) -> DFilter -> DFilter

ocato :: [a -> b -> [c]] -> a -> b -> [c]

(//>>) :: DFilter -> DFilter -> DFilter

(<<//) :: DFilter -> DFilter -> DFilter

odeepo :: DFilter -> DFilter