Ide.Types

Documentation

data PluginDescriptor (ideState :: Type)

Constructors

PluginDescriptor

Fields

• pluginId :: !PluginId

  Unique identifier of the plugin.

• pluginPriority :: Natural

  Plugin handlers are called in priority order, higher priority first

• pluginRules :: !(Rules ())
• pluginCommands :: ![PluginCommand ideState]
• pluginHandlers :: PluginHandlers ideState
• pluginConfigDescriptor :: ConfigDescriptor
• pluginNotificationHandlers :: PluginNotificationHandlers ideState
• pluginModifyDynflags :: DynFlagsModifications
• pluginCli :: Maybe (ParserInfo (IdeCommand ideState))
• pluginFileType :: [Text]

  File extension of the files the plugin is responsible for. The plugin is only allowed to handle files with these extensions. When writing handlers, etc. for this plugin it can be assumed that all handled files are of this type. The file extension must have a leading ..

defaultPluginDescriptor :: PluginId -> PluginDescriptor ideState

Set up a plugin descriptor, initialized with default values. This plugin descriptor is prepared for haskell files, such as

• .hs

• .lhs

• .hs-boot

and handlers will be enabled for files with the appropriate file extensions.

defaultCabalPluginDescriptor :: PluginId -> PluginDescriptor ideState

Set up a plugin descriptor, initialized with default values. This plugin descriptor is prepared for .cabal files and as such, will only respond / run when .cabal files are currently in scope.

Handles files with the following extensions: * .cabal

defaultPluginPriority :: Natural

newtype IdeCommand state

Constructors

IdeCommand (state -> IO ())

Instances

Show (IdeCommand st)

Defined in Ide.Types

Methods

showsPrec :: Int -> IdeCommand st -> ShowS

show :: IdeCommand st -> String

showList :: [IdeCommand st] -> ShowS

data IdeMethod (m :: Method ClientToServer Request)

Methods which have a PluginMethod instance

Constructors

PluginRequestMethod m => IdeMethod (SMethod m)

Instances

GCompare IdeMethod

Defined in Ide.Types

Methods

gcompare :: forall (a :: k) (b :: k). IdeMethod a -> IdeMethod b -> GOrdering a b

GEq IdeMethod

Defined in Ide.Types

Methods

geq :: forall (a :: k) (b :: k). IdeMethod a -> IdeMethod b -> Maybe (a :~: b)

data IdeNotification (m :: Method ClientToServer Notification)

Methods which have a PluginMethod instance

Constructors

PluginNotificationMethod m => IdeNotification (SMethod m)

Instances

GCompare IdeNotification

Defined in Ide.Types

Methods

gcompare :: forall (a :: k) (b :: k). IdeNotification a -> IdeNotification b -> GOrdering a b

GEq IdeNotification

Defined in Ide.Types

Methods

geq :: forall (a :: k) (b :: k). IdeNotification a -> IdeNotification b -> Maybe (a :~: b)

data IdePlugins ideState where

Bundled Patterns

pattern IdePlugins :: [PluginDescriptor ideState] -> IdePlugins ideState

Smart constructor that deduplicates plugins

Instances

Monoid (IdePlugins a)

Defined in Ide.Types

Methods

mempty :: IdePlugins a

mappend :: IdePlugins a -> IdePlugins a -> IdePlugins a

mconcat :: [IdePlugins a] -> IdePlugins a

Semigroup (IdePlugins a)

Defined in Ide.Types

Methods

(<>) :: IdePlugins a -> IdePlugins a -> IdePlugins a

sconcat :: NonEmpty (IdePlugins a) -> IdePlugins a

stimes :: Integral b => b -> IdePlugins a -> IdePlugins a

data DynFlagsModifications

Hooks for modifying the DynFlags at different times of the compilation process. Plugins can install a DynFlagsModifications via pluginModifyDynflags in their PluginDescriptor.

Constructors

DynFlagsModifications

Fields

• dynFlagsModifyGlobal :: DynFlags -> DynFlags

  Invoked immediately at the package level. Changes to the DynFlags made in dynFlagsModifyGlobal are guaranteed to be seen everywhere in the compilation pipeline.

• dynFlagsModifyParser :: DynFlags -> DynFlags

  Invoked just before the parsing step, and reset immediately afterwards. dynFlagsModifyParser allows plugins to enable language extensions only during parsing. for example, to let them enable certain pieces of syntax.

Instances

Monoid DynFlagsModifications

Defined in Ide.Types

Methods

mempty :: DynFlagsModifications

mappend :: DynFlagsModifications -> DynFlagsModifications -> DynFlagsModifications

mconcat :: [DynFlagsModifications] -> DynFlagsModifications

Semigroup DynFlagsModifications

Defined in Ide.Types

Methods

(<>) :: DynFlagsModifications -> DynFlagsModifications -> DynFlagsModifications

sconcat :: NonEmpty DynFlagsModifications -> DynFlagsModifications

stimes :: Integral b => b -> DynFlagsModifications -> DynFlagsModifications

data Config

We (initially anyway) mirror the hie configuration, so that existing clients can simply switch executable and not have any nasty surprises. There will initially be surprises relating to config options being ignored though.

Constructors

Config

Fields

• checkParents :: CheckParents
• checkProject :: !Bool
• formattingProvider :: !Text
• cabalFormattingProvider :: !Text
• maxCompletions :: !Int
• plugins :: !(Map PluginId PluginConfig)

Instances

ToJSON Config

Defined in Ide.Types

Methods

toJSON :: Config -> Value

toEncoding :: Config -> Encoding

toJSONList :: [Config] -> Value

toEncodingList :: [Config] -> Encoding

Show Config

Defined in Ide.Types

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

Default Config

Defined in Ide.Types

Methods

def :: Config

Eq Config

Defined in Ide.Types

Methods

(==) :: Config -> Config -> Bool

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

data PluginConfig

A PluginConfig is a generic configuration for a given HLS plugin. It provides a "big switch" to turn it on or off as a whole, as well as small switches per feature, and a slot for custom config. This provides a regular naming scheme for all plugin config.

Constructors

PluginConfig

Fields

• plcGlobalOn :: !Bool
• plcCallHierarchyOn :: !Bool
• plcCodeActionsOn :: !Bool
• plcCodeLensOn :: !Bool
• plcDiagnosticsOn :: !Bool
• plcHoverOn :: !Bool
• plcSymbolsOn :: !Bool
• plcCompletionOn :: !Bool
• plcRenameOn :: !Bool
• plcSelectionRangeOn :: !Bool
• plcFoldingRangeOn :: !Bool
• plcConfig :: !Object

Instances

ToJSON PluginConfig

Defined in Ide.Types

Methods

toJSON :: PluginConfig -> Value

toEncoding :: PluginConfig -> Encoding

toJSONList :: [PluginConfig] -> Value

toEncodingList :: [PluginConfig] -> Encoding

Show PluginConfig

Defined in Ide.Types

Methods

showsPrec :: Int -> PluginConfig -> ShowS

show :: PluginConfig -> String

showList :: [PluginConfig] -> ShowS

Default PluginConfig

Defined in Ide.Types

Methods

def :: PluginConfig

Eq PluginConfig

Defined in Ide.Types

Methods

(==) :: PluginConfig -> PluginConfig -> Bool

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

data CheckParents

Constructors

NeverCheck

CheckOnSave

AlwaysCheck

Instances

FromJSON CheckParents

Defined in Ide.Types

Methods

parseJSON :: Value -> Parser CheckParents

parseJSONList :: Value -> Parser [CheckParents]

ToJSON CheckParents

Defined in Ide.Types

Methods

toJSON :: CheckParents -> Value

toEncoding :: CheckParents -> Encoding

toJSONList :: [CheckParents] -> Value

toEncodingList :: [CheckParents] -> Encoding

Generic CheckParents

Defined in Ide.Types

Associated Types

type Rep CheckParents :: Type -> Type

Methods

from :: CheckParents -> Rep CheckParents x

to :: Rep CheckParents x -> CheckParents

Show CheckParents

Defined in Ide.Types

Methods

showsPrec :: Int -> CheckParents -> ShowS

show :: CheckParents -> String

showList :: [CheckParents] -> ShowS

Eq CheckParents

Defined in Ide.Types

Methods

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

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

Ord CheckParents

Defined in Ide.Types

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

type Rep CheckParents

Defined in Ide.Types

type Rep CheckParents = D1 ('MetaData "CheckParents" "Ide.Types" "hls-plugin-api-2.2.0.0-2axyaSlCOFs2LEHl2Laojp" 'False) (C1 ('MetaCons "NeverCheck" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CheckOnSave" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlwaysCheck" 'PrefixI 'False) (U1 :: Type -> Type)))

data ConfigDescriptor

Describes the configuration of a plugin. A plugin may be configurable as can be seen below:

{
 "plugin-id": {
   "globalOn": true,
   "codeActionsOn": true,
   "codeLensOn": true,
   "config": {
     "property1": "foo"
    }
  }
}

globalOn, codeActionsOn, and codeLensOn etc. are called generic configs which can be inferred from handlers registered by the plugin. config is called custom config, which is defined using Properties.

Constructors

ConfigDescriptor

Fields

• configInitialGenericConfig :: PluginConfig

  Initial values for the generic config

• configHasDiagnostics :: Bool

  Whether or not to generate diagnosticsOn config. Diagnostics emit in arbitrary shake rules, so we can't know statically if the plugin produces diagnostics

• configCustomConfig :: CustomConfig

  Custom config.

defaultConfigDescriptor :: ConfigDescriptor

configForPlugin :: Config -> PluginDescriptor c -> PluginConfig

Lookup the current config for a plugin

pluginEnabledConfig :: (PluginConfig -> Bool) -> PluginConfig -> Bool

Checks that a given plugin is both enabled and the specific feature is enabled

data CustomConfig

An existential wrapper of Properties

Constructors

forall r. CustomConfig (Properties r)

mkCustomConfig :: Properties r -> CustomConfig

data FallbackCodeActionParams

Constructors

FallbackCodeActionParams

Fields

• fallbackWorkspaceEdit :: Maybe WorkspaceEdit
• fallbackCommand :: Maybe Command

Instances

FromJSON FallbackCodeActionParams

Defined in Ide.Types

Methods

parseJSON :: Value -> Parser FallbackCodeActionParams

parseJSONList :: Value -> Parser [FallbackCodeActionParams]

ToJSON FallbackCodeActionParams

Defined in Ide.Types

Methods

toJSON :: FallbackCodeActionParams -> Value

toEncoding :: FallbackCodeActionParams -> Encoding

toJSONList :: [FallbackCodeActionParams] -> Value

toEncodingList :: [FallbackCodeActionParams] -> Encoding

Generic FallbackCodeActionParams

Defined in Ide.Types

Associated Types

type Rep FallbackCodeActionParams :: Type -> Type

Methods

from :: FallbackCodeActionParams -> Rep FallbackCodeActionParams x

to :: Rep FallbackCodeActionParams x -> FallbackCodeActionParams

type Rep FallbackCodeActionParams

Defined in Ide.Types

type Rep FallbackCodeActionParams = D1 ('MetaData "FallbackCodeActionParams" "Ide.Types" "hls-plugin-api-2.2.0.0-2axyaSlCOFs2LEHl2Laojp" 'False) (C1 ('MetaCons "FallbackCodeActionParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "fallbackWorkspaceEdit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WorkspaceEdit)) :*: S1 ('MetaSel ('Just "fallbackCommand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Command))))

data FormattingType

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 FormattingMethod m = (HasOptions (MessageParams m) FormattingOptions, HasTextDocument (MessageParams m) TextDocumentIdentifier, MessageResult m ~ ([TextEdit] |? Null))

type FormattingHandler a = a -> FormattingType -> Text -> NormalizedFilePath -> FormattingOptions -> ExceptT PluginError (LspM Config) ([TextEdit] |? Null)

mkFormattingHandlers :: forall a. FormattingHandler a -> PluginHandlers a

class HasTracing a where

Minimal complete definition

Nothing

Methods

traceWithSpan :: SpanInFlight -> a -> IO ()

Instances

HasTracing Value

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> Value -> IO ()

HasTracing CallHierarchyIncomingCallsParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> CallHierarchyIncomingCallsParams -> IO ()

HasTracing CallHierarchyOutgoingCallsParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> CallHierarchyOutgoingCallsParams -> IO ()

HasTracing CodeAction

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> CodeAction -> IO ()

HasTracing CodeLens

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> CodeLens -> IO ()

HasTracing CompletionItem

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> CompletionItem -> IO ()

HasTracing DidChangeConfigurationParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> DidChangeConfigurationParams -> IO ()

HasTracing DidChangeWatchedFilesParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> DidChangeWatchedFilesParams -> IO ()

HasTracing DidChangeWorkspaceFoldersParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> DidChangeWorkspaceFoldersParams -> IO ()

HasTracing DocumentLink

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> DocumentLink -> IO ()

HasTracing ExecuteCommandParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> ExecuteCommandParams -> IO ()

HasTracing InitializeParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> InitializeParams -> IO ()

HasTracing InitializedParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> InitializedParams -> IO ()

HasTracing InlayHint

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> InlayHint -> IO ()

HasTracing WorkspaceSymbol

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> WorkspaceSymbol -> IO ()

HasTracing WorkspaceSymbolParams

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> WorkspaceSymbolParams -> IO ()

(HasTextDocument a doc, HasUri doc Uri) => HasTracing a

Defined in Ide.Types

Methods

traceWithSpan :: SpanInFlight -> a -> IO ()

data PluginCommand ideState

Constructors

forall a.FromJSON a => PluginCommand

Fields

• commandId :: CommandId
• commandDesc :: Text
• commandFunc :: CommandFunction ideState a

newtype CommandId

Constructors

CommandId Text

Instances

IsString CommandId

Defined in Ide.Types

Methods

fromString :: String -> CommandId

Read CommandId

Defined in Ide.Types

Methods

readsPrec :: Int -> ReadS CommandId

readList :: ReadS [CommandId]

readPrec :: ReadPrec CommandId

readListPrec :: ReadPrec [CommandId]

Show CommandId

Defined in Ide.Types

Methods

showsPrec :: Int -> CommandId -> ShowS

show :: CommandId -> String

showList :: [CommandId] -> ShowS

Eq CommandId

Defined in Ide.Types

Methods

(==) :: CommandId -> CommandId -> Bool

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

Ord CommandId

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

type CommandFunction ideState a = ideState -> a -> ExceptT PluginError (LspM Config) (Value |? Null)

mkLspCommand :: PluginId -> CommandId -> Text -> Maybe [Value] -> Command

mkLspCmdId :: Text -> PluginId -> CommandId -> Text

newtype PluginId

Constructors

PluginId Text

Instances

FromJSON PluginId

Defined in Ide.Types

Methods

parseJSON :: Value -> Parser PluginId

parseJSONList :: Value -> Parser [PluginId]

ToJSON PluginId

Defined in Ide.Types

Methods

toJSON :: PluginId -> Value

toEncoding :: PluginId -> Encoding

toJSONList :: [PluginId] -> Value

toEncodingList :: [PluginId] -> Encoding

IsString PluginId

Defined in Ide.Types

Methods

fromString :: String -> PluginId

Read PluginId

Defined in Ide.Types

Methods

readsPrec :: Int -> ReadS PluginId

readList :: ReadS [PluginId]

readPrec :: ReadPrec PluginId

readListPrec :: ReadPrec [PluginId]

Show PluginId

Defined in Ide.Types

Methods

showsPrec :: Int -> PluginId -> ShowS

show :: PluginId -> String

showList :: [PluginId] -> ShowS

Eq PluginId

Defined in Ide.Types

Methods

(==) :: PluginId -> PluginId -> Bool

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

Ord PluginId

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

Hashable PluginId

Defined in Ide.Types

Methods

hashWithSalt :: Int -> PluginId -> Int

hash :: PluginId -> Int

newtype PluginHandler a (m :: Method ClientToServer Request)

Combine handlers for the

Constructors

PluginHandler (PluginId -> a -> MessageParams m -> LspM Config (NonEmpty (Either PluginError (MessageResult m))))

mkPluginHandler :: forall ideState m. PluginRequestMethod m => SClientMethod m -> PluginMethodHandler ideState m -> PluginHandlers ideState

Make a handler for plugins. For how resolve works with this see Note [Resolve in PluginHandlers]

newtype PluginHandlers a

Constructors

PluginHandlers (DMap IdeMethod (PluginHandler a))

Instances

Monoid (PluginHandlers a)

Defined in Ide.Types

Methods

mempty :: PluginHandlers a

mappend :: PluginHandlers a -> PluginHandlers a -> PluginHandlers a

mconcat :: [PluginHandlers a] -> PluginHandlers a

Semigroup (PluginHandlers a)

Defined in Ide.Types

Methods

(<>) :: PluginHandlers a -> PluginHandlers a -> PluginHandlers a

sconcat :: NonEmpty (PluginHandlers a) -> PluginHandlers a

stimes :: Integral b => b -> PluginHandlers a -> PluginHandlers a

class HasTracing (MessageParams m) => PluginMethod (k :: MessageKind) (m :: Method ClientToServer k) where

Methods that can be handled by plugins. ExtraParams captures any extra data the IDE passes to the handlers for this method Only methods for which we know how to combine responses can be instances of PluginMethod

Minimal complete definition

Nothing

Methods

pluginEnabled

Arguments

:: SMethod m

Method type.

-> MessageParams m

Whether a plugin is enabled might depend on the message parameters e.g. pluginFileType specifies which file extensions a plugin is allowed to handle

-> PluginDescriptor c

Contains meta information such as PluginId and which file types this plugin is able to handle.

-> Config

Generic config description, expected to contain PluginConfig configuration for this plugin

-> Bool

Is this plugin enabled and allowed to respond to the given request with the given parameters?

Parse the configuration to check if this plugin is enabled. Perform sanity checks on the message to see whether the plugin is enabled for this message in particular. If a plugin is not enabled, its handlers, commands, etc. will not be run for the given message.

Semantically, this method describes whether a plugin is enabled configuration wise and is allowed to respond to the message. This might depend on the URI that is associated to the Message Parameters. There are requests with no associated URI that, consequentially, cannot inspect the URI.

A common reason why a plugin might not be allowed to respond although it is enabled: * The plugin cannot handle requests associated with the specific URI * Since the implementation of cabal plugins HLS knows plugins specific to Haskell and specific to Cabal file descriptions

Strictly speaking, we are conflating two concepts here: * Dynamically enabled (e.g. on a per-message basis) * Statically enabled (e.g. by configuration in the lsp-client) * Strictly speaking, this might also change dynamically

But there is no use to split it up into two different methods for now.

default pluginEnabled :: (HasTextDocument (MessageParams m) doc, HasUri doc Uri) => SMethod m -> MessageParams m -> PluginDescriptor c -> Config -> Bool

Instances

PluginMethod 'Notification 'Method_Initialized

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_Initialized -> MessageParams 'Method_Initialized -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_TextDocumentDidChange

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDidChange -> MessageParams 'Method_TextDocumentDidChange -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_TextDocumentDidClose

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDidClose -> MessageParams 'Method_TextDocumentDidClose -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_TextDocumentDidOpen

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDidOpen -> MessageParams 'Method_TextDocumentDidOpen -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_TextDocumentDidSave

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDidSave -> MessageParams 'Method_TextDocumentDidSave -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_WorkspaceDidChangeConfiguration

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_WorkspaceDidChangeConfiguration -> MessageParams 'Method_WorkspaceDidChangeConfiguration -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_WorkspaceDidChangeWatchedFiles

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_WorkspaceDidChangeWatchedFiles -> MessageParams 'Method_WorkspaceDidChangeWatchedFiles -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Notification 'Method_WorkspaceDidChangeWorkspaceFolders

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_WorkspaceDidChangeWorkspaceFolders -> MessageParams 'Method_WorkspaceDidChangeWorkspaceFolders -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_CallHierarchyIncomingCalls

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_CallHierarchyIncomingCalls -> MessageParams 'Method_CallHierarchyIncomingCalls -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_CallHierarchyOutgoingCalls

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_CallHierarchyOutgoingCalls -> MessageParams 'Method_CallHierarchyOutgoingCalls -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_CodeActionResolve

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_CodeActionResolve -> MessageParams 'Method_CodeActionResolve -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_CodeLensResolve

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_CodeLensResolve -> MessageParams 'Method_CodeLensResolve -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_CompletionItemResolve

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_CompletionItemResolve -> MessageParams 'Method_CompletionItemResolve -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentCodeAction

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentCodeAction -> MessageParams 'Method_TextDocumentCodeAction -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentCodeLens

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentCodeLens -> MessageParams 'Method_TextDocumentCodeLens -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentCompletion

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentCompletion -> MessageParams 'Method_TextDocumentCompletion -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentDefinition

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDefinition -> MessageParams 'Method_TextDocumentDefinition -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentDocumentHighlight

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDocumentHighlight -> MessageParams 'Method_TextDocumentDocumentHighlight -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentDocumentSymbol

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentDocumentSymbol -> MessageParams 'Method_TextDocumentDocumentSymbol -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentFoldingRange

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentFoldingRange -> MessageParams 'Method_TextDocumentFoldingRange -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentFormatting

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentFormatting -> MessageParams 'Method_TextDocumentFormatting -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentHover

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentHover -> MessageParams 'Method_TextDocumentHover -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentPrepareCallHierarchy

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentPrepareCallHierarchy -> MessageParams 'Method_TextDocumentPrepareCallHierarchy -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentRangeFormatting

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentRangeFormatting -> MessageParams 'Method_TextDocumentRangeFormatting -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentReferences

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentReferences -> MessageParams 'Method_TextDocumentReferences -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentRename

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentRename -> MessageParams 'Method_TextDocumentRename -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentSelectionRange

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentSelectionRange -> MessageParams 'Method_TextDocumentSelectionRange -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_TextDocumentTypeDefinition

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_TextDocumentTypeDefinition -> MessageParams 'Method_TextDocumentTypeDefinition -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_WorkspaceExecuteCommand

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_WorkspaceExecuteCommand -> MessageParams 'Method_WorkspaceExecuteCommand -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request 'Method_WorkspaceSymbol

Defined in Ide.Types

Methods

pluginEnabled :: SMethod 'Method_WorkspaceSymbol -> MessageParams 'Method_WorkspaceSymbol -> PluginDescriptor c -> Config -> Bool

PluginMethod 'Request ('Method_CustomMethod m :: Method 'ClientToServer 'Request)

Defined in Ide.Types

Methods

pluginEnabled :: SMethod ('Method_CustomMethod m) -> MessageParams ('Method_CustomMethod m) -> PluginDescriptor c -> Config -> Bool

type PluginMethodHandler a m = a -> PluginId -> MessageParams m -> ExceptT PluginError (LspM Config) (MessageResult m)

newtype PluginNotificationHandler a (m :: Method ClientToServer Notification)

Constructors

PluginNotificationHandler (PluginId -> a -> VFS -> MessageParams m -> LspM Config ())

mkPluginNotificationHandler :: PluginNotificationMethod m => SClientMethod (m :: Method ClientToServer Notification) -> PluginNotificationMethodHandler ideState m -> PluginNotificationHandlers ideState

Make a handler for plugins with no extra data

newtype PluginNotificationHandlers a

Constructors

PluginNotificationHandlers (DMap IdeNotification (PluginNotificationHandler a))

Instances

Monoid (PluginNotificationHandlers a)

Defined in Ide.Types

Methods

mempty :: PluginNotificationHandlers a

mappend :: PluginNotificationHandlers a -> PluginNotificationHandlers a -> PluginNotificationHandlers a

mconcat :: [PluginNotificationHandlers a] -> PluginNotificationHandlers a

Semigroup (PluginNotificationHandlers a)

Defined in Ide.Types

Methods

(<>) :: PluginNotificationHandlers a -> PluginNotificationHandlers a -> PluginNotificationHandlers a

sconcat :: NonEmpty (PluginNotificationHandlers a) -> PluginNotificationHandlers a

stimes :: Integral b => b -> PluginNotificationHandlers a -> PluginNotificationHandlers a

class PluginMethod Request m => PluginRequestMethod (m :: Method ClientToServer Request) where

Minimal complete definition

Nothing

Methods

combineResponses

Arguments

:: SMethod m

-> Config

IDE Configuration

-> ClientCapabilities

-> MessageParams m

-> NonEmpty (MessageResult m)

-> MessageResult m

How to combine responses from different plugins.

For example, for Hover requests, we might have multiple producers of Hover information. We do not want to decide which one to display to the user but instead allow to define how to merge two hover request responses into one glorious hover box.

However, as sometimes only one handler of a request can realistically exist (such as TextDocumentFormatting), it is safe to just unconditionally report back one arbitrary result (arbitrary since it should only be one anyway).

default combineResponses :: Semigroup (MessageResult m) => SMethod m -> Config -> ClientCapabilities -> MessageParams m -> NonEmpty (MessageResult m) -> MessageResult m

Instances

PluginRequestMethod 'Method_CallHierarchyIncomingCalls

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_CallHierarchyIncomingCalls -> Config -> ClientCapabilities -> MessageParams 'Method_CallHierarchyIncomingCalls -> NonEmpty (MessageResult 'Method_CallHierarchyIncomingCalls) -> MessageResult 'Method_CallHierarchyIncomingCalls

PluginRequestMethod 'Method_CallHierarchyOutgoingCalls

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_CallHierarchyOutgoingCalls -> Config -> ClientCapabilities -> MessageParams 'Method_CallHierarchyOutgoingCalls -> NonEmpty (MessageResult 'Method_CallHierarchyOutgoingCalls) -> MessageResult 'Method_CallHierarchyOutgoingCalls

PluginRequestMethod 'Method_CodeActionResolve

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_CodeActionResolve -> Config -> ClientCapabilities -> MessageParams 'Method_CodeActionResolve -> NonEmpty (MessageResult 'Method_CodeActionResolve) -> MessageResult 'Method_CodeActionResolve

PluginRequestMethod 'Method_CodeLensResolve

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_CodeLensResolve -> Config -> ClientCapabilities -> MessageParams 'Method_CodeLensResolve -> NonEmpty (MessageResult 'Method_CodeLensResolve) -> MessageResult 'Method_CodeLensResolve

PluginRequestMethod 'Method_CompletionItemResolve

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_CompletionItemResolve -> Config -> ClientCapabilities -> MessageParams 'Method_CompletionItemResolve -> NonEmpty (MessageResult 'Method_CompletionItemResolve) -> MessageResult 'Method_CompletionItemResolve

PluginRequestMethod 'Method_TextDocumentCodeAction

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentCodeAction -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentCodeAction -> NonEmpty (MessageResult 'Method_TextDocumentCodeAction) -> MessageResult 'Method_TextDocumentCodeAction

PluginRequestMethod 'Method_TextDocumentCodeLens

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentCodeLens -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentCodeLens -> NonEmpty (MessageResult 'Method_TextDocumentCodeLens) -> MessageResult 'Method_TextDocumentCodeLens

PluginRequestMethod 'Method_TextDocumentCompletion

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentCompletion -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentCompletion -> NonEmpty (MessageResult 'Method_TextDocumentCompletion) -> MessageResult 'Method_TextDocumentCompletion

PluginRequestMethod 'Method_TextDocumentDefinition

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentDefinition -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentDefinition -> NonEmpty (MessageResult 'Method_TextDocumentDefinition) -> MessageResult 'Method_TextDocumentDefinition

PluginRequestMethod 'Method_TextDocumentDocumentHighlight

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentDocumentHighlight -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentDocumentHighlight -> NonEmpty (MessageResult 'Method_TextDocumentDocumentHighlight) -> MessageResult 'Method_TextDocumentDocumentHighlight

PluginRequestMethod 'Method_TextDocumentDocumentSymbol

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentDocumentSymbol -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentDocumentSymbol -> NonEmpty (MessageResult 'Method_TextDocumentDocumentSymbol) -> MessageResult 'Method_TextDocumentDocumentSymbol

PluginRequestMethod 'Method_TextDocumentFoldingRange

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentFoldingRange -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentFoldingRange -> NonEmpty (MessageResult 'Method_TextDocumentFoldingRange) -> MessageResult 'Method_TextDocumentFoldingRange

PluginRequestMethod 'Method_TextDocumentFormatting

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentFormatting -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentFormatting -> NonEmpty (MessageResult 'Method_TextDocumentFormatting) -> MessageResult 'Method_TextDocumentFormatting

PluginRequestMethod 'Method_TextDocumentHover

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentHover -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentHover -> NonEmpty (MessageResult 'Method_TextDocumentHover) -> MessageResult 'Method_TextDocumentHover

PluginRequestMethod 'Method_TextDocumentPrepareCallHierarchy

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentPrepareCallHierarchy -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentPrepareCallHierarchy -> NonEmpty (MessageResult 'Method_TextDocumentPrepareCallHierarchy) -> MessageResult 'Method_TextDocumentPrepareCallHierarchy

PluginRequestMethod 'Method_TextDocumentRangeFormatting

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentRangeFormatting -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentRangeFormatting -> NonEmpty (MessageResult 'Method_TextDocumentRangeFormatting) -> MessageResult 'Method_TextDocumentRangeFormatting

PluginRequestMethod 'Method_TextDocumentReferences

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentReferences -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentReferences -> NonEmpty (MessageResult 'Method_TextDocumentReferences) -> MessageResult 'Method_TextDocumentReferences

PluginRequestMethod 'Method_TextDocumentRename

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentRename -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentRename -> NonEmpty (MessageResult 'Method_TextDocumentRename) -> MessageResult 'Method_TextDocumentRename

PluginRequestMethod 'Method_TextDocumentSelectionRange

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentSelectionRange -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentSelectionRange -> NonEmpty (MessageResult 'Method_TextDocumentSelectionRange) -> MessageResult 'Method_TextDocumentSelectionRange

PluginRequestMethod 'Method_TextDocumentTypeDefinition

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_TextDocumentTypeDefinition -> Config -> ClientCapabilities -> MessageParams 'Method_TextDocumentTypeDefinition -> NonEmpty (MessageResult 'Method_TextDocumentTypeDefinition) -> MessageResult 'Method_TextDocumentTypeDefinition

PluginRequestMethod 'Method_WorkspaceSymbol

Defined in Ide.Types

Methods

combineResponses :: SMethod 'Method_WorkspaceSymbol -> Config -> ClientCapabilities -> MessageParams 'Method_WorkspaceSymbol -> NonEmpty (MessageResult 'Method_WorkspaceSymbol) -> MessageResult 'Method_WorkspaceSymbol

PluginRequestMethod ('Method_CustomMethod m :: Method 'ClientToServer 'Request)

Defined in Ide.Types

Methods

combineResponses :: SMethod ('Method_CustomMethod m) -> Config -> ClientCapabilities -> MessageParams ('Method_CustomMethod m) -> NonEmpty (MessageResult ('Method_CustomMethod m)) -> MessageResult ('Method_CustomMethod m)

getProcessID :: IO Int

getPid :: IO Text

Get the operating system process id for the running server instance. This should be the same for the lifetime of the instance, and different from that of any other currently running instance.

installSigUsr1Handler :: IO () -> IO ()

lookupCommandProvider :: IdePlugins ideState -> CommandId -> Maybe PluginId

type ResolveFunction ideState a (m :: Method ClientToServer Request) = ideState -> PluginId -> MessageParams m -> Uri -> a -> ExceptT PluginError (LspM Config) (MessageResult m)

mkResolveHandler :: forall ideState a m. (FromJSON a, PluginRequestMethod m, HasData_ (MessageParams m) (Maybe Value)) => SClientMethod m -> ResolveFunction ideState a m -> PluginHandlers ideState

Make a handler for resolve methods. In here we take your provided ResolveFunction and turn it into a PluginHandlers. See Note [Resolve in PluginHandlers]