Safe Haskell	Safe
Language	Haskell2010

FreeC.Application.Options

Description

This module contains the command line argument parser and the data type that stores the values of the command line options.

Synopsis

data Options = Options {
- optShowHelp :: Bool
- optShowVersion :: Bool
- optInputFiles :: [FilePath]
- optOutputDir :: Maybe FilePath
- optImportDirs :: [FilePath]
- optBaseLibDir :: FilePath
- optCreateCoqProject :: Bool
- optCreateAgdaLib :: Bool
- optTransformPatternMatching :: Bool
- optDumpTransformedModulesDir :: Maybe FilePath
- optFrontend :: String
- optBackend :: String
}
makeDefaultOptions :: IO Options

Documentation

data Options Source #

Data type that stores the command line options passed to the compiler.

Constructors

Options

Fields

optShowHelp :: Bool
Flag that indicates whether to show the usage information.
optShowVersion :: Bool
Flag that indicates whether to show the compiler's version.
optInputFiles :: [FilePath]
The input files passed to the compiler. All non-option command line arguments are considered input files.
optOutputDir :: Maybe FilePath
The output directory or Nothing if the output should be printed to stdout.
optImportDirs :: [FilePath]
The directories to look in for imported modules.
optBaseLibDir :: FilePath
The directory that contains the Coq Base library that accompanies this compiler.
optCreateCoqProject :: Bool
Flag that indicates whether to generate a _CoqProject file in the ouput directory. This argument is ignored if optOutputDir is not specified.
optCreateAgdaLib :: Bool
Flag that indicates whether to generate a .agda-lib file in the ouput directory. This argument is ignored if optOutputDir is not specified.
optTransformPatternMatching :: Bool
Flag that indicates whether to transform pattern matching, perform guard elimination and case completion.
optDumpTransformedModulesDir :: Maybe FilePath
The directory to dump transformed modules to.
optFrontend :: String
The frontend to use.
optBackend :: String
The backend to use.

Instances

MonadState Options Application Source #
Instance details Defined in FreeC.Monad.Application Methods get :: Application Options Source # put :: Options -> Application () Source # state :: (Options -> (a, Options)) -> Application a Source #

makeDefaultOptions :: IO Options Source #

The default command line options.

The base library directory defaults to the base/coq directory in the cabal data directory.

By default output will be printed to the console. The compiler looks for imported files in the current directory and the output directory (if one is specified).