Enum IdentityCard 

pub enum IdentityCard {
    Person {
        user_id: Option<String>,
        imported_from: Option<String>,
        about: Option<String>,
    },
    Mayor {
        name: Option<String>,
    },
}

One identity card’s values (crates/wire/spec/Answer/Identity.lean §8-59).

Each key is the card’s own: None removes it, which puts the default name back. What a name may be is the city’s answer (city::Naming), so a value here is the text the person typed.

Variants

Person

PREFERENCES.md: what the city calls the person, the host the name was imported from, and, when about is Some, the body that says what every agent should know about them.

Fields

user_id: Option<String>

imported_from: Option<String>

about: Option<String>

Mayor

MAYOR.md: what the Mayor is called. The body under the area is left as it is.

Fields

name: Option<String>

Trait Implementations

impl Clone for IdentityCard

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 IdentityCard

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IdentityCard

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IdentityCard

impl PartialEq for IdentityCard

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for IdentityCard

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 IdentityCard