imm-1.4.0.0: Execute arbitrary actions for each unread element of RSS/Atom feeds

Safe HaskellNone
LanguageHaskell98

Imm.Database.FeedTable

Contents

Description

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

Synopsis

Types

newtype FeedID Source #

Unique key in feeds table

Constructors

FeedID URI 
Instances
Eq FeedID Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

(==) :: FeedID -> FeedID -> Bool #

(/=) :: FeedID -> FeedID -> Bool #

Ord FeedID Source # 
Instance details

Defined in Imm.Database.FeedTable

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 # 
Instance details

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> FeedID -> ShowS #

show :: FeedID -> String #

showList :: [FeedID] -> ShowS #

ToJSON FeedID Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

toJSON :: FeedID -> Value #

toEncoding :: FeedID -> Encoding #

toJSONList :: [FeedID] -> Value #

toEncodingList :: [FeedID] -> Encoding #

FromJSON FeedID Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

parseJSON :: Value -> Parser FeedID #

parseJSONList :: Value -> Parser [FeedID] #

Pretty FeedID Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

pretty :: FeedID -> Doc ann #

prettyList :: [FeedID] -> Doc ann #

prettyFeedID :: FeedID -> Doc AnsiStyle Source #

data DatabaseEntry Source #

Constructors

DatabaseEntry 

Fields

Instances
Eq DatabaseEntry Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

(==) :: DatabaseEntry -> DatabaseEntry -> Bool #

(/=) :: DatabaseEntry -> DatabaseEntry -> Bool #

Show DatabaseEntry Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> DatabaseEntry -> ShowS #

show :: DatabaseEntry -> String #

showList :: [DatabaseEntry] -> ShowS #

ToJSON DatabaseEntry Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

toJSON :: DatabaseEntry -> Value #

toEncoding :: DatabaseEntry -> Encoding #

toJSONList :: [DatabaseEntry] -> Value #

toEncodingList :: [DatabaseEntry] -> Encoding #

FromJSON DatabaseEntry Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

parseJSON :: Value -> Parser DatabaseEntry #

parseJSONList :: Value -> Parser [DatabaseEntry] #

prettyDatabaseEntry :: DatabaseEntry -> Doc AnsiStyle Source #

newDatabaseEntry :: FeedID -> Set Text -> DatabaseEntry Source #

data FeedTable Source #

Singleton type to represent feeds table

Constructors

FeedTable 
Instances
Show FeedTable Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> FeedTable -> ShowS #

show :: FeedTable -> String #

showList :: [FeedTable] -> ShowS #

Pretty FeedTable Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

pretty :: FeedTable -> Doc ann #

prettyList :: [FeedTable] -> Doc ann #

Table FeedTable Source # 
Instance details

Defined in Imm.Database.FeedTable

Associated Types

type Key FeedTable :: Type Source #

type Entry FeedTable :: Type Source #

Methods

rep :: FeedTable Source #

type Key FeedTable Source # 
Instance details

Defined in Imm.Database.FeedTable

type Key FeedTable = FeedID
type Entry FeedTable Source # 
Instance details

Defined in Imm.Database.FeedTable

type Entry FeedTable = DatabaseEntry

data FeedStatus Source #

Constructors

Unknown 
New 
LastUpdate UTCTime 
Instances
Pretty FeedStatus Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

pretty :: FeedStatus -> Doc ann #

prettyList :: [FeedStatus] -> Doc ann #

newtype Database Source #

Constructors

Database [DatabaseEntry] 
Instances
Eq Database Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

(==) :: Database -> Database -> Bool #

(/=) :: Database -> Database -> Bool #

Show Database Source # 
Instance details

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> Database -> ShowS #

show :: Database -> String #

showList :: [Database] -> ShowS #

Primitives

register :: MonadThrow m => Handle m -> Handle m FeedTable -> FeedID -> Set Text -> m () Source #

getStatus :: MonadCatch m => Handle m FeedTable -> FeedID -> m FeedStatus Source #

addReadHash :: MonadThrow m => Handle m -> Handle m FeedTable -> FeedID -> Int -> m () Source #

markAsRead :: (MonadTime m, MonadThrow m) => Handle m -> Handle m FeedTable -> FeedID -> m () Source #

Set the last check time to now

markAsUnread :: MonadThrow m => Handle m -> Handle m FeedTable -> FeedID -> m () Source #

Unset feed's last update and remove all read hashes