hls-plugin-api-2.9.0.0: Haskell Language Server API for plugin communication
Safe HaskellSafe-Inferred
LanguageGHC2021

Ide.Plugin.HandleRequestTypes

Synopsis

Documentation

data RejectionReason Source #

Reasons why a plugin could reject a specific request.

Constructors

NotResolveOwner Text

The resolve request is not meant for this plugin or handler. The text field should contain the identifier for the plugin who owns this resolve request.

DisabledGlobally

The plugin is disabled globally in the users config.

FeatureDisabled

The feature in the plugin that responds to this request is disabled in the users config

NotFormattingProvider Text

This plugin is not the formatting provider selected in the users config. The text should be the formatting provider in your config.

DoesNotSupportFileType Text

This plugin does not support the file type. The text field here should contain the filetype of the rejected request.

Instances

Instances details
Eq RejectionReason Source # 
Instance details

Defined in Ide.Plugin.HandleRequestTypes

Pretty RejectionReason Source # 
Instance details

Defined in Ide.Plugin.HandleRequestTypes