Struct PrettyConfig 

pub struct PrettyConfig {
    pub max_width: usize,
    pub indent_size: usize,
    pub show_implicit: bool,
    pub show_universes: bool,
    pub use_unicode: bool,
    pub use_notation: bool,
    pub parens_mode: ParensMode,
}

Configuration for the pretty printer.

Fields

max_width: usize

Maximum line width before breaking (default 100).

indent_size: usize

Number of spaces per indentation level (default 2).

show_implicit: bool

Whether to show implicit arguments.

show_universes: bool

Whether to show universe annotations.

use_unicode: bool

Whether to use unicode symbols (e.g. -> vs \u{2192}).

use_notation: bool

Whether to try to use registered notations for App nodes.

parens_mode: ParensMode

Parenthesization mode.

Implementations

impl PrettyConfig

pub fn new() -> Self

Create a new config with all defaults.

pub fn with_max_width(self, width: usize) -> Self

Set the maximum line width.

pub fn with_indent_size(self, size: usize) -> Self

Set the indent size.

pub fn with_show_implicit(self, show: bool) -> Self

Enable or disable showing implicit arguments.

pub fn with_show_universes(self, show: bool) -> Self

Enable or disable showing universe annotations.

pub fn with_unicode(self, unicode: bool) -> Self

Enable or disable unicode symbols.

pub fn with_notation(self, notation: bool) -> Self

Enable or disable notation-aware printing.

pub fn with_parens_mode(self, mode: ParensMode) -> Self

Set the parenthesization mode.

Trait Implementations

impl Clone for PrettyConfig

fn clone(&self) -> PrettyConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrettyConfig

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

Formats the value using the given formatter.

impl Default for PrettyConfig

fn default() -> Self

Returns the “default value” for a type.