| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Control.Parser
Contents
Description
Parser utilities.
- type Parser k a = Eq k => ParsecT [Located k] (ParserState k) Identity a
- data ParserState k = ParseState {
- stateTokenShow :: k -> String
- stateFileName :: String
- data SourcePos = SourcePos {}
- runTokenParser :: Eq k => (k -> String) -> String -> Parser k a -> [Located k] -> Either ParseError a
- pTokMaybe :: (k -> Maybe a) -> Parser k a
- pTokMaybeSP :: (k -> Maybe a) -> Parser k (a, SourcePos)
- pTokAs :: k -> t -> Parser k t
- pTokAsSP :: k -> t -> Parser k (t, SourcePos)
- pTok :: k -> Parser k ()
- pTokSP :: k -> Parser k SourcePos
Documentation
type Parser k a = Eq k => ParsecT [Located k] (ParserState k) Identity a Source #
A generic parser, parameterised over token and return types.
data ParserState k Source #
A parser state that keeps track of the name of the source file.
Constructors
| ParseState | |
Fields
| |
A position in a source file.
If there is no file path then we assume that the input has been read from an interactive session and display ''<interactive>'' when pretty printing.
Constructors
| SourcePos | |
Fields
| |
Arguments
| :: Eq k | |
| => (k -> String) | Show a token. |
| -> String | File name for error messages. |
| -> Parser k a | Parser to run. |
| -> [Located k] | Tokens to parse. |
| -> Either ParseError a |
Run a generic parser, making sure all input is consumed.
pTokMaybeSP :: (k -> Maybe a) -> Parser k (a, SourcePos) Source #
Accept a token if the function return Just,
also returning the source position of that token.
pTokAsSP :: k -> t -> Parser k (t, SourcePos) Source #
Accept a token and return the given value, along with the source position of the token.