Eq PluginId Source #
Instance details Defined in Ide.Types Methods (==) :: PluginId -> PluginId -> Bool # (/=) :: PluginId -> PluginId -> Bool #
Ord PluginId Source #
Instance details Defined in Ide.Types Methods compare :: PluginId -> PluginId -> Ordering # (<) :: PluginId -> PluginId -> Bool # (<=) :: PluginId -> PluginId -> Bool # (>) :: PluginId -> PluginId -> Bool # (>=) :: PluginId -> PluginId -> Bool # max :: PluginId -> PluginId -> PluginId # min :: PluginId -> PluginId -> PluginId #
Read PluginId Source #
Instance details Defined in Ide.Types Methods readsPrec :: Int -> ReadS PluginId # readList :: ReadS [PluginId] # readPrec :: ReadPrec PluginId # readListPrec :: ReadPrec [PluginId] #
Show PluginId Source #
Instance details Defined in Ide.Types Methods showsPrec :: Int -> PluginId -> ShowS # show :: PluginId -> String # showList :: [PluginId] -> ShowS #
IsString PluginId Source #
Instance details Defined in Ide.Types Methods fromString :: String -> PluginId #

newtype CommandId Source #

Constructors

CommandId Text

Instances

Instances details

Eq CommandId Source #
Instance details Defined in Ide.Types Methods (==) :: CommandId -> CommandId -> Bool # (/=) :: CommandId -> CommandId -> Bool #
Ord CommandId Source #
Instance details Defined in Ide.Types Methods compare :: CommandId -> CommandId -> Ordering # (<) :: CommandId -> CommandId -> Bool # (<=) :: CommandId -> CommandId -> Bool # (>) :: CommandId -> CommandId -> Bool # (>=) :: CommandId -> CommandId -> Bool # max :: CommandId -> CommandId -> CommandId # min :: CommandId -> CommandId -> CommandId #
Read CommandId Source #
Instance details Defined in Ide.Types Methods readsPrec :: Int -> ReadS CommandId # readList :: ReadS [CommandId] # readPrec :: ReadPrec CommandId # readListPrec :: ReadPrec [CommandId] #
Show CommandId Source #
Instance details Defined in Ide.Types Methods showsPrec :: Int -> CommandId -> ShowS # show :: CommandId -> String # showList :: [CommandId] -> ShowS #
IsString CommandId Source #
Instance details Defined in Ide.Types Methods fromString :: String -> CommandId #

data DiagnosticProvider Source #

Constructors

DiagnosticProvider
Fields dpTrigger :: Set DiagnosticTrigger dpFunc :: DiagnosticProviderFunc

data DiagnosticProviderFunc Source #

Constructors

DiagnosticProviderSync DiagnosticProviderFuncSync
DiagnosticProviderAsync DiagnosticProviderFuncAsync

type SymbolsProvider ideState = LspFuncs Config -> ideState -> DocumentSymbolParams -> IO (Either ResponseError [DocumentSymbol]) Source #

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.

Constructors

FormatText
FormatRange Range

type FormattingProvider ideState 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.

noneProvider :: FormattingProvider ideState IO Source #

type HoverProvider ideState = ideState -> TextDocumentPositionParams -> IO (Either ResponseError (Maybe Hover)) Source #

type CodeActionProvider ideState = LspFuncs Config -> ideState -> PluginId -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError (List CAResult)) Source #

type CodeLensProvider ideState = LspFuncs Config -> ideState -> PluginId -> CodeLensParams -> IO (Either ResponseError (List CodeLens)) Source #

type CommandFunction ideState a = LspFuncs Config -> ideState -> a -> IO (Either ResponseError Value, Maybe (ServerMethod, ApplyWorkspaceEditParams)) Source #

type ExecuteCommandProvider ideState = ideState -> ExecuteCommandParams -> IO (Either ResponseError Value, Maybe (ServerMethod, ApplyWorkspaceEditParams)) Source #

type CompletionProvider ideState = LspFuncs Config -> ideState -> CompletionParams -> IO (Either ResponseError CompletionResponseResult) Source #

type RenameProvider ideState = LspFuncs Config -> ideState -> RenameParams -> IO (Either ResponseError WorkspaceEdit) Source #

newtype WithSnippets Source #

Constructors

WithSnippets Bool