-- > | ("+" | "-") 4DIGIT ; Local diff: HHMM
module Data.Time.Format.RFC733
( RFC733
+ , rfc733
, rfc733DateAndTime
)
where
import Data.Attoparsec.Char8
import Data.Convertible.Base
import Data.Monoid.Unicode
+import Data.Proxy
import Data.Tagged
import Data.Time
import Data.Time.Calendar.WeekDate
-- Tagged "Sunday, 06-Nov-1994 08:49:37 GMT"
data RFC733
+-- |The proxy for conversions between RFC 733 date and time strings
+-- and 'ZonedTime'.
+rfc733 ∷ Proxy RFC733
+{-# INLINE CONLIKE rfc733 #-}
+rfc733 = Proxy
+
instance ConvertSuccess ZonedTime (Tagged RFC733 Ascii) where
{-# INLINE convertSuccess #-}
convertSuccess = (A.fromAsciiBuilder <$>) ∘ cs