Trait adapton::reflect::Reflect

pub trait Reflect<T>: Debug {
    fn reflect(&self) -> T;
}

This trait consists of the ability for a reference to Self to produce a T. Conceptually, that value of type T is the "reflection" of Self. A large set of types in engine implement this trait for a particular type in this module, which represents its reflection. The documentation of this module makes this correspondance clear.

Required Methods

fn reflect(&self) -> T

Implementations on Foreign Types

impl Reflect<Vec<Succ>> for Vec<Succ>

fn reflect(&self) -> Vec<Succ>

impl Reflect<Vec<Succ>> for Vec<(Succ, Option<Rc<Box<DCGDep>>>)>

fn reflect(&self) -> Vec<Succ>

impl Reflect<Vec<Pred>> for Vec<Pred>

fn reflect(&self) -> Vec<Pred>

impl Reflect<Vec<Loc>> for Vec<Rc<Loc>>

fn reflect(&self) -> Vec<Loc>

impl<S, T: Reflect<S> + Debug> Reflect<Option<S>> for Option<T>

fn reflect(&self) -> Option<S>

impl<'a, S, T: Reflect<S> + Debug> Reflect<S> for &'a Rc<T>

fn reflect(&self) -> S

impl<'a, S, T: Reflect<S> + Debug> Reflect<S> for Rc<T>

fn reflect(&self) -> S

Implementors

• impl Reflect<DCG> for DCG
• impl Reflect<Succ> for Succ