Safe Haskell	None
Language	Haskell2010

Web.ServerSession.Backend.Acid

Description

Storage backend for serversession using acid-state.

In order to use this backend, just open the AcidState. For example:

import Control.Exception (bracket)
import Data.Acid.Local (openLocalState, createCheckpointAndClose)
import Web.ServerSession.Backend.Acid (AcidStorage(..), emptyState)

withSessionStorage :: (AcidStorage -> IO a) -> IO a
withSessionStorage =
  bracket
    (AcidStorage <$> openLocalState emptyState)
    (createCheckpointAndClose . acidState)

Synopsis

newtype AcidStorage sess = AcidStorage {
- acidState :: AcidState (ServerSessionAcidState sess)
}
emptyState :: ServerSessionAcidState sess
data ServerSessionAcidState sess

Documentation

newtype AcidStorage sess Source #

Session storage backend using acid-state.

Constructors

AcidStorage
Fields acidState :: AcidState (ServerSessionAcidState sess) Open `AcidState` of server sessions.

Instances

Instances details

(IsSessionData sess, SafeCopy sess, SafeCopy (Decomposed sess)) => Storage (AcidStorage sess) Source #	We do not provide any ACID guarantees for different actions running inside the same `TransactionM AcidStorage`.
Instance details Defined in Web.ServerSession.Backend.Acid.Internal Associated Types type SessionData (AcidStorage sess) # type TransactionM (AcidStorage sess) :: Type -> Type # Methods runTransactionM :: AcidStorage sess -> TransactionM (AcidStorage sess) a -> IO a # getSession :: AcidStorage sess -> SessionId (SessionData (AcidStorage sess)) -> TransactionM (AcidStorage sess) (Maybe (Session (SessionData (AcidStorage sess)))) # deleteSession :: AcidStorage sess -> SessionId (SessionData (AcidStorage sess)) -> TransactionM (AcidStorage sess) () # deleteAllSessionsOfAuthId :: AcidStorage sess -> AuthId -> TransactionM (AcidStorage sess) () # insertSession :: AcidStorage sess -> Session (SessionData (AcidStorage sess)) -> TransactionM (AcidStorage sess) () # replaceSession :: AcidStorage sess -> Session (SessionData (AcidStorage sess)) -> TransactionM (AcidStorage sess) () #
type TransactionM (AcidStorage sess) Source #
Instance details Defined in Web.ServerSession.Backend.Acid.Internal type TransactionM (AcidStorage sess) = IO
type SessionData (AcidStorage sess) Source #
Instance details Defined in Web.ServerSession.Backend.Acid.Internal type SessionData (AcidStorage sess) = sess

emptyState :: ServerSessionAcidState sess Source #

Empty ServerSessionAcidState used to bootstrap the AcidState.

data ServerSessionAcidState sess Source #

The current sessions.

Besides the obvious map from session IDs to sessions, we also maintain a map of auth IDs to session IDs. This allow us to quickly invalidate all sessions of a given user.

Instances

Instances details

(Typeable sess, SafeCopy (Decomposed sess)) => SafeCopy (ServerSessionAcidState sess) Source #	We can't `deriveSafeCopy 0 'base ''ServerSessionAcidState` due to the required context.
Instance details Defined in Web.ServerSession.Backend.Acid.Internal Methods version :: Version (ServerSessionAcidState sess) # kind :: Kind (ServerSessionAcidState sess) # getCopy :: Contained (Get (ServerSessionAcidState sess)) # putCopy :: ServerSessionAcidState sess -> Contained Put # internalConsistency :: Consistency (ServerSessionAcidState sess) # objectProfile :: Profile (ServerSessionAcidState sess) # errorTypeName :: Proxy (ServerSessionAcidState sess) -> String #
AcidContext sess => IsAcidic (ServerSessionAcidState sess) Source #
Instance details Defined in Web.ServerSession.Backend.Acid.Internal Methods acidEvents :: [Event (ServerSessionAcidState sess)] #