Add string Literal types

[predragnikolic]

No description provided.

[predragnikolic]

I think that the String Literal types might be useful instead of StrEnum.
Both types will exist. And we can use what ever type that has more sense in the code context.

[predragnikolic]

Now,
there will be MonikerKind (StrEnum) and MonikerKindLiteral type.
SemanticTokenTypes (StrEnum) and SemanticTokenTypesLiteral
and so on.

Each StrEnum will have its Literal type alternative.

[jwortmann]

I don't really understand how this is supposed to be used in the code.
Currently we can use for example

if params['kind'] == CodeActionKind.QuickFix:

and it gives autocompletions for the members when typing the dot.
Or in the type annotations we can use CodeActionKind directly, which is the name from the LSP specs.

Where would we use the Literal types?

[predragnikolic]

Thanks for the look.

Well it is technically adding Literal Types is not necessary.
I will close this PR, because I would rather not add more code.

One pro where Literals shine over enums can be seen in this example:

If pyright strict mode is enabled, pyright will report the correct error for the Literal example,
while for the enum example, it will not.
not sure if it is something that needs to be reported to pyright.

[jwortmann]

I see. But this would only help against typos, and ideally we always want to use the enum constants in the code, instead of writing the string literal directly.

And various of the enums allow additional custom values defined by the server; for example the SemanticTokenTypes, or the FoldingRangeKind. So this would even be wrong to restrict the allowed values for those enums.

So I guess it was the right choice to close this for now :-)