IntelliJ Arend Features

Code Completion

Code completion is invoked automatically by typing and shows all symbols available in the given context.

Show More

Find Usages

To find usages of the symbol at the caret, press Alt+F7. The usages are classified by the context in which they appear.

Show More

Quick Documentation

Quick documentation is invoked by Ctrl+Q and shows available information for the symbol at the caret.

Show More

Parameter Hints

Parameter hints is invoked by Ctrl+P and shows types of parameters of the definition near the caret.

Show More

Class Hierarchy

Class hierarchy is invoked by Ctrl+H and shows subclasses and superclasses of the class at the caret.

Show More

Code Formatter

Code formatter helps to format the code while typing. It also can be invoked explicitly by pressing Ctrl+Alt+F7 to format the whole file.

Show More

Auto Import

Auto import adds missing imports. To invoke it, press Ctrl+Space on an unresolved symbol. It can also add unambiguous imports on the fly (this can be enabled in Settings | Editor | General | Auto Import).

Show More

Implement Missing Fields

IntelliJ Arend can add implementation stubs for missing fields. The quick fix is invoked by pressing Alt+Enter.

Show More

Move Refactoring

IntelliJ Arend can move a declaration to another module or file. It automatically fixes all references to this declaration. This refactoring can also move a file to another directory.

Show More

Incremental Typechecking

IntelliJ Arend can typecheck definitions individially. This means that it is enough to rerun the typechecker only on the last modified definition and not the whole file.

Show More