在 Haskell 和 Yesod 中显示 Handler monad 价值的问题

Question

我是 Haskell 的初学者，我还在学习，我在与 monad 相关的问题上停了下来。
问题是我想在模板中显示评论作者。
我不能这样做，因为当我从数据库添加评论时，它总是在 Handler monad 中。
也许我的整个想法是错误的，我不知道。

这是评论实体：

ManComment
text Text sqltype=varchar(500)
created UTCTime sqltype=DateTime
writer UserId Maybe sqltype=varchar(255) default=NULL  -- comment writer
manId ManifestationId sqltype=varchar(255) default=NULL
deriving Show Typeable

这是处理函数：

getManDetailsR :: ManifestationId -> Handler Html
getManDetailsR mid = do 
  (ui, user) <- requireAuthPair
  comments <- runDB $ getComFromMan mid
  defaultLayout $ do
     setTitle "Manifestation details"
     $(widgetFile "man-details")

哈姆雷特文件的一部分（在最后一行试图显示作者）：

$if null comments 
  <h4>There is not comments! 
$else 
  $forall Entity cid com <- comments 
    <form method=post action=@{DeleteManCommentR mid cid}> 
      <li .list-group-item> 
        <div class="row"> 
         <div class="col-xs-10 col-md-11"> 
         <div> 
          <div .mic-info> By: <a href=@{ProfileR}>#{getCommentWriter $ com}</a> 

我正在尝试在这里获得评论作者：

getCommentWriter :: ManComment -> Handler Text
getCommentWriter c = do 
  user <- runDB $ get404 $ fromJust $ manCommentWriter c  --get writer from database
  let username = userIdent user 
  return username  -- but return puts in Handler monad

最终发生错误：

No instance for (blaze-markup-0.8.2.7:Text.Blaze.ToMarkup
                         (Handler Text))
        arising from a use of ‘toHtml’ 

Answer 1

您应该能够以与您在那里使用comments 相同的方式使用它：将其绑定到本地值并在您的 hamlet-file/code 中访问它。

当然你想把它和评论本身配对，所以我建议这样：

getCommentAndWriter :: ManComment -> Handler (Entity ManComment, Text)
getCommentAndWriter c = do 
  user <- runDB $ get404 $ fromJust $ manCommentWriter c  --get writer from database
  let username = userIdent user 
  return (c, username)

getManDetailsR :: ManifestationId -> Handler Html
getManDetailsR mid = do 
  (ui, user) <- requireAuthPair

  cs <- runDB $ getComFromMan mid
  comments <- forM cs getCommentAndWriter
  
  defaultLayout $ do
     setTitle "Manifestation details"
     $(widgetFile "man-details")

$if null comments 
  <h4>There is not comments! 
$else 
  $forall (Entity cid com, writer) <- comments 
    <form method=post action=@{DeleteManCommentR mid cid}> 
      <li .list-group-item> 
        <div class="row"> 
         <div class="col-xs-10 col-md-11"> 
         <div> 
          <div .mic-info> By: <a href=@{ProfileR}>#{writer}</a>

当然，如果可以的话，您应该考虑同时查询这两者，但基本上这应该可以工作。

---

PS：如果您想使用更多字段，您可能会想要使用一条记录 - 为了简单起见，我选择将其组合起来。