BNFC3-3.0: A compiler front-end generator.

Safe Haskell	None
Language	Haskell2010

BNFC.Main

Contents

Entrypoints that do not exitFailure unless I/O errors or options errors (TODO: also handle option errors).
Utilities

Synopsis

type Err = Either String
bnfc :: IO ()
bnfcArgs :: [String] -> IO ()
bnfcOptions :: Options -> IO ()
bnfcGrammar :: Options -> Grammar -> IO ()
type Msgs = [String]
execRun :: ((Maybe Result, Maybe FilePath), Msgs) -> IO ()
runBnfcArgs :: [String] -> IO ((Maybe Result, Maybe FilePath), Msgs)
runBnfcOptions :: Options -> IO ((Maybe Result, Maybe FilePath), Msgs)
runBnfcGrammar :: Options -> Grammar -> ((Maybe Result, Maybe FilePath), Msgs)
writeResult :: Maybe FilePath -> Result -> IO ()
getAbs :: LBNF -> String
parseFile :: FilePath -> IO Grammar
dieIfError :: Err a -> IO a

Documentation

type Err = Either String Source #

bnfc :: IO () Source #

BNFC main.

bnfcArgs :: [String] -> IO () Source #

Entrypoint with argument vector.

bnfcOptions :: Options -> IO () Source #

Entrypoint with parsed options.

bnfcGrammar :: Options -> Grammar -> IO () Source #

Entrypoint with parsed options and parsed grammar.

Entrypoints that do not `exitFailure` unless I/O errors or options errors (TODO: also handle option errors).

type Msgs = [String] Source #

execRun :: ((Maybe Result, Maybe FilePath), Msgs) -> IO () Source #

runBnfcArgs :: [String] -> IO ((Maybe Result, Maybe FilePath), Msgs) Source #

Entrypoint with argument vector.

runBnfcOptions :: Options -> IO ((Maybe Result, Maybe FilePath), Msgs) Source #

Entrypoint with parsed options.

runBnfcGrammar :: Options -> Grammar -> ((Maybe Result, Maybe FilePath), Msgs) Source #

Entrypoint with parsed options and grammar.

writeResult :: Maybe FilePath -> Result -> IO () Source #

Write to files.

getAbs :: LBNF -> String Source #

parseFile :: FilePath -> IO Grammar Source #

Utilities

dieIfError :: Err a -> IO a Source #