0

所以，我已经把头撞在墙上至少一个小时了。这是我的问题：

我的功能之一返回[(Text, Text)]。

现在我想Data.Bson使用这个元组列表来填充 Document。

打开扩展OverloadedStrings，并Data.Text导入以及Data.Bson，我这样做（这部分是从原始帖子编辑的，我粘贴了实际上不使用累加器的代码的调试版本）：

tuplesToBSON :: [(Text, Text)] -> Document
tuplesToBSON xs = L.foldr (\v acc -> merge [fst v =: snd v] acc) [] xs

Data.Bson 包在哪里merge，就像=:.

没运气。它抱怨：无法将预期类型Label与实际类型匹配Text。（为了清楚起见，下面也是一个编辑）如果我尝试：

tuplesToBSON xs = L.foldr (\v acc -> merge [(fst v) =: (String (snd v))] acc ) [] xs

不幸的是，这个名字String实际上是来自 Bson 包的构造函数（我认为......），用于名为“Value”的数据类型。 http://hackage.haskell.org/packages/archive/bson/0.2.1/doc/html/src/Data-Bson.html

这仍然不起作用 - 但出现了不同的错误消息：

No instance for (Val Value) arising from a use of `=:'
Possible fix: add an instance declaration for (Val Value)
In the expression: (fst v) =: (String (snd v))
In the first argument of `merge', namely `[(fst v) =: (String (snd v))]'
In the expression: merge [(fst v) =: (String (snd v))] acc

也：

Couldn't match expected type `Label' with actual type `Text'
Expected type: [(Label, text-0.11.2.0:Data.Text.Internal.Text)] Actual type: [(Text, Text)]
In the third argument of `L.foldr', namely `xs'
In the expression: L.foldr (\ v acc -> merge [(fst v) =: (String (snd v))] acc) [] xs

我知道 Value 是 Bson 包中的一种数据类型，但我真的不知道是什么Val。

===== 不相关部分的开始 =====

正如下面的答案之一指出的那样，在原始帖子中，我:: String在我的代码中将 aText转换为 a String，就像在 Prelude 中一样。我实际上以为:: String是指 Bson 包中提到的那个，但无论如何我完全错了，因为（我认为）String实际上是一个构造函数。

我怀疑 GHC 类型推断不知何故被混淆了，因为以下工作正常：

testDocument :: Document
testDocument = [(fst ("asdf", "awef") :: Label) =: ("asdf" :: String)]

编辑：这可行，但必须是因为 Bson 会自动进行一些正确的类型处理，因为在包含该行之后import Prelude hiding (String)它会给我一个错误。

所以我终于清理了这个问题。对不起之前的混乱版本——我很沮丧。

4

2 回答 2

0

我认为你的问题不是Label，而是b0。看起来你正试图断言snd v它String不是。尝试使用类似的东西

tuplesToBSON xs = L.foldr (\acc v ->  [ ((fst v) :: Label) := (unpack (snd v) :: String)] ) [] xs

虽然我不太确定所有内联类型断言的用途。这可能更具可读性

tuplesToBSON xs = L.foldr (\acc v -> [(fst v) := (unpack (snd v0)]) [] xs
于 2012-08-14T02:06:50.833 回答
0

首先，不清楚您要做什么。你甚至没有使用累加器 ( acc) 所以这是一个退化的遍历。你不妨说：

tuplesToBSON = (\v -> fst v =: snd v) . last

另一个问题是你的类型显然是矛盾的。你说你在Textlambda 中传入 a then 你明确声明你认为变量应该是 a String。正如您在问题中所说，您不能只添加类型注释并将它们视为强制操作。变量的类型必须保持一致，并且任何强制都由显式函数应用程序完成（unpack在这种情况下）。

所以让我们假设这只是对 foldr 的错误使用，我们想要实际使用累加器。让我们进一步假设您想要Text类型，并且任何使用String都只是偶然的。

第三个问题是你的变量似乎混淆了，foldr第二个参数是累加器，而不是第一个。所以我们应该有：

tuplesToBSON = foldr (\v acc -> (fst v =: snd v) : acc) []

这种类型检查良好。如果 eta 减少和其他清理让您很难看到与您的代码的相似性，那么考虑这个版本：

tuplesToBSON xs = foldr (\v acc -> ((fst v :: Label) =: (snd v :: Text)) : acc ) [] xs
于 2012-08-14T03:08:51.030 回答