(Table t, FromJSON (Key t), FromJSON (Entry t), ToJSON (Key t), ToJSON (Entry t)) => MonadDatabase t (ReaderT * (MVar (JsonFileDatabase t)) IO) Source #
Methods _describeDatabase :: t -> ReaderT * (MVar (JsonFileDatabase t)) IO (Doc a) Source # _fetchList :: t -> [Key t] -> ReaderT * (MVar (JsonFileDatabase t)) IO (Map (Key t) (Entry t)) Source # _fetchAll :: t -> ReaderT * (MVar (JsonFileDatabase t)) IO (Map (Key t) (Entry t)) Source # _update :: t -> Key t -> (Entry t -> Entry t) -> ReaderT * (MVar (JsonFileDatabase t)) IO () Source # _insertList :: t -> [(Key t, Entry t)] -> ReaderT * (MVar (JsonFileDatabase t)) IO () Source # _deleteList :: t -> [Key t] -> ReaderT * (MVar (JsonFileDatabase t)) IO () Source # _purge :: t -> ReaderT * (MVar (JsonFileDatabase t)) IO () Source # _commit :: t -> ReaderT * (MVar (JsonFileDatabase t)) IO () Source #
(MonadThrow m, MonadDatabase FeedTable (ReaderT * b m)) => MonadDatabase FeedTable (ReaderT * (Modules a b c d e) m) Source #
Methods _describeDatabase :: FeedTable -> ReaderT * (Modules a b c d e) m (Doc a) Source # _fetchList :: FeedTable -> [Key FeedTable] -> ReaderT * (Modules a b c d e) m (Map (Key FeedTable) (Entry FeedTable)) Source # _fetchAll :: FeedTable -> ReaderT * (Modules a b c d e) m (Map (Key FeedTable) (Entry FeedTable)) Source # _update :: FeedTable -> Key FeedTable -> (Entry FeedTable -> Entry FeedTable) -> ReaderT * (Modules a b c d e) m () Source # _insertList :: FeedTable -> [(Key FeedTable, Entry FeedTable)] -> ReaderT * (Modules a b c d e) m () Source # _deleteList :: FeedTable -> [Key FeedTable] -> ReaderT * (Modules a b c d e) m () Source # _purge :: FeedTable -> ReaderT * (Modules a b c d e) m () Source # _commit :: FeedTable -> ReaderT * (Modules a b c d e) m () Source #

data DatabaseException t Source #

Constructors

NotCommitted t
NotDeleted t [Key t]
NotFound t [Key t]
NotInserted t [(Key t, Entry t)]
NotPurged t
NotUpdated t (Key t)
UnableFetchAll t

Instances

(Eq t, Eq (Key t), Eq (Entry t)) => Eq (DatabaseException t) Source #
Methods (==) :: DatabaseException t -> DatabaseException t -> Bool # (/=) :: DatabaseException t -> DatabaseException t -> Bool #
(Show t, Show (Key t), Show (Entry t)) => Show (DatabaseException t) Source #
Methods showsPrec :: Int -> DatabaseException t -> ShowS # show :: DatabaseException t -> String # showList :: [DatabaseException t] -> ShowS #
(Table t, Show (Key t), Show (Entry t), Pretty (Key t), Typeable * t) => Exception (DatabaseException t) Source #
Methods toException :: DatabaseException t -> SomeException # fromException :: SomeException -> Maybe (DatabaseException t) # displayException :: DatabaseException t -> String #
(Pretty t, Pretty (Key t)) => Pretty (DatabaseException t) Source #
Methods pretty :: DatabaseException t -> Doc ann # prettyList :: [DatabaseException t] -> Doc ann #

Primitives

fetch :: (MonadDatabase t m, Table t, MonadThrow m) => t -> Key t -> m (Entry t) Source #

fetchList :: (MonadDatabase t m, MonadThrow m) => t -> [Key t] -> m (Map (Key t) (Entry t)) Source #

fetchAll :: (MonadThrow m, MonadDatabase t m) => t -> m (Map (Key t) (Entry t)) Source #

update :: (MonadDatabase t m, MonadThrow m) => t -> Key t -> (Entry t -> Entry t) -> m () Source #

insert :: (MonadThrow m, MonadDatabase t m, MonadLog m) => t -> Key t -> Entry t -> m () Source #

insertList :: (MonadThrow m, MonadDatabase t m, MonadLog m) => t -> [(Key t, Entry t)] -> m () Source #

delete :: (MonadThrow m, MonadDatabase t m, MonadLog m) => t -> Key t -> m () Source #

deleteList :: (MonadThrow m, MonadDatabase t m, MonadLog m) => t -> [Key t] -> m () Source #

purge :: (MonadThrow m, MonadDatabase t m, MonadLog m) => t -> m () Source #

commit :: (MonadThrow m, MonadDatabase t m, MonadLog m) => t -> m () Source #