Struct PrettyPrinter 

pub struct PrettyPrinter { /* private fields */ }

Pretty printer for surface expressions.

Implementations

impl PrettyPrinter

pub fn new() -> Self

Create a new pretty printer with default configuration.

pub fn with_config(config: PrettyConfig) -> Self

Create a pretty printer with the given configuration.

pub fn output(self) -> String

Get the output buffer.

pub fn register_notation( &mut self, func_name: &str, symbol: &str, precedence: u32, is_infix: bool, )

Register a notation for notation-aware printing.

pub fn try_single_line(&mut self, expr: &SurfaceExpr) -> Option<String>

Try to print an expression on a single line. Returns the string if it fits within max_width from the current column, otherwise None.

pub fn print_expr_prec(&mut self, expr: &SurfaceExpr, outer_prec: u32) -> Result

Print an expression with precedence-aware parenthesization.

If the expression’s own precedence is less than outer_prec, parentheses are added.

pub fn print_pattern(&mut self, pat: &Pattern) -> Result

Pretty print a pattern.

pub fn print_match( &mut self, scrutinee: &SurfaceExpr, arms: &[MatchArm], ) -> Result

Pretty print a match expression with aligned arms.

pub fn print_do(&mut self, actions: &[DoAction]) -> Result

Pretty print a do block with indented actions.

pub fn print_inductive( &mut self, name: &str, univ_params: &[String], params: &[Binder], ty: &SurfaceExpr, ctors: &[Constructor], ) -> Result

Pretty print an inductive type declaration.

pub fn print_expr(&mut self, expr: &SurfaceExpr) -> Result

Pretty print a surface expression.

pub fn print_decl(&mut self, decl: &Decl) -> Result

Pretty print a declaration.

Trait Implementations

impl Default for PrettyPrinter

fn default() -> Self

Returns the “default value” for a type.