Struct ChannelDecl 

pub struct ChannelDecl {
    pub name: Ident,
    pub provider: Ident,
    pub workspace: Option<Ident>,
    pub destination: Option<StringLiteral>,
    pub span: SourceSpan,
}

channel <name> { provider <p> [workspace <w>] [destination "<d>"] } (std.messaging): a named communication route through a provider. The bare channel construct shape is reserved by the platform for std.messaging (spec/messaging.md), so third-party packages cannot author channel-like semantics with weaker guarantees. Lowers to a metadata_only declaration (like queue); the runtime messaging provider is later-stage work.

Fields

name: Ident

provider: Ident

workspace: Option<Ident>

destination: Option<StringLiteral>

span: SourceSpan

Trait Implementations

impl Clone for ChannelDecl

fn clone(&self) -> ChannelDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChannelDecl

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

Formats the value using the given formatter.

impl Eq for ChannelDecl

impl PartialEq for ChannelDecl

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ChannelDecl