Imm.Database.FeedTable

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

Types

newtype FeedID

Unique key in feeds table

Constructors

FeedID URI

Instances

Eq FeedID

Defined in Imm.Database.FeedTable

Methods

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

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

Ord FeedID

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

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> FeedID -> ShowS

show :: FeedID -> String

showList :: [FeedID] -> ShowS

ToJSON FeedID

Defined in Imm.Database.FeedTable

Methods

toJSON :: FeedID -> Value

toEncoding :: FeedID -> Encoding

toJSONList :: [FeedID] -> Value

toEncodingList :: [FeedID] -> Encoding

FromJSON FeedID

Defined in Imm.Database.FeedTable

Methods

parseJSON :: Value -> Parser FeedID

parseJSONList :: Value -> Parser [FeedID]

Pretty FeedID

Defined in Imm.Database.FeedTable

Methods

pretty :: FeedID -> Doc ann

prettyList :: [FeedID] -> Doc ann

prettyFeedID :: FeedID -> Doc AnsiStyle

data DatabaseEntry

Constructors

DatabaseEntry

Fields

• entryURI :: URI
• entryTags :: Set Text
• entryReadHashes :: Set Int
• entryLastCheck :: Maybe UTCTime

Instances

Eq DatabaseEntry

Defined in Imm.Database.FeedTable

Methods

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

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

Show DatabaseEntry

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> DatabaseEntry -> ShowS

show :: DatabaseEntry -> String

showList :: [DatabaseEntry] -> ShowS

ToJSON DatabaseEntry

Defined in Imm.Database.FeedTable

Methods

toJSON :: DatabaseEntry -> Value

toEncoding :: DatabaseEntry -> Encoding

toJSONList :: [DatabaseEntry] -> Value

toEncodingList :: [DatabaseEntry] -> Encoding

FromJSON DatabaseEntry

Defined in Imm.Database.FeedTable

Methods

parseJSON :: Value -> Parser DatabaseEntry

parseJSONList :: Value -> Parser [DatabaseEntry]

prettyDatabaseEntry :: DatabaseEntry -> Doc AnsiStyle

newDatabaseEntry :: FeedID -> Set Text -> DatabaseEntry

data FeedTable

Singleton type to represent feeds table

Constructors

FeedTable

Instances

Show FeedTable

Defined in Imm.Database.FeedTable

Methods

showsPrec :: Int -> FeedTable -> ShowS

show :: FeedTable -> String

showList :: [FeedTable] -> ShowS

Pretty FeedTable

Defined in Imm.Database.FeedTable

Methods

pretty :: FeedTable -> Doc ann

prettyList :: [FeedTable] -> Doc ann

Table FeedTable

Defined in Imm.Database.FeedTable

Associated Types

type Key FeedTable :: Type

type Entry FeedTable :: Type

Methods

rep :: FeedTable

type Key FeedTable

Defined in Imm.Database.FeedTable

type Key FeedTable = FeedID

type Entry FeedTable

Defined in Imm.Database.FeedTable

type Entry FeedTable = DatabaseEntry

data FeedStatus

Constructors

Unknown

New

LastUpdate UTCTime

Instances

Pretty FeedStatus

Defined in Imm.Database.FeedTable

Methods

pretty :: FeedStatus -> Doc ann

prettyList :: [FeedStatus] -> Doc ann

newtype Database

Constructors

Database [DatabaseEntry]

Instances

Eq Database

Defined in Imm.Database.FeedTable

Methods

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

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

Show Database

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 ()

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

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

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

Set the last check time to now

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

Unset feed's last update and remove all read hashes