lambdust 0.1.1

A Scheme dialect with gradual typing and effect systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Metadata about an evaluation

use super::monad_type::MonadType;

/// Metadata about an evaluation
#[derive(Debug, Clone)]
pub struct EvaluationMetadata {
    /// Number of evaluation steps taken
    pub steps_taken: usize,
    
    /// Maximum stack depth reached
    pub max_stack_depth: usize,
    
    /// Monads that were used
    pub monads_used: Vec<MonadType>,
    
    /// Whether tail call optimization was applied
    pub tail_call_optimized: bool,
}