Enum CapabilityParam 

pub enum CapabilityParam {
    Any,
}

The capability-parameter slot carried by every call atom in a factored effect row (T2-3, docs/effects-spec.md §11; ruled 2026-07-14, docs/t1d-spec.md §7).

v1 populates every atom as CapabilityParam::Any — component-granular, the whole capability unrefined. Path-granular refinement (#826) and the instance-resolving handle parameter are later narrowing rungs; their discriminants are reserved (the strict reader rejects them until a section version graduates them), the same reservation discipline the projection range segment follows.

Variants

Any

The whole capability, unrefined — the only value v1 ever emits.

Trait Implementations

impl Clone for CapabilityParam

fn clone(&self) -> CapabilityParam

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CapabilityParam

impl Debug for CapabilityParam

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

Formats the value using the given formatter.

impl Default for CapabilityParam

fn default() -> CapabilityParam

Returns the “default value” for a type.

impl Eq for CapabilityParam

impl PartialEq for CapabilityParam

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CapabilityParam