Yesod fvInput無法與'Auth'匹配'App'

Question

我正在嘗試編寫自定義Yesod註冊表單。我遇到的問題是，當它到達fvInput它似乎是使用應用程序，而不是身份驗證。我不太確定這應該如何處理，我似乎無法找到它的術語。我嘗試過在表單中​​以各種方式解除，我只能讓它拋出不同的錯誤。此外，這個錯誤被拋出的唯一時間是如果我有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 

Answer 1

你返回Widget類型居然是：

WidgetT App IO() 

因此還有的Widget之間的不匹配（居住在App ）和emailView（居住在解除單身的HandlerT Auth (HandlerT App IO)單元中）。

爲了解決這個問題：

1. 更改您registrationForm :: Html -> MForm (HandlerT App IO) (FormResult UserForm, Widget)
2. 在使用場所類型簽名，則需要採用lift最有可能的，但畢竟你已經叫適當run函數的形式