[−][src]Struct gluon_base::types::ControlVisitation

pub struct ControlVisitation<F: ?Sized>(pub F);

Wrapper type which allows functions to control how to traverse the members of the type

Trait Implementations

impl<F, I, T> TypeVisitor<I, T> for ControlVisitation<F> where
    F: FnMut(&T) -> Option<T>,
    T: From<Type<I, T>>, [src]

fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T[src]

fn app(&mut self, id: T, args: AppVec<T>) -> T[src]

impl<'a, F: ?Sized, T> Walker<'a, T> for ControlVisitation<F> where
    F: FnMut(&'a T),
    T: 'a, [src]

Auto Trait Implementations

impl<F: ?Sized> Send for ControlVisitation<F> where
    F: Send, 

impl<F: ?Sized> Sync for ControlVisitation<F> where
    F: Sync, 

Blanket Implementations

impl<I, T, F> TypeVisitor for F where
    F: FnMut(&T) -> Option<T> + ?Sized,
    T: From<Type<I, T>>, [src]

fn forall(&mut self, params: Vec<Generic<Id>>, typ: T) -> T[src]

fn app(&mut self, id: T, args: AppVec<T>) -> T[src]

impl<'a, F> Walker for F where
    F: FnMut(&ArcKind) + ?Sized, [src]

impl<'a, I, T, F> Walker for F where
    F: FnMut(&'a T) + ?Sized,
    I: 'a,
    T: Deref<Target = Type<I, T>> + 'a, [src]

impl<T, U> Into for T where
    U: From<T>, [src]

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized, [src]

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> BorrowMut for T where
    T: ?Sized, [src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.