X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Network%2FHTTP%2FLucu%2FETag.hs;h=f7ef8387c7044d02acc1451a7fa0e140c3197c60;hb=ac2ff93;hp=7e618782c45e17e75ec16ef8667510447c518a20;hpb=ea2b7838f1b3d9d4923a220a601be2e04cc559d7;p=Lucu.git diff --git a/Network/HTTP/Lucu/ETag.hs b/Network/HTTP/Lucu/ETag.hs index 7e61878..f7ef838 100644 --- 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"