remove redundant constraint

This commit is contained in:
Joey Hess 2016-09-14 23:58:59 -04:00
parent 4dcc175822
commit 9cd3fb4110
No known key found for this signature in database
GPG key ID: C910D9222512E3C7
2 changed files with 2 additions and 2 deletions

View file

@ -49,7 +49,7 @@ passwordField = F.passwordField
} }
{- Makes a note widget be displayed after a field. -} {- Makes a note widget be displayed after a field. -}
withNote :: (Monad m, ToWidget (HandlerSite m) a) => Field m v -> a -> Field m v withNote :: (ToWidget (HandlerSite m) a) => Field m v -> a -> Field m v
withNote field note = field { fieldView = newview } withNote field note = field { fieldView = newview }
where where
newview theId name attrs val isReq = newview theId name attrs val isReq =

View file

@ -183,7 +183,7 @@ genAuthToken = do
- Note that the usual Yesod error page is bypassed on error, to avoid - Note that the usual Yesod error page is bypassed on error, to avoid
- possibly leaking the auth token in urls on that page! - possibly leaking the auth token in urls on that page!
-} -}
checkAuthToken :: (Monad m, Yesod.MonadHandler m) => (Yesod.HandlerSite m -> AuthToken) -> m Yesod.AuthResult checkAuthToken :: Yesod.MonadHandler m => (Yesod.HandlerSite m -> AuthToken) -> m Yesod.AuthResult
checkAuthToken extractAuthToken = do checkAuthToken extractAuthToken = do
webapp <- Yesod.getYesod webapp <- Yesod.getYesod
req <- Yesod.getRequest req <- Yesod.getRequest