E.g. on a code-snippet:
data Bar = Bar
instance Show Bar where
The code-action should offer (semantically):
data Bar = Bar
instance Show Bar where
showsPrec = undefined
and
data Bar = Bar
instance Show Bar where
show = undefined
This could explode exponentially if there are complex Minimal pragmas, but I guess that is fine.
The stub-definition could be implemented with snippets.
I don't know how easy/difficult it would be to implement something like that.
I'd suggest holes instead of undefined
I will try this using a similar idea with the AddPragma plugin (NVM, I took a different pathway)
Most helpful comment
I'd suggest holes instead of
undefined