Trait cairo_lang_semantic::substitution::SemanticRewriter

pub trait SemanticRewriter<T, Error> {
    // Required method
    fn rewrite(&mut self, value: T) -> Result<T, Error>;
}

Required Methods

fn rewrite(&mut self, value: T) -> Result<T, Error>

Implementors

impl<'a> SemanticRewriter<VarId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<VarId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<InferenceId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<InferenceId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<InferenceVar, NoError> for Inference<'a>

impl<'a> SemanticRewriter<InferenceVar, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<Ambiguity, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Condition, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Expr, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprFunctionCallArg, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprVarMemberPath, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprVarMemberPath, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<Statement, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Pattern, NoError> for Inference<'a>

impl<'a> SemanticRewriter<MatchArmSelector, NoError> for Inference<'a>

impl<'a> SemanticRewriter<MatchArmSelector, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericFunctionWithBodyId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericFunctionWithBodyId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericArgumentId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericArgumentId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericParam, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericParam, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<UninferredImpl, NoError> for Inference<'a>

impl<'a> SemanticRewriter<UninferredImpl, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteTypeId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteTypeId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<TypeLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<TypeLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplVar, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplVar, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplVarId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplVarId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<LocalImplVarId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<LocalImplVarId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<LocalTypeVarId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<LocalTypeVarId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<TypeVar, NoError> for Inference<'a>

impl<'a> SemanticRewriter<TypeVar, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ExprAssignment, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprBlock, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprConstant, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprDesnap, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprEnumVariantCtor, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprFunctionCall, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprIf, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprLiteral, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprLogicalOperator, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprLoop, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprMatch, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprMemberAccess, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprMissing, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprPropagateError, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprSnapshot, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprStringLiteral, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprStructCtor, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprTuple, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprVar, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExprVar, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ExprWhile, NoError> for Inference<'a>

impl<'a> SemanticRewriter<MatchArm, NoError> for Inference<'a>

impl<'a> SemanticRewriter<StatementBreak, NoError> for Inference<'a>

impl<'a> SemanticRewriter<StatementContinue, NoError> for Inference<'a>

impl<'a> SemanticRewriter<StatementExpr, NoError> for Inference<'a>

impl<'a> SemanticRewriter<StatementLet, NoError> for Inference<'a>

impl<'a> SemanticRewriter<StatementReturn, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternEnumVariant, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternLiteral, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternMissing, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternOtherwise, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternStringLiteral, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternStruct, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternTuple, NoError> for Inference<'a>

impl<'a> SemanticRewriter<PatternVariable, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Constant, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteVariant, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteVariant, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ValueSelectorArm, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ValueSelectorArm, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteFunction, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteFunction, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteFunctionWithBody, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteFunctionWithBody, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteFunctionWithBodyId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteFunctionWithBodyId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<FunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<FunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<FunctionLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<FunctionLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplGenericFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplGenericFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplGenericFunctionWithBodyId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplGenericFunctionWithBodyId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<Signature, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Signature, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericParamConst, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericParamConst, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericParamImpl, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericParamImpl, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericParamType, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericParamType, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteImplId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteImplId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteImplLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteImplLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<Member, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteTraitGenericFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteTraitGenericFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteTraitGenericFunctionLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteTraitGenericFunctionLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteTraitId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteTraitId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteTraitLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteTraitLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<LiteralId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<LiteralId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<LocalVariable, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ParamId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ParamId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<Parameter, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Parameter, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteEnumId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteEnumId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteEnumLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteEnumLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteExternTypeId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteExternTypeId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteExternTypeLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteExternTypeLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteStructId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteStructId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConcreteStructLongId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ConcreteStructLongId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<TypeId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<TypeId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ConstantId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<EnumId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<EnumId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ExternFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExternFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ExternTypeId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ExternTypeId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<FreeFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<FreeFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<GenericParamId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<GenericParamId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplAliasId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplAliasId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplDefId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplDefId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<ImplFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<ImplFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<LocalVarId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<LocalVarId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<MemberId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<MemberId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<StructId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<StructId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<TraitFunctionId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<TraitFunctionId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<TraitId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<TraitId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<VariantId, NoError> for Inference<'a>

impl<'a> SemanticRewriter<VariantId, DiagnosticAdded> for SubstitutionRewriter<'a>

impl<'a> SemanticRewriter<Id<Expr>, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Id<Statement>, NoError> for Inference<'a>

impl<'a> SemanticRewriter<Id<Pattern>, NoError> for Inference<'a>

impl<K: Eq + Hash, V, E, TRewriter: SemanticRewriter<K, E> + SemanticRewriter<V, E>> SemanticRewriter<HashMap<K, V>, E> for TRewriter

impl<T0, T1, E, TRewriter: SemanticRewriter<T0, E> + SemanticRewriter<T1, E>> SemanticRewriter<(T0, T1), E> for TRewriter

impl<T, E, TRewriter: SemanticRewriter<T, E>> SemanticRewriter<Option<T>, E> for TRewriter

impl<T, E, TRewriter: SemanticRewriter<T, E>> SemanticRewriter<VecDeque<T>, E> for TRewriter

impl<T, E, TRewriter: SemanticRewriter<T, E>> SemanticRewriter<Vec<T>, E> for TRewriter

impl<T, E, TRewriter: SemanticRewriter<T, E>, E2> SemanticRewriter<Result<T, E2>, E> for TRewriter

impl<T: Clone, E, TRewriter: SemanticRewriter<T, E>> SemanticRewriter<Box<T>, E> for TRewriter