如何在 Yesod 中使用 blaze 代码编写小部件?

How to compose widgets with blaze code in Yesod?

我正在尝试编写一个没有任何 hamlet 部分的 yesod 应用程序。我的问题是关于表单的:我可以使用 Applicative 生成​​表单,但我不能在我的 blaze 代码中直接使用它。

这是一个小村庄版本的例子:

-- actual form example
userForm :: Form User
userForm = renderDivs $ User
  <$> areq textField "Login" Nothing
-- usage example
getPageR :: Handler Html
getPageR = do
  ((_, widget), enctype') <- runFormGet userForm
  defaultLayout [whamlet|
                 <form method=post action=@{PageR} enctype=#{enctype'}>
                 ^{widget} -- This widget include.
                 <button>Submit|]

但是没有哈姆雷特怎么重写呢?我现在的代码是这样的:

getPageR = do
  ((_, widget), enctype') <- runFormGet userForm
  defaultLayout $ do
    toWidgetBody $ \render -> do
      H.div ! A.id "form" $ do
        H.form ! A.method "post" ! A.action (action' render) ! A.enctype (enct' enctype) $ ""
        -- widget include?
        H.button "Submit!"
   where
     action' = \render -> toValue $! render (PageR) []
     enct'   = toValue . renderHtml . toHtml

很明显,blaze代码的类型是Html,但是userForm类型是Widget,所以无法连接。我只能在 toWidgetBody 函数之后添加小部件,但是表单将在所有内容之后。有没有一种方法可以在 blaze 组合器中包含表单(通过将其呈现为 Html,也许?)而无需 hamlet ^{widget} 构造?

使用widgetToPageContent函数。

然后您可以通过调用 pageBody 并应用 render 函数到达 Html

getPageR :: Handler Html -- same as: HandlerT App IO Html
getPageR = do
  ((_, widget), enctype') <- runFormGet sampleForm
  content <- widgetToPageContent widget
  defaultLayout $ do
    toWidgetBody $ \render -> do
      H.div ! A.id "form" $ do
        H.form ! A.method "post" ! A.action (action' render)
                                 ! A.enctype (enct' enctype') $ ""
        pageBody content render
        H.button "Submit!"
   where
     action' = \render -> toValue $! render (PageR) []
     enct'   = toValue . renderHtml . toHtml
     (!) = (H.!)
     toValue = H.toValue