, UnicodeSyntax
#-}
-- |This module provides functions to parse and format HTTP\/1.1 date
--- and time formats.
+-- and time strings
+-- (<http://tools.ietf.org/html/rfc2616#section-3.3>).
--
-- The HTTP\/1.1 specification (RFC 2616) says that HTTP\/1.1 clients
-- and servers which parse the date value MUST accept all the
-- > month = "Jan" | "Feb" | "Mar" | "Apr"
-- > | "May" | "Jun" | "Jul" | "Aug"
-- > | "Sep" | "Oct" | "Nov" | "Dec"
-module Data.Time.HTTP
+module Data.Time.Format.HTTP
( HTTP
, httpDateAndTime
)
import Data.Convertible.Base
import Data.Tagged
import Data.Time
-import Data.Time.Asctime
-import Data.Time.RFC1123
-import Data.Time.RFC733
-import Data.Time.RFC822
-import Data.Time.HTTP.Common
+import Data.Time.Format.Asctime
+import Data.Time.Format.HTTP.Common
+import Data.Time.Format.RFC733
+import Data.Time.Format.RFC822
+import Data.Time.Format.RFC1123
import Prelude.Unicode
--- |FIXME: doc
+-- |The phantom type for conversions between HTTP/1.1 date and time
+-- strings and 'UTCTime'.
+--
+-- >>> convertSuccess (UTCTime (ModifiedJulianDay 49662) 31777)
+-- Tagged "Sun, 06 Nov 1994 08:49:37 GMT"
data HTTP
instance ConvertSuccess UTCTime (Tagged HTTP Ascii) where