Yesod.Auth
data Auth
type AuthRoute
data family Route a1
data AuthPlugin master
getAuth
class YesodAuth master
data Creds master
setCreds
clearCreds
defaultMaybeAuthId
maybeAuth
requireAuthId
requireAuth
data AuthException