Struct HostEffectSupport 

pub struct HostEffectSupport {
    pub supported: Vec<EffectKindTag>,
}

The host’s explicit declaration of which effect kinds it can execute (§7.3, DEC-8).

The kernel emits an effect only for a declared kind and fail-closes on the rest. Without this, the same effect produces a different outcome per language — Rust’s spawn_workflow always fails, Python handles memory effects only inside a host syscall, and the Node/WASM if/else-if chains busy-wait on anything unhandled.

Fields

supported: Vec<EffectKindTag>

Not skip_serializing_if: an empty declaration (“I can execute nothing”) must be visible on the wire rather than indistinguishable from an omitted field.

Implementations

impl HostEffectSupport

pub fn new(supported: impl IntoIterator<Item = EffectKindTag>) -> Self

pub fn supports(&self, kind: EffectKindTag) -> bool

Trait Implementations

impl Clone for HostEffectSupport

fn clone(&self) -> HostEffectSupport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HostEffectSupport

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

Formats the value using the given formatter.

impl Default for HostEffectSupport

fn default() -> HostEffectSupport

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for HostEffectSupport

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for HostEffectSupport

impl PartialEq for HostEffectSupport

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for HostEffectSupport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for HostEffectSupport