Safe Haskell	Safe-Inferred
Language	Haskell2010

IntelliMonad.Persist

Documentation

data StatelessConf Source #

Constructors

StatelessConf

Instances

Instances details

PersistentBackend StatelessConf Source #
Instance details Defined in IntelliMonad.Persist Associated Types type Conn StatelessConf Source # Methods config :: StatelessConf Source # setup :: (MonadIO m, MonadFail m) => StatelessConf -> m (Maybe (Conn StatelessConf)) Source # initialize :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m () Source # load :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m (Maybe Context) Source # loadByKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Key Context -> m (Maybe Context) Source # save :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m (Maybe (Key Context)) Source # saveContents :: (MonadIO m, MonadFail m) => Conn StatelessConf -> [Content] -> m () Source # listSessions :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Text] Source # deleteSession :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m () Source #
type Conn StatelessConf Source #
Instance details Defined in IntelliMonad.Persist type Conn StatelessConf = ()

class PersistentBackend p where Source #

Associated Types

type Conn p Source #

Methods

config :: p Source #

setup :: (MonadIO m, MonadFail m) => p -> m (Maybe (Conn p)) Source #

initialize :: (MonadIO m, MonadFail m) => Conn p -> Context -> m () Source #

load :: (MonadIO m, MonadFail m) => Conn p -> SessionName -> m (Maybe Context) Source #

loadByKey :: (MonadIO m, MonadFail m) => Conn p -> Key Context -> m (Maybe Context) Source #

save :: (MonadIO m, MonadFail m) => Conn p -> Context -> m (Maybe (Key Context)) Source #

saveContents :: (MonadIO m, MonadFail m) => Conn p -> [Content] -> m () Source #

listSessions :: (MonadIO m, MonadFail m) => Conn p -> m [Text] Source #

deleteSession :: (MonadIO m, MonadFail m) => Conn p -> SessionName -> m () Source #

Instances

Instances details

PersistentBackend StatelessConf Source #
Instance details Defined in IntelliMonad.Persist Associated Types type Conn StatelessConf Source # Methods config :: StatelessConf Source # setup :: (MonadIO m, MonadFail m) => StatelessConf -> m (Maybe (Conn StatelessConf)) Source # initialize :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m () Source # load :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m (Maybe Context) Source # loadByKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Key Context -> m (Maybe Context) Source # save :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m (Maybe (Key Context)) Source # saveContents :: (MonadIO m, MonadFail m) => Conn StatelessConf -> [Content] -> m () Source # listSessions :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Text] Source # deleteSession :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m () Source #
PersistentBackend SqliteConf Source #
Instance details Defined in IntelliMonad.Persist Associated Types type Conn SqliteConf Source # Methods config :: SqliteConf Source # setup :: (MonadIO m, MonadFail m) => SqliteConf -> m (Maybe (Conn SqliteConf)) Source # initialize :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m () Source # load :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m (Maybe Context) Source # loadByKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Key Context -> m (Maybe Context) Source # save :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m (Maybe (Key Context)) Source # saveContents :: (MonadIO m, MonadFail m) => Conn SqliteConf -> [Content] -> m () Source # listSessions :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Text] Source # deleteSession :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m () Source #

withDB :: forall p m a. (MonadIO m, MonadFail m, PersistentBackend p) => (Conn p -> m a) -> m a Source #