从Snap访问MongoDB

Question

我正在尝试使用mongodb haskell驱动程序访问mongo（快照驱动程序似乎在snap> 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一样。 另一种解决方案是避免两次调用“访问管道......”并用以下内容替换查​​找行：

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

然后用“返回结果”替换“休息结果”行

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

Answer 2

我不是MongoDB专家，所以我不是百分百肯定（我无法测试它），但我怀疑你的liftIO在错误的地方。 我们有liftIO :: MonadIO m => IO a -> ma ，所以我们应该将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的正确位置，那么它也可以写成：

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]

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