Parsing: Generalized state type on readWith.
This commit is contained in:
parent
a2b98ba218
commit
a578a490ee
1 changed files with 3 additions and 3 deletions
|
@ -764,9 +764,9 @@ gridTableFooter = blanklines
|
|||
---
|
||||
|
||||
-- | Parse a string with a given parser and state.
|
||||
readWith :: Parser [Char] ParserState a -- ^ parser
|
||||
-> ParserState -- ^ initial state
|
||||
-> [Char] -- ^ input
|
||||
readWith :: Parser [Char] st a -- ^ parser
|
||||
-> st -- ^ initial state
|
||||
-> [Char] -- ^ input
|
||||
-> a
|
||||
readWith parser state input =
|
||||
case runParser parser state "source" input of
|
||||
|
|
Loading…
Add table
Reference in a new issue