Enum AsyncFamily 

pub enum AsyncFamily {
    ErrorContext,
    Stream,
    Future,
    WaitableTask,
}

The async intrinsic families synth distinguishes (#80).

The lowered/declined decision is made PER OP (field name), not per family — within error-context only .drop is a scalar handle op; .new and .debug-message transfer a message string through linear memory (canonical ABI) and are declined alongside the buffer families. See is_lowered_field.

Variants

ErrorContext

error-context.* — error-context resource ops. Only .drop (scalar handle) is lowered; .new / .debug-message are declined (linmem message buffer, same class as stream).

Stream

stream.* — typed stream read/write over linear-memory buffers. Declined (buffer memory layout + bounds checks unimplemented).

Future

future.* — single-shot readable/writable ends. Declined.

WaitableTask

waitable-set.* / task.* — scheduler yield points. Declined (register save/restore across yield unimplemented).

Implementations

impl AsyncFamily

pub fn from_field(field: &str) -> Option<Self>

Classify an intrinsic field name into its family. Returns None for a field name that is not a recognized P3-async intrinsic (an unknown import in the async namespace — also a decline, see classify).

Matching is by the .-separated resource prefix, matching the RFC #46 resource.method naming (stream.read, error-context.new, …).

pub const fn tag(self) -> &'static str

A stable machine-readable family tag for diagnostics.

Trait Implementations

impl Clone for AsyncFamily

fn clone(&self) -> AsyncFamily

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AsyncFamily

impl Debug for AsyncFamily

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

Formats the value using the given formatter.

impl Eq for AsyncFamily

impl PartialEq for AsyncFamily

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AsyncFamily