Skip to main content

recognize_select

logicaffeine_compile::codegen_tt::concurrency_mesh

Function recognize_select 

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

Recognize a select on a ready channel: Send v into ch then Await the first of { Receive x from ch: …; After n …: … }. Returns the spec, or None if not this shape.