| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.UX.CmdLine
Contents
Description
This module contains all the code needed to output the result which
is either: SAFE or WARNING with some reasonable error message when
something goes wrong. All forms of errors/exceptions should go through
here. The idea should be to report the error, the source position that
causes it, generate a suitable .json file and then exit.
- getOpts :: [String] -> IO Config
- mkOpts :: Config -> IO Config
- defConfig :: Config
- withPragmas :: Config -> FilePath -> [Located String] -> IO Config
- canonicalizePaths :: FilePath -> Config -> IO Config
- exitWithResult :: Config -> [FilePath] -> Output Doc -> IO (Output Doc)
- addErrors :: FixResult a -> [a] -> FixResult a
- diffcheck :: Config -> Bool
Get Command Line Configuration
Update Configuration With Pragma
Canonicalize Paths in Config
Exit Function
exitWithResult :: Config -> [FilePath] -> Output Doc -> IO (Output Doc) Source #
Exit Function -----------------------------------------------------
Diff check mode
diffcheck :: Config -> Bool Source #
check subset of binders modified (+ dependencies) since last check