Safe Haskell	None
Language	Haskell2010

Imm.Database.FeedTable

Contents

Types
Primitives

Description

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

Synopsis

newtype FeedID = FeedID URI
prettyFeedID :: FeedID -> Doc AnsiStyle
getHashes :: FeedElement -> [Int]
newtype JsonURI = JsonURI {
- _unwrapURI :: URI
}
newtype JsonElement = JsonElement {
- unwrapElement :: FeedElement
}
data DatabaseEntry = DatabaseEntry {
- entryURI :: URI
- entryTags :: Set Text
- entryReadHashes :: Set Int
- entryFeed :: Maybe Feed
- entryItems :: Map FeedElement Bool
- entryLastUpdate :: Maybe UTCTime
}
prettyShortDatabaseEntry :: DatabaseEntry -> Doc AnsiStyle
prettyDatabaseEntry :: DatabaseEntry -> Doc AnsiStyle
newDatabaseEntry :: FeedID -> Set Text -> DatabaseEntry
data FeedTable = FeedTable
data FeedStatus
- = Unknown
- | New
- | LastUpdate UTCTime
newtype Database = Database [DatabaseEntry]
register :: MonadThrow m => Handle m -> Handle m FeedTable -> FeedID -> Set Text -> m ()
getStatus :: MonadCatch m => Handle m FeedTable -> FeedID -> m FeedStatus
markAsProcessed :: MonadThrow m => MonadTime m => Handle m -> Handle m FeedTable -> FeedID -> FeedElement -> m ()
markAsUnprocessed :: MonadThrow m => Handle m -> Handle m FeedTable -> FeedID -> m ()
isRead :: MonadCatch m => Handle m FeedTable -> FeedID -> FeedElement -> m Bool

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 #

getHashes :: FeedElement -> [Int] Source #

newtype JsonURI Source #

Newtype wrapper to provide FromJSON and ToJSON instances for URI

Constructors

JsonURI
Fields _unwrapURI :: URI

Instances

ToJSON JsonURI Source #
Instance details Defined in Imm.Database.FeedTable Methods toJSON :: JsonURI -> Value # toEncoding :: JsonURI -> Encoding # toJSONList :: [JsonURI] -> Value # toEncodingList :: [JsonURI] -> Encoding #
FromJSON JsonURI Source #
Instance details Defined in Imm.Database.FeedTable Methods parseJSON :: Value -> Parser JsonURI # parseJSONList :: Value -> Parser [JsonURI] #

newtype JsonElement Source #

Newtype wrapper to provide FromJSON and ToJSON instances for FeedElement

Constructors

JsonElement
Fields unwrapElement :: FeedElement

Instances

Eq JsonElement Source #
Instance details Defined in Imm.Database.FeedTable Methods (==) :: JsonElement -> JsonElement -> Bool # (/=) :: JsonElement -> JsonElement -> Bool #
Ord JsonElement Source #
Instance details Defined in Imm.Database.FeedTable Methods compare :: JsonElement -> JsonElement -> Ordering # (<) :: JsonElement -> JsonElement -> Bool # (<=) :: JsonElement -> JsonElement -> Bool # (>) :: JsonElement -> JsonElement -> Bool # (>=) :: JsonElement -> JsonElement -> Bool # max :: JsonElement -> JsonElement -> JsonElement # min :: JsonElement -> JsonElement -> JsonElement #
ToJSON JsonElement Source #
Instance details Defined in Imm.Database.FeedTable Methods toJSON :: JsonElement -> Value # toEncoding :: JsonElement -> Encoding # toJSONList :: [JsonElement] -> Value # toEncodingList :: [JsonElement] -> Encoding #
ToJSONKey JsonElement Source #
Instance details Defined in Imm.Database.FeedTable Methods toJSONKey :: ToJSONKeyFunction JsonElement # toJSONKeyList :: ToJSONKeyFunction [JsonElement] #
FromJSON JsonElement Source #
Instance details Defined in Imm.Database.FeedTable Methods parseJSON :: Value -> Parser JsonElement # parseJSONList :: Value -> Parser [JsonElement] #
FromJSONKey JsonElement Source #
Instance details Defined in Imm.Database.FeedTable Methods fromJSONKey :: FromJSONKeyFunction JsonElement # fromJSONKeyList :: FromJSONKeyFunction [JsonElement] #

data DatabaseEntry Source #

Constructors

DatabaseEntry
Fields entryURI :: URI entryTags :: Set Text entryReadHashes :: Set Int entryFeed :: Maybe Feed entryItems :: Map FeedElement Bool entryLastUpdate :: Maybe UTCTime

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] #

prettyShortDatabaseEntry :: DatabaseEntry -> Doc AnsiStyle Source #

prettyDatabaseEntry :: DatabaseEntry -> Doc AnsiStyle Source #

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

data FeedTable Source #

Singleton type to represent feeds table

Constructors

FeedTable

Instances

Eq FeedTable Source #
Instance details Defined in Imm.Database.FeedTable Methods (==) :: FeedTable -> FeedTable -> Bool # (/=) :: FeedTable -> FeedTable -> Bool #
Ord FeedTable Source #
Instance details Defined in Imm.Database.FeedTable Methods compare :: FeedTable -> FeedTable -> Ordering # (<) :: FeedTable -> FeedTable -> Bool # (<=) :: FeedTable -> FeedTable -> Bool # (>) :: FeedTable -> FeedTable -> Bool # (>=) :: FeedTable -> FeedTable -> Bool # max :: FeedTable -> FeedTable -> FeedTable # min :: FeedTable -> FeedTable -> FeedTable #
Read FeedTable Source #
Instance details Defined in Imm.Database.FeedTable Methods readsPrec :: Int -> ReadS FeedTable # readList :: ReadS [FeedTable] # readPrec :: ReadPrec FeedTable # readListPrec :: ReadPrec [FeedTable] #
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 #

markAsProcessed :: MonadThrow m => MonadTime m => Handle m -> Handle m FeedTable -> FeedID -> FeedElement -> m () Source #

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

isRead :: MonadCatch m => Handle m FeedTable -> FeedID -> FeedElement -> m Bool Source #