X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=Lucu.git;a=blobdiff_plain;f=Network%2FHTTP%2FLucu%2FParser.hs;h=4bb8fa013e79f84d65aec51ec4c658d9ea461d6d;hp=bbe16a3d80b8bd3d4da6f2263fbe995f9cf3fd75;hb=3d017dd65ddede9a11c5b7a34a91e04340e67bc4;hpb=e1e74c8f81ccbc57bf5a09987b0a9dd42648f020 diff --git a/Network/HTTP/Lucu/Parser.hs b/Network/HTTP/Lucu/Parser.hs index bbe16a3..4bb8fa0 100644 --- a/Network/HTTP/Lucu/Parser.hs +++ b/Network/HTTP/Lucu/Parser.hs @@ -51,9 +51,8 @@ module Network.HTTP.Lucu.Parser where import Control.Monad.State.Strict -import Data.ByteString.Base (LazyByteString) -import Data.ByteString.Lazy () -import qualified Data.ByteString.Lazy.Char8 as B +import qualified Data.ByteString.Lazy as Lazy (ByteString) +import qualified Data.ByteString.Lazy.Char8 as B hiding (ByteString) -- |@'Parser' a@ is obviously a parser which parses and returns @a@. newtype Parser a = Parser { @@ -63,7 +62,7 @@ newtype Parser a = Parser { data ParserState = PST { - pstInput :: LazyByteString + pstInput :: Lazy.ByteString , pstIsEOFFatal :: !Bool } deriving (Eq, Show) @@ -95,7 +94,7 @@ failP = fail undefined -- |@'parse' p bstr@ parses @bstr@ with @p@ and returns @(# result, -- remaining #)@. -parse :: Parser a -> LazyByteString -> (# ParserResult a, LazyByteString #) +parse :: Parser a -> Lazy.ByteString -> (# ParserResult a, Lazy.ByteString #) parse p input -- input は lazy である必要有り。 = p `seq` let (result, state') = runState (runParser p) (PST input True) @@ -103,7 +102,7 @@ parse p input -- input は lazy である必要有り。 result `seq` (# result, pstInput state' #) -- pstInput state' も lazy である必要有り。 -- |@'parseStr' p str@ packs @str@ and parses it. -parseStr :: Parser a -> String -> (# ParserResult a, LazyByteString #) +parseStr :: Parser a -> String -> (# ParserResult a, Lazy.ByteString #) parseStr p input = p `seq` -- input は lazy である必要有り。 parse p (B.pack input) @@ -190,7 +189,7 @@ notFollowedBy p Parser $! do saved <- get -- 状態を保存 result <- runParser p case result of - Success a -> do put saved -- 状態を復歸 + Success _ -> do put saved -- 状態を復歸 return IllegalInput IllegalInput -> do put saved -- 状態を復歸 return $! Success ()