hawl-2006.6.4 Contents Index

Hawl.Session.SessionT

Documentation

newtype SessionT m a

Constructors SessionT unSessionT :: (StateT Session m a) Instances MonadReader r m => MonadReader r (SessionT m) Monad m => MonadSession (SessionT m) ??? a m => Functor (SessionT m a) ??? a m => Monad (SessionT m a) ??? a m => MonadIO (SessionT m a) ??? a m => MonadTrans (SessionT m a)

class Monad m => MonadSession m where

Methods currentSession :: m Session updateCurrentSession :: Session -> m () Instances Monad m => MonadSession (SessionT m) (MonadTrans t, MonadSession m, Monad (t m)) => MonadSession (t m) ??? a c => MonadSession (Web c a)

runSessionT :: SessionT m a -> Session -> m (a, Session)

data Session

Instances Eq Session Show Session

currentSessionID :: MonadSession m => m SessionID

currentSessionUser :: MonadSession m => m (Maybe UserID)

currentSessionStarted :: MonadSession m => m CalendarTime

currentSessionLastUse :: MonadSession m => m CalendarTime

setCurrentSessionUser :: (MonadIO m, MonadSession m) => Database -> Maybe UserID -> m ()

Produced by Haddock version 0.7