Struct AgentAdding 

pub struct AgentAdding {
    pub spec_digest: B3Hash,
    pub source: AgentSource,
    pub seat_here: Option<Address>,
    pub idem: IdemKey,
}

What AddAgent carries: the consent to one agent entry the city offered, named by the digest of its launch spec. The city recomputes the digest of the spec it would offer now and refuses on a mismatch, so what is written is what the person saw (crates/wire/spec/Answer/Agents.lean §8-90).

Fields

spec_digest: B3Hash

source: AgentSource

seat_here: Option<Address>

The room whose resident this agent becomes as well, when the person chose “add and use here”.

idem: IdemKey

Trait Implementations

impl Clone for AgentAdding

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgentAdding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AgentAdding

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AgentAdding

impl PartialEq for AgentAdding

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AgentAdding

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 AgentAdding