ghcide-0.6.0.1: The core of an IDE
Safe HaskellNone
LanguageHaskell2010

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.Types.Options

NFData IdeGhcSession Source # 
Instance details

Defined in Development.IDE.Types.Options

Methods

rnf :: IdeGhcSession -> () #

data LspConfig Source #

Instances

Instances details
Eq LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

Ord LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

Show LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

Generic LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

Associated Types

type Rep LspConfig :: Type -> Type #

ToJSON LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

FromJSON LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

type Rep LspConfig Source # 
Instance details

Defined in Development.IDE.Types.Options

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

data CheckParents Source #

Instances

Instances details
Eq CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

Ord CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

Show CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

Generic CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

Associated Types

type Rep CheckParents :: Type -> Type #

ToJSON CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

FromJSON CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

type Rep CheckParents Source # 
Instance details

Defined in Development.IDE.Types.Options

type Rep CheckParents = D1 ('MetaData "CheckParents" "Development.IDE.Types.Options" "ghcide-0.6.0.1-FBa2mvjbe0D4cJzIpmjJIQ" '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 Source #