Web.Spock.Internal.SessionManager

Documentation

createSessionManager :: MonadIO m => SessionCfg conn sess st -> SessionIf m -> IO (SessionManager m conn sess st)

withSessionManager :: 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

Constructors

Session

Fields

• sess_id :: !SessionId
• sess_csrfToken :: !Text
• sess_validUntil :: !UTCTime
• sess_data :: !sess

Instances

Show (Session conn sess st)

Defined in Web.Spock.Internal.Types

Methods

showsPrec :: Int -> Session conn sess st -> ShowS

show :: Session conn sess st -> String

showList :: [Session conn sess st] -> ShowS

IsSession (Session conn sess st)

Defined in Web.Spock.Internal.SessionVault

Associated Types

type SessionKey (Session conn sess st)

Methods

getSessionKey :: Session conn sess st -> SessionKey (Session conn sess st)

type SessionKey (Session conn sess st)

Defined in Web.Spock.Internal.SessionVault

type SessionKey (Session conn sess st) = Text

data SessionManager m conn sess st

Constructors

SessionManager

Fields

• sm_getSessionId :: m SessionId
• sm_getCsrfToken :: m Text
• sm_regenerateSessionId :: m ()
• sm_readSession :: m sess
• sm_writeSession :: sess -> m ()
• sm_modifySession :: forall a. (sess -> (sess, a)) -> m a
• sm_mapSessions :: (forall n. Monad n => sess -> n sess) -> m ()
• sm_clearAllSessions :: MonadIO m => m ()
• sm_middleware :: Middleware
• sm_closeSessionManager :: IO ()

data SessionIf m

Constructors

SessionIf

Fields

• si_queryVault :: forall a. Key a -> m (Maybe a)
• si_modifyVault :: (Vault -> Vault) -> m ()
• si_setRawMultiHeader :: MultiHeader -> ByteString -> m ()
• si_vaultKey :: IO (Key SessionId)