haskell - 从 Snap 访问 MongoDB

Question

我正在尝试在拼接中使用 mongodb haskell 驱动程序(snap 驱动程序似乎因 snap > 0.5 而损坏)访问 mongo。

这是目前为止我所得到的:

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” block 中的所有内容都必须是 IO 操作。最后一行“休息结果”不是。一种解决方案是在该行前面加上“访问管道掌握“db”'就像你对find所做的那样。另一种解决方案是避免调用“access pipe...”两次并将查找行替换为以下内容:

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

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

Daniel 所说的不需要 liftIO 的 find 行是正确的，但是在这种情况并不重要，因为 IO 有一个 MonadIO 实例。因此，将所有 liftIO 内容放在一个 block 中可能同样容易。