Development.IDE.Main

Documentation

data Arguments

Constructors

Arguments

Fields

• argsOTMemoryProfiling :: Bool
• argFiles :: Maybe [FilePath]

  Nothing: lsp server ; Just: typecheck and exit

• argsLogger :: Logger
• argsRules :: Rules ()
• argsHlsPlugins :: IdePlugins IdeState
• argsGhcidePlugin :: Plugin Config

  Deprecated

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

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

Instances

Default Arguments

Defined in Development.IDE.Main

Methods

def :: Arguments

defaultMain :: Arguments -> IO ()