| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Web.Spock.Internal.SessionManager
Synopsis
- createSessionManager :: forall (m :: Type -> Type) conn sess st. MonadIO m => SessionCfg conn sess st -> SessionIf m -> IO (SessionManager m conn sess st)
- withSessionManager :: forall (m :: Type -> Type) conn sess st a. MonadIO m => SessionCfg conn sess st -> SessionIf m -> (SessionManager m conn sess st -> IO a) -> IO a
- type SessionId = Text
- data Session conn sess st = Session {
- sess_id :: !SessionId
- sess_csrfToken :: !Text
- sess_validUntil :: !UTCTime
- sess_data :: !sess
- data SessionManager (m :: Type -> Type) conn sess st = SessionManager {
- sm_getSessionId :: m SessionId
- sm_getCsrfToken :: m Text
- sm_regenerateSessionId :: m ()
- sm_destroySession :: m ()
- sm_readSession :: m sess
- sm_writeSession :: sess -> m ()
- sm_modifySession :: forall a. (sess -> (sess, a)) -> m a
- sm_serverSessions :: Maybe (ServerSessionManager m sess)
- sm_middleware :: Middleware
- sm_closeSessionManager :: IO ()
- data ServerSessionManager (m :: Type -> Type) sess = ServerSessionManager {
- ssm_mapSessions :: (forall (n :: Type -> Type). Monad n => sess -> n sess) -> m ()
- ssm_clearAllSessions :: m ()
- data SessionIf (m :: Type -> Type) = SessionIf {
- si_queryVault :: forall a. Key a -> m (Maybe a)
- si_modifyVault :: (Vault -> Vault) -> m ()
- si_setRawMultiHeader :: MultiHeader -> ByteString -> m ()
- si_vaultKey :: IO (Key SessionId)
Documentation
createSessionManager :: forall (m :: Type -> Type) conn sess st. MonadIO m => SessionCfg conn sess st -> SessionIf m -> IO (SessionManager m conn sess st) Source #
withSessionManager :: forall (m :: Type -> Type) conn sess st a. MonadIO m => SessionCfg conn sess st -> SessionIf m -> (SessionManager m conn sess st -> IO a) -> IO a Source #
data Session conn sess st Source #
Constructors
| Session | |
Fields
| |
Instances
| IsSession (Session conn sess st) Source | |||||
Defined in Web.Spock.Internal.SessionVault Associated Types
Methods getSessionKey :: Session conn sess st -> SessionKey (Session conn sess st) Source | |||||
| Show (Session conn sess st) Source # | |||||
| type SessionKey (Session conn sess st) Source | |||||
Defined in Web.Spock.Internal.SessionVault | |||||
data SessionManager (m :: Type -> Type) conn sess st Source #
Constructors
| SessionManager | |
Fields
| |
data ServerSessionManager (m :: Type -> Type) sess Source #
Explicit capability available only for enabled server-backed sessions. Public actions in Web.Spock.SessionActions.Server require this handle.
Constructors
| ServerSessionManager | |
Fields
| |
data SessionIf (m :: Type -> Type) Source #
Constructors
| SessionIf | |
Fields
| |