Provide formatting edits after a character has been typed.
The given position and character should hint to the provider
what range the position to expand to, like find the matching {
when } has been entered.
The document in which the command was invoked.
The position at which the command was invoked.
The character that has been typed.
Options controlling formatting.
A cancellation token.
A set of text edits or a thenable that resolves to such. The lack of a result can be
signaled by returning undefined, null, or an empty array.
The document formatting provider interface defines the contract between extensions and the formatting-feature.