IsThatIt.hs

/Users/akii/Projects/blah/src/NoPassword.hs:118:45: error:
    • Couldn't match type ‘a0’ with ‘Yesod.Auth.Piece’
        ‘a0’ is untouchable
          inside the constraints: MonadAuthHandler m m1
          bound by a type expected by the context:
                     Yesod.Auth.Method
                     -> [Yesod.Auth.Piece] -> AuthHandler m TypedContent
          at src/NoPassword.hs:118:23-58
      Expected type: Yesod.Auth.Method
                     -> [Yesod.Auth.Piece] -> m1 TypedContent
        Actual type: a1 -> [a0] -> m0 TypedContent
    • In the second argument of ‘AuthPlugin’, namely ‘dispatch’
      In the expression: AuthPlugin pluginName dispatch login
      In an equation for ‘authNoPassword’:
          authNoPassword form
            = AuthPlugin pluginName dispatch login
            where
                login _ = error "NoPasswordAuth does not provide a login widget"
                dispatch "POST" ["login"] = postEmailR form
                dispatch "GET" ["login"] = getLoginR
                dispatch _ _ = notFound
    • Relevant bindings include
        dispatch :: a1 -> [a0] -> m0 TypedContent
          (bound at src/NoPassword.hs:121:9)
    |
118 | authNoPassword form = AuthPlugin pluginName dispatch login
    |                                             ^^^^^^^^

/Users/akii/Projects/blah/src/NoPassword.hs:121:37: error:
    • Couldn't match type ‘SubHandlerSite m0’ with ‘Auth’
        arising from a use of ‘postEmailR’
      The type variable ‘m0’ is ambiguous
    • In the expression: postEmailR form
      In an equation for ‘dispatch’:
          dispatch "POST" ["login"] = postEmailR form
      In an equation for ‘authNoPassword’:
          authNoPassword form
            = AuthPlugin pluginName dispatch login
            where
                login _ = error "NoPasswordAuth does not provide a login widget"
                dispatch "POST" ["login"] = postEmailR form
                dispatch "GET" ["login"] = getLoginR
                dispatch _ _ = notFound
    • Relevant bindings include
        dispatch :: a1 -> [a0] -> m0 TypedContent
          (bound at src/NoPassword.hs:121:9)
    |
121 |         dispatch "POST" ["login"] = postEmailR form
    |                                     ^^^^^^^^^^^^^^^