feed-0.3.1: Interfacing with RSS (v 0.9x, 2.x, 1.0) + Atom feeds.

Portability
Stability	provisional
Maintainer	Don Stewart <dons@galois.com>

Text.RSS.Syntax

Description

Documentation

data RSS Source

Constructors

RSS
Fields rssVersion :: String rssAttrs :: [Attr] rssChannel :: RSSChannel rssOther :: [Element]

type URLString = String Source

type DateString = String Source

data RSSChannel Source

Constructors

Fields

rssTitle :: String
rssLink :: URLString
rssDescription :: String
rssItems :: [RSSItem]
rssLanguage :: Maybe String
rssCopyright :: Maybe String
rssEditor :: Maybe String
rssWebMaster :: Maybe String
rssPubDate :: Maybe DateString
rssLastUpdate :: Maybe DateString
rssCategories :: [RSSCategory]
rssGenerator :: Maybe String
rssDocs :: Maybe URLString
rssCloud :: Maybe RSSCloud
rssTTL :: Maybe Integer
rssImage :: Maybe RSSImage
rssRating :: Maybe String
rssTextInput :: Maybe RSSTextInput
rssSkipHours :: Maybe [Integer]
rssSkipDays :: Maybe [String]
rssChannelOther :: [Element]

data RSSItem Source

Constructors

RSSItem
Fields rssItemTitle :: Maybe String rssItemLink :: Maybe URLString rssItemDescription :: Maybe String rssItemAuthor :: Maybe String rssItemCategories :: [RSSCategory] rssItemComments :: Maybe URLString rssItemEnclosure :: Maybe RSSEnclosure rssItemGuid :: Maybe RSSGuid rssItemPubDate :: Maybe DateString rssItemSource :: Maybe RSSSource rssItemAttrs :: [Attr] rssItemOther :: [Element]

data RSSSource Source

Constructors

RSSSource
Fields rssSourceURL :: URLString rssSourceAttrs :: [Attr] rssSourceTitle :: String

data RSSEnclosure Source

Constructors

RSSEnclosure
Fields rssEnclosureURL :: URLString rssEnclosureLength :: Integer rssEnclosureType :: String rssEnclosureAttrs :: [Attr]

data RSSCategory Source

Constructors

RSSCategory
Fields rssCategoryDomain :: Maybe String rssCategoryAttrs :: [Attr] rssCategoryValue :: String

data RSSGuid Source

Constructors

RSSGuid
Fields rssGuidPermanentURL :: Maybe Bool rssGuidAttrs :: [Attr] rssGuidValue :: String

data RSSImage Source

Constructors

RSSImage
Fields rssImageURL :: URLString rssImageTitle :: String rssImageLink :: URLString rssImageWidth :: Maybe Integer rssImageHeight :: Maybe Integer rssImageDesc :: Maybe String rssImageOther :: [Element]

data RSSCloud Source

Constructors

RSSCloud
Fields rssCloudDomain :: Maybe String rssCloudPort :: Maybe String rssCloudPath :: Maybe String rssCloudRegister :: Maybe String rssCloudProtocol :: Maybe String rssCloudAttrs :: [Attr]

data RSSTextInput Source

Constructors

RSSTextInput
Fields rssTextInputTitle :: String rssTextInputDesc :: String rssTextInputName :: String rssTextInputLink :: URLString rssTextInputAttrs :: [Attr] rssTextInputOther :: [Element]

nullRSS :: String -> URLString -> RSS Source

nullChannel :: String -> URLString -> RSSChannel Source

nullItem :: String -> RSSItem Source

nullSource :: URLString -> String -> RSSSource Source

nullEnclosure :: URLString -> Integer -> String -> RSSEnclosure Source

newCategory :: String -> RSSCategory Source

nullGuid :: String -> RSSGuid Source

nullPermaGuid :: String -> RSSGuid Source

nullImage :: URLString -> String -> URLString -> RSSImage Source

nullCloud :: RSSCloud Source

nullTextInput :: String -> String -> URLString -> RSSTextInput Source