Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda main module.
- runAgda :: TCM ()
- runAgdaWithOptions :: TCM () -> String -> CommandLineOptions -> TCM ()
- printUsage :: IO ()
- printVersion :: IO ()
- optionError :: String -> IO ()
- runTCMPrettyErrors :: TCM () -> IO ()
- main :: IO ()
Documentation
:: TCM () | HTML generating action |
-> String | program name |
-> CommandLineOptions | parsed command line options |
-> TCM () |
Run Agda with parsed command line options and with a custom HTML generator
printUsage :: IO () Source #
Print usage information.
printVersion :: IO () Source #
Print version information.
optionError :: String -> IO () Source #
What to do for bad options.
runTCMPrettyErrors :: TCM () -> IO () Source #
Run a TCM action in IO; catch and pretty print errors.