Data.Time.Format.RFC1123

This module provides functions to parse and format RFC 1123 date and time strings (http://tools.ietf.org/html/rfc1123#page-55).

The format is basically the same as RFC 822, but the syntax for date is changed from:

 year ::= 2DIGIT

to:

 year ::= 4DIGIT

Documentation

data RFC1123

The phantom type for conversions between RFC 1123 date and time strings and ZonedTime.

>>> convertSuccess (ZonedTime (LocalTime (ModifiedJulianDay 49662) (TimeOfDay 8 49 37)) utc)
Tagged "Sun, 06 Nov 1994 08:49:37 GMT"

Instances

ConvertAttempt ZonedTime (Tagged RFC1123 Ascii)

ConvertAttempt ZonedTime (Tagged RFC1123 AsciiBuilder)

ConvertSuccess ZonedTime (Tagged RFC1123 Ascii)

ConvertSuccess ZonedTime (Tagged RFC1123 AsciiBuilder)

ConvertAttempt (Tagged RFC1123 Ascii) ZonedTime

rfc1123 :: Proxy RFC1123

The proxy for conversions between RFC 1123 date and time strings and ZonedTime.

rfc1123DateAndTime :: Parser ZonedTime

Parse an RFC 1123 date and time string.