1 module Data.Time.RFC733
7 import qualified Text.Parsec as P
10 import Data.Time.Calendar.WeekDate
11 import Data.Time.HTTP.Common
12 import Data.Time.RFC733.Parsec
15 date-time = [ day-of-week "," ] date time
17 day-of-week = "Monday" / "Mon" / "Tuesday" / "Tue"
18 / "Wednesday" / "Wed" / "Thursday" / "Thu"
19 / "Friday" / "Fri" / "Saturday" / "Sat"
22 date = 1*2DIGIT ["-"] month ; day month year
23 ["-"] (2DIGIT /4DIGIT) ; e.g. 20 Aug [19]77
25 month = "January" / "Jan" / "February" / "Feb"
26 / "March" / "Mar" / "April" / "Apr"
27 / "May" / "June" / "Jun"
28 / "July" / "Jul" / "August" / "Aug"
29 / "September" / "Sep" / "October" / "Oct"
30 / "November" / "Nov" / "December" / "Dec"
32 time = hour zone ; ANSI and Military
35 hour = 2DIGIT [":"] 2DIGIT [ [":"] 2DIGIT ]
38 zone = ( ["-"] ( "GMT" ; Relative to GMT:
40 / "NST" / ; Newfoundland:-3:30
41 / "AST" / "ADT" ; Atlantic: - 4/ - 3
42 / "EST" / "EDT" ; Eastern: - 5/ - 4
43 / "CST" / "CDT" ; Central: - 6/ - 5
44 / "MST" / "MDT" ; Mountain: - 7/ - 6
45 / "PST" / "PDT" ; Pacific: - 8/ - 7
46 / "YST" / "YDT" ; Yukon: - 9/ - 8
47 / "HST" / "HDT" ; Haw/Ala -10/ - 9
48 / "BST" / "BDT" ; Bering: -11/ -10
49 1ALPHA )) ; Military: Z = GMT;
52 / ( ("+" / "-") 4DIGIT ) ; Local differential
56 format :: ZonedTime -> String
58 = let localTime = zonedTimeToLocalTime zonedTime
59 timeZone = zonedTimeZone zonedTime
60 (year, month, day) = toGregorian (localDay localTime)
61 (_, _, week) = toWeekDate (localDay localTime)
62 timeOfDay = localTimeOfDay localTime
64 concat [ longWeekDayName week
68 , shortMonthName month
72 , show2 (todHour timeOfDay)
74 , show2 (todMin timeOfDay)
76 , show2 (floor (todSec timeOfDay))
81 parse :: String -> Maybe ZonedTime
82 parse src = case P.parse p "" src of