如何正确堆叠单子以最终呈现为 html？

Question

我的目标是使用HtmlT m 类型（最好是Html ()）正确地提供html 函数（如Spock-core 中定义的那样）。在这之间，我正在执行一些 Network.Http.Simple 请求。显然我对Haskell的了解不够，我没有找到强制正确单子的方法。据我所知（并且理解 monad 的全部含义），没有办法像 (Monad M, Monad N => M a -> (a -> N b) -> N b) 这样组合不同的 monad。

我设法实现的最好的方法是设置一个HtmlT IO () 类型，但后来我陷入了转换函数lucid :: HtmlT IO () -> SpockAction dtb sess state ()

这是我的连接函数（Auth 是一个 FromJSON 数据结构，用于托管授权密钥和令牌）

     connect :: IO Auth
     connect = do  
                ...building a http request.. 
                response <- httpJSON request
                return (getResponseBody response :: Auth)

接下来，它被连接到 String -> HtmlT IO () 类型的 getRequest 函数中

    getRequest :: RequestPath -> HtmlT IO ()
    getRequest rpath = do
                    atoken <- liftIO connect
                    request' <- liftIO parseRequest "http://......"
                    let request = { series of set methods
                                    to build the request }
                    response <- httpLBS request
                    liftIO (L8.putStrnLn $ (getResponseBody response))

这里我们来到了 lucid 函数，Lucid 可以处理转换Html () -> SpockAction ...。 Html () 只不过是 HtmlT Identity ()，所以我的第一次尝试是用 HtmlT IO () 喂 Lucid。

   lucid :: HtmlT IO () -> SpockAction database session state ()
   lucid document = do 
                        txt <- renderTextT document       --> inside IO (?)
                        return html (TL.toStrict txt)     <-- naive attempt to 
                                      return to "somewhere" of course stupid..

也许IO 不是这里的好单子？当我尝试 Identity monad（拥有HtmlT Identity ()）时，如果我将 connect 定义为 connect :: Identity Auth，那么自然会要求我提供 Identity 的 FromJSON 实例（源于使用 httpJSON），也许这曾经是一个潜在的解决方案我在 Identity monad 中，我能够将事情连接起来，并可能以干净的 Html () 类型结束，然后我的 lucid 函数将顺利执行。

感谢您提供任何线索或提示，也许我的方法完全错误我正在做的整个事情是查询一个 restAPI 网站并在使用 Spock 运行的网络服务器上查看结果。

Answer 1

相关类型：

document :: HtmlT IO ()
renderTextT :: Monad m => HtmlT m a -> m Text
renderTextT document :: IO Text
<the value you need> :: SpockAction database session state Text

幸运的是，我们有这个：liftIO :: MonadIO m => IO a -> m a

让lucid 函数运行的两个步骤：

1. 将txt <- renderTextT document 更改为txt <- liftIO (renderTextT document)
2. 尝试编译您的代码以确保liftIO 已导入（可能已经导入）。如果没有：将import Control.Monad.IO.Class 添加到您的导入列表中。
3. 从return html (TL.toStrict txt) 中删除return。

以下代码在我的机器上运行：

lucid :: HtmlT IO () -> SpockAction database session state ()
lucid document = do
  txt <- liftIO (renderTextT document)
  html (TL.toStrict txt)