| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Syntax.Parser
- data Parser a
- parse :: Parser a -> String -> PM a
- parsePosString :: Parser a -> Position -> String -> PM a
- parseFile' :: Show a => Parser a -> AbsolutePath -> PM a
- moduleParser :: Parser Module
- moduleNameParser :: Parser QName
- exprParser :: Parser Expr
- exprWhereParser :: Parser ExprWhere
- tokensParser :: Parser [Token]
- data ParseError
- = ParseError {
- errSrcFile :: !SrcFile
- errPos :: !PositionWithoutFile
- errInput :: String
- errPrevToken :: String
- errMsg :: String
- | OverlappingTokensError { }
- | InvalidExtensionError {
- errPath :: !AbsolutePath
- errValidExts :: [String]
- | ReadFileError {
- errPath :: !AbsolutePath
- errIOError :: IOError
- = ParseError {
- data ParseWarning = OverlappingTokensWarning {}
- newtype PM a = PM {
- unPM :: ExceptT ParseError (StateT [ParseWarning] IO) a
- runPMIO :: MonadIO m => PM a -> m (Either ParseError a, [ParseWarning])
Types
Parse functions
parseFile' :: Show a => Parser a -> AbsolutePath -> PM a Source #
Parsers
moduleParser :: Parser Module Source #
Parses a module.
moduleNameParser :: Parser QName Source #
Parses a module name.
exprParser :: Parser Expr Source #
Parses an expression.
exprWhereParser :: Parser ExprWhere Source #
Parses an expression followed by a where clause.
tokensParser :: Parser [Token] Source #
Gives the parsed token stream (including comments).
Parse errors
data ParseError Source #
What you get if parsing fails.
Constructors
| ParseError | Errors that arise at a specific position in the file |
Fields
| |
| OverlappingTokensError | Parse errors that concern a range in a file. |
| InvalidExtensionError | Parse errors that concern a whole file. |
Fields
| |
| ReadFileError | |
Fields
| |
data ParseWarning Source #
Warnings for parsing
Constructors
| OverlappingTokensWarning | Parse errors that concern a range in a file. |
Instances
A monad for handling parse results
Constructors
| PM | |
Fields
| |
runPMIO :: MonadIO m => PM a -> m (Either ParseError a, [ParseWarning]) Source #