Safe Haskell	None
Language	Haskell98

Imm.Database.FeedTable

Contents

Description

Feed table definitions. This is a specialization of Imm.Database.

Synopsis

Types

Unique key in feeds table

Constructors

Instances

Eq FeedID Source #
Methods (==) :: FeedID -> FeedID -> Bool # (/=) :: FeedID -> FeedID -> Bool #
Ord FeedID Source #
Methods compare :: FeedID -> FeedID -> Ordering # (<) :: FeedID -> FeedID -> Bool # (<=) :: FeedID -> FeedID -> Bool # (>) :: FeedID -> FeedID -> Bool # (>=) :: FeedID -> FeedID -> Bool # max :: FeedID -> FeedID -> FeedID # min :: FeedID -> FeedID -> FeedID #
Show FeedID Source #
Methods showsPrec :: Int -> FeedID -> ShowS # show :: FeedID -> String # showList :: [FeedID] -> ShowS #
ToJSON FeedID Source #
Methods toJSON :: FeedID -> Value # toEncoding :: FeedID -> Encoding # toJSONList :: [FeedID] -> Value # toEncodingList :: [FeedID] -> Encoding #
FromJSON FeedID Source #
Methods parseJSON :: Value -> Parser FeedID # parseJSONList :: Value -> Parser [FeedID] #
Pretty FeedID Source #
Methods pretty :: FeedID -> Doc ann # prettyList :: [FeedID] -> Doc ann #

Constructors

DatabaseEntry
Fields entryURI :: URI entryTags :: Set Text entryReadHashes :: Set Int entryLastCheck :: Maybe UTCTime

Instances

Eq DatabaseEntry Source #
Methods (==) :: DatabaseEntry -> DatabaseEntry -> Bool # (/=) :: DatabaseEntry -> DatabaseEntry -> Bool #
Show DatabaseEntry Source #
Methods showsPrec :: Int -> DatabaseEntry -> ShowS # show :: DatabaseEntry -> String # showList :: [DatabaseEntry] -> ShowS #
ToJSON DatabaseEntry Source #
Methods toJSON :: DatabaseEntry -> Value # toEncoding :: DatabaseEntry -> Encoding # toJSONList :: [DatabaseEntry] -> Value # toEncodingList :: [DatabaseEntry] -> Encoding #
FromJSON DatabaseEntry Source #
Methods parseJSON :: Value -> Parser DatabaseEntry # parseJSONList :: Value -> Parser [DatabaseEntry] #

Singleton type to represent feeds table

Constructors

Instances

Show FeedTable Source #
Methods showsPrec :: Int -> FeedTable -> ShowS # show :: FeedTable -> String # showList :: [FeedTable] -> ShowS #
Pretty FeedTable Source #
Methods pretty :: FeedTable -> Doc ann # prettyList :: [FeedTable] -> Doc ann #
Table FeedTable Source #
Associated Types type Key FeedTable :: * Source # type Entry FeedTable :: * 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 #
type Key FeedTable Source #
type Key FeedTable = FeedID
type Entry FeedTable Source #
type Entry FeedTable = DatabaseEntry

Constructors

Instances

Pretty FeedStatus Source #
Methods pretty :: FeedStatus -> Doc ann # prettyList :: [FeedStatus] -> Doc ann #

Constructors

Instances

Eq Database Source #
Methods (==) :: Database -> Database -> Bool # (/=) :: Database -> Database -> Bool #
Show Database Source #
Methods showsPrec :: Int -> Database -> ShowS # show :: Database -> String # showList :: [Database] -> ShowS #

Primitives

Set the last check time to now

Unset feed's last update and remove all read hashes