Enum CeremonyReasonKind 

pub enum CeremonyReasonKind {
    Answers,
    ChosenBecause,
    Authorizes,
    AchievedBy,
    FollowsFrom,
    SatisfiesConstraint,
    ViolatesConstraint,
    Supersedes,
    Contradicts,
}

How one thing a session produced explains another.

Variants

Answers

This contribution is the reply to that agenda item.

ChosenBecause

This was decided because of that.

Authorizes

That decision is what permitted this action.

The edge anyone reviewing a session afterwards looks for first: not what happened, but what made it allowed to happen. A session that records an action and cannot point at the decision behind it is a record of events rather than of authority.

Only whoever made the decision may say what it authorised. That a third party can see the connection does not make it theirs to assert: attributing authorising force to somebody else’s decision is the receipt this engine refuses to write.

AchievedBy

This was brought about by doing that — the how.

The one that turns a resolved session from a precedent into a procedure. A session that records why it resolved and not how cannot be turned into anything anyone can repeat.

FollowsFrom

This came about because of that.

SatisfiesConstraint

This honours a limit that one set.

ViolatesConstraint

This breaks a limit that one set, knowingly.

Supersedes

This replaces that as what is believed now.

Contradicts

These cannot both be true.

Implementations

impl CeremonyReasonKind

pub const fn as_label(self) -> &'static str

pub const fn asserter(self) -> ReasonAsserter

Who may assert a reason of this kind.

pub const fn is_method(self) -> bool

Whether this kind says how something was done.

Trait Implementations

impl Clone for CeremonyReasonKind

fn clone(&self) -> CeremonyReasonKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CeremonyReasonKind

impl Debug for CeremonyReasonKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CeremonyReasonKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CeremonyReasonKind

impl Hash for CeremonyReasonKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for CeremonyReasonKind

fn cmp(&self, other: &CeremonyReasonKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for CeremonyReasonKind

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for CeremonyReasonKind

fn partial_cmp(&self, other: &CeremonyReasonKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for CeremonyReasonKind

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 CeremonyReasonKind