Generalize parseFromString'

This commit is contained in:
Alexander Krotov 2018-10-31 00:09:55 +03:00
parent 6f6e4c0d84
commit 51685cafde

View file

@ -477,10 +477,10 @@ parseFromString parser str = do
-- | Like 'parseFromString' but specialized for 'ParserState'.
-- This resets 'stateLastStrPos', which is almost always what we want.
parseFromString' :: Monad m
=> ParserT String ParserState m a
parseFromString' :: (Monad m, Stream s m Char, IsString s)
=> ParserT s ParserState m a
-> String
-> ParserT String ParserState m a
-> ParserT s ParserState m a
parseFromString' parser str = do
oldStrPos <- stateLastStrPos <$> getState
res <- parseFromString parser str