Visual Studio Code Features
A few short videos to demonstrate various Visual Studio Code features.
Inline Diagnostics
Flix shows inline diagnostics.
Auto Completion
Flix supports auto-completion of a range of program elements.
Snippet Completion
Flix supports snippet completion for large program fragments. For example, we can auto-complete trait instances.
Hover
Flix supports hovering over program fragments to show their documentation, type, effect, and kind.
Rename
Flix supports automatic renaming of most program elements.
Quick Fixes
Flix supports some quick fixes for simple program errors. Here we automatically derive a missing eq instance.
Code Lenses
Flix supports code lenses for running main, functions, and tests.
