| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
IHP.LoginSupport.Helper.View
Synopsis
- currentUser :: (?request :: Request, user ~ CurrentUserRecord, Typeable user) => user
- currentUserId :: (?request :: Request, HasField "id" user userId, Typeable user, user ~ CurrentUserRecord) => userId
- currentUserOrNothing :: (?request :: Request, user ~ CurrentUserRecord, Typeable user) => Maybe user
- currentUserIdOrNothing :: (?request :: Request, PrimaryKey (GetTableName CurrentUserRecord) ~ UUID) => Maybe (Id CurrentUserRecord)
- currentAdmin :: (?request :: Request, admin ~ CurrentAdminRecord, Typeable admin) => admin
- currentAdminOrNothing :: (?request :: Request, admin ~ CurrentAdminRecord, Typeable admin) => Maybe admin
- currentAdminIdOrNothing :: (?request :: Request, PrimaryKey (GetTableName CurrentAdminRecord) ~ UUID) => Maybe (Id CurrentAdminRecord)
Documentation
currentUser :: (?request :: Request, user ~ CurrentUserRecord, Typeable user) => user Source #
currentUserId :: (?request :: Request, HasField "id" user userId, Typeable user, user ~ CurrentUserRecord) => userId Source #
currentUserOrNothing :: (?request :: Request, user ~ CurrentUserRecord, Typeable user) => Maybe user Source #
Returns the current user or Nothing.
Reads from the WAI request vault, populated by authMiddleware.
currentUserIdOrNothing :: (?request :: Request, PrimaryKey (GetTableName CurrentUserRecord) ~ UUID) => Maybe (Id CurrentUserRecord) Source #
Returns the current user's UUID or Nothing if not logged in.
This only requires userIdMiddleware, no database query is needed.
currentAdmin :: (?request :: Request, admin ~ CurrentAdminRecord, Typeable admin) => admin Source #
currentAdminOrNothing :: (?request :: Request, admin ~ CurrentAdminRecord, Typeable admin) => Maybe admin Source #
Returns the current admin or Nothing.
Reads from the WAI request vault, populated by authMiddleware.
currentAdminIdOrNothing :: (?request :: Request, PrimaryKey (GetTableName CurrentAdminRecord) ~ UUID) => Maybe (Id CurrentAdminRecord) Source #
Returns the current admin's UUID or Nothing if not logged in.
This only requires adminIdMiddleware, no database query is needed.