Struct TermDisplay 

pub struct TermDisplay<'a> { /* private fields */ }

A wrapper that ties together a Term and its Arena, forming the basis for configurable pretty-printing. This type is designed as the foundation on which flexible formatting and printing of terms will be built.

It already implements fmt::Display, so you can seamlessly use it with standard formatting macros (format!, println!, etc.) to render terms. In the future, it will also support additional, customizable formatting options for advanced pretty-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));

Construct instances via Term::display or [Arena::display].

Trait Implementations

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

Implements fmt::Display for TermDisplay, enabling it to be formatted and printed with standard formatting macros.

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

Formats the value using the given formatter.