Trait proto_vulcan::compound::CompoundObject

pub trait CompoundObject<U, E>: CompoundHash<U, E> + CompoundEq<U, E> + CompoundAs<U, E> + WalkStar<U, E> + Debug where
    U: User,
    E: Engine<U>, {
    fn children<'a>(
        &'a self
    ) -> Box<dyn Iterator<Item = &'a dyn CompoundObject<U, E>> + 'a>;

    fn type_name(&self) -> &'static str { ... }
    fn as_term(&self) -> Option<&LTerm<U, E>> { ... }
    fn is_term(&self) -> bool { ... }
}

Required methods

fn children<'a>(
    &'a self
) -> Box<dyn Iterator<Item = &'a dyn CompoundObject<U, E>> + 'a>

Provided methods

fn type_name(&self) -> &'static str

fn as_term(&self) -> Option<&LTerm<U, E>>

fn is_term(&self) -> bool

Trait Implementations

impl<U, E> Hash for dyn CompoundObject<U, E> where
    U: User,
    E: Engine<U>, 

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<U, E> PartialEq<dyn CompoundObject<U, E> + 'static> for dyn CompoundObject<U, E> where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &dyn CompoundObject<U, E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

Implementations on Foreign Types

impl<U, E, T> CompoundObject<U, E> for Option<T> where
    U: User,
    E: Engine<U>,
    T: CompoundObject<U, E> + CompoundWalkStar<U, E> + Debug + PartialEq + Hash, 

fn type_name(&self) -> &'static str

fn children<'a>(
    &'a self
) -> Box<dyn Iterator<Item = &'a dyn CompoundObject<U, E>> + 'a>

impl<U, E> CompoundObject<U, E> for (LTerm<U, E>, LTerm<U, E>) where
    U: User,
    E: Engine<U>, 

fn children<'a>(
    &'a self
) -> Box<dyn Iterator<Item = &'a dyn CompoundObject<U, E>> + 'a>

Implementors

impl<U, E> CompoundObject<U, E> for LTerm<U, E> where
    U: User,
    E: Engine<U>,