1 module Data.Time.RFC822
7 import qualified Text.Parsec as P
10 import Data.Time.Calendar.WeekDate
11 import Data.Time.HTTP.Common
12 import Data.Time.RFC822.Parsec
16 date-time = [ day "," ] date time ; dd mm yy
19 day = "Mon" / "Tue" / "Wed" / "Thu"
20 / "Fri" / "Sat" / "Sun"
22 date = 1*2DIGIT month 2DIGIT ; day month year
25 month = "Jan" / "Feb" / "Mar" / "Apr"
26 / "May" / "Jun" / "Jul" / "Aug"
27 / "Sep" / "Oct" / "Nov" / "Dec"
29 time = hour zone ; ANSI and Military
31 hour = 2DIGIT ":" 2DIGIT [":" 2DIGIT]
34 zone = "UT" / "GMT" ; Universal Time
36 / "EST" / "EDT" ; Eastern: - 5/ - 4
37 / "CST" / "CDT" ; Central: - 6/ - 5
38 / "MST" / "MDT" ; Mountain: - 7/ - 6
39 / "PST" / "PDT" ; Pacific: - 8/ - 7
40 / 1ALPHA ; Military: Z = UT;
43 / ( ("+" / "-") 4DIGIT ) ; Local differential
47 format :: ZonedTime -> String
49 = let localTime = zonedTimeToLocalTime zonedTime
50 timeZone = zonedTimeZone zonedTime
51 (year, month, day) = toGregorian (localDay localTime)
52 (_, _, week) = toWeekDate (localDay localTime)
53 timeOfDay = localTimeOfDay localTime
55 concat [ shortWeekDayName week
59 , shortMonthName month
61 , show2 (year `mod` 100)
63 , show2 (todHour timeOfDay)
65 , show2 (todMin timeOfDay)
67 , show2 (floor (todSec timeOfDay))
69 , show4digitsTZ timeZone
72 parse :: String -> Maybe ZonedTime
73 parse src = case P.parse p "" src of