Examples now compile.

[Lucu.git] / Network / HTTP / Lucu / ETag.hs

diff --git a/Network/HTTP/Lucu/ETag.hs b/Network/HTTP/Lucu/ETag.hs
index 7e618782c45e17e75ec16ef8667510447c518a20..f7ef8387c7044d02acc1451a7fa0e140c3197c60 100644 (file)
--- a/Network/HTTP/Lucu/ETag.hs
+++ b/Network/HTTP/Lucu/ETag.hs
@@ -16,7 +16,7 @@ module Network.HTTP.Lucu.ETag
     where
 import Control.Applicative
 import Control.Monad
-import Data.Ascii (Ascii)
+import Data.Ascii (Ascii, AsciiBuilder)
 import qualified Data.Ascii as A
 import Data.Attoparsec.Char8
 import Data.Monoid.Unicode
@@ -34,47 +34,53 @@ data ETag = ETag {
     , etagToken  ∷ !Ascii
     } deriving (Eq, Show)
 
--- |Convert an 'ETag' to 'Ascii'.
-printETag ∷ ETag → Ascii
+-- |Convert an 'ETag' to 'AsciiBuilder'.
+printETag ∷ ETag → AsciiBuilder
+{-# INLINEABLE printETag #-}
 printETag et
-    = A.fromAsciiBuilder $
-      ( ( if etagIsWeak et then
-              A.toAsciiBuilder "W/"
-          else
-              (∅)
-        )
-        ⊕
-        quoteStr (etagToken et) )
+    = ( if etagIsWeak et then
+            A.toAsciiBuilder "W/"
+        else
+            (∅)
+      )
+      ⊕
+      quoteStr (etagToken et)
 
 -- |Parse 'Etag' from an 'Ascii'. This functions throws an exception
 -- for parse error.
 parseETag ∷ Ascii → ETag
+{-# INLINEABLE parseETag #-}
 parseETag str
-    = let p  = do et ← eTagP
-                  endOfInput
-                  return et
-          bs = A.toByteString str
-      in
-        case parseOnly p bs of
-          Right et → et
-          Left err → error ("unparsable ETag: " ⧺ A.toString str ⧺ ": " ⧺ err)
+    = case parseOnly p $ A.toByteString str of
+        Right et → et
+        Left err → error ("unparsable ETag: " ⧺ A.toString str ⧺ ": " ⧺ err)
+    where
+      p ∷ Parser ETag
+      {-# INLINE p #-}
+      p = do et ← eTagP
+             endOfInput
+             return et
 
 -- |This is equivalent to @'ETag' 'Prelude.False'@. If you want to
 -- generate an ETag from a file, try using
 -- 'Network.HTTP.Lucu.StaticFile.generateETagFromFile'.
 strongETag ∷ Ascii → ETag
+{-# INLINE strongETag #-}
 strongETag = ETag False
 
 -- |This is equivalent to @'ETag' 'Prelude.True'@.
 weakETag ∷ Ascii → ETag
+{-# INLINE weakETag #-}
 weakETag = ETag True
 
 eTagP ∷ Parser ETag
+{-# INLINEABLE eTagP #-}
 eTagP = do isWeak ← option False (string "W/" *> return True)
            str    ← quotedStr
            return $ ETag isWeak str
 
 eTagListP ∷ Parser [ETag]
+{-# INLINEABLE eTagListP #-}
 eTagListP = do xs ← listOf eTagP
                when (null xs) $
                    fail "empty list of ETags"