Struct PrettyConfig 

pub struct PrettyConfig {
    pub symbols: SymbolSet,
    pub indent_width: usize,
    pub max_width: usize,
    pub show_types: bool,
}

Configuration for pretty printing.

Fields

symbols: SymbolSet

Symbol set to use for rendering

indent_width: usize

Number of spaces per indentation level

max_width: usize

Maximum line width before wrapping (advisory)

show_types: bool

Whether to show type annotations on terms

Implementations

impl PrettyConfig

pub fn unicode() -> Self

Create a Unicode-symbol configuration.

pub fn ascii() -> Self

Create an ASCII-only configuration.

pub fn with_indent(self, w: usize) -> Self

Set the indentation width.

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

Set the maximum line width.

pub fn with_types(self, v: bool) -> Self

Enable or disable type annotation display.

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.