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
20
21
22
23

//! Input for monadic expression evaluation

use crate::eval::{Environment, operational_semantics::EvaluationContext};
use crate::ast::{Expr, Spanned};
use std::rc::Rc;

use super::monad_type::MonadType;

/// Input for monadic expression evaluation
#[derive(Debug, Clone)]
pub struct MonadicEvaluationInput {
    /// The expression to evaluate
    pub expression: Spanned<Expr>,
    
    /// The environment for evaluation
    pub environment: Rc<Environment>,
    
    /// Expected result type
    pub expected_monad: Option<MonadType>,
    
    /// Additional context
    pub context: EvaluationContext,
}