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
use crate::eval::Value;

/// Simplified mock monadic computation
#[derive(Debug, Clone)]
pub enum MockMonadicComputation {
    /// Pure computation returning a value
    Pure(Value),
    /// IO computation returning a value
    IO(Value),
    /// Maybe computation with optional value
    Maybe(Option<Value>),
    /// Either computation with result or error
    Either(std::result::Result<Value, String>),
}