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
24

use crate::eval::{Value, monadic_architecture::MonadicEvaluationResult};
use super::MockMonadicComputation;

/// Expected outcome of a test
#[derive(Debug, Clone)]
pub enum ExpectedOutcome {
    /// Expect successful evaluation with specific value
    Success(Value),
    
    /// Expect successful evaluation with any value
    SuccessAny,
    
    /// Expect error with specific message
    Error(String),
    
    /// Expect error of any kind
    ErrorAny,
    
    /// Expect specific monadic computation
    MonadicComputation(MockMonadicComputation),
    
    /// Custom validation function
    Custom(fn(&MonadicEvaluationResult) -> bool),
}