Imm.Feed

Helpers to manipulate feeds

Types

data FeedRef

Feed reference: either its URI, or its UID from database

Constructors

ByUID Int

ByURI URI

Instances

Eq FeedRef

Defined in Imm.Feed

Methods

(==) :: FeedRef -> FeedRef -> Bool

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

Show FeedRef

Defined in Imm.Feed

Methods

showsPrec :: Int -> FeedRef -> ShowS

show :: FeedRef -> String

showList :: [FeedRef] -> ShowS

Pretty FeedRef

Defined in Imm.Feed

Methods

pretty :: FeedRef -> Doc ann

prettyList :: [FeedRef] -> Doc ann

data Feed

Constructors

Rss (RssDocument '[ContentModule, DublinCoreModule])

Atom AtomFeed

Instances

Eq Feed

Defined in Imm.Feed

Methods

(==) :: Feed -> Feed -> Bool

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

Show Feed

Defined in Imm.Feed

Methods

showsPrec :: Int -> Feed -> ShowS

show :: Feed -> String

showList :: [Feed] -> ShowS

data FeedElement

Constructors

RssElement (RssItem '[ContentModule, DublinCoreModule])

AtomElement AtomEntry

Instances

Eq FeedElement

Defined in Imm.Feed

Methods

(==) :: FeedElement -> FeedElement -> Bool

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

Show FeedElement

Defined in Imm.Feed

Methods

showsPrec :: Int -> FeedElement -> ShowS

show :: FeedElement -> String

showList :: [FeedElement] -> ShowS

Generic getters

getFeedTitle :: Feed -> Text

getElements :: Feed -> [FeedElement]

getDate :: FeedElement -> Maybe UTCTime

getTitle :: FeedElement -> Text

getContent :: FeedElement -> Text

getHashes :: FeedElement -> [Int]

Misc

prettyElement :: FeedElement -> Doc a