xml - HaXml：从 XML 文件中读取数据时遇到问题

Question

我正在努力理解如何使用 HaXml 来解析以下 XML 文件（例如）：

<?xml version="1.0" encoding="UTF-8"?>
<root>
  <author>Mark</author>
  <year>2012</year>
</root>

具体来说，我该如何：

• 确定 XML 文档的格式正确（我假设我使用了函数 xmlParse，希望它可以为我做这件事）
• 确定 XML 文档是有效的
• 找到标签并将字符串“Mark”读入String类型的值
• 找到标签并将数字2012 读入 Int 类型的值

（相当稀疏的）HaXml 文档似乎不是很有帮助，任何博客/Stackoverflow 条目充其量只是粗略的。

谢谢。

Answer 1

好的，所以我解决了我自己的问题。

基本上xmlParse检查文档是否格式正确，并且 Unix 命令行工具Validate检查.xml文件是否符合相关.dtd文件。

使用运算符查找特定标签深入到文档中/>。

所以使用类似的东西tag <tagname1> /> tag <tagname2> /> txt $ getContents xmlContents

这xmlContents是 的结果，xmlParse定义getContents为

getContents (Document _ _ e _) = CElem e noPos