Skip to main content

recognize_fanout

logicaffeine_compile::codegen_tt::concurrency_mesh

Function recognize_fanout 

Source 
pub fn recognize_fanout(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> Option<FanoutSpec>
Expand description

Recognize the fan-out pattern: main launches N (≥2) distinct tasks, each of which sends exactly one integer literal into a shared pipe, and main receives N values. None if the program is not this shape.