Enum term_rewriting::MergeStrategy [−][src]
pub enum MergeStrategy { SameOperators, OperatorsByArityAndName, DistinctOperators, }
Specifies how to merge two signatures.
See Signature::merge
.
Variants
SameOperators
Operators won't be added to the signature: this must mean all operators were added in the same order for both signatures.
OperatorsByArityAndName
Operators are added to the signature only when there is no existing operator with the same arity and name.
DistinctOperators
Operators are always added distinctly: no operators associated with the first signature will every equate to those associated with the second signature.
Trait Implementations
impl Debug for MergeStrategy
[src]
impl Debug for MergeStrategy
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Copy for MergeStrategy
[src]
impl Copy for MergeStrategy
impl Clone for MergeStrategy
[src]
impl Clone for MergeStrategy
fn clone(&self) -> MergeStrategy
[src]
fn clone(&self) -> MergeStrategy
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl PartialEq for MergeStrategy
[src]
impl PartialEq for MergeStrategy
fn eq(&self, other: &MergeStrategy) -> bool
[src]
fn eq(&self, other: &MergeStrategy) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
fn ne(&self, other: &Rhs) -> bool
1.0.0
[src]This method tests for !=
.
impl Eq for MergeStrategy
[src]
impl Eq for MergeStrategy
Auto Trait Implementations
impl Send for MergeStrategy
impl Send for MergeStrategy
impl Sync for MergeStrategy
impl Sync for MergeStrategy