Safe Haskell	None
Language	Haskell2010

Language.LSP.Server

Contents

Running
Handlers
LspT and LspM
VFS
Diagnostics
Progress
Dynamic registration

Synopsis

runServer :: ServerDefinition config -> IO Int
runServerWith :: IO ByteString -> (ByteString -> IO ()) -> ServerDefinition config -> IO Int
runServerWithHandles :: Handle -> Handle -> ServerDefinition config -> IO Int
data VFSData = VFSData {
- vfsData :: !VFS
- reverseMap :: !(Map FilePath FilePath)
}
data ServerDefinition config = forall m a. ServerDefinition {
- defaultConfig :: config
- onConfigurationChange :: config -> Value -> Either Text config
- doInitialize :: LanguageContextEnv config -> Message Initialize -> IO (Either ResponseError a)
- staticHandlers :: Handlers m
- interpretHandler :: a -> m <~> IO
- options :: Options
}
data Handlers m = Handlers {
- reqHandlers :: !(SMethodMap (ClientMessageHandler m Request))
- notHandlers :: !(SMethodMap (ClientMessageHandler m Notification))
}
type family Handler (f :: Type -> Type) (m :: Method from t) = (result :: Type) | result -> f t m where ...
transmuteHandlers :: (m <~> n) -> Handlers m -> Handlers n
mapHandlers :: (forall (a :: Method FromClient Request). Handler m a -> Handler n a) -> (forall (a :: Method FromClient Notification). Handler m a -> Handler n a) -> Handlers m -> Handlers n
notificationHandler :: forall (m :: Method FromClient Notification) f. SMethod m -> Handler f m -> Handlers f
requestHandler :: forall (m :: Method FromClient Request) f. SMethod m -> Handler f m -> Handlers f
newtype ClientMessageHandler f (t :: MethodType) (m :: Method FromClient t) = ClientMessageHandler (Handler f m)
data Options = Options {
- textDocumentSync :: Maybe TextDocumentSyncOptions
- completionTriggerCharacters :: Maybe [Char]
- completionAllCommitCharacters :: Maybe [Char]
- signatureHelpTriggerCharacters :: Maybe [Char]
- signatureHelpRetriggerCharacters :: Maybe [Char]
- codeActionKinds :: Maybe [CodeActionKind]
- documentOnTypeFormattingTriggerCharacters :: Maybe (NonEmpty Char)
- executeCommandCommands :: Maybe [Text]
- serverInfo :: Maybe ServerInfo
}
defaultOptions :: Options
newtype LspT config m a = LspT {
- unLspT :: ReaderT (LanguageContextEnv config) m a
}
type LspM config = LspT config IO
class MonadUnliftIO m => MonadLsp config m | m -> config where
- getLspEnv :: m (LanguageContextEnv config)
runLspT :: LanguageContextEnv config -> LspT config m a -> m a
data LanguageContextEnv config = LanguageContextEnv {
- resHandlers :: !(Handlers IO)
- resParseConfig :: !(config -> Value -> Either Text config)
- resSendMessage :: !(FromServerMessage -> IO ())
- resState :: !(LanguageContextState config)
- resClientCapabilities :: !ClientCapabilities
- resRootPath :: !(Maybe FilePath)
}
data m <~> n = Iso {
- forward :: forall a. m a -> n a
- backward :: forall a. n a -> m a
}
getClientCapabilities :: MonadLsp config m => m ClientCapabilities
getConfig :: MonadLsp config m => m config
getRootPath :: MonadLsp config m => m (Maybe FilePath)
getWorkspaceFolders :: MonadLsp config m => m (Maybe [WorkspaceFolder])
sendRequest :: forall (m :: Method FromServer Request) f config. MonadLsp config f => SServerMethod m -> MessageParams m -> (Either ResponseError (ResponseResult m) -> f ()) -> f (LspId m)
sendNotification :: forall (m :: Method FromServer Notification) f config. MonadLsp config f => SServerMethod m -> MessageParams m -> f ()
getVirtualFile :: MonadLsp config m => NormalizedUri -> m (Maybe VirtualFile)
getVirtualFiles :: MonadLsp config m => m VFS
persistVirtualFile :: MonadLsp config m => NormalizedUri -> m (Maybe FilePath)
getVersionedTextDoc :: MonadLsp config m => TextDocumentIdentifier -> m VersionedTextDocumentIdentifier
reverseFileMap :: MonadLsp config m => m (FilePath -> FilePath)
publishDiagnostics :: MonadLsp config m => Int -> NormalizedUri -> TextDocumentVersion -> DiagnosticsBySource -> m ()
flushDiagnosticsBySource :: MonadLsp config m => Int -> Maybe DiagnosticSource -> m ()
withProgress :: MonadLsp c m => Text -> ProgressCancellable -> ((ProgressAmount -> m ()) -> m a) -> m a
withIndefiniteProgress :: MonadLsp c m => Text -> ProgressCancellable -> m a -> m a
data ProgressAmount = ProgressAmount (Maybe UInt) (Maybe Text)
data ProgressCancellable
- = Cancellable
- | NotCancellable
data ProgressCancelledException
registerCapability :: forall f t (m :: Method FromClient t) config. MonadLsp config f => SClientMethod m -> RegistrationOptions m -> Handler f m -> f (Maybe (RegistrationToken m))
unregisterCapability :: MonadLsp config f => RegistrationToken m -> f ()
data RegistrationToken (m :: Method FromClient t)
setupLogger :: Maybe FilePath -> [String] -> Priority -> IO ()
reverseSortEdit :: WorkspaceEdit -> WorkspaceEdit

Running

runServer Source #

Arguments

:: ServerDefinition config	function to be called once initialize has been received from the client. Further message processing will start only after this returns.
-> IO Int

Convenience function for 'runServerWithHandles stdin stdout'.

runServerWith Source #

Arguments

:: IO ByteString	Client input.
-> (ByteString -> IO ())	Function to provide output to.
-> ServerDefinition config
-> IO Int

Starts listening and sending requests and responses using the specified I/O.

runServerWithHandles Source #

Arguments

:: Handle	Handle to read client input from.
-> Handle	Handle to write output to.
-> ServerDefinition config
-> IO Int

Starts a language server over the specified handles. This function will return once the exit notification is received.

data VFSData Source #

Constructors

VFSData
Fields vfsData :: !VFS reverseMap :: !(Map FilePath FilePath)

data ServerDefinition config Source #

Contains all the callbacks to use for initialized the language server. it is parameterized over a config type variable representing the type for the specific configuration data the language server needs to use.

Constructors

forall m a. ServerDefinition

Fields

defaultConfig :: config
The default value we initialize the config variable to.
onConfigurationChange :: config -> Value -> Either Text config
onConfigurationChange oldConfig newConfig is called whenever the clients sends a message with a changed client configuration. This callback should return either the parsed configuration data or an error indicating what went wrong. The parsed configuration object will be stored internally and can be accessed via config. It is also called on the initializationOptions field of the InitializeParams
doInitialize :: LanguageContextEnv config -> Message Initialize -> IO (Either ResponseError a)
Called *after* receiving the initialize request and *before* returning the response. This callback will be invoked to offer the language server implementation the chance to create any processes or start new threads that may be necesary for the server lifecycle. It can also return an error in the initialization if necessary.
staticHandlers :: Handlers m
Handlers for any methods you want to statically support. The handlers here cannot be unregistered during the server's lifetime and will be regsitered statically in the initialize request.
interpretHandler :: a -> m <~> IO
How to run the handlers in your own monad of choice, m. It is passed the result of doInitialize, so typically you will want to thread along the LanguageContextEnv as well as any other state you need to run your monad. m should most likely be built on top of LspT.
```
 ServerDefinition { ...
 , doInitialize = env _req -> pure $ Right env
 , interpretHandler = env -> Iso
    (runLspT env) -- how to convert from IO ~> m
    liftIO        -- how to convert from m ~> IO
 }
```
options :: Options
Configurable options for the server's capabilities.

Handlers

data Handlers m Source #

A mapping from methods to the static Handlers that should be used to handle responses when they come in from the client. To build up a Handlers, you should mconcat a list of notificationHandler and requestHandlers:

mconcat [
  notificationHandler SInitialized $ notif -> pure ()
, requestHandler STextDocumentHover $ req responder -> pure ()
]

Constructors

Handlers
Fields reqHandlers :: !(SMethodMap (ClientMessageHandler m Request)) notHandlers :: !(SMethodMap (ClientMessageHandler m Notification))

Instances

Instances details

Semigroup (Handlers config) Source #
Instance details Defined in Language.LSP.Server.Core Methods (<>) :: Handlers config -> Handlers config -> Handlers config # sconcat :: NonEmpty (Handlers config) -> Handlers config # stimes :: Integral b => b -> Handlers config -> Handlers config #
Monoid (Handlers config) Source #
Instance details Defined in Language.LSP.Server.Core Methods mempty :: Handlers config # mappend :: Handlers config -> Handlers config -> Handlers config # mconcat :: [Handlers config] -> Handlers config #

type family Handler (f :: Type -> Type) (m :: Method from t) = (result :: Type) | result -> f t m where ... Source #

The type of a handler that handles requests and notifications coming in from the server or client

Equations

Handler f (m :: Method _from Request) = RequestMessage m -> (Either ResponseError (ResponseResult m) -> f ()) -> f ()
Handler f (m :: Method _from Notification) = NotificationMessage m -> f ()

transmuteHandlers :: (m <~> n) -> Handlers m -> Handlers n Source #

mapHandlers :: (forall (a :: Method FromClient Request). Handler m a -> Handler n a) -> (forall (a :: Method FromClient Notification). Handler m a -> Handler n a) -> Handlers m -> Handlers n Source #

notificationHandler :: forall (m :: Method FromClient Notification) f. SMethod m -> Handler f m -> Handlers f Source #

requestHandler :: forall (m :: Method FromClient Request) f. SMethod m -> Handler f m -> Handlers f Source #

newtype ClientMessageHandler f (t :: MethodType) (m :: Method FromClient t) Source #

Wrapper to restrict Handlers to FromClient Methods

Constructors

ClientMessageHandler (Handler f m)

data Options Source #

Language Server Protocol options that the server may configure. If you set handlers for some requests, you may need to set some of these options.

Constructors

Options

Fields

textDocumentSync :: Maybe TextDocumentSyncOptions
completionTriggerCharacters :: Maybe [Char]
The characters that trigger completion automatically.
completionAllCommitCharacters :: Maybe [Char]
The list of all possible characters that commit a completion. This field can be used if clients don't support individual commmit characters per completion item. See $sel:_commitCharactersSupport:CompletionItemClientCapabilities.
signatureHelpTriggerCharacters :: Maybe [Char]
The characters that trigger signature help automatically.
signatureHelpRetriggerCharacters :: Maybe [Char]
List of characters that re-trigger signature help. These trigger characters are only active when signature help is already showing. All trigger characters are also counted as re-trigger characters.
codeActionKinds :: Maybe [CodeActionKind]
CodeActionKinds that this server may return. The list of kinds may be generic, such as Refactor, or the server may list out every specific kind they provide.
documentOnTypeFormattingTriggerCharacters :: Maybe (NonEmpty Char)
The list of characters that triggers on type formatting. If you set documentOnTypeFormattingHandler, you **must** set this. The first character is mandatory, so a NonEmpty should be passed.
executeCommandCommands :: Maybe [Text]
The commands to be executed on the server. If you set executeCommandHandler, you **must** set this.
serverInfo :: Maybe ServerInfo
Information about the server that can be advertised to the client.

Instances

Instances details

Default Options Source #
Instance details Defined in Language.LSP.Server.Core Methods def :: Options #

defaultOptions :: Options Source #

LspT and LspM

newtype LspT config m a Source #

Constructors

LspT
Fields unLspT :: ReaderT (LanguageContextEnv config) m a

Instances

Instances details

MonadUnliftIO m => MonadLsp config (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods getLspEnv :: LspT config m (LanguageContextEnv config) Source #
MonadTrans (LspT config) Source #
Instance details Defined in Language.LSP.Server.Core Methods lift :: Monad m => m a -> LspT config m a #
Monad m => Monad (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods (>>=) :: LspT config m a -> (a -> LspT config m b) -> LspT config m b # (>>) :: LspT config m a -> LspT config m b -> LspT config m b # return :: a -> LspT config m a #
Functor m => Functor (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods fmap :: (a -> b) -> LspT config m a -> LspT config m b # (<$) :: a -> LspT config m b -> LspT config m a #
MonadFix m => MonadFix (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods mfix :: (a -> LspT config m a) -> LspT config m a #
Applicative m => Applicative (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods pure :: a -> LspT config m a # (<>) :: LspT config m (a -> b) -> LspT config m a -> LspT config m b # liftA2 :: (a -> b -> c) -> LspT config m a -> LspT config m b -> LspT config m c # (>) :: LspT config m a -> LspT config m b -> LspT config m b # (<*) :: LspT config m a -> LspT config m b -> LspT config m a #
MonadIO m => MonadIO (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods liftIO :: IO a -> LspT config m a #
MonadThrow m => MonadThrow (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods throwM :: Exception e => e -> LspT config m a #
MonadCatch m => MonadCatch (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods catch :: Exception e => LspT config m a -> (e -> LspT config m a) -> LspT config m a #
MonadMask m => MonadMask (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods mask :: ((forall a. LspT config m a -> LspT config m a) -> LspT config m b) -> LspT config m b # uninterruptibleMask :: ((forall a. LspT config m a -> LspT config m a) -> LspT config m b) -> LspT config m b # generalBracket :: LspT config m a -> (a -> ExitCase b -> LspT config m c) -> (a -> LspT config m b) -> LspT config m (b, c) #
MonadUnliftIO m => MonadUnliftIO (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods withRunInIO :: ((forall a. LspT config m a -> IO a) -> IO b) -> LspT config m b #

type LspM config = LspT config IO Source #

class MonadUnliftIO m => MonadLsp config m | m -> config where Source #

Methods

getLspEnv :: m (LanguageContextEnv config) Source #

Instances

Instances details

MonadLsp c m => MonadLsp c (IdentityT m) Source #
Instance details Defined in Language.LSP.Server.Core Methods getLspEnv :: IdentityT m (LanguageContextEnv c) Source #
MonadLsp c m => MonadLsp c (ReaderT r m) Source #
Instance details Defined in Language.LSP.Server.Core Methods getLspEnv :: ReaderT r m (LanguageContextEnv c) Source #
MonadUnliftIO m => MonadLsp config (LspT config m) Source #
Instance details Defined in Language.LSP.Server.Core Methods getLspEnv :: LspT config m (LanguageContextEnv config) Source #

runLspT :: LanguageContextEnv config -> LspT config m a -> m a Source #

data LanguageContextEnv config Source #

Constructors

LanguageContextEnv
Fields resHandlers :: !(Handlers IO) resParseConfig :: !(config -> Value -> Either Text config) resSendMessage :: !(FromServerMessage -> IO ()) resState :: !(LanguageContextState config) resClientCapabilities :: !ClientCapabilities resRootPath :: !(Maybe FilePath)

data m <~> n Source #

How to convert two isomorphic data structures between each other.

Constructors

Iso
Fields forward :: forall a. m a -> n a backward :: forall a. n a -> m a

getClientCapabilities :: MonadLsp config m => m ClientCapabilities Source #

getConfig :: MonadLsp config m => m config Source #

The current configuration from the client as set via the initialize and workspace/didChangeConfiguration requests.

getRootPath :: MonadLsp config m => m (Maybe FilePath) Source #

getWorkspaceFolders :: MonadLsp config m => m (Maybe [WorkspaceFolder]) Source #

The current workspace folders, if the client supports workspace folders.

sendRequest :: forall (m :: Method FromServer Request) f config. MonadLsp config f => SServerMethod m -> MessageParams m -> (Either ResponseError (ResponseResult m) -> f ()) -> f (LspId m) Source #

sendNotification :: forall (m :: Method FromServer Notification) f config. MonadLsp config f => SServerMethod m -> MessageParams m -> f () Source #

VFS

getVirtualFile :: MonadLsp config m => NormalizedUri -> m (Maybe VirtualFile) Source #

Return the VirtualFile associated with a given NormalizedUri, if there is one.

getVirtualFiles :: MonadLsp config m => m VFS Source #

persistVirtualFile :: MonadLsp config m => NormalizedUri -> m (Maybe FilePath) Source #

Dump the current text for a given VFS file to a temporary file, and return the path to the file.

getVersionedTextDoc :: MonadLsp config m => TextDocumentIdentifier -> m VersionedTextDocumentIdentifier Source #

Given a text document identifier, annotate it with the latest version.

reverseFileMap :: MonadLsp config m => m (FilePath -> FilePath) Source #

If the contents of a VFS has been dumped to a temporary file, map the temporary file name back to the original one.

Diagnostics

publishDiagnostics :: MonadLsp config m => Int -> NormalizedUri -> TextDocumentVersion -> DiagnosticsBySource -> m () Source #

Aggregate all diagnostics pertaining to a particular version of a document, by source, and sends a textDocument/publishDiagnostics notification with the total (limited by the first parameter) whenever it is updated.

flushDiagnosticsBySource Source #

Arguments

:: MonadLsp config m
=> Int	Max number of diagnostics to send
-> Maybe DiagnosticSource
-> m ()

Remove all diagnostics from a particular source, and send the updates to the client.

Progress

withProgress :: MonadLsp c m => Text -> ProgressCancellable -> ((ProgressAmount -> m ()) -> m a) -> m a Source #

Wrapper for reporting progress to the client during a long running task. withProgress title cancellable f starts a new progress reporting session, and finishes it once f is completed. f is provided with an update function that allows it to report on the progress during the session. If cancellable is Cancellable, f will be thrown a ProgressCancelledException if the user cancels the action in progress.

withIndefiniteProgress :: MonadLsp c m => Text -> ProgressCancellable -> m a -> m a Source #

Same as withProgress, but for processes that do not report the precentage complete.

Since: 0.10.0.0

data ProgressAmount Source #

A package indicating the perecentage of progress complete and a an optional message to go with it during a withProgress

Since: 0.10.0.0

Constructors

ProgressAmount (Maybe UInt) (Maybe Text)

data ProgressCancellable Source #

Whether or not the user should be able to cancel a withProgress/withIndefiniteProgress session

Since: 0.11.0.0

Constructors

Cancellable
NotCancellable

data ProgressCancelledException Source #

Thrown if the user cancels a Cancellable withProgresswithIndefiniteProgress session

Since: 0.11.0.0

Instances

Instances details

Show ProgressCancelledException Source #
Instance details Defined in Language.LSP.Server.Core Methods showsPrec :: Int -> ProgressCancelledException -> ShowS # show :: ProgressCancelledException -> String # showList :: [ProgressCancelledException] -> ShowS #
Exception ProgressCancelledException Source #
Instance details Defined in Language.LSP.Server.Core Methods toException :: ProgressCancelledException -> SomeException # fromException :: SomeException -> Maybe ProgressCancelledException # displayException :: ProgressCancelledException -> String #

Dynamic registration

registerCapability :: forall f t (m :: Method FromClient t) config. MonadLsp config f => SClientMethod m -> RegistrationOptions m -> Handler f m -> f (Maybe (RegistrationToken m)) Source #

Sends a client/registerCapability request and dynamically registers a Method with a Handler. Returns Nothing if the client does not support dynamic registration for the specified method, otherwise a RegistrationToken which can be used to unregister it later.

unregisterCapability :: MonadLsp config f => RegistrationToken m -> f () Source #

Sends a client/unregisterCapability request and removes the handler for that associated registration.

data RegistrationToken (m :: Method FromClient t) Source #

setupLogger :: Maybe FilePath -> [String] -> Priority -> IO () Source #

reverseSortEdit :: WorkspaceEdit -> WorkspaceEdit Source #

The changes in a workspace edit should be applied from the end of the file toward the start. Sort them into this order.