X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=Network%2FHTTP%2FLucu%2FETag.hs;h=b04912002be300ad01ad2b17b9a167caff195ebc;hb=db4a546d0d462cb94639b1f273bf0b78bccc960c;hp=3ebfc1d91b35b3f7e676571d0ed981a813b67dbf;hpb=67f9e87a4cb7fdfe50bb3efa0b63b1628efec82c;p=Lucu.git diff --git a/Network/HTTP/Lucu/ETag.hs b/Network/HTTP/Lucu/ETag.hs index 3ebfc1d..b049120 100644 --- a/Network/HTTP/Lucu/ETag.hs +++ b/Network/HTTP/Lucu/ETag.hs @@ -10,17 +10,16 @@ -- |An internal module for entity tags. module Network.HTTP.Lucu.ETag ( ETag(..) - , strongETag , weakETag - , eTag - , eTagList ) where import Control.Applicative import Control.Monad import Data.Ascii (Ascii, AsciiBuilder) import Data.Attoparsec.Char8 +import Data.Attoparsec.Parsable +import Data.ByteString (ByteString) import Data.Convertible.Base import Data.Convertible.Instances.Ascii () import Data.Convertible.Utils @@ -82,17 +81,15 @@ weakETag ∷ Ascii → ETag {-# INLINE weakETag #-} weakETag = ETag True --- |'Parser' for an 'ETag'. -eTag ∷ Parser ETag -{-# INLINEABLE eTag #-} -eTag = do isWeak ← option False (string "W/" *> return True) - str ← quotedStr - return $ ETag isWeak str +instance Parsable ByteString ETag where + {-# INLINEABLE parser #-} + parser = do isWeak ← option False (string "W/" *> return True) + str ← quotedStr + return $ ETag isWeak str --- |'Parser' for a list of 'ETag's. -eTagList ∷ Parser [ETag] -{-# INLINEABLE eTagList #-} -eTagList = do xs ← listOf eTag - when (null xs) $ - fail "empty list of ETags" - return xs +instance Parsable ByteString [ETag] where + {-# INLINEABLE parser #-} + parser = do xs ← listOf parser + when (null xs) $ + fail "empty list of ETags" + return xs