Development.IDE.Main

Documentation

data Arguments

Constructors

Arguments

Fields

• 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

Instances

Default Arguments

Defined in Development.IDE.Main

Methods

def :: 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

• projectRoot :: FilePath
• hieOptions :: Options
• hieCommand :: Command

LSP

Run the LSP server

Custom

User defined

Fields

• projectRoot :: FilePath
• ideCommand :: IdeCommand

Instances

Show Command

Defined in Development.IDE.Main

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

newtype IdeCommand

Constructors

IdeCommand (IdeState -> IO ())

Instances

Show IdeCommand

Defined in Development.IDE.Main

Methods

showsPrec :: Int -> IdeCommand -> ShowS

show :: IdeCommand -> String

showList :: [IdeCommand] -> ShowS

isLSP :: Command -> Bool

commandP :: Parser Command

defaultMain :: Arguments -> IO ()

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