pub trait Fold<T: Visitable> {
    fn fold(&mut self, value: T) -> T;
}

Required Methods

Implementations on Foreign Types

Implementors

impl Fold<Id> for Visualizer

impl Fold<Type> for Visualizer

impl Fold<Type> for ReturnTypeGeneralizer<'_, '_, '_>

impl Fold<Type> for TypeParamHandler<'_>

impl Fold<Union> for Simplifier<'_>

impl Fold<Type> for Simplifier<'_>

impl Fold<TypeParam> for Expander<'_, '_, '_>

impl Fold<Function> for Expander<'_, '_, '_>

impl Fold<ClassProperty> for Expander<'_, '_, '_>

impl Fold<FnParam> for Expander<'_, '_, '_>

impl Fold<Type> for Expander<'_, '_, '_>

impl Fold<Class> for Expander<'_, '_, '_>

impl Fold<ClassMember> for Expander<'_, '_, '_>

impl Fold<TypeElement> for Expander<'_, '_, '_>

impl Fold<Type> for KeyInliner<'_, '_, '_>

impl Fold<TypeElement> for TypeFactsHandler<'_, '_, '_>

impl Fold<ClassMember> for TypeFactsHandler<'_, '_, '_>

impl Fold<Function> for TypeFactsHandler<'_, '_, '_>

impl Fold<Constructor> for TypeFactsHandler<'_, '_, '_>

impl Fold<Conditional> for TypeFactsHandler<'_, '_, '_>

impl Fold<KeywordType> for TypeFactsHandler<'_, '_, '_>

impl Fold<Intersection> for TypeFactsHandler<'_, '_, '_>

impl Fold<Union> for TypeFactsHandler<'_, '_, '_>

impl Fold<ClassDef> for TypeFactsHandler<'_, '_, '_>

impl Fold<Mapped> for TypeFactsHandler<'_, '_, '_>

impl Fold<Type> for TypeFactsHandler<'_, '_, '_>

impl Fold<Type> for GenericExpander<'_>

impl Fold<Type> for MappedHandler<'_>

impl Fold<Type> for TypeParamRemover<'_>

impl Fold<Type> for Widen