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
25
26
27
28
29

//! Ordering constraints for effect execution.

use crate::effects::Effect;

/// Ordering constraint for effects.
#[derive(Debug, Clone)]
pub struct OrderingConstraint {
    /// Effect type this constraint applies to
    pub effect_type: Effect,
    /// Constraint type
    pub constraint_type: ConstraintType,
    /// Priority for this constraint
    #[allow(dead_code)] // Part of Stage 3 effect coordination infrastructure
    pub priority: u8,
}

/// Type of ordering constraint.
#[derive(Debug, Clone)]
pub enum ConstraintType {
    /// Effects must be serialized (no parallelism)
    #[allow(dead_code)] // Part of Stage 3 effect coordination infrastructure
    Serialized,
    /// Effects can run in parallel but must maintain ordering
    #[allow(dead_code)] // Part of Stage 3 effect coordination infrastructure
    OrderedParallel,
    /// Effects are isolated and can run freely
    #[allow(dead_code)] // Part of Stage 3 effect coordination infrastructure
    Isolated,
}