Question

我正在尝试使用mongodb haskell驱动程序访问mongo（快照驱动程序似乎因为快照> 0.5而被打破）。

到目前为止，这是我的目标：

testSplice :: Splice AppHandler
testSplice = do
  record <- liftIO $ do
    pipe <- runIOE $ connect (host "127.0.0.1") 
    results <- access pipe master "db" (find $ select [] "coll")
    close pipe
    rest result

  return $ [TextNode $ T.pack $ show $ records]

我知道我需要在那里使用liftIO，因为mongo动作发生在IO monad中，我想把它拉出来。我理解失败的地方是编译拼接的结果：

Couldn't match expected type `IO a0'
    with actual type `Action m0 [Database.MongoDB.Document]'

我很抱歉发布了“发给我代码问题”的问题，但我很遗憾：我哪里出错了，我该怎么做呢？

Answer 1

这是您使用类型签名注释的函数。我认为这样做了很清楚问题所在。

testSplice :: Splice AppHandler
testSplice = do
  record <- liftIO $ do
    pipe <- runIOE $ connect (host "127.0.0.1") -- :: IO Pipe
    results <- access pipe master "db" (find $ select [] "coll")
    -- ^ :: IO (Either Failure Cursor)
    close pipe -- :: IO ()
    rest result -- :: Action m [Document]

  return $ [TextNode $ T.pack $ show $ records]

“liftIO $ do”块内的所有内容都必须是IO动作。最后一行 “休息结果”不是。一种解决方案是在“访问管道”前面添加该行掌握“db”'就像你完成了find一样。另一个解决方案是避免两次调用“access pipe ...”并用以下内容替换查找行：

result <- access pipe master "db" (find (select [] "coll") >>= rest)

然后将“rest result”行替换为“return result”

丹尼尔所说的不需要liftIO的查找线是正确的，但在这种情况并不重要，因为IO有一个MonadIO实例。因此，将所有liftIO内容保存在一个块中可能同样容易。

Answer 2

我不是MongoDB专家，所以我不是百分百肯定（我无法测试它），但我怀疑你的liftIO在错误的地方。我们有liftIO :: MonadIO m => IO a -> m a，因此我们应该将liftIO应用于实际为IO但我们想要比IO更大的行动。我怀疑access是一个函数，其返回类型大于 - IO。假设runIOE，close和rest实际上都有IO个返回类型，那么我们就会这样做：

testSplice = do
    pipe <- liftIO . runIOE $ connect (host "127.0.0.1")
    results <- access pipe master "db" (find $ select [] "coll") -- note: no liftIO on this one because it's presumably already lifted
    liftIO $ close pipe
    record <- liftIO $ rest result
    return [TextNode . T.pack . show $ records]

如果其中某些操作实际上不是IO件事，那么您可以从这些操作中删除liftIO。

正如您所观察到的，可以稍微清理一下：任何以liftIO开头的相邻行都可以合并。因此，如果以上结果证明是liftIO s的正确位置，那么它也可以写成：

testSplice = do
    pipe <- liftIO . runIOE $ connect (host "127.0.0.1")
    results <- access pipe master "db" (find $ select [] "coll")
    liftIO $ do
        close pipe
        record <- rest result
        return [TextNode . T.pack . show $ records]

（最后一个没有问题，因为return = liftIO . return是liftIO的任何理智实现。）

从Snap访问MongoDB

2 个答案: