Ivory.Compile.C.CmdlineFrontend.Options

Documentation

data OptParser opt

Constructors

OptParser [String] (opt -> opt)

Instances

Monoid (OptParser opt)

Methods

mempty :: OptParser opt

mappend :: OptParser opt -> OptParser opt -> OptParser opt

mconcat :: [OptParser opt] -> OptParser opt

success :: (opt -> opt) -> OptParser opt

Option parser succeeded, use this function to transform the default options.

parseOptions :: [OptDescr (OptParser opt)] -> [String] -> Either [String] (opt -> opt)

Option parser failed, emit this message.

XXX currently not used. invalid :: String -> OptParser opt invalid msg = Error [msg]

Yield either a list of errors, or a function to produce an options structure, given a set of default options. Discard any non-options.

data Opts

Constructors

Opts

Fields

• outDir :: Maybe FilePath

  output directory for all files (or standard out).

• outHdrDir :: Maybe FilePath

  if set, output directory for headers. Otherwise, use outDir.

• outArtDir :: Maybe FilePath

  if set, output directory for artifacts. Otherwise, use outDir.

• otherHdr :: Maybe String

  In special circumstances, an implementation may not fully implement libc (e.g., if `math.h` does not include isnan). In these cases, another header can be added to every Ivory-generated source using the flag.

• constFold :: Bool
• overflow :: Bool
• divZero :: Bool
• ixCheck :: Bool
• fpCheck :: Bool
• outProcSyms :: Bool
• bitShiftCheck :: Bool
• cfg :: Bool
• cfgDotDir :: FilePath
• cfgProc :: [String]
• verbose :: Bool
• srcLocs :: Bool
• tcWarnings :: Bool
• tcErrors :: Bool
• scErrors :: Bool
• help :: Bool

Instances

Show Opts

Methods

showsPrec :: Int -> Opts -> ShowS

show :: Opts -> String

showList :: [Opts] -> ShowS

initialOpts :: Opts

setStdOut :: OptParser Opts

setOutDir :: String -> OptParser Opts

setHdrDir :: String -> OptParser Opts

setArtDir :: String -> OptParser Opts

setOtherHdr :: String -> OptParser Opts

setConstFold :: OptParser Opts

setOverflow :: OptParser Opts

setDivZero :: OptParser Opts

setIxCheck :: OptParser Opts

setFpCheck :: OptParser Opts

setProcSyms :: OptParser Opts

setBitShiftCheck :: OptParser Opts

setCfg :: OptParser Opts

setCfgDotDir :: String -> OptParser Opts

addCfgProc :: String -> OptParser Opts

setVerbose :: OptParser Opts

setSrcLocs :: OptParser Opts

setWarnings :: OptParser Opts

setErrors :: Bool -> OptParser Opts

setSanityCheck :: Bool -> OptParser Opts

setHelp :: OptParser Opts

options :: [OptDescr (OptParser Opts)]

parseOpts :: [String] -> IO Opts

Parse an Opts structure from a list of strings.

printUsage :: [String] -> IO ()