| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Development.IDE.Main
Contents
Documentation
Constructors
| Arguments | |
Fields
| |
Constructors
| Check [FilePath] | Typecheck some paths and print diagnostics. Exit code is the number of failures |
| Db | Run a command in the hiedb |
Fields
| |
| LSP | Run the LSP server |
| Custom | User defined |
Fields | |
newtype IdeCommand Source #
Constructors
| IdeCommand (IdeState -> IO ()) |
Instances
| Show IdeCommand Source # | |
Defined in Development.IDE.Main Methods showsPrec :: Int -> IdeCommand -> ShowS # show :: IdeCommand -> String # showList :: [IdeCommand] -> ShowS # | |
defaultMain :: Arguments -> IO () Source #