ghcide-2.7.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageGHC2021

Development.IDE.Types.Options

Description

Options

Synopsis

Documentation

data IdeOptions Source #

Constructors

IdeOptions 

Fields

data IdePreprocessedSource Source #

Constructors

IdePreprocessedSource 

Fields

newtype IdeDefer Source #

Constructors

IdeDefer Bool 

newtype IdeTesting Source #

Constructors

IdeTesting Bool 

data IdePkgLocationOptions Source #

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

Constructors

IdePkgLocationOptions 

Fields

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

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 Source #

Constructors

IdeGhcSession 

Fields

Instances

Instances details
Show IdeGhcSession Source # 
Instance details

Defined in Development.IDE.Core.RuleTypes

NFData IdeGhcSession Source # 
Instance details

Defined in Development.IDE.Core.RuleTypes

Methods

rnf :: IdeGhcSession -> () #

data OptHaddockParse Source #

data ProgressReportingStyle Source #

Constructors

Percentage

Report using the LSP _percentage field

Explicit

Report using explicit 123/456 text

NoProgress

Do not report any percentage