Trait Walk 

pub trait Walk<'a, A: AstTypes> {
    // Required method
    fn visit_in<V: Visit<'a, A> + ?Sized>(
        &'a self,
        v: &mut V,
    ) -> Result<(), V::Error>;

    // Provided method
    fn children<V: Visit<'a, A> + ?Sized>(
        &'a self,
        _v: &mut V,
    ) -> Result<(), V::Error> { ... }
}

Required Methods

fn visit_in<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

Provided Methods

fn children<V: Visit<'a, A> + ?Sized>( &'a self, _v: &mut V, ) -> Result<(), V::Error>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a, T: Walk<'a, A>, A: AstTypes> Walk<'a, A> for Option<T>

fn children<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

fn visit_in<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

impl<'a, T: Walk<'a, A>, A: AstTypes> Walk<'a, A> for Vec<T>

fn children<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

fn visit_in<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

impl<'a, T: Walk<'a, A>, A: AstTypes> Walk<'a, A> for [T]

fn children<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

fn visit_in<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

Implementors

impl<'a, A: AstTypes> Walk<'a, A> for Bind<A>

impl<'a, A: AstTypes> Walk<'a, A> for Expr<A>

impl<'a, A: AstTypes> Walk<'a, A> for Make<A>

impl<'a, A: AstTypes> Walk<'a, A> for MakeArm<A>

impl<'a, A: AstTypes> Walk<'a, A> for Match<A>

impl<'a, A: AstTypes> Walk<'a, A> for MatchArm<A>

impl<'a, A: AstTypes> Walk<'a, A> for Pat<A>

impl<'a, A: AstTypes> Walk<'a, A> for Use<A>

impl<'a, T: AstNode + Walk<'a, A>, A: AstTypes> Walk<'a, A> for At<T, A>