Enum Addr 

pub enum Addr {
    Task(Id),
    Remote(ConnId, Id),
}

Where a task is: in this heap, or on the far side of one of this node’s links. A host peer is not here - ('host name) is an ordinary cons, a name the program writes, while a task address is a capability the runtime mints.

Opaque because crossing a link Task(3) must arrive as Remote(conn, 3) (crate::link::across), and a tagged cons is a shape a program can build as data, so the rewrite could not tell an address from something like one.

Variants

Task(Id)

Remote(ConnId, Id)

Implementations

impl Addr

pub const NAME: &'static str = "addr"

pub fn val(self) -> Val

pub fn of(v: &Val) -> Option<&Addr>

Trait Implementations

impl Clone for Addr

fn clone(&self) -> Addr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Addr

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

Formats the value using the given formatter.

impl Display for Addr

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

Not a form the reader accepts, deliberately: an address cannot be written down, so its printed form does not pretend to be source.

impl HostType for Addr

fn type_name(&self) -> &'static str

Wire tag and registry key, stable across processes. Table indices are process-local, names are not.

fn eq_atom(&self, other: &dyn HostType) -> bool

Implementations downcast and return false on a foreign type rather than comparing tags.

fn encode(&self, out: &mut Vec<u8>)

fn as_any(&self) -> &dyn Any

impl PartialEq for Addr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Addr