Problem
A record type definition defines an interface. Often I am looking at this interface, and want to see implementations of it.
I can already use got to references to see places that the record or record field is used either as a selector or a constructor, but I want to just see places where we are constructing this specific record or field.
More concretely, this is something I want when looking at a Servant named API.
The API is defined as a record and I often want to jump to the code that defines the handler for that API.
Describe the solution you'd like
When I hover over a record constructor and go to implementation, then I should see all the places a record is constructed.
When I hover over a record field and go to implementation, then I should see all the places that this field is being constructed. If RecordWildCards are being used then I should see where the variable is defined rather than ...
Additional context
Problem
A record type definition defines an interface. Often I am looking at this interface, and want to see implementations of it.
I can already use got to references to see places that the record or record field is used either as a selector or a constructor, but I want to just see places where we are constructing this specific record or field.
More concretely, this is something I want when looking at a Servant named API.
The API is defined as a record and I often want to jump to the code that defines the handler for that API.
Describe the solution you'd like
When I hover over a record constructor and go to implementation, then I should see all the places a record is constructed.
When I hover over a record field and go to implementation, then I should see all the places that this field is being constructed. If RecordWildCards are being used then I should see where the variable is defined rather than
...Additional context