Question

我正在使用HXT解析XML文件，我试图将一些节点提取分解为模块化部分（我一直将其用作我的guide）。不幸的是，一旦我进行了第一级解析，我无法弄清楚如何应用一些选择器。

 import Text.XML.HXT.Core

 let node tag = multi (hasName tag)
 xml <- readFile "test.xml"
 let doc = readString [withValidate yes, withParseHTML no, withWarnings no] xml
 books <- runX $ doc >>> node "book"

我看到图书的类型为[XmlTree]

 :t books
 books :: [XmlTree]

现在我想得到books的第一个元素，然后在子树中提取一些值。

 let b = head(books)
 runX $ b >>> node "cost"

Couldn't match type ‘Data.Tree.NTree.TypeDefs.NTree’
               with ‘IOSLA (XIOState ()) XmlTree’
Expected type: IOSLA (XIOState ()) XmlTree XNode
  Actual type: XmlTree
In the first argument of ‘(>>>)’, namely ‘b’
In the second argument of ‘($)’, namely ‘b >>> node "cost"’

我有一个XmlTree后找不到选择器，我显示上面的错误用法来说明我想要的内容。我知道我可以这样做：

 runX $ doc >>> node "book" >>> node "cost" /> getText
 ["55.9","95.0"]

但我不仅对cost感兴趣，还对book内的更多元素感兴趣。 XML文件非常深，所以我不希望用<+>嵌套所有内容，并且更多的rater更喜欢提取我想要的块，然后在单独的函数中提取子元素。

示例（虚构）XML文件：

 <?xml version="1.0" encoding="UTF-8"?><start xmlns="http://www.example.com/namespace" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
     <books> 
         <book>
             <author>
                 <name>
                     <first>Joe</first>
                     <last>Smith</last>
                 </name>
                 <city>New York City</city>
             </author>
             <released>1990-11-15</released>
             <isbn>1234567890</isbn>
             <publisher>X Publisher</publisher>
             <cost>55.9</cost>
         </book>
         <book>
             <author>
                 <name>
                     <first>Jane</first>
                     <last>Jones</last>
                 </name>
                 <city>San Francisco</city>
             </author>
             <released>1999-01-19</released>
             <isbn>0987654321</isbn>
             <publisher>Y Publisher</publisher>
             <cost>95.0</cost>
         </book>
     </books>
  </start>

有人可以帮我理解，如何提取book的子元素？理想情况下有一些与>>>和node一样好的东西，所以我可以定义自己的函数，例如getCost，getName等，每个函数都会大致有{{1} }}

Answer 1

doc不是你想象的那样。它的类型为IOStateArrow s b XmlTree。你真的应该再次阅读你的指南，所有你想知道的都是在标题"Avoiding IO"下结束的。

箭头基本上是功能。 SomeArrow a b可以被视为a -> b类型的通用/专用函数。 >>>和范围内的其他运算符用于箭头组合，类似于函数组合。您的books类型为[XmlTree]，因此它不是箭头，也不能用箭头组成。满足您需求的是runLA，它将node "tag"之类的箭头转换为正常函数：

module Main where

import           Text.XML.HXT.Core

main = do
  html <- readFile "test.xml"
  let doc = readString [withValidate yes, withParseHTML no, withWarnings no] html
  books <- runX $ doc >>> node "book"
  -- runLA (node "cost" /> getText) :: XmlTree -> [String]
  let costs = books >>= runLA (node "cost" /> getText)
  print costs

node tag = multi (hasName tag)

从子树中提取值

1 个答案: