Language.C.Parser

Language.C parser

Simple API

parseC :: InputStream -> Position -> Either ParseError CTranslUnit

parseC input initialPos parses the given preprocessed C-source input and returns the AST or a list of parse errors.

Parser Monad

data P a

Instances

MonadFail P

Defined in Language.C.Parser.ParserMonad

Methods

fail :: String -> P a

Applicative P

Defined in Language.C.Parser.ParserMonad

Methods

pure :: a -> P a

(<*>) :: P (a -> b) -> P a -> P b

liftA2 :: (a -> b -> c) -> P a -> P b -> P c

(*>) :: P a -> P b -> P b

(<*) :: P a -> P b -> P a

Functor P

Defined in Language.C.Parser.ParserMonad

Methods

fmap :: (a -> b) -> P a -> P b

(<$) :: a -> P b -> P a

Monad P

Defined in Language.C.Parser.ParserMonad

Methods

(>>=) :: P a -> (a -> P b) -> P b

(>>) :: P a -> P b -> P b

return :: a -> P a

execParser :: P a -> InputStream -> Position -> [Ident] -> [Name] -> Either ParseError (a, [Name])

execute the given parser on the supplied input stream. returns ParseError if the parser failed, and a pair of result and remaining name supply otherwise

Synopsis: execParser parser inputStream initialPos predefinedTypedefs uniqNameSupply

execParser_ :: P a -> InputStream -> Position -> Either ParseError a

run the given parser using a new name supply and builtin typedefs see execParser

Synopsis: runParser parser inputStream initialPos

builtinTypeNames :: [Ident]

Exposed Parsers

translUnitP :: P CTranslUnit

translUnitP provides a parser for a complete C translation unit, i.e. a list of external declarations.

extDeclP :: P CExtDecl

extDeclP provides a parser for an external (file-scope) declaration

statementP :: P CStat

statementP provides a parser for C statements

expressionP :: P CExpr

expressionP provides a parser for C expressions

Parser Monad

newtype ParseError

Constructors

ParseError ([String], Position)

Instances

Show ParseError

Defined in Language.C.Parser.ParserMonad

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS