HaXmlSource codeContentsIndex
Text.XML.HaXml.Xtract.Combinators
Description

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.

Synopsis
type DFilter = Content -> Content -> [Content]
global :: CFilter -> DFilter
local :: CFilter -> DFilter
dfilter :: DFilter -> CFilter
oglobo :: (CFilter -> CFilter) -> DFilter -> DFilter
oloco :: (CFilter -> CFilter) -> DFilter -> DFilter
ooo :: DFilter -> DFilter -> DFilter
(||>||) :: (a -> b -> [c]) -> (a -> b -> [c]) -> a -> b -> [c]
owithouto :: DFilter -> DFilter -> DFilter
owitho :: DFilter -> DFilter -> DFilter
ononeo :: DFilter
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
Documentation
type DFilter = Content -> Content -> [Content]Source
double content filter - takes document root + local subtree.
global :: CFilter -> DFilterSource
lift an ordinary content filter to a double filter.
local :: CFilter -> DFilterSource
dfilter :: DFilter -> CFilterSource
drop a double filter to an ordinary content filter
oglobo :: (CFilter -> CFilter) -> DFilter -> DFilterSource
lift a CFilter combinator to a DFilter combinator
oloco :: (CFilter -> CFilter) -> DFilter -> DFilterSource
ooo :: DFilter -> DFilter -> DFilterSource
lifted composition over double filters.
(||>||) :: (a -> b -> [c]) -> (a -> b -> [c]) -> a -> b -> [c]Source
lifted choice.
owithouto :: DFilter -> DFilter -> DFilterSource
lifted predicates.
owitho :: DFilter -> DFilter -> DFilterSource
ononeo :: DFilterSource
lifted unit and zero.
okeepo :: DFilterSource
oelmo :: DFilterSource
otxto :: DFilterSource
ochildreno :: DFilterSource
applypred :: CFilter -> DFilter -> CFilterSource
oiffindo :: String -> (String -> DFilter) -> DFilter -> DFilterSource
oifTxto :: (String -> DFilter) -> DFilter -> DFilterSource
ocato :: [a -> b -> [c]] -> a -> b -> [c]Source
(//>>) :: DFilter -> DFilter -> DFilterSource
(<<//) :: DFilter -> DFilter -> DFilterSource
odeepo :: DFilter -> DFilterSource
Produced by Haddock version 2.4.2