http-date-0.0.10: HTTP Date parser/formatter

Safe HaskellNone
LanguageHaskell2010

Network.HTTP.Date

Contents

Description

Fast parser and formatter for HTTP Date.

Synopsis

Documentation

epochTimeToHTTPDate :: EpochTime -> HTTPDate Source #

Translating EpochTime to HTTPDate.

httpDateToUTC :: HTTPDate -> UTCTime Source #

Translating HTTPDate to UTCTime.

Since 0.0.7.

utcToHTTPDate :: UTCTime -> HTTPDate Source #

Translating UTCTime to HTTPDate.

Since 0.0.7.

data HTTPDate Source #

Data structure for HTTP Date. This value should be specified with defaultHTTPDate and its field labels.

Instances
Eq HTTPDate Source # 
Instance details

Defined in Network.HTTP.Date.Types

Methods

(==) :: HTTPDate -> HTTPDate -> Bool #

(/=) :: HTTPDate -> HTTPDate -> Bool #

Ord HTTPDate Source # 
Instance details

Defined in Network.HTTP.Date.Types

Methods

compare :: HTTPDate -> HTTPDate -> Ordering #

(<) :: HTTPDate -> HTTPDate -> Bool #

(<=) :: HTTPDate -> HTTPDate -> Bool #

(>) :: HTTPDate -> HTTPDate -> Bool #

(>=) :: HTTPDate -> HTTPDate -> Bool #

max :: HTTPDate -> HTTPDate -> HTTPDate #

min :: HTTPDate -> HTTPDate -> HTTPDate #

Show HTTPDate Source # 
Instance details

Defined in Network.HTTP.Date.Types

Methods

showsPrec :: Int -> HTTPDate -> ShowS #

show :: HTTPDate -> String #

showList :: [HTTPDate] -> ShowS #

hdYear :: HTTPDate -> Int Source #

hdMonth :: HTTPDate -> Int Source #

hdDay :: HTTPDate -> Int Source #

hdHour :: HTTPDate -> Int Source #

hdMinute :: HTTPDate -> Int Source #

hdSecond :: HTTPDate -> Int Source #

hdWkday :: HTTPDate -> Int Source #

defaultHTTPDate :: HTTPDate Source #

A default value for HTTPDate.

Utility functions

parseHTTPDate :: ByteString -> Maybe HTTPDate Source #

Parsing HTTP Date. Currently only RFC1123 style is supported.

>>> parseHTTPDate "Tue, 15 Nov 1994 08:12:31 GMT"
Just (HTTPDate {hdYear = 1994, hdMonth = 11, hdDay = 15, hdHour = 8, hdMinute = 12, hdSecond = 31, hdWkday = 2})

formatHTTPDate :: HTTPDate -> ByteString Source #

Generating HTTP Date in RFC1123 style.

>>> formatHTTPDate defaultHTTPDate {hdYear = 1994, hdMonth = 11, hdDay = 15, hdHour = 8, hdMinute = 12, hdSecond = 31, hdWkday = 2}
"Tue, 15 Nov 1994 08:12:31 GMT"