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

Methods

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

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

Ord FeedID

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

Methods

showsPrec :: Int -> FeedID -> ShowS

show :: FeedID -> String

showList :: [FeedID] -> ShowS

ToJSON FeedID

Methods

toJSON :: FeedID -> Value

toEncoding :: FeedID -> Encoding

toJSONList :: [FeedID] -> Value

toEncodingList :: [FeedID] -> Encoding

FromJSON FeedID

Methods

parseJSON :: Value -> Parser FeedID

parseJSONList :: Value -> Parser [FeedID]

Pretty FeedID

Methods

pretty :: FeedID -> Doc

prettyList :: [FeedID] -> Doc

data DatabaseEntry

Constructors

DatabaseEntry

Fields

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

Instances

Eq DatabaseEntry

Methods

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

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

Show DatabaseEntry

Methods

showsPrec :: Int -> DatabaseEntry -> ShowS

show :: DatabaseEntry -> String

showList :: [DatabaseEntry] -> ShowS

ToJSON DatabaseEntry

Methods

toJSON :: DatabaseEntry -> Value

toEncoding :: DatabaseEntry -> Encoding

toJSONList :: [DatabaseEntry] -> Value

toEncodingList :: [DatabaseEntry] -> Encoding

FromJSON DatabaseEntry

Methods

parseJSON :: Value -> Parser DatabaseEntry

parseJSONList :: Value -> Parser [DatabaseEntry]

Pretty DatabaseEntry

Methods

pretty :: DatabaseEntry -> Doc

prettyList :: [DatabaseEntry] -> Doc

newDatabaseEntry :: FeedID -> Text -> DatabaseEntry

data FeedTable

Singleton type to represent feeds table

Constructors

FeedTable

Instances

Show FeedTable

Methods

showsPrec :: Int -> FeedTable -> ShowS

show :: FeedTable -> String

showList :: [FeedTable] -> ShowS

Pretty FeedTable

Methods

pretty :: FeedTable -> Doc

prettyList :: [FeedTable] -> Doc

Table FeedTable

Associated Types

type Key FeedTable :: *

type Entry FeedTable :: *

type Key FeedTable

type Key FeedTable = FeedID

type Entry FeedTable

type Entry FeedTable = DatabaseEntry

data FeedStatus

Constructors

Unknown

New

LastUpdate UTCTime

Instances

Pretty FeedStatus

Methods

pretty :: FeedStatus -> Doc

prettyList :: [FeedStatus] -> Doc

data Database

Constructors

Database [DatabaseEntry]

Instances

Eq Database

Methods

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

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

Show Database

Methods

showsPrec :: Int -> Database -> ShowS

show :: Database -> String

showList :: [Database] -> ShowS

type DatabaseF' = DatabaseF FeedTable

type CoDatabaseF' = CoDatabaseF FeedTable

Primitives

register :: (MonadThrow m, LoggerF :<: f, DatabaseF' :<: f, Functor f, MonadFree f m) => FeedID -> Text -> m ()

getStatus :: (DatabaseF' :<: f, Functor f, MonadFree f m, MonadCatch m) => FeedID -> m FeedStatus

addReadHash :: (DatabaseF' :<: f, Functor f, MonadFree f m, MonadThrow m, LoggerF :<: f) => FeedID -> Int -> m ()

markAsRead :: (MonadIO m, DatabaseF' :<: f, Functor f, MonadFree f m, MonadThrow m, LoggerF :<: f) => FeedID -> m ()

Set the last check time to now

markAsUnread :: (DatabaseF' :<: f, Functor f, MonadFree f m, MonadThrow m, LoggerF :<: f) => FeedID -> m ()

Unset feed's last update and remove all read hashes