Struct Idris 

pub struct Idris;

Idris language support.

Trait Implementations

impl Language for Idris

fn name(&self) -> &'static str

Display name for this language (e.g., “Python”, “C++”)

fn extensions(&self) -> &'static [&'static str]

File extensions this language handles (e.g., [“py”, “pyi”, “pyw”])

fn grammar_name(&self) -> &'static str

Grammar name for arborium (e.g., “python”, “rust”)

fn as_symbols(&self) -> Option<&dyn LanguageSymbols>

Capability query: returns Some(self) if this language has code symbols (functions, classes, types, etc.). Returns None for config/data languages. Implement LanguageSymbols and override this to opt in.

fn extract_imports(&self, node: &Node<'_>, content: &str) -> Vec<Import>

Extract imports from an import node (may return multiple)

fn format_import(&self, import: &Import, _names: Option<&[&str]>) -> String

Format an import as source code. If names is Some, only include those names (for multi-import filtering). If names is None, format the complete import.

fn is_test_symbol(&self, symbol: &Symbol) -> bool

Check if a symbol is a test (for filtering).

fn container_body<'a>(&self, node: &'a Node<'a>) -> Option<Node<'a>>

Find the body node of a container (for prepend/append)

fn analyze_container_body( &self, body_node: &Node<'_>, content: &str, inner_indent: &str, ) -> Option<ContainerBody>

Analyze a container body node and return the editable byte range. body_node is the node returned by container_body. Returns None if this language doesn’t support container body editing.

fn extract_docstring(&self, _node: &Node<'_>, _content: &str) -> Option<String>

Extract the docstring for a definition node. Called by generic extraction for every tagged symbol. Returns None if this language has no docstring convention or the node has no docstring.

fn extract_attributes(&self, _node: &Node<'_>, _content: &str) -> Vec<String>

Extract attributes/annotations/decorators attached to a definition node. Called by generic extraction for every tagged symbol. Returns empty vec if this language has no attribute convention.

fn extract_implements(&self, _node: &Node<'_>, _content: &str) -> ImplementsInfo

Extract interfaces/traits/superclasses that a container node implements/extends. Called by generic extraction for container nodes only.

fn build_signature(&self, node: &Node<'_>, content: &str) -> String

Build the display signature for a definition node. Default: first line of the node’s source text (trimmed). Override for languages where first-line is incomplete (e.g. Rust, Go, Java).

fn refine_kind( &self, node: &Node<'_>, _content: &str, tag_kind: SymbolKind, ) -> SymbolKind

Refine the symbol kind for a tagged node. Called after tag classification assigns an initial kind (e.g. definition.class → Class). Languages can override this to return a more specific kind based on the node’s concrete type. Default: return tag_kind unchanged.

fn signature_suffix(&self) -> &'static str

Suffix to append to signatures for tree-sitter parsing. Function signatures are incomplete code fragments that need closing tokens to parse correctly (e.g., Rust fn foo() needs {}, Lua function foo() needs end). Returns the suffix to append, or empty string if none needed.

fn get_visibility(&self, _node: &Node<'_>, _content: &str) -> Visibility

Get visibility of a node.

fn test_file_globs(&self) -> &'static [&'static str]

Glob patterns (relative, using ** wildcards) that identify dedicated test files. Used to build a GlobSet for fast batch matching. Return &[] for languages with no dedicated test files (e.g. those using only inline tests).

fn as_embedded(&self) -> Option<&dyn LanguageEmbedded>

Capability query: returns Some(self) if this language can contain embedded blocks in another language (e.g., JS in Vue, CSS in HTML). Returns None for most languages. Implement LanguageEmbedded and override this to opt in.

fn body_has_docstring(&self, _body: &Node<'_>, _content: &str) -> bool

Detect if first child of body is a docstring

fn extract_module_doc(&self, _src: &str) -> Option<String>

Extract the module-level doc comment from raw file source.

fn node_name<'a>(&self, node: &Node<'_>, content: &'a str) -> Option<&'a str>

Get the name of a node (typically via “name” field)

impl LanguageSymbols for Idris