Development.IDE.Main

Documentation

data Arguments

Constructors

Arguments

Fields

• argsProjectRoot :: Maybe FilePath
• argsOTMemoryProfiling :: Bool
• argCommand :: Command
• argsLogger :: IO Logger
• argsRules :: Rules ()
• argsHlsPlugins :: IdePlugins IdeState
• argsGhcidePlugin :: Plugin Config

  Deprecated

• argsSessionLoadingOptions :: SessionLoadingOptions
• argsIdeOptions :: Config -> Action IdeGhcSession -> IdeOptions
• argsLspOptions :: Options
• argsDefaultHlsConfig :: Config
• argsGetHieDbLoc :: FilePath -> IO FilePath

  Map project roots to the location of the hiedb for the project

• argsDebouncer :: IO (Debouncer NormalizedUri)

  Debouncer used for diagnostics

• argsHandleIn :: IO Handle
• argsHandleOut :: IO Handle
• argsThreads :: Maybe Natural

defaultArguments :: Recorder (WithPriority Log) -> Logger -> Arguments

data Command

Constructors

Check [FilePath]

Typecheck some paths and print diagnostics. Exit code is the number of failures

Db

Run a command in the hiedb

Fields

• hieOptions :: Options
• hieCommand :: Command

LSP

Run the LSP server

PrintExtensionSchema

PrintDefaultConfig

Custom

User defined

Fields

• ideCommand :: IdeCommand IdeState

Instances

Show Command

Defined in Development.IDE.Main

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

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

isLSP :: Command -> Bool

commandP :: IdePlugins IdeState -> Parser Command

defaultMain :: Recorder (WithPriority Log) -> Arguments -> IO ()

testing :: Recorder (WithPriority Log) -> Logger -> Arguments

data Log

Constructors

LogHeapStats !Log

LogLspStart

LogLspStartDuration !Seconds

LogShouldRunSubset !Bool

LogOnlyPartialGhc9Support

LogSetInitialDynFlagsException !SomeException

LogService Log

LogShake Log

LogGhcIde Log

LogLanguageServer Log

LogSession Log

LogPluginHLS Log

LogRules Log

Instances

Show Log

Defined in Development.IDE.Main

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Development.IDE.Main

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann

Orphan instances

Show Options

Methods

showsPrec :: Int -> Options -> ShowS

show :: Options -> String

showList :: [Options] -> ShowS

Show Command

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS