[][src]Struct egg::ConditionEqual

pub struct ConditionEqual<A1, A2>(pub A1, pub A2);

A Condition that checks if two terms are equivalent.

This condition adds its two Appliers to the egraph and passes if and only if they are equivalent (in the same eclass).

Trait Implementations

impl<L, M, A1, A2> Condition<L, M> for ConditionEqual<A1, A2> where
    L: Language,
    M: Metadata<L>,
    A1: Applier<L, M>,
    A2: Applier<L, M>, 
[src]

Auto Trait Implementations

impl<A1, A2> RefUnwindSafe for ConditionEqual<A1, A2> where
    A1: RefUnwindSafe,
    A2: RefUnwindSafe

impl<A1, A2> Send for ConditionEqual<A1, A2> where
    A1: Send,
    A2: Send

impl<A1, A2> Sync for ConditionEqual<A1, A2> where
    A1: Sync,
    A2: Sync

impl<A1, A2> Unpin for ConditionEqual<A1, A2> where
    A1: Unpin,
    A2: Unpin

impl<A1, A2> UnwindSafe for ConditionEqual<A1, A2> where
    A1: UnwindSafe,
    A2: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.