agda-language-server-0.2.2.6.2: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Server.CommandController

Synopsis

Documentation

take :: CommandController -> IO IOTCM Source #

Blocks if the front is empty

release :: CommandController -> IO () Source #

Move the payload from the queue to the front Does not block if the front or the queue is empty

put :: CommandController -> IOTCM -> IO () Source #

Does not block Move the payload to the front if the front is empty