Database.Curry.Types

Documentation

type DBMT v m = DBMT_ (StateT (DBMState v) m)

unDBMT :: DBMT_ m a -> IdentityT m a

type DBMS v = DBMT v STM

liftSTM :: STM a -> DBMS v a

data DBMState v

Constructors

DBMState

Fields

_dbmTable :: TVar (HashMap ByteString v)

_dbmUpdate :: STM ()

_dbmLogger :: Logger

_dbmConfig :: Config

Instances

(Monad (DBMT_ m), MonadState (DBMState v) m) => MonadState (DBMState v) (DBMT_ m)

(Monad (DBMT v m), MonadIO m) => MonadLogger (DBMT v m)

dbmTable :: forall v. Lens (DBMState v) (TVar (HashMap ByteString v))

dbmUpdate :: forall v. Lens (DBMState v) (STM ())

dbmLogger :: forall v. Lens (DBMState v) Logger

dbmConfig :: forall v. Lens (DBMState v) Config

data Config

Constructors

Config

Fields

configPath :: Maybe FilePath

configSaveStrategy :: [SaveStrategy]

configVerbosity :: LogLevel

Instances

Default Config

def :: Default a => a

The default value for this type.

data SaveStrategy

Constructors

SaveByFrequency

Fields

freqSecond :: Int

freqUpdates :: Int