Development.IDE.Types.Options

Options

Documentation

data IdeOptions

Constructors

IdeOptions

Fields

• optPreprocessor :: ParsedSource -> IdePreprocessedSource

  Preprocessor to run over all parsed source trees, generating a list of warnings and a list of errors, along with a new parse tree.

• optGhcSession :: Action IdeGhcSession

  Setup a GHC session for a given file, e.g. Foo.hs. For the same ComponentOptions from hie-bios, the resulting function will be applied once per file. It is desirable that many files get the same HscEnvEq, so that more IDE features work.

• optPkgLocationOpts :: IdePkgLocationOptions

  How to locate source and .hie files given a module name.

• optExtensions :: [String]

  File extensions to search for code, defaults to Haskell sources (including .hs)

• optThreads :: Int

  Number of threads to use. Use 0 for number of threads on the machine.

• optShakeFiles :: Maybe FilePath

  Directory where the shake database should be stored. For ghcide this is always set to Nothing for now meaning we keep everything in memory but the daml CLI compiler uses this for incremental builds.

• optShakeProfiling :: Maybe FilePath

  Set to Just to create a directory of profiling reports.

• optTesting :: IdeTesting

  Whether to enable additional lsp messages used by the test suite for checking invariants

• optReportProgress :: IdeReportProgress

  Whether to report progress during long operations.

• optLanguageSyntax :: String

  the ```language to use

• optNewColonConvention :: Bool

  whether to use new colon convention

• optKeywords :: [Text]

  keywords used for completions. These are customizable since DAML has a different set of keywords than Haskell.

• optDefer :: IdeDefer

  Whether to defer type errors, typed holes and out of scope variables. Deferral allows the IDE to continue to provide features such as diagnostics and go-to-definition, in situations in which they would become unavailable because of the presence of type errors, holes or unbound variables.

• optCheckProject :: CheckProject

  Whether to typecheck the entire project on load

• optCheckParents :: CheckParents

  When to typecheck reverse dependencies of a file

• optHaddockParse :: OptHaddockParse

  Whether to return result of parsing module with Opt_Haddock. Otherwise, return the result of parsing without Opt_Haddock, so that the parsed module contains the result of Opt_KeepRawTokenStream, which might be necessary for hlint.

• optCustomDynFlags :: DynFlags -> DynFlags

  If given, it will be called right after setting up a new cradle, allowing to customize the Ghc options used

data IdePreprocessedSource

Constructors

IdePreprocessedSource

Fields

• preprocWarnings :: [(SrcSpan, String)]

  Warnings emitted by the preprocessor.

• preprocErrors :: [(SrcSpan, String)]

  Errors emitted by the preprocessor.

• preprocSource :: ParsedSource

  New parse tree emitted by the preprocessor.

newtype IdeReportProgress

Constructors

IdeReportProgress Bool

newtype IdeDefer

Constructors

IdeDefer Bool

newtype IdeTesting

Constructors

IdeTesting Bool

clientSupportsProgress :: ClientCapabilities -> IdeReportProgress

data IdePkgLocationOptions

The set of options used to locate files belonging to external packages.

Constructors

IdePkgLocationOptions

Fields

• optLocateHieFile :: PackageConfig -> Module -> IO (Maybe FilePath)

  Locate the HIE file for the given module. The PackageConfig can be used to lookup settings like importDirs.

• optLocateSrcFile :: PackageConfig -> Module -> IO (Maybe FilePath)

  Locate the source file for the given module. The PackageConfig can be used to lookup settings like importDirs. For DAML, we place them in the package DB. For cabal this could point somewhere in ~.cabalpackages.

defaultIdeOptions :: Action IdeGhcSession -> IdeOptions

type IdeResult v = ([FileDiagnostic], Maybe v)

The result of an IDE operation. Warnings and errors are in the Diagnostic, and a value is in the Maybe. For operations that throw an error you expect a non-empty list of diagnostics, at least one of which is an error, and a Nothing. For operations that succeed you expect perhaps some warnings and a Just. For operations that depend on other failing operations you may get empty diagnostics and a Nothing, to indicate this phase throws no fresh errors but still failed.

A rule on a file should only return diagnostics for that given file. It should not propagate diagnostic errors through multiple phases.

data IdeGhcSession

Constructors

IdeGhcSession

Fields

• loadSessionFun :: FilePath -> IO (IdeResult HscEnvEq, [FilePath])

  Returns the Ghc session and the cradle dependencies

• sessionVersion :: !Int

  Used as Shake key, versions must be unique and not reused

Instances

Show IdeGhcSession

Defined in Development.IDE.Types.Options

Methods

showsPrec :: Int -> IdeGhcSession -> ShowS

show :: IdeGhcSession -> String

showList :: [IdeGhcSession] -> ShowS

NFData IdeGhcSession

Defined in Development.IDE.Types.Options

Methods

rnf :: IdeGhcSession -> ()

data LspConfig

Constructors

LspConfig

Fields

• checkParents :: CheckParents
• checkProject :: CheckProject

Instances

Eq LspConfig

Defined in Development.IDE.Types.Options

Methods

(==) :: LspConfig -> LspConfig -> Bool

(/=) :: LspConfig -> LspConfig -> Bool

Ord LspConfig

Defined in Development.IDE.Types.Options

Methods

compare :: LspConfig -> LspConfig -> Ordering

(<) :: LspConfig -> LspConfig -> Bool

(<=) :: LspConfig -> LspConfig -> Bool

(>) :: LspConfig -> LspConfig -> Bool

(>=) :: LspConfig -> LspConfig -> Bool

max :: LspConfig -> LspConfig -> LspConfig

min :: LspConfig -> LspConfig -> LspConfig

Show LspConfig

Defined in Development.IDE.Types.Options

Methods

showsPrec :: Int -> LspConfig -> ShowS

show :: LspConfig -> String

showList :: [LspConfig] -> ShowS

Generic LspConfig

Defined in Development.IDE.Types.Options

Associated Types

type Rep LspConfig :: Type -> Type

Methods

from :: LspConfig -> Rep LspConfig x

to :: Rep LspConfig x -> LspConfig

ToJSON LspConfig

Defined in Development.IDE.Types.Options

Methods

toJSON :: LspConfig -> Value

toEncoding :: LspConfig -> Encoding

toJSONList :: [LspConfig] -> Value

toEncodingList :: [LspConfig] -> Encoding

FromJSON LspConfig

Defined in Development.IDE.Types.Options

Methods

parseJSON :: Value -> Parser LspConfig

parseJSONList :: Value -> Parser [LspConfig]

type Rep LspConfig

Defined in Development.IDE.Types.Options

type Rep LspConfig = D1 (MetaData "LspConfig" "Development.IDE.Types.Options" "ghcide-0.4.0-98cFz095V7v2i8ymOuBUUo" False) (C1 (MetaCons "LspConfig" PrefixI True) (S1 (MetaSel (Just "checkParents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CheckParents) :*: S1 (MetaSel (Just "checkProject") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CheckProject)))

defaultLspConfig :: LspConfig

newtype CheckProject

Constructors

CheckProject

Fields

• shouldCheckProject :: Bool

Instances

Eq CheckProject

Defined in Development.IDE.Types.Options

Methods

(==) :: CheckProject -> CheckProject -> Bool

(/=) :: CheckProject -> CheckProject -> Bool

Ord CheckProject

Defined in Development.IDE.Types.Options

Methods

compare :: CheckProject -> CheckProject -> Ordering

(<) :: CheckProject -> CheckProject -> Bool

(<=) :: CheckProject -> CheckProject -> Bool

(>) :: CheckProject -> CheckProject -> Bool

(>=) :: CheckProject -> CheckProject -> Bool

max :: CheckProject -> CheckProject -> CheckProject

min :: CheckProject -> CheckProject -> CheckProject

Show CheckProject

Defined in Development.IDE.Types.Options

Methods

showsPrec :: Int -> CheckProject -> ShowS

show :: CheckProject -> String

showList :: [CheckProject] -> ShowS

ToJSON CheckProject

Defined in Development.IDE.Types.Options

Methods

toJSON :: CheckProject -> Value

toEncoding :: CheckProject -> Encoding

toJSONList :: [CheckProject] -> Value

toEncodingList :: [CheckProject] -> Encoding

FromJSON CheckProject

Defined in Development.IDE.Types.Options

Methods

parseJSON :: Value -> Parser CheckProject

parseJSONList :: Value -> Parser [CheckProject]

data CheckParents

Constructors

NeverCheck

CheckOnClose

CheckOnSaveAndClose

AlwaysCheck

Instances

Eq CheckParents

Defined in Development.IDE.Types.Options

Methods

(==) :: CheckParents -> CheckParents -> Bool

(/=) :: CheckParents -> CheckParents -> Bool

Ord CheckParents

Defined in Development.IDE.Types.Options

Methods

compare :: CheckParents -> CheckParents -> Ordering

(<) :: CheckParents -> CheckParents -> Bool

(<=) :: CheckParents -> CheckParents -> Bool

(>) :: CheckParents -> CheckParents -> Bool

(>=) :: CheckParents -> CheckParents -> Bool

max :: CheckParents -> CheckParents -> CheckParents

min :: CheckParents -> CheckParents -> CheckParents

Show CheckParents

Defined in Development.IDE.Types.Options

Methods

showsPrec :: Int -> CheckParents -> ShowS

show :: CheckParents -> String

showList :: [CheckParents] -> ShowS

Generic CheckParents

Defined in Development.IDE.Types.Options

Associated Types

type Rep CheckParents :: Type -> Type

Methods

from :: CheckParents -> Rep CheckParents x

to :: Rep CheckParents x -> CheckParents

ToJSON CheckParents

Defined in Development.IDE.Types.Options

Methods

toJSON :: CheckParents -> Value

toEncoding :: CheckParents -> Encoding

toJSONList :: [CheckParents] -> Value

toEncodingList :: [CheckParents] -> Encoding

FromJSON CheckParents

Defined in Development.IDE.Types.Options

Methods

parseJSON :: Value -> Parser CheckParents

parseJSONList :: Value -> Parser [CheckParents]

type Rep CheckParents

Defined in Development.IDE.Types.Options

type Rep CheckParents = D1 (MetaData "CheckParents" "Development.IDE.Types.Options" "ghcide-0.4.0-98cFz095V7v2i8ymOuBUUo" False) ((C1 (MetaCons "NeverCheck" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CheckOnClose" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CheckOnSaveAndClose" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AlwaysCheck" PrefixI False) (U1 :: Type -> Type)))

data OptHaddockParse

Constructors

HaddockParse

NoHaddockParse

Instances

Enum OptHaddockParse

Defined in Development.IDE.Types.Options

Methods

succ :: OptHaddockParse -> OptHaddockParse

pred :: OptHaddockParse -> OptHaddockParse

toEnum :: Int -> OptHaddockParse

fromEnum :: OptHaddockParse -> Int

enumFrom :: OptHaddockParse -> [OptHaddockParse]

enumFromThen :: OptHaddockParse -> OptHaddockParse -> [OptHaddockParse]

enumFromTo :: OptHaddockParse -> OptHaddockParse -> [OptHaddockParse]

enumFromThenTo :: OptHaddockParse -> OptHaddockParse -> OptHaddockParse -> [OptHaddockParse]

Eq OptHaddockParse

Defined in Development.IDE.Types.Options

Methods

(==) :: OptHaddockParse -> OptHaddockParse -> Bool

(/=) :: OptHaddockParse -> OptHaddockParse -> Bool

Ord OptHaddockParse

Defined in Development.IDE.Types.Options

Methods

compare :: OptHaddockParse -> OptHaddockParse -> Ordering

(<) :: OptHaddockParse -> OptHaddockParse -> Bool

(<=) :: OptHaddockParse -> OptHaddockParse -> Bool

(>) :: OptHaddockParse -> OptHaddockParse -> Bool

(>=) :: OptHaddockParse -> OptHaddockParse -> Bool

max :: OptHaddockParse -> OptHaddockParse -> OptHaddockParse

min :: OptHaddockParse -> OptHaddockParse -> OptHaddockParse

Show OptHaddockParse

Defined in Development.IDE.Types.Options

Methods

showsPrec :: Int -> OptHaddockParse -> ShowS

show :: OptHaddockParse -> String

showList :: [OptHaddockParse] -> ShowS