Web.ServerSession.Backend.Persistent.Internal.Impl

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

Documentation

data PersistentSession sess

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))

Methods

(==) :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Bool

(/=) :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Bool

Eq (Decomposed sess) => Eq (PersistentSession sess)

Methods

(==) :: PersistentSession sess -> PersistentSession sess -> Bool

(/=) :: PersistentSession sess -> PersistentSession sess -> Bool

Ord (Key (PersistentSession sess))

Methods

compare :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Ordering

(<) :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Bool

(<=) :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Bool

(>) :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Bool

(>=) :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Bool

max :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Key (PersistentSession sess)

min :: Key (PersistentSession sess) -> Key (PersistentSession sess) -> Key (PersistentSession sess)

Ord (Decomposed sess) => Ord (PersistentSession sess)

Methods

compare :: PersistentSession sess -> PersistentSession sess -> Ordering

(<) :: PersistentSession sess -> PersistentSession sess -> Bool

(<=) :: PersistentSession sess -> PersistentSession sess -> Bool

(>) :: PersistentSession sess -> PersistentSession sess -> Bool

(>=) :: PersistentSession sess -> PersistentSession sess -> Bool

max :: PersistentSession sess -> PersistentSession sess -> PersistentSession sess

min :: PersistentSession sess -> PersistentSession sess -> PersistentSession sess

Read (Key (PersistentSession sess))

Methods

readsPrec :: Int -> ReadS (Key (PersistentSession sess))

readList :: ReadS [Key (PersistentSession sess)]

readPrec :: ReadPrec (Key (PersistentSession sess))

readListPrec :: ReadPrec [Key (PersistentSession sess)]

Show (Key (PersistentSession sess))

Methods

showsPrec :: Int -> Key (PersistentSession sess) -> ShowS

show :: Key (PersistentSession sess) -> String

showList :: [Key (PersistentSession sess)] -> ShowS

Show (Decomposed sess) => Show (PersistentSession sess)

Methods

showsPrec :: Int -> PersistentSession sess -> ShowS

show :: PersistentSession sess -> String

showList :: [PersistentSession sess] -> ShowS

ToJSON (Key (PersistentSession sess))

Methods

toJSON :: Key (PersistentSession sess) -> Value

toEncoding :: Key (PersistentSession sess) -> Encoding

toJSONList :: [Key (PersistentSession sess)] -> Value

toEncodingList :: [Key (PersistentSession sess)] -> Encoding

(ToJSON (Decomposed sess), PersistFieldSql (Decomposed sess)) => ToJSON (Entity (PersistentSession sess))

Methods

toJSON :: Entity (PersistentSession sess) -> Value

toEncoding :: Entity (PersistentSession sess) -> Encoding

toJSONList :: [Entity (PersistentSession sess)] -> Value

toEncodingList :: [Entity (PersistentSession sess)] -> Encoding

ToJSON (Decomposed sess) => ToJSON (PersistentSession sess)

Methods

toJSON :: PersistentSession sess -> Value

toEncoding :: PersistentSession sess -> Encoding

toJSONList :: [PersistentSession sess] -> Value

toEncodingList :: [PersistentSession sess] -> Encoding

FromJSON (Key (PersistentSession sess))

Methods

parseJSON :: Value -> Parser (Key (PersistentSession sess))

parseJSONList :: Value -> Parser [Key (PersistentSession sess)]

(FromJSON (Decomposed sess), PersistFieldSql (Decomposed sess)) => FromJSON (Entity (PersistentSession sess))

Methods

parseJSON :: Value -> Parser (Entity (PersistentSession sess))

parseJSONList :: Value -> Parser [Entity (PersistentSession sess)]

FromJSON (Decomposed sess) => FromJSON (PersistentSession sess)

Methods

parseJSON :: Value -> Parser (PersistentSession sess)

parseJSONList :: Value -> Parser [PersistentSession sess]

PathPiece (Key (PersistentSession sess))

Methods

fromPathPiece :: Text -> Maybe (Key (PersistentSession sess))

toPathPiece :: Key (PersistentSession sess) -> Text

PersistFieldSql (Key (PersistentSession sess))

Methods

sqlType :: Proxy * (Key (PersistentSession sess)) -> SqlType

PersistFieldSql (Decomposed sess) => PersistEntity (PersistentSession sess)

Associated Types

type PersistEntityBackend (PersistentSession sess) :: *

data Key (PersistentSession sess) :: *

data EntityField (PersistentSession sess) a :: *

data Unique (PersistentSession sess) :: *

Methods

keyToValues :: Key (PersistentSession sess) -> [PersistValue]

keyFromValues :: [PersistValue] -> Either Text (Key (PersistentSession sess))

persistIdField :: EntityField (PersistentSession sess) (Key (PersistentSession sess))

entityDef :: Monad m => m (PersistentSession sess) -> EntityDef

persistFieldDef :: EntityField (PersistentSession sess) typ -> FieldDef

toPersistFields :: PersistentSession sess -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text (PersistentSession sess)

persistUniqueKeys :: PersistentSession sess -> [Unique (PersistentSession sess)]

persistUniqueToFieldNames :: Unique (PersistentSession sess) -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique (PersistentSession sess) -> [PersistValue]

fieldLens :: EntityField (PersistentSession sess) field -> forall f. Functor f => (field -> f field) -> Entity (PersistentSession sess) -> f (Entity (PersistentSession sess))

PersistField (Key (PersistentSession sess))

Methods

toPersistValue :: Key (PersistentSession sess) -> PersistValue

fromPersistValue :: PersistValue -> Either Text (Key (PersistentSession sess))

data Unique (PersistentSession sess)

data Unique (PersistentSession sess)

data EntityField (PersistentSession sess)

data EntityField (PersistentSession sess) where

• PersistentSessionId :: EntityField (PersistentSession sess) typ
• PersistentSessionKey :: EntityField (PersistentSession sess) typ
• PersistentSessionAuthId :: EntityField (PersistentSession sess) typ
• PersistentSessionSession :: EntityField (PersistentSession sess) typ
• PersistentSessionCreatedAt :: EntityField (PersistentSession sess) typ
• PersistentSessionAccessedAt :: EntityField (PersistentSession sess) typ

data Key (PersistentSession sess)

data Key (PersistentSession sess) = PersistentSessionKey' {

• unPersistentSessionKey :: SessionId sess

}

type PersistEntityBackend (PersistentSession sess)

type PersistEntityBackend (PersistentSession sess) = SqlBackend

type PersistentSessionId sess = Key (PersistentSession sess)

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)

data EntityField (PersistentSession sess) where

• PersistentSessionId :: EntityField (PersistentSession sess) typ
• PersistentSessionKey :: EntityField (PersistentSession sess) typ
• PersistentSessionAuthId :: EntityField (PersistentSession sess) typ
• PersistentSessionSession :: EntityField (PersistentSession sess) typ
• PersistentSessionCreatedAt :: EntityField (PersistentSession sess) typ
• PersistentSessionAccessedAt :: EntityField (PersistentSession sess) typ

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

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

serverSessionDefs (Proxy :: Proxy SessionMap)

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

Generate a key to the entity from the session ID.

toPersistentSession :: Session sess -> PersistentSession sess

Convert from Session to PersistentSession.

fromPersistentSession :: PersistentSession sess -> Session sess

Convert from PersistentSession to Session.

newtype SqlStorage sess

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)

Associated Types

type SessionData (SqlStorage sess) :: *

type TransactionM (SqlStorage sess) :: * -> *

Methods

runTransactionM :: SqlStorage sess -> TransactionM (SqlStorage sess) a -> IO a

getSession :: SqlStorage sess -> SessionId (SessionData (SqlStorage sess)) -> TransactionM (SqlStorage sess) (Maybe (Session (SessionData (SqlStorage sess))))

deleteSession :: SqlStorage sess -> SessionId (SessionData (SqlStorage sess)) -> TransactionM (SqlStorage sess) ()

deleteAllSessionsOfAuthId :: SqlStorage sess -> AuthId -> TransactionM (SqlStorage sess) ()

insertSession :: SqlStorage sess -> Session (SessionData (SqlStorage sess)) -> TransactionM (SqlStorage sess) ()

replaceSession :: SqlStorage sess -> Session (SessionData (SqlStorage sess)) -> TransactionM (SqlStorage sess) ()

type TransactionM (SqlStorage sess)

type TransactionM (SqlStorage sess) = SqlPersistT IO

type SessionData (SqlStorage sess)

type SessionData (SqlStorage sess) = sess

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

Specialization of throwIO for SqlStorage.