Struct OperationIntent 

pub struct OperationIntent { /* private fields */ }

Canonical semantic intent whose identity survives grants, attempts, and leases.

Implementations

impl OperationIntent

pub fn new( operation: impl Into<String>, target: Datum, intended_result: Datum, replay_policy: ReplayPolicy, ) -> Result<Self, OperationError>

Constructs and identifies one immutable intent.

pub const fn id(&self) -> &OperationId

Returns the stable operation identity.

pub fn operation(&self) -> &str

Returns the open domain operation name.

pub const fn target(&self) -> &Datum

Returns the exact semantic target.

pub const fn intended_result(&self) -> &Datum

Returns the intended semantic postcondition.

pub const fn replay_policy(&self) -> ReplayPolicy

Returns the replay rule bound into this intent.

pub fn canonical_datum(&self) -> Datum

Returns the exact canonical value whose id is Self::id.

Trait Implementations

impl Clone for OperationIntent

fn clone(&self) -> OperationIntent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperationIntent

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

Formats the value using the given formatter.

impl Eq for OperationIntent

impl PartialEq for OperationIntent

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OperationIntent