Enum LogicalDeliveryReason 

pub enum LogicalDeliveryReason {
    UnknownAddress,
    ClosedRecipient,
}

One pure communication addressed to a concrete protocol signature.

Protocol identity is not inferred from the payload. Consequently, two protocols with the same address and message types still have distinct delivery types.

use behavior::{Actions, Behavior, Delivery, MailAddr, Never, NoBirths, Protocol, Recipient, User};

struct Queue;
struct Worker;
macro_rules! inert {
    ($actor:ty) => {
        impl Protocol for $actor {
            type Addr = MailAddr;
            type Msg = u8;
        }
        impl Behavior for $actor {
            type Event = User<MailAddr, u8>;
            type Sends = Vec<Never>;
            type Ph = Never;
            type Error = Never;
            type Birth = NoBirths;
            fn init(&mut self, _: crate::InitializationTurn) -> behavior::BehaviorActed<Self> { Ok(Actions::cont()) }
            fn transition(&mut self, _: crate::ActiveTurn, _: Self::Event) -> behavior::BehaviorActed<Self> {
                Ok(Actions::cont())
            }
        }
    };
}
inert!(Queue);
inert!(Worker);

let worker = Recipient::<Worker>::global(MailAddr(1));
let _: Delivery<Queue> = Delivery::new(worker, 7);

A destination also fixes its message and address namespaces:

use behavior::{Actions, Address, Behavior, Delivery, MailAddr, Never, NoBirths, Protocol, Recipient, User};
#[derive(Clone, Copy, PartialEq, Eq)]
struct OtherAddr(u64);
impl Address for OtherAddr {
    type Nonce = u64;
}
struct Worker;
impl Protocol for Worker {
    type Addr = MailAddr;
    type Msg = u8;
}
impl Behavior for Worker {
    type Event = User<MailAddr, u8>;
    type Sends = Vec<Never>;
    type Ph = Never;
    type Error = Never;
    type Birth = NoBirths;
    fn init(&mut self, _: crate::InitializationTurn) -> behavior::BehaviorActed<Self> { Ok(Actions::cont()) }
    fn transition(&mut self, _: crate::ActiveTurn, _: Self::Event) -> behavior::BehaviorActed<Self> { Ok(Actions::cont()) }
}
let _ = Recipient::<Worker>::global(OtherAddr(1));

let worker = Recipient::<Worker>::global(MailAddr(1));
let _ = Delivery::<Worker>::new(worker, "wrong payload");

Exact reason one logical delivery was not accepted.

Variants

UnknownAddress

ClosedRecipient

Trait Implementations

impl Clone for LogicalDeliveryReason

fn clone(&self) -> LogicalDeliveryReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LogicalDeliveryReason

impl Debug for LogicalDeliveryReason

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

Formats the value using the given formatter.

impl Eq for LogicalDeliveryReason

impl PartialEq for LogicalDeliveryReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LogicalDeliveryReason