Struct ShowConfig 

pub struct ShowConfig {
    pub compact: bool,
    pub ascii_only: bool,
    pub max_depth: Option<usize>,
    pub show_implicit: bool,
    pub show_levels: bool,
    pub show_binder_types: bool,
    pub indent_step: usize,
}

Configuration controlling how terms are shown.

Fields

compact: bool

Use compact (single-line) output.

ascii_only: bool

Restrict output to ASCII characters.

max_depth: Option<usize>

Maximum display depth (None = unlimited).

show_implicit: bool

Whether to show implicit arguments.

show_levels: bool

Whether to show universe levels.

show_binder_types: bool

Whether to show binder types.

indent_step: usize

Indentation step in spaces.

Implementations

impl ShowConfig

pub fn compact() -> Self

Create a compact (single-line) config.

pub fn wide() -> Self

Create a wide (multi-line) config.

pub fn ascii() -> Self

Create an ASCII-only config.

pub fn with_depth(self, d: usize) -> Self

Set a depth limit.

pub fn unlimited(self) -> Self

Remove the depth limit.

pub fn with_implicit(self) -> Self

Show implicit arguments.

pub fn with_levels(self) -> Self

Show universe levels.

pub fn arrow(&self) -> &'static str

Arrow character (Unicode or ASCII).

pub fn lambda(&self) -> &'static str

Lambda character.

pub fn forall_kw(&self) -> &'static str

Pi/forall character.

Trait Implementations

impl Clone for ShowConfig

fn clone(&self) -> ShowConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShowConfig

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

Formats the value using the given formatter.

impl Default for ShowConfig

fn default() -> Self

Returns the “default value” for a type.