Struct ExecutionSemantics 

pub struct ExecutionSemantics {
    pub id: String,
    pub canonical_nan: bool,
    pub canonical_collections: bool,
    pub fresh_instance: bool,
}

Runtime semantics that affect deterministic projection.

Fields

id: String

Stable semantics family and version.

canonical_nan: bool

Whether canonical NaN behavior is fixed.

canonical_collections: bool

Whether collection traversal order is fixed.

fresh_instance: bool

Whether every invocation starts with fresh mutable instance state.

Trait Implementations

impl Clone for ExecutionSemantics

fn clone(&self) -> ExecutionSemantics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionSemantics

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

Formats the value using the given formatter.

impl Eq for ExecutionSemantics

impl PartialEq for ExecutionSemantics

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExecutionSemantics