Database.Curry.Types

Synopsis

• 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 = DBMState {
  • _dbmTable :: TVar (HashMap ByteString v)
  • _dbmUpdate :: STM ()
  • _dbmLogger :: Logger
  • _dbmConfig :: Config
  }
• 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 = Config {
  • configPath :: Maybe FilePath
  • configSaveStrategy :: [SaveStrategy]
  • configVerbosity :: LogLevel
  }
• def :: Default a => a
• data SaveStrategy = SaveByFrequency {
  • freqSecond :: Int
  • freqUpdates :: Int
  }

Documentation