Safe Haskell	None
Language	Haskell98

Web.ServerSession.Backend.Persistent.Internal.Impl

Description

Internal module exposing the guts of the package. Use at your own risk. No API stability guarantees apply.

Synopsis

Documentation

data PersistentSession sess Source

Entity corresponding to a Session.

We're bending persistent in ways it wasn't expected to. In particular, this entity is parametrized over the session type.

Constructors

PersistentSession
Fields persistentSessionKey :: !(SessionId sess) Session ID, primary key. persistentSessionAuthId :: !(Maybe ByteStringJ) Value of "_ID" session key. persistentSessionSession :: !(Decomposed sess) Rest of the session data. persistentSessionCreatedAt :: !UTCTime When this session was created. persistentSessionAccessedAt :: !UTCTime When this session was last accessed.

Instances

Eq (Key (PersistentSession sess))
Eq (Decomposed sess) => Eq (PersistentSession sess)
Ord (Key (PersistentSession sess))
Ord (Decomposed sess) => Ord (PersistentSession sess)
Read (Key (PersistentSession sess))
Show (Key (PersistentSession sess))
Show (Decomposed sess) => Show (PersistentSession sess)
ToJSON (Key (PersistentSession sess))
(ToJSON (Decomposed sess), PersistFieldSql (Decomposed sess)) => ToJSON (Entity (PersistentSession sess))
ToJSON (Decomposed sess) => ToJSON (PersistentSession sess)
FromJSON (Key (PersistentSession sess))
(FromJSON (Decomposed sess), PersistFieldSql (Decomposed sess)) => FromJSON (Entity (PersistentSession sess))
FromJSON (Decomposed sess) => FromJSON (PersistentSession sess)
PathPiece (Key (PersistentSession sess))
PersistFieldSql (Key (PersistentSession sess))
PersistFieldSql (Decomposed sess) => PersistEntity (PersistentSession sess)
PersistField (Key (PersistentSession sess))
Typeable (* -> *) PersistentSession
data Unique (PersistentSession sess)
data EntityField (PersistentSession sess) where PersistentSessionId :: (~) * typ (PersistentSessionId sess) => EntityField (PersistentSession sess) typ PersistentSessionKey :: (~) * typ (SessionId sess) => EntityField (PersistentSession sess) typ PersistentSessionAuthId :: (~) * typ (Maybe ByteStringJ) => EntityField (PersistentSession sess) typ PersistentSessionSession :: (~) * typ (Decomposed sess) => EntityField (PersistentSession sess) typ PersistentSessionCreatedAt :: (~) * typ UTCTime => EntityField (PersistentSession sess) typ PersistentSessionAccessedAt :: (~) * typ UTCTime => EntityField (PersistentSession sess) typ
data Key (PersistentSession sess) = PersistentSessionKey' { unPersistentSessionKey :: SessionId sess }
type PersistEntityBackend (PersistentSession sess) = SqlBackend

type PersistentSessionId sess = Key (PersistentSession sess) Source

data family EntityField record $a

An EntityField is parameterised by the Haskell record it belongs to and the additional type of that field

Instances

data EntityField (PersistentSession sess) where

PersistentSessionId :: (~) * typ (PersistentSessionId sess) => EntityField (PersistentSession sess) typ
PersistentSessionKey :: (~) * typ (SessionId sess) => EntityField (PersistentSession sess) typ
PersistentSessionAuthId :: (~) * typ (Maybe ByteStringJ) => EntityField (PersistentSession sess) typ
PersistentSessionSession :: (~) * typ (Decomposed sess) => EntityField (PersistentSession sess) typ
PersistentSessionCreatedAt :: (~) * typ UTCTime => EntityField (PersistentSession sess) typ
PersistentSessionAccessedAt :: (~) * typ UTCTime => EntityField (PersistentSession sess) typ

serverSessionDefs :: forall sess. PersistEntity (PersistentSession sess) => Proxy sess -> [EntityDef] Source

Entity definitions needed to generate the SQL schema for SqlStorage. Example using SessionMap:

serverSessionDefs (Proxy :: Proxy SessionMap)

psKey :: SessionId sess -> Key (PersistentSession sess) Source

Generate a key to the entity from the session ID.

toPersistentSession :: Session sess -> PersistentSession sess Source

Convert from Session to PersistentSession.

fromPersistentSession :: PersistentSession sess -> Session sess Source

Convert from PersistentSession to Session.

newtype SqlStorage sess Source

SQL session storage backend using persistent.

Constructors

SqlStorage
Fields connPool :: ConnectionPool Pool of DB connections. You may use the same pool as your application.

Instances

(IsSessionData sess, PersistFieldSql (Decomposed sess)) => Storage (SqlStorage sess)
Typeable (* -> *) SqlStorage
type TransactionM (SqlStorage sess) = SqlPersistT IO
type SessionData (SqlStorage sess) = sess

throwSS :: Storage (SqlStorage sess) => StorageException (SqlStorage sess) -> TransactionM (SqlStorage sess) a Source

Specialization of throwIO for SqlStorage.