Comments (8)
Unfortunately none of those examples are immediately useful, what we would want is the completion listing (2nd image in previous comment) to show the module name, as it already shows the type there's no use in collapsing them with a "pick which option" 2nd step unless the info can be combined.
I'll definitely look at squeezing it in somehow.
Regarding documentation, that will happen in the future when it's available from psc-ide, see purescript/purescript#2349
from vscode-ide-purescript.
I think this is restricted by the set of fields vscode permits (unless we mangle the name itself) - if you have an example from a different language plugin or the vscode docs, as to where this would go, that would be useful here.
Related issue - there is discussion on providing some metadata from psc-ide to group re-exported modules, which would allow suppressing most of these cases avoiding the issue in the most part.
from vscode-ide-purescript.
Same problem here. Im very new to PureScript and importing the wrong function (nubBy from List.Lazy instead of List) lead to type errors which are not easy to understand for beginners :)
This is the way VSCode handles this for TypeScript:
And off topic: docs + signature + extended view
When clicking on i-icon:
Thank you!
from vscode-ide-purescript.
Some options. Bear in mind this is a bad example, as the re-export specific change would disambiguate these, but imagine I picked genuinely differentt defined with the same name in different modules.
First seems unreadable due to lack of alignment of the identifier itself, not sure which I prefer of other 2 options.
from vscode-ide-purescript.
I like the third one because the type definition is complete visible.
I wonder how it would look if you add docs to the third one?
from vscode-ide-purescript.
The third one too! 👍
from vscode-ide-purescript.
This should now be in (the third one)
from vscode-ide-purescript.
This is awesome, thanks a lot!
from vscode-ide-purescript.
Related Issues (20)
- GoTODefination having issue HOT 2
- 'PureScript: Clean' resulted in an error (command 'purescript.clean' not found) HOT 3
- Web extension support HOT 2
- Enable for vscode.dev? HOT 1
- Wrong purs path taken when using nvm HOT 3
- How to disable overlay of export options HOT 1
- Pursuit search doesn't work HOT 2
- formatters fails on windows HOT 5
- New option for syntax highlighting of MissingTypeDeclaration HOT 1
- Is there a way to remove "export (export only this) | export everything else" HOT 3
- Go to symbol in workspace does nothing in 0.26 HOT 3
- Is there any way to see var types? HOT 1
- Warnings can stick around even when no longer relevant.
- Keep formatting/indentation in problems pane error messages HOT 1
- Ctrl + click on a type named Field always opens Data.Field
- Reloading VSCode window sometimes results in exceptions
- Autocomplete for qualified values not optimal HOT 4
- Question:Can it support data constructor autocomplete? HOT 2
- Outline shows only exported values/types HOT 1
- Formatter local installation HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from vscode-ide-purescript.