Enum PhraseExtend

pub enum PhraseExtend {
    Fact(PhraseExtendFact),
    Event(PhraseExtendEvent),
    Act(PhraseExtendAct),
    Duty(PhraseExtendDuty),
}

Defines an extension to an existing type, e.g.,

Extend Duty duty-to-vote
  Conditioned by can-vote(voter).

Variants

Fact(PhraseExtendFact)

Extend a Fact, e.g.,

Extend Fact vote
  Conditioned by citizen.person != candidate.person.

Event(PhraseExtendEvent)

Extend an Event, e.g.,

Extend Event fire
  Creates ash().

Act(PhraseExtendAct)

Extend an Act, e.g.,

Extend Act vote
  Terminates (Foreach administrator : duty-to-vote(citizen, administrator)).

Duty(PhraseExtendDuty)

Extend a Duty, e.g.,

Extend Duty duty-to-vote
  Conditioned by can-vote(voter).

Implementations

impl PhraseExtend

pub fn kind(&self) -> ExtendKind

Returns the auxillary::ExtendKind that describes what this PhraseExtend extends.

Returns

An equivalent auxillary::ExtendKind.

Trait Implementations

impl Clone for PhraseExtend

fn clone(&self) -> PhraseExtend

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PhraseExtend

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PhraseExtend

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EnumDebug for PhraseExtend

fn type_name() -> &'static str

Returns the static name of the type used for EnumDebug-printing.

fn variant_names() -> &'static [&'static str]

Returns all variants in the trait as a list of names.

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

Returns the static name of the variant.

fn variant(&self) -> EnumDebugFormatter<'_, Self>

Returns a formatter for this enum that writes its variant name.

fn variants() -> Copied<Iter<'static, &'static str>>

Returns an iterator over all variants in this enum.

impl Serialize for PhraseExtend

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.