hls-plugin-api-0.5.0.0: Haskell Language Server API for plugin communication
Safe HaskellNone
LanguageHaskell2010

Ide.Types

Synopsis

Documentation

newtype PluginId Source #

Constructors

PluginId Text 

Instances

Instances details
Eq PluginId Source # 
Instance details

Defined in Ide.Types

Ord PluginId Source # 
Instance details

Defined in Ide.Types

Read PluginId Source # 
Instance details

Defined in Ide.Types

Show PluginId Source # 
Instance details

Defined in Ide.Types

IsString PluginId Source # 
Instance details

Defined in Ide.Types

newtype CommandId Source #

Constructors

CommandId Text 

Instances

Instances details
Eq CommandId Source # 
Instance details

Defined in Ide.Types

Ord CommandId Source # 
Instance details

Defined in Ide.Types

Read CommandId Source # 
Instance details

Defined in Ide.Types

Show CommandId Source # 
Instance details

Defined in Ide.Types

IsString CommandId Source # 
Instance details

Defined in Ide.Types

data DiagnosticProvider Source #

Constructors

DiagnosticProvider 

Fields

data DiagnosticProviderFunc Source #

Constructors

DiagnosticProviderSync DiagnosticProviderFuncSync 
DiagnosticProviderAsync DiagnosticProviderFuncAsync 

data FormattingType Source #

Format the given Text as a whole or only a Range of it. Range must be relative to the text to format. To format the whole document, read the Text from the file and use FormatText as the FormattingType.

type FormattingProvider m Source #

Arguments

 = LspFuncs Config 
-> IdeState 
-> FormattingType

How much to format

-> Text

Text to format

-> NormalizedFilePath

location of the file being formatted

-> FormattingOptions

Options for the formatter

-> m (Either ResponseError (List TextEdit))

Result of the formatting

To format a whole document, the FormatText FormattingType can be used. It is required to pass in the whole Document Text for that to happen, an empty text and file uri, does not suffice.

newtype WithSnippets Source #

Constructors

WithSnippets Bool