Struct PrintConfig 

pub struct PrintConfig {
    pub unicode: bool,
    pub show_implicit: bool,
    pub show_universes: bool,
    pub max_width: usize,
    pub show_binder_info: bool,
    pub show_indices: bool,
}

Configuration for pretty printing.

Fields

unicode: bool

Use unicode symbols (λ, ∀, →)

show_implicit: bool

Show implicit arguments

show_universes: bool

Show universe levels

max_width: usize

Maximum line width for wrapping

show_binder_info: bool

Show binder info (default, implicit, etc.)

show_indices: bool

Show de Bruijn indices

Implementations

impl PrintConfig

pub fn ascii() -> Self

ASCII-only configuration.

pub fn verbose() -> Self

Verbose configuration showing everything.

Trait Implementations

impl Clone for PrintConfig

fn clone(&self) -> PrintConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PrintConfig

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

Formats the value using the given formatter.

impl Default for PrintConfig

fn default() -> Self

Returns the “default value” for a type.