简而言之，这是我要完成的工作：
"foo.xml"：
<?xml version="1.0"?>
<foo>
<bar>
<baz>
<a>foo</a>
<a>bar</a>
<a>baz</a>
</baz>
</bar>
</foo>
预期结果（的内容"bar.xml"）：
<?xml version="1.0"?>
<foo>
<bar>
<baz>
<a>foo!</a>
<a>bar!</a>
<a>baz!</a>
</baz>
</bar>
</foo>
...我试图解决这个问题：
module Main (main) where
import Control.Monad
import Control.Arrow.ArrowTree
import Text.XML.HXT.Core
main :: IO ()
main = void . runX $ readDocument [] "foo.xml" >>>
applic >>> writeDocument [withIndent yes] "bar.xml"
applic :: IOSArrow XmlTree XmlTree
applic = getChildren >>> hasName "foo"
-- ^^ because of extra root node (?)
/> hasName "bar" /> hasName "baz" /> hasName "a" >>> changeText excl
excl :: String -> String
excl = (++ "!")
问题：如何直接编辑选定的元素而不更改/删除其根元素？另请注意，该程序不会创建"bar.xml"文件，因此肯定存在错误。跟踪显示，施加后applic的箭头，该文档包括三个a元件（"foo"，"bar"，和"baz";没有感叹号）。
我并没有假装擅长HXT，也没有经常使用它，但是我已经通过一些实验获得了您想做的工作。如果有人对HXT有更多的经验，请随时提供更好的解决方案。
通过浏览HXT Wiki，我发现了process*，processTopDown和等功能processChildren以及其他几个功能。这些似乎实际上是允许更改发生的原因。现在，我假设您的实际用例更加复杂，您可能只想选择特定级别的元素。我偶然发现的模式是processChildren和的HXT版本一起使用的when，Control.Monad因为它们不一样，所以不使用。基本上，我的第一个实现是
applic
= processChildren
$ flip when (isElem >>> hasName "foo")
$ processChildren
$ flip when (isElem >>> hasName "bar")
$ processChildren
$ flip when (isElem >>> hasName "baz")
$ processChildren
$ flip when (isElem >>> hasName "a")
$ processChildren
$ flip when isText
$ changeText excl
这对我来说真的很丑，重复的太多了。因此，我将其抽象为更具可读性的内容：
-- Fixity is important here, must be right-associative.
infixr 5 />/
(/>/) :: ArrowXml a => String -> a XmlTree XmlTree -> a XmlTree XmlTree
name />/ action
= processChildren
$ action `when` (isElem >>> hasName name)
applic = "foo" />/ "bar" />/ "baz" />/ "a" />/
processChildren (
changeText excl `when` isText
)
所有这些调用processChildren可能都是多余的，特别是如果您只是深入研究结构，但是它确实可以使用，并且不会修改a文件不同部分中的其他元素。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句