Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
Arguments | |
|
defaultArguments :: Recorder (WithPriority Log) -> Logger -> IdePlugins IdeState -> Arguments Source #
Check [FilePath] | Typecheck some paths and print diagnostics. Exit code is the number of failures |
Db | Run a command in the hiedb |
| |
LSP | Run the LSP server |
Custom | User defined |
newtype IdeCommand state #
IdeCommand (state -> IO ()) |
Instances
Show (IdeCommand st) | |
Defined in Ide.Types showsPrec :: Int -> IdeCommand st -> ShowS # show :: IdeCommand st -> String # showList :: [IdeCommand st] -> ShowS # |
defaultMain :: Recorder (WithPriority Log) -> Arguments -> IO () Source #
testing :: Recorder (WithPriority Log) -> Logger -> IdePlugins IdeState -> Arguments Source #