Enum Reasoning 

pub enum Reasoning {
    Present(SharedString),
    Withheld(SharedString),
    Absent,
}

What is known about a turn’s reasoning.

Deliberately not Option<SharedString>, and deliberately without a From<Option<_>>: the two ways of having no text to show are different facts, and the type is the thing that stops them being confused.

Variants

Present(SharedString)

It exists and this is it. An empty string is still reasoning that exists; it is not Reasoning::Absent.

Withheld(SharedString)

It exists and was withheld, in the withholder’s own words.

Absent

None was produced.

Implementations

impl Reasoning

pub fn present(text: impl Into<SharedString>) -> Self

pub fn withheld(reason: impl Into<SharedString>) -> Self

pub fn as_str(&self) -> &'static str

The name the semantic node publishes.

pub fn is_disclosable(&self) -> bool

Whether there is anything a disclosure could disclose.

Trait Implementations

impl Clone for Reasoning

fn clone(&self) -> Reasoning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Reasoning

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

Formats the value using the given formatter.

impl Eq for Reasoning

impl From<&'static str> for Reasoning

fn from(value: &'static str) -> Self

Converts to this type from the input type.

impl From<SharedString> for Reasoning

fn from(value: SharedString) -> Self

Converts to this type from the input type.

impl From<String> for Reasoning

fn from(value: String) -> Self

Converts to this type from the input type.

impl PartialEq for Reasoning

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Reasoning