Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data WithDeletions
- getProcessID :: IO Int
- normalize :: Range -> Range
- makeDiffTextEdit :: Text -> Text -> List TextEdit
- makeDiffTextEditAdditive :: Text -> Text -> List TextEdit
- diffText :: ClientCapabilities -> (Uri, Text) -> Text -> WithDeletions -> WorkspaceEdit
- diffText' :: Bool -> (Uri, Text) -> Text -> WithDeletions -> WorkspaceEdit
- pluginDescToIdePlugins :: [PluginDescriptor ideState] -> IdePlugins ideState
- idePluginsToPluginDesc :: IdePlugins ideState -> [PluginDescriptor ideState]
- responseError :: Text -> ResponseError
- getClientConfig :: MonadLsp Config m => m Config
- getPluginConfig :: MonadLsp Config m => PluginId -> m PluginConfig
- configForPlugin :: Config -> PluginId -> PluginConfig
- pluginEnabled :: PluginMethod m => SMethod m -> PluginId -> Config -> Bool
- extractRange :: Range -> Text -> Text
- fullRange :: Text -> Range
- mkLspCommand :: PluginId -> CommandId -> Text -> Maybe [Value] -> Command
- mkLspCmdId :: Text -> PluginId -> CommandId -> Text
- getPid :: IO Text
- allLspCmdIds :: Text -> [(PluginId, [PluginCommand ideState])] -> [Text]
- allLspCmdIds' :: Text -> IdePlugins ideState -> [Text]
- installSigUsr1Handler :: IO () -> IO ()
- subRange :: Range -> Range -> Bool
- positionInRange :: Position -> Range -> Bool
- usePropertyLsp :: (HasProperty s k t r, MonadLsp Config m) => KeyNameProxy s -> PluginId -> Properties r -> m (ToHsType t)
- getNormalizedFilePath :: Monad m => PluginId -> TextDocumentIdentifier -> ExceptT String m NormalizedFilePath
- response :: Monad m => ExceptT String m a -> m (Either ResponseError a)
- handleMaybe :: Monad m => e -> Maybe b -> ExceptT e m b
- handleMaybeM :: Monad m => e -> m (Maybe b) -> ExceptT e m b
Documentation
data WithDeletions Source #
Instances
Eq WithDeletions Source # | |
Defined in Ide.PluginUtils (==) :: WithDeletions -> WithDeletions -> Bool # (/=) :: WithDeletions -> WithDeletions -> Bool # |
getProcessID :: IO Int Source #
normalize :: Range -> Range Source #
Extend to the line below and above to replace newline character.
diffText :: ClientCapabilities -> (Uri, Text) -> Text -> WithDeletions -> WorkspaceEdit Source #
Generate a WorkspaceEdit
value from a pair of source Text
diffText' :: Bool -> (Uri, Text) -> Text -> WithDeletions -> WorkspaceEdit Source #
A pure version of diffText
for testing
pluginDescToIdePlugins :: [PluginDescriptor ideState] -> IdePlugins ideState Source #
idePluginsToPluginDesc :: IdePlugins ideState -> [PluginDescriptor ideState] Source #
responseError :: Text -> ResponseError Source #
getClientConfig :: MonadLsp Config m => m Config Source #
Returns the current client configuration. It is not wise to permanently cache the returned value of this function, as clients can at runitime change their configuration.
getPluginConfig :: MonadLsp Config m => PluginId -> m PluginConfig Source #
Returns the current plugin configuration. It is not wise to permanently cache the returned value of this function, as clients can change their configuration at runtime.
configForPlugin :: Config -> PluginId -> PluginConfig Source #
pluginEnabled :: PluginMethod m => SMethod m -> PluginId -> Config -> Bool Source #
Parse the configuration to check if this plugin is enabled
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.
allLspCmdIds :: Text -> [(PluginId, [PluginCommand ideState])] -> [Text] Source #
allLspCmdIds' :: Text -> IdePlugins ideState -> [Text] Source #
installSigUsr1Handler :: IO () -> IO () Source #
usePropertyLsp :: (HasProperty s k t r, MonadLsp Config m) => KeyNameProxy s -> PluginId -> Properties r -> m (ToHsType t) Source #
Returns the value of a property defined by the current plugin.
getNormalizedFilePath :: Monad m => PluginId -> TextDocumentIdentifier -> ExceptT String m NormalizedFilePath Source #