time-http-0.5: Parse and format HTTP/1.1 Date and Time strings

Data.Time.Format.RFC1123

Description

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

Synopsis

Documentation

data RFC1123 Source

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

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

Instances

ConvertAttempt Ascii (Tagged RFC1123 ZonedTime) 
Default (Parser (Tagged RFC1123 ZonedTime))

Parse an RFC 1123 date and time string.

ConvertSuccess (Tagged RFC1123 ZonedTime) AsciiBuilder 
ConvertSuccess (Tagged RFC1123 ZonedTime) Ascii 
ConvertAttempt (Tagged RFC1123 ZonedTime) AsciiBuilder 
ConvertAttempt (Tagged RFC1123 ZonedTime) Ascii