Synopsis Completion datatype returned to the editor.
Types
data CompletionProposal
= sourceProposal(str newText) 
| sourceProposal(str newText, str proposal) 
| errorProposal(str errorText)
;
Usage
import util::ContentCompletion;
Description Completion proposals are passed on to the editor.
- A source proposal () is completed using the newText argument.
- A source proposal with a proposal string () is also completed with the newText argument but the proposal string is displayed. This can be used to display extra information
such as type information.
- An error proposal (
) is used to notify the user of problems encountered during the process of creating proposals. By default the framework will display an errorProposal stating "no
propsals available" when you return no proposals.