Skip to main content

guard_operation

Function guard_operation 

Source
pub fn guard_operation<F>(
    cx: &mut Cx,
    declaration: &OperationDeclaration,
    effect: Effect,
    gate: GateContext<'_>,
    perform: F,
) -> Result<Ref>
where F: FnOnce(&mut Cx, &Effect) -> Result<Ref>,
Expand description

Guard and resolve an effect, returning the kernel’s result reference directly.

Approval verification, atomic use, performance, and record emission occur only in the resolve_effect performer. Cassette replay therefore repeats none of them.