Skip to content

Commit 4eba1dc

Browse files
razzmatazztcx4c70
andauthored
src/Types.fs: import *RegistrationOptions types from LSP spec (#64)
Co-authored-by: Adam Tao <[email protected]>
1 parent 33e881d commit 4eba1dc

File tree

1 file changed

+63
-1
lines changed

1 file changed

+63
-1
lines changed

src/Types.fs

Lines changed: 63 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1500,6 +1500,15 @@ type CompletionOptions =
15001500
CompletionItem: CompletionItemOptions option
15011501
}
15021502

1503+
type CompletionRegistrationOptions =
1504+
{
1505+
TriggerCharacters: char [] option
1506+
AllCommitCharacters: char [] option
1507+
CompletionItem: CompletionItemOptions option
1508+
ResolveProvider: bool option
1509+
DocumentSelector: DocumentSelector option
1510+
}
1511+
15031512
/// Signature help options.
15041513
type SignatureHelpOptions =
15051514
{
@@ -1512,6 +1521,13 @@ type SignatureHelpOptions =
15121521
RetriggerCharacters: char[] option
15131522
}
15141523

1524+
type SignatureHelpRegistrationOptions =
1525+
{
1526+
TriggerCharacters: char [] option
1527+
RetriggerCharacters: char [] option
1528+
DocumentSelector: DocumentSelector option
1529+
}
1530+
15151531
/// Document Symbol options
15161532
type DocumentSymbolOptions =
15171533
{
@@ -1520,6 +1536,12 @@ type DocumentSymbolOptions =
15201536
Label: string option
15211537
}
15221538

1539+
type DocumentSymbolRegistrationOptions =
1540+
{
1541+
Label: string option
1542+
DocumentSelector: DocumentSelector option
1543+
}
1544+
15231545
/// Code action options.
15241546
type CodeActionOptions =
15251547
{
@@ -1541,6 +1563,12 @@ type CodeLensOptions =
15411563
ResolveProvider: bool option
15421564
}
15431565

1566+
type CodeLensRegistrationOptions =
1567+
{
1568+
ResolveProvider: bool option
1569+
DocumentSelector: DocumentSelector option
1570+
}
1571+
15441572
/// Format document on type options
15451573
type DocumentOnTypeFormattingOptions =
15461574
{
@@ -1551,6 +1579,13 @@ type DocumentOnTypeFormattingOptions =
15511579
MoreTriggerCharacter: char[] option
15521580
}
15531581

1582+
type DocumentOnTypeFormattingRegistrationOptions =
1583+
{
1584+
FirstTriggerCharacter: char
1585+
MoreTriggerCharacter: char [] option
1586+
DocumentSelector: DocumentSelector option
1587+
}
1588+
15541589
/// Document link options
15551590
type DocumentLinkOptions =
15561591
{
@@ -1624,12 +1659,26 @@ type SemanticTokensOptions =
16241659
Full: U2<bool, SemanticTokenFullOptions> option
16251660
}
16261661

1662+
type SemanticTokensRegistrationOptions =
1663+
{
1664+
Legend: SemanticTokensLegend
1665+
Range: bool option
1666+
Full: U2<bool, SemanticTokenFullOptions> option
1667+
DocumentSelector: DocumentSelector option
1668+
}
1669+
16271670
type InlayHintOptions =
16281671
{
16291672
/// The server provides support to resolve additional information for an inlay hint item.
16301673
ResolveProvider: bool option
16311674
}
16321675

1676+
type InlayHintRegistrationOptions =
1677+
{
1678+
ResolveProvider: bool option
1679+
DocumentSelector: DocumentSelector option
1680+
}
1681+
16331682
type InlineValueOptions =
16341683
{
16351684
/// The server provides support to resolve additional information for aniline lay hint item.
@@ -1731,6 +1780,12 @@ type RenameOptions =
17311780
PrepareProvider: bool option
17321781
}
17331782

1783+
type RenameRegistrationOptions =
1784+
{
1785+
PrepareProvider: bool option
1786+
DocumentSelector: DocumentSelector option
1787+
}
1788+
17341789
type WorkspaceSymbolOptions =
17351790
{
17361791
/// The server provides support to resolve additional information for a
@@ -3214,6 +3269,13 @@ type CodeActionParams =
32143269
Context: CodeActionContext
32153270
}
32163271

3272+
type CodeActionRegistrationOptions =
3273+
{
3274+
CodeActionKinds: CodeActionKind [] option
3275+
ResolveProvider: bool option
3276+
DocumentSelector: DocumentSelector option
3277+
}
3278+
32173279
type CodeLensParams =
32183280
{
32193281
/// The document to request code lens for.
@@ -3879,4 +3941,4 @@ type WorkDoneProgressReport =
38793941
percentage = percentage }
38803942

38813943
/// The token to be used to report progress.
3882-
type WorkDoneProgressCancelParams = { token: ProgressToken }
3944+
type WorkDoneProgressCancelParams = { token: ProgressToken }

0 commit comments

Comments
 (0)