scala3-language-server/dotty.tools.languageserver.worksheet

dotty.tools.languageserver.worksheet

package dotty.tools.languageserver.worksheet

Type members

Classlikes

class InputStreamConsumer(in: InputStream)
Companion
object
object InputStreamConsumer
Companion
class
object ReplProcess
object Worksheet
trait WorksheetClient extends LanguageClient

A LanguageClient that supports worksheet-specific notifications.

A LanguageClient that supports worksheet-specific notifications.

case class WorksheetRunOutput(textDocument: VersionedTextDocumentIdentifier, range: Range, content: String)

The parameters to the worksheet/publishOutput notification.

The parameters to the worksheet/publishOutput notification.

case class WorksheetRunParams(textDocument: VersionedTextDocumentIdentifier)

The parameter for the worksheet/run request.

The parameter for the worksheet/run request.

case class WorksheetRunResult(success: Boolean)

The response to a worksheet/run request.

The response to a worksheet/run request.

@JsonSegment("worksheet")
trait WorksheetService