Imm.Database

Contents

• DSL/interpreter
• Exception
• Primitives

Description

Synopsis

• class (Ord (Key t), Show (Key t), Show (Entry t), Typeable t, Show t, Pretty t, Pretty (Key t), Pretty (Entry t)) => Table t where
  • type Key t :: *
  • type Entry t :: *
• data DatabaseF t next
  • = Describe t (Doc -> next)
  • | FetchList t [Key t] (Either SomeException (Map (Key t) (Entry t)) -> next)
  • | FetchAll t (Either SomeException (Map (Key t) (Entry t)) -> next)
  • | Update t (Key t) (Entry t -> Entry t) (Either SomeException () -> next)
  • | InsertList t [(Key t, Entry t)] (Either SomeException () -> next)
  • | DeleteList t [Key t] (Either SomeException () -> next)
  • | Purge t (Either SomeException () -> next)
  • | Commit t (Either SomeException () -> next)
• data CoDatabaseF t m a = CoDatabaseF {
  • describeH :: m (Doc, a)
  • fetchListH :: [Key t] -> m (Either SomeException (Map (Key t) (Entry t)), a)
  • fetchAllH :: m (Either SomeException (Map (Key t) (Entry t)), a)
  • updateH :: Key t -> (Entry t -> Entry t) -> m (Either SomeException (), a)
  • insertListH :: [(Key t, Entry t)] -> m (Either SomeException (), a)
  • deleteListH :: [Key t] -> m (Either SomeException (), a)
  • purgeH :: m (Either SomeException (), a)
  • commitH :: m (Either SomeException (), a)
  }
• data DatabaseException t
  • = NotCommitted t
  • | NotDeleted t [Key t]
  • | NotFound t [Key t]
  • | NotInserted t [(Key t, Entry t)]
  • | NotPurged t
  • | NotUpdated t (Key t)
  • | UnableFetchAll t
• describeDatabase :: (MonadFree f m, DatabaseF t :<: f) => t -> m Doc
• fetch :: (MonadFree f m, DatabaseF t :<: f, Table t, MonadThrow m) => t -> Key t -> m (Entry t)
• fetchList :: (MonadFree f m, DatabaseF t :<: f, MonadThrow m) => t -> [Key t] -> m (Map (Key t) (Entry t))
• fetchAll :: (MonadThrow m, MonadFree f m, DatabaseF t :<: f) => t -> m (Map (Key t) (Entry t))
• update :: (MonadFree f m, DatabaseF t :<: f, MonadThrow m) => t -> Key t -> (Entry t -> Entry t) -> m ()
• insert :: (MonadThrow m, MonadFree f m, LoggerF :<: f, DatabaseF t :<: f) => t -> Key t -> Entry t -> m ()
• insertList :: (MonadThrow m, MonadFree f m, LoggerF :<: f, DatabaseF t :<: f) => t -> [(Key t, Entry t)] -> m ()
• delete :: (MonadThrow m, MonadFree f m, LoggerF :<: f, DatabaseF t :<: f) => t -> Key t -> m ()
• deleteList :: (MonadThrow m, MonadFree f m, LoggerF :<: f, DatabaseF t :<: f) => t -> [Key t] -> m ()
• purge :: (MonadThrow m, MonadFree f m, DatabaseF t :<: f, LoggerF :<: f) => t -> m ()
• commit :: (MonadThrow m, MonadFree f m, DatabaseF t :<: f, LoggerF :<: f) => t -> m ()

DSL/interpreter

Exception

Primitives