import Data.Ascii (AsciiBuilder)
import qualified Data.Ascii as A
import Data.Attoparsec.Char8
+import Data.Convertible.Base
import Data.Monoid.Unicode
+import Data.Tagged
import Data.Time
import Data.Time.Calendar.WeekDate
import Data.Time.HTTP.Common
-import Data.Time.RFC822.Internal hiding (toAsciiBuilder)
+import Data.Time.RFC822
-- |Parse an RFC 1123 date and time string.
rfc1123DateAndTime ∷ Parser ZonedTime
→ return ()
Just givenWD
→ assertWeekDayIsGood givenWD gregDay
- (tod, timeZone) ← rfc822time
+ (tod, timeZone) ← rfc822Time
let lt = LocalTime gregDay tod
zt = ZonedTime lt timeZone
return zt
⊕ A.toAsciiBuilder ":"
⊕ show2 (floor (todSec timeOfDay) ∷ Int)
⊕ A.toAsciiBuilder " "
- ⊕ showRFC822TimeZone timeZone
+ ⊕ untag (cs timeZone ∷ Tagged RFC822 AsciiBuilder)