Struct CallAtom 

pub struct CallAtom {
    pub name: NameId,
    pub capability: CapabilityParam,
    pub handle_param: Option<u8>,
}

A single call atom in an effect row’s direct part (docs/effects-spec.md §2/§11): the name of an EXTERNAL binding (a call-kind), plus its capability-parameter slot and a reserved handle-parameter slot.

The handle-parameter slot (docs/t1d-spec.md §7) is where a handle-parameterized atom (Transform(@argN)) will record which minted handle bounds the capability; v1 leaves it None (the reserved wire byte is 0). Possession-bounded capabilities are the tier-2 security model — out of scope for this slice, but the slot ships now so the row encoding need not change to carry it later.

Fields

name: NameId

The EXTERNAL binding name (interned into the story’s name_table).

capability: CapabilityParam

Capability-parameter slot — v1 always CapabilityParam::Any.

handle_param: Option<u8>

Reserved handle-parameter slot — v1 always None. A non-None value is never emitted in this section version.

Trait Implementations

impl Clone for CallAtom

fn clone(&self) -> CallAtom

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CallAtom

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

Formats the value using the given formatter.

impl Eq for CallAtom

impl PartialEq for CallAtom

fn eq(&self, other: &CallAtom) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CallAtom