Network.CGI.Session

Types

data Session

A session consists of a unique id and a map.

Constructors

Session

Fields

sess_id :: Integer

sess_values :: Map String String

Instances

Eq Session

Show Session

type Sessions = MVar ([Integer], Map Integer Session)

Sessions and unique ids are stored in an MVar.

type SessionName = String

The cookie prefix (e.g. MYHASKELLCOOKIE).

type SessionM = StateT Session (CGIT IO)

A simple Session monad. Recommend you define your own.

Initialising and querying/updating

makeSessions :: IO Sessions

Make the sessions state.

initSession :: SessionName -> Sessions -> CGI Session

Grab the session or create a new one.

updateSession :: Sessions -> Session -> CGI ()

Update a session in the map.

sessionId :: SessionM Integer

Session value getter.

A simple Session monad.

runSessionCGI :: SessionName -> (CGI CGIResult -> IO ()) -> SessionM CGIResult -> IO ()

Initialise a session state and start a F/CGI process. This is a bit of a pattern so I've included it here for convenience.

runSession :: Sessions -> SessionM a -> Session -> CGI a

Simple session runner.

sessionIns :: (Read a, Show a) => String -> a -> (a -> a -> a) -> SessionM ()

Session value inserter/updater.

sessionDel :: String -> SessionM ()

Session value deleter.

sessionGet :: Read a => String -> SessionM (Maybe a)

Session value getter.

Utilities

makeSession :: SessionName -> Sessions -> CGI Session

Create a new session and update the Mvar.

getSession :: SessionName -> Sessions -> CGI (Maybe Session)

Try to get the current session.