Agda.Syntax.Parser

Contents

• Types
• Parse functions
• Parsers
• Parse errors

Synopsis

• data Parser a
• parse :: Parser a -> String -> IO a
• parseLiterate :: Parser a -> String -> IO a
• parsePosString :: Parser a -> Position -> String -> IO a
• parseFile' :: Parser a -> AbsolutePath -> IO 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
  }

Types

Parse functions

Parsers

Parse errors