Trait proto_vulcan::Upcast

pub trait Upcast<U, E, SuperType> where
    U: User,
    E: Engine<U>,
    Self: CompoundObject<U, E> + Clone,
    SuperType: CompoundObject<U, E>, {
    fn to_super<K: Borrow<Self>>(k: &K) -> SuperType;
    fn into_super(self) -> SuperType;
}

Required methods

fn to_super<K: Borrow<Self>>(k: &K) -> SuperType

fn into_super(self) -> SuperType

Implementations on Foreign Types

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

fn to_super<K: Borrow<Self>>(k: &K) -> LTerm<U, E>

fn into_super(self) -> LTerm<U, E>

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

fn to_super<K: Borrow<Self>>(k: &K) -> LTerm<U, E>

fn into_super(self) -> LTerm<U, E>

Implementors

impl<U, E, T> Upcast<U, E, T> for T where
    U: User,
    E: Engine<U>,
    Self: CompoundObject<U, E> + Clone,