| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
The primitive parser combinators. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
(<?>) :: GenParser tok st a -> String -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
(<|>) :: GenParser tok st a -> GenParser tok st a -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
type Parser a = GenParser Char () a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
data GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
runParser :: GenParser tok st a -> st -> SourceName -> [tok] -> Either ParseError a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
parse :: GenParser tok () a -> SourceName -> [tok] -> Either ParseError a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
parseFromFile :: Parser a -> SourceName -> IO (Either ParseError a) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
parseTest :: Show a => GenParser tok () a -> [tok] -> IO () | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
token :: (tok -> String) -> (tok -> SourcePos) -> (tok -> Maybe a) -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
tokens :: Eq tok => ([tok] -> String) -> (SourcePos -> [tok] -> SourcePos) -> [tok] -> GenParser tok st [tok] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
tokenPrim :: (tok -> String) -> (SourcePos -> tok -> [tok] -> SourcePos) -> (tok -> Maybe a) -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
tokenPrimEx :: (tok -> String) -> (SourcePos -> tok -> [tok] -> SourcePos) -> Maybe (SourcePos -> tok -> [tok] -> st -> st) -> (tok -> Maybe a) -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
The most primitive token recogniser. The expression tokenPrimEx show nextpos mbnextstate test, recognises tokens when test returns Just x (and returns the value x). Tokens are shown in error messages using show. The position is calculated using nextpos, and finally, mbnextstate, can hold a function that updates the user state on every token recognised (nice to count tokens :-). The function is packed into a Maybe type for performance reasons. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
try :: GenParser tok st a -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
label :: GenParser tok st a -> String -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
labels :: GenParser tok st a -> [String] -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
unexpected :: String -> GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
pzero :: GenParser tok st a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
many :: GenParser tok st a -> GenParser tok st [a] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
skipMany :: GenParser tok st a -> GenParser tok st () | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
getState :: GenParser tok st st | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
setState :: st -> GenParser tok st () | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
updateState :: (st -> st) -> GenParser tok st () | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
getPosition :: GenParser tok st SourcePos | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
setPosition :: SourcePos -> GenParser tok st () | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
getInput :: GenParser tok st [tok] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
setInput :: [tok] -> GenParser tok st () | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
getParserState :: GenParser tok st (State tok st) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
setParserState :: State tok st -> GenParser tok st (State tok st) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version ADDOCK_VERSION |