IntelliMonad.Persist

Documentation

data StatelessConf

Constructors

StatelessConf

Instances

PersistentBackend StatelessConf

Defined in IntelliMonad.Persist

Associated Types

type Conn StatelessConf

Methods

config :: StatelessConf

setup :: (MonadIO m, MonadFail m) => StatelessConf -> m (Maybe (Conn StatelessConf))

initialize :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m ()

load :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m (Maybe Context)

loadByKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Key Context -> m (Maybe Context)

save :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Context -> m (Maybe (Key Context))

saveContents :: (MonadIO m, MonadFail m) => Conn StatelessConf -> [Content] -> m ()

listSessions :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Text]

deleteSession :: (MonadIO m, MonadFail m) => Conn StatelessConf -> SessionName -> m ()

listKeys :: (MonadIO m, MonadFail m) => Conn StatelessConf -> m [Unique KeyValue]

getKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> m (Maybe Text)

setKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> Text -> m ()

deleteKey :: (MonadIO m, MonadFail m) => Conn StatelessConf -> Unique KeyValue -> m ()

type Conn StatelessConf

Defined in IntelliMonad.Persist

type Conn StatelessConf = ()

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

withBackend :: forall a m. (MonadIO m, MonadFail m) => (forall p. PersistentBackend p => p -> Prompt m a) -> Prompt m a

Orphan instances

PersistentBackend SqliteConf

Associated Types

type Conn SqliteConf

Methods

config :: SqliteConf

setup :: (MonadIO m, MonadFail m) => SqliteConf -> m (Maybe (Conn SqliteConf))

initialize :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m ()

load :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m (Maybe Context)

loadByKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Key Context -> m (Maybe Context)

save :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Context -> m (Maybe (Key Context))

saveContents :: (MonadIO m, MonadFail m) => Conn SqliteConf -> [Content] -> m ()

listSessions :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Text]

deleteSession :: (MonadIO m, MonadFail m) => Conn SqliteConf -> SessionName -> m ()

listKeys :: (MonadIO m, MonadFail m) => Conn SqliteConf -> m [Unique KeyValue]

getKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> m (Maybe Text)

setKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> Text -> m ()

deleteKey :: (MonadIO m, MonadFail m) => Conn SqliteConf -> Unique KeyValue -> m ()