| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Development.IDE.Main
Contents
Documentation
Constructors
| Arguments | |
Fields
| |
defaultArguments :: Recorder (WithPriority Log) -> FilePath -> IdePlugins IdeState -> Arguments Source #
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 state #
Constructors
| IdeCommand (state -> IO ()) |
Instances
| Show (IdeCommand st) | |
Defined in Ide.Types Methods showsPrec :: Int -> IdeCommand st -> ShowS # show :: IdeCommand st -> String # showList :: [IdeCommand st] -> ShowS # | |
defaultMain :: Recorder (WithPriority Log) -> Arguments -> IO () Source #
testing :: Recorder (WithPriority Log) -> FilePath -> IdePlugins IdeState -> Arguments Source #