Struct Pretty 

pub struct Pretty<'a, T: ?Sized> { /* private fields */ }

Provides pretty-printing, including name lookup from arena. Usage:

use mangle_ast::PrettyPrint;
clause.pretty(&arena).to_string()

Trait Implementations

impl<'a> Display for Pretty<'a, Atom<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, BaseTerm<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, BoundDecl<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, Clause<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, Const<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, Constraints<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, Decl<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, FunctionIndex>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, PredicateIndex>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, Term<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, TransformStmt<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, Unit<'a>>

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

Formats the value using the given formatter.

impl<'a> Display for Pretty<'a, VariableIndex>

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

Formats the value using the given formatter.