Trait proto_vulcan::Downcast

pub trait Downcast<U, E> where
    U: User,
    E: Engine<U>,
    Self: CompoundObject<U, E>, {
    type SubType: CompoundObject<U, E>;
    fn into_sub(self) -> Self::SubType;
}

Associated Types

type SubType: CompoundObject<U, E>

Required methods

fn into_sub(self) -> Self::SubType

Implementations on Foreign Types

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

type SubType = Self

fn into_sub(self) -> Self::SubType

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

type SubType = Self

fn into_sub(self) -> Self::SubType

Implementors

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

type SubType = Self