module Web.Spock.Types where
import Web.Scotty.Trans
import Control.Applicative
import Control.Concurrent.STM
import Control.Monad.Reader
import Control.Monad.Trans.Resource
import Data.Pool
import Data.Time.Clock ( UTCTime(..), NominalDiffTime(..) )
import qualified Data.HashMap.Strict as HM
import qualified Data.Text as T
type SpockM conn sess st a = ScottyT (WebStateM conn sess st) a
type SpockAction conn sess st a = ActionT (WebStateM conn sess st) a
data PoolCfg
= PoolCfg
{ pc_stripes :: Int
, pc_resPerStripe :: Int
, pc_keepOpenTime :: NominalDiffTime
}
data ConnBuilder a
= ConnBuilder
{ cb_createConn :: IO a
, cb_destroyConn :: a -> IO ()
, cb_poolConfiguration :: PoolCfg
}
data PoolOrConn a
= PCPool (Pool a)
| PCConn (ConnBuilder a)
data WebState conn sess st
= WebState
{ web_dbConn :: Pool conn
, web_sessionMgr :: SessionManager sess
, web_state :: st
}
newtype WebStateM conn sess st a = WebStateM { runWebStateM :: ReaderT (WebState conn sess st) (ResourceT IO) a }
deriving (Monad, Functor, Applicative, MonadIO, MonadReader (WebState conn sess st))
type SessionId = T.Text
data Session a
= Session
{ sess_id :: SessionId
, sess_validUntil :: UTCTime
, sess_data :: a
}
type UserSessions a = TVar (HM.HashMap SessionId (Session a))
data SessionManager a
= SessionManager
{ sm_loadSession :: SessionId -> IO (Maybe (Session a))
, sm_sessionFromCookie :: MonadIO m => ActionT m (Maybe (Session a))
, sm_createCookieSession :: MonadIO m => a -> ActionT m ()
, sm_newSession :: a -> IO (Session a)
, sm_deleteSession :: SessionId -> IO ()
}