1

我正在尝试编写一个 xpickle，它将某种类型的值构造函数序列化为特定属性的 XML 属性值，并将 XML 属性值反序列化回该类型的值构造函数。

我有以下数据：

module Main where

import Text.XML.HXT.Core

newtype Things = Things [Thing]
data Thing = Thing (Maybe Property)
data Property = A | B

someThings :: Things
someThings = Things [ Thing (Just A)
                    , Thing Nothing
                    , Thing (Just B)
                    ]

我想将其序列化为：

<things>
  <thing property="a" />
  <thing />
  <thing property="b" />
</things>

这是我正在采取的方法：

instance XmlPickler Things where
  xpickle = xpWrap ( \things -> Things things , \(Things things) -> things ) $
            xpElem "things" $
            xpThings

xpThings :: PU [Thing]
xpThings = xpList xpickle

instance XmlPickler Thing where
  xpickle = xpElem "thing" $
            xpWrap ( \p -> Thing p , \(Thing p) -> p ) $
            xpProperty

xpProperty :: PU (Maybe Property)
xpProperty = xpOption $ xpAttr "property" xpPropertyValue

xpPropertyValue :: PU Property
xpPropertyValue = xpAlt tag ps
  where
    tag A = 1
    tag B = 2
    ps = [ xpTextAttr "a"
         , xpTextAttr "b"
         ]

main :: IO ()
main = do
  putStrLn $ showPickled [ withIndent yes ] someThings
  return ()

在这里，xpProperty创建或读取一个@property属性，然后用于xpPropertyValue计算值。xpPropertyValue根据值的值构造函数确定值：A给出"a"和B给出"b"，并且使用xpTextAttr函数构造值。这里的问题是xpTextAttr，String -> PU String我正在尝试在需要PU Property. 但是我无法找到一种替代方法来生成PU Property依赖于值的值构造函数的Property值。

4

1 回答 1

0

这没有xpTextAttr正确使用。首先，它的第一个参数应该是属性名称"property"，其次，它返回匹配的文本。

您想分别返回构造函数A或B。

您需要使用来指定属性（或）的文本内容与那些构造函数xpWrap之间的映射（两种方式） 。我相信标签是基于 0 的，所以是 0 和 1。"a""b"

where
  tag A = 0
  tag B = 1
  ps = [ xpWrap (const A,const "a") $ xpTextAttr "property"
       , xpWrap (const B,const "b") $ xpTextAttr "property"
       ]

然后调用xpAttr是错误的。老实说，我不确定这xpAttr是为了什么，与限定名称有关。事实上足够的代码xpProperty是

xpProperty :: PU (Maybe Property)
xpProperty = xpOption $ xpPropertyValue
于 2015-09-17T11:16:24.190 回答