BNFC.Main

Documentation

type Err = Either String

bnfc :: IO ()

BNFC main.

bnfcArgs :: [String] -> IO ()

Entrypoint with argument vector.

bnfcOptions :: Options -> IO ()

Entrypoint with parsed options.

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

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]

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

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

Entrypoint with argument vector.

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

Entrypoint with parsed options.

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

Entrypoint with parsed options and grammar.

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

Write to files.

getAbs :: LBNF -> String

parseFile :: FilePath -> IO Grammar

Utilities

dieIfError :: Err a -> IO a