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