Struct OperatorReason 

pub struct OperatorReason(/* private fields */);

A non-empty, operator-supplied justification for a forced transition.

ADR 0037 requires an explicit operator reason; this newtype makes “explicit” enforceable — it cannot be constructed from blank text, so a forced transition either carries a real justification or is refused for the lack of one. The stored text is trimmed of surrounding whitespace.

Implementations

impl OperatorReason

pub fn new( text: impl Into<String>, ) -> Result<OperatorReason, EmptyOperatorReason>

Build a reason from text, rejecting blank (empty or whitespace-only) input. Surrounding whitespace is trimmed from the stored value.

pub fn as_str(&self) -> &str

Trait Implementations

impl Clone for OperatorReason

fn clone(&self) -> OperatorReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperatorReason

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

Formats the value using the given formatter.

impl Display for OperatorReason

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

Formats the value using the given formatter.

impl Eq for OperatorReason

impl PartialEq for OperatorReason

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OperatorReason