从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内容保存在一个块中可能同样容易.