0

我正在尝试编写自定义 Yesod 注册表单。我遇到的问题是，当它到达 fvInput 时，它似乎使用的是 App 而不是 Auth。我不太确定应该如何处理，而且我似乎找不到它的术语。我已经尝试在表单中以各种方式提升，但我只能让它抛出不同的错误。此外，如果我有 fvInput 行，则唯一一次引发此错误，但如果我删除该行，则不会引发任何错误并且它可以正确编译。

代码：

registrationForm :: Html -> MForm (HandlerT Auth (HandlerT App IO)) (FormResult UserForm, Widget)
registrationForm extra = do
    (emailRes, emailView) <- mreq textField "" Nothing
    let userRes = UserForm <$> emailRes
    let widget = do
        [whamlet|
            #{extra}
            ^{fvInput emailView}
            <input type=Submit value="Registration">
        |]

    return (userRes, widget)

错误：

Foundation.hs:169:30:
    Couldn't match type ‘App’ with ‘Auth’
    In the second argument of ‘(GHC.Base..)’, namely ‘toWidget’
    In the expression: asWidgetT GHC.Base.. toWidget
    In a stmt of a 'do' block:
      (asWidgetT GHC.Base.. toWidget) (fvInput emailView)

预先感谢您的任何帮助！

  • 编辑

mreq 之前的电梯错误：

Foundation.hs:166:49:
   Couldn't match type ‘HandlerT Auth (HandlerT App IO)’
               with ‘transformers-0.4.2.0:Control.Monad.Trans.RWS.Lazy.RWST
                       (Maybe (Env, FileEnv), HandlerSite m0, [Lang]) Enctype Ints m0’
    Expected type: HandlerT
                 Auth (HandlerT App IO) (FormResult Text, FieldView App)
      Actual type: MForm m0 (FormResult Text, FieldView App)
    In the second argument of ‘($)’, namely ‘mreq textField "" Nothing’
    In a stmt of a 'do' block:
      (emailRes, emailView) <- lift $ mreq textField "" Nothing
4

1 回答 1

0

您返回Widget的类型实际上是：

WidgetT App IO ()

因此，Widget（位于 just 中App）和 the emailView（位于提升的HandlerT Auth (HandlerT App IO)monad 中）之间存在不匹配。

要解决这个问题：

  1. 将您的类型签名更改为registrationForm :: Html -> MForm (HandlerT App IO) (FormResult UserForm, Widget)
  2. 在使用站点上，您很可能需要使用一个lift，但在您已经run为表单调用了适当的函数之后
于 2016-01-26T10:23:40.850 回答