Struct TermDisplay 

pub struct TermDisplay<'a> {
    pub term: &'a Term,
    pub arena: &'a Arena,
}

A wrapper that pairs a Term with the Arena it was interned in.

This type implements fmt::Display, allowing you to use standard formatting macros (format!, println!, etc.) on terms without manually passing the arena each time.

Typically you don’t construct this struct directly, but instead call Term::display or [Arena::display], which create it for you.

Fields

term: &'a Term

The interned term to display.

arena: &'a Arena

The arena where the term is stored.

Trait Implementations

impl<'a> Display for TermDisplay<'a>

Because a Term alone does not carry enough information to render a human-readable representation, it must be paired with the Arena it was interned into. The TermDisplay adapter provides this pairing and implements fmt::Display for convenient printing.

Example

use arena_terms::{Term, Arena, func, IntoTerm};
let mut arena = Arena::new();
let term = func!("foo"; 1, "hello, world!" => &mut arena);

println!("{}", term.display(&arena));

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.