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

//! Effect interpreter trait (interface for effect handling)

use crate::eval::Value;
use crate::diagnostics::Result;
use crate::effects::{Effect, EffectfulComputation};
use async_trait::async_trait;

/// Effect interpreter trait (interface for effect handling)
#[async_trait]
pub trait EffectInterpreter: std::fmt::Debug + Send + Sync {
    /// Interpret an effectful computation
    async fn interpret(&self, effect: EffectfulComputation) -> Result<Value>;
    
    /// Check if an effect can be interpreted
    fn can_interpret(&self, effect: &Effect) -> bool;
    
    /// Get available effect handlers
    fn available_effects(&self) -> Vec<Effect>;
}