Struct SLTNodeFacts 

pub struct SLTNodeFacts<'arena, A: Hash + Eq + Clone> { /* private fields */ }

Width facts for every node in an SLTNodeArena.

Construction verifies the complete dependency graph before computing any widths. The implementation is iterative so malformed cycles and very deep expression graphs cannot overflow the Rust call stack.

Implementations

impl<'arena, A> SLTNodeFacts<'arena, A>

where A: Hash + Eq + Clone,

pub fn verify(arena: &'arena SLTNodeArena<A>) -> Result<Self, SLTNodeFactsError>

Verify arena and compute one width for every node.

pub fn width(&self, node: NodeId) -> Option<usize>

Return the verified width of node, or None when the ID does not belong to the arena from which this table was built.

pub fn require_width( &self, node: NodeId, role: &'static str, ) -> Result<usize, SLTNodeFactsError>

Return a verified root width, diagnosing a root that does not belong to the arena instead of allowing a later unchecked lookup to panic.

pub fn require_lowerable( &self, node: NodeId, role: &'static str, ) -> Result<usize, SLTNodeFactsError>

Require a root and every node reachable from it to be lowerable to nonzero-width executable IR.

Trait Implementations

impl<A: Hash + Eq + Clone> Debug for SLTNodeFacts<'_, A>

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.