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

Tuple Fields

0: F

Trait Implementations

impl<F, Id, T> TypeVisitor<Id, T> for ControlVisitation<F>

where F: FnMut(&T) -> Option<T>, Id: Clone, T::SpannedId: Clone, T: TypeExt<Id = Id> + From<(Type<Id, T>, Flags)> + From<Type<Id, T>>, T::Types: FromIterator<T> + Clone, T::Generics: FromIterator<Generic<Id>> + Clone, T::Fields: FromIterator<Field<T::SpannedId, T>> + Clone,

type Context = NullInterner

fn context(&mut self) -> &mut Self::Context

fn visit(&mut self, typ: &T) -> Option<T>

where T: TypePtr<Id = Id> + From<Type<Id, T>> + Clone, Id: Clone,

fn make(&mut self, typ: Type<Id, T>) -> T

fn make_types(&mut self, typ: impl IntoIterator<Item = T>) -> T::Types

fn forall(&mut self, params: T::Generics, typ: T) -> T

fn app(&mut self, id: T, args: T::Types) -> T

impl<'a, F, T> Walker<'a, T> for ControlVisitation<F>

where F: ?Sized + FnMut(&'a T), T: 'a,

fn walk(&mut self, typ: &'a T)