analyze(Ref) | mim::Pass | inlinevirtual |
analyze(const Var *) | mim::Pass | inlinevirtual |
analyze(const Proxy *) | mim::Pass | inlinevirtual |
as_proxy(Ref def, u32 tag=0) | mim::Pass | inline |
ClosConvPrep(PassMan &man, EtaExp *eta_exp) | mim::plug::clos::ClosConvPrep | inline |
curr_mut() const | mim::RWPass< ClosConvPrep, Lam > | inline |
enter() override | mim::plug::clos::ClosConvPrep | virtual |
eta_wrap(Ref def, attr a) | mim::plug::clos::ClosConvPrep | inline |
fixed_point() const | mim::Pass | inlinevirtual |
from_outer_scope(Lam *lam) | mim::plug::clos::ClosConvPrep | inline |
from_outer_scope(Ref lam) | mim::plug::clos::ClosConvPrep | inline |
index() const | mim::Pass | inline |
inspect() const override | mim::RWPass< ClosConvPrep, Lam > | inlinevirtual |
isa_proxy(Ref def, u32 tag=0) | mim::Pass | inline |
man() | mim::Pass | inline |
man() const | mim::Pass | inline |
name() const | mim::Pass | inline |
Pass(PassMan &, std::string_view name) | mim::Pass | |
prepare() | mim::Pass | inlinevirtual |
proxy(Ref type, Defs ops, u32 tag=0) | mim::Pass | inline |
rewrite(Ref) override | mim::plug::clos::ClosConvPrep | virtual |
mim::RWPass< ClosConvPrep, Lam >::rewrite(const Var *var) | mim::Pass | inlinevirtual |
mim::RWPass< ClosConvPrep, Lam >::rewrite(const Proxy *proxy) | mim::Pass | inlinevirtual |
rewrite_arg(const App *app) | mim::plug::clos::ClosConvPrep | |
rewrite_callee(const App *app) | mim::plug::clos::ClosConvPrep | |
RWPass(PassMan &man, std::string_view name) | mim::RWPass< ClosConvPrep, Lam > | inline |
scope(Lam *lam) | mim::plug::clos::ClosConvPrep | |
world() | mim::Pass | inline |
~Pass()=default | mim::Pass | virtual |