Struct TraceEvent 

pub struct TraceEvent {
    pub level: TraceLevel,
    pub message: String,
    pub expr: Option<Expr>,
    pub location: String,
    pub category: Option<TraceCategory>,
    pub depth: u32,
}

A single trace event during type checking or elaboration.

Fields

level: TraceLevel

Severity / verbosity level.

message: String

Human-readable message.

expr: Option<Expr>

Expression associated with this event.

location: String

Location string.

category: Option<TraceCategory>

Category.

depth: u32

Depth in the type-checking stack.

Implementations

impl TraceEvent

pub fn new(level: TraceLevel, message: String) -> Self

Create a minimal trace event.

pub fn with_expr(self, expr: Expr) -> Self

Attach an expression.

pub fn with_location(self, location: impl Into<String>) -> Self

Set the location.

pub fn with_category(self, category: TraceCategory) -> Self

Set the category.

pub fn with_depth(self, depth: u32) -> Self

Set the depth.

pub fn format(&self) -> String

Format as a log line.

Trait Implementations

impl Clone for TraceEvent

fn clone(&self) -> TraceEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceEvent

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

Formats the value using the given formatter.