Safe Haskell | None |
---|
CmdLine
- data Cmd = Cmd {
- cmdTest :: Bool
- cmdFiles :: Maybe [FilePath]
- cmdHintFiles :: [FilePath]
- cmdGivenHints :: [FilePath]
- cmdWithHints :: [String]
- cmdReports :: [FilePath]
- cmdIgnore :: [String]
- cmdShowAll :: Bool
- cmdColor :: Bool
- cmdCpp :: CppFlags
- cmdDataDir :: FilePath
- cmdEncoding :: Encoding
- cmdFindHints :: [FilePath]
- cmdLanguage :: [Extension]
- cmdQuiet :: Bool
- cmdCross :: Bool
- cmdProof :: [FilePath]
- data CppFlags
- = NoCpp
- | CppSimple
- | Cpphs CpphsOptions
- getCmd :: [String] -> IO Cmd
- exitWithHelp :: IO a
Documentation
data Cmd
Constructors
Cmd | |
Fields
|
data CppFlags
Constructors
NoCpp | |
CppSimple | |
Cpphs CpphsOptions |
exitWithHelp :: IO a