| Safe Haskell | None |
|---|
Imm.Database
Documentation
class DatabaseReader m whereSource
Instances
| (Error e, DatabaseReader m) => DatabaseReader (ErrorT e m) | |
| MonadBase IO m => DatabaseReader (ReaderT FileDatabase m) | |
| MonadBase IO m => DatabaseReader (ReaderT Config m) |
class MonadError ImmError m => DatabaseWriter m whereSource
Methods
storeLastCheck :: FeedID -> UTCTime -> m ()Source
Write the last update time in the data file.
forget :: FeedID -> m ()Source
Remove state file as if no update was ever done.
Instances
| (MonadBase IO m, MonadError ImmError m) => DatabaseWriter (ReaderT FileDatabase m) | |
| MonadBase IO m => DatabaseWriter (ReaderT Config (ErrorT ImmError m)) |
type DatabaseState m = (DatabaseReader m, DatabaseWriter m)Source
data FileDatabase Source
Instances
| Default (IO FileDatabase) | A state file stores the last check time for a single feed, identified with its |
| (MonadBase IO m, MonadError ImmError m) => DatabaseWriter (ReaderT FileDatabase m) | |
| MonadBase IO m => DatabaseReader (ReaderT FileDatabase m) |
getDataFile :: Lens' FileDatabase (FeedID -> FilePath)Source