Done.

[time-http.git] / Data / Time / Format / HTTP.hs

diff --git a/Data/Time/Format/HTTP.hs b/Data/Time/Format/HTTP.hs
index 7e30cbfc48138e681bdb1aec65d944a2fbea2545..2dd3aad7e93db660cc6efc2e0690a0029480999e 100644 (file)
--- a/Data/Time/Format/HTTP.hs
+++ b/Data/Time/Format/HTTP.hs
@@ -54,6 +54,7 @@ import Data.Ascii (Ascii, AsciiBuilder)
 import qualified Data.Ascii as A
 import Data.Attoparsec.Char8
 import Data.Convertible.Base
+import Data.Proxy
 import Data.Tagged
 import Data.Time
 import Data.Time.Format.Asctime
@@ -99,11 +100,12 @@ httpDateAndTime
              ]
 
 toAsciiBuilder ∷ UTCTime → AsciiBuilder
-toAsciiBuilder = untag' ∘ cs ∘ ut2zt
+{-# INLINE toAsciiBuilder #-}
+toAsciiBuilder = flip proxy rfc1123 ∘ cs ∘ ut2zt
     where
-      untag' ∷ Tagged RFC1123 AsciiBuilder → AsciiBuilder
-      {-# INLINE CONLIKE untag' #-}
-      untag' = untag
+      rfc1123 ∷ Proxy RFC1123
+      {-# INLINE CONLIKE rfc1123 #-}
+      rfc1123 = Proxy
 
       ut2zt ∷ UTCTime → ZonedTime
       {-# INLINE ut2zt #-}