[−][src]Enum term_rewriting::MergeStrategy
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 Copy for MergeStrategy
[src]
impl PartialEq<MergeStrategy> for MergeStrategy
[src]
fn eq(&self, other: &MergeStrategy) -> bool
[src]
#[must_use]
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn ne(&self, other: &Rhs) -> boolThis method tests for !=
.
impl Clone for MergeStrategy
[src]
fn clone(&self) -> MergeStrategy
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Eq for MergeStrategy
[src]
impl Debug for MergeStrategy
[src]
Auto Trait Implementations
impl Send for MergeStrategy
impl Sync for MergeStrategy
Blanket Implementations
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,