vize_l3 0.481.0

L3 - the Davinci reactivity IR (codename Impeto): flat scheduled ops with explicit state and effect edges
Documentation 
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
30
31
32
33

/// The named phase an Impeto artifact currently satisfies.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum Phase {
    /// L2 has lowered into flat L3 ops; partition and schedule are not fixed.
    Built,
    /// Static/dynamic partition facts have been attached.
    Partitioned,
    /// State edges are in execution order.
    Scheduled,
}

impl Phase {
    /// Stable folio spelling.
    #[must_use]
    pub const fn as_str(self) -> &'static str {
        match self {
            Self::Built => "built",
            Self::Partitioned => "partitioned",
            Self::Scheduled => "scheduled",
        }
    }

    /// Parse the stable folio spelling.
    #[must_use]
    pub const fn from_str(value: &str) -> Option<Self> {
        match value.as_bytes() {
            b"built" => Some(Self::Built),
            b"partitioned" => Some(Self::Partitioned),
            b"scheduled" => Some(Self::Scheduled),
            _ => None,
        }
    }
}