Here is a list of all functions with links to the classes they belong to:

- r -

• R() : mim::ast::R< T >
• raw_app() : mim::World
• rebuild() : mim::Def
• rebuild_() : mim::App, mim::Arr, mim::Axm, mim::Def, mim::Extract, mim::Global, mim::Hole, mim::Idx, mim::Inj, mim::Insert, mim::Lam, mim::Lit, mim::Match, mim::Merge, mim::Nat, mim::Pack, mim::Pi, mim::Proxy, mim::Reform, mim::Rule, mim::Sigma, mim::Split, mim::TBound< Up >, mim::TExt< Up >, mim::Tuple, mim::Type, mim::UInc, mim::UMax, mim::Uniq, mim::Univ, mim::Var
• RecDecl() : mim::ast::RecDecl
• recreate() : mim::Phase
• redirects() : mim::Phase, Named
• reduce() : mim::Arr, mim::Def, mim::Lam, mim::Pack, mim::Pi, mim::Rule, mim::Seq, mim::World
• reduce_body() : mim::Lam
• reduction_offset() : mim::Arr, mim::Bound, mim::Def, mim::Lam, mim::Pack, mim::Pi, mim::Rule, mim::Sigma
• refine() : mim::Def
• Reform() : mim::Reform
• reform() : mim::World
• RemoveDoubleSyncs() : mim::plug::gpu::phase::RemoveDoubleSyncs
• Repl() : mim::Repl
• replace() : mim::Repl, mim::Rule
• reset() : mim::Analysis, mim::Rewriter
• Restore() : mim::Restore< T >
• ret() : mim::ast::PiExpr::Dom
• ret_dom() : mim::Lam, mim::Pi
• ret_pi() : mim::Lam, mim::Pi
• ret_var() : mim::Lam, mim::plug::clos::ClosLit
• RetExpr() : mim::ast::RetExpr
• RetWrap() : mim::RetWrap
• rewire_mut() : mim::Zonker
• rewrite() : mim::EtaConv, mim::plug::affine::phase::LowerIndex, mim::plug::clos::phase::LowerTypedClos, mim::plug::mem::phase::AddMem, mim::Repl, mim::RetWrap, mim::Rewriter, mim::VarRewriter, mim::Zonker
• rewrite_annex() : mim::Analysis, mim::EtaConv, mim::RWPhase
• rewrite_external() : mim::Analysis, mim::EtaConv, mim::plug::gpu::phase::MemChecks, mim::PrefixCleanup, mim::RWPhase
• rewrite_imm() : mim::Rewriter
• rewrite_imm_App() : mim::BetaRed, mim::EtaConv, mim::LamSpec, mim::plug::affine::phase::LowerFor, mim::plug::affine::phase::LowerIndex, mim::plug::autodiff::phase::Eval, mim::plug::buffer::LowerPtr, mim::plug::clos::phase::BranchClosElim, mim::plug::clos::phase::ClosConv, mim::plug::clos::phase::ClosConvPrep, mim::plug::cps::Conv, mim::plug::gpu::phase::MemChecks, mim::plug::gpu::phase::RemoveDoubleSyncs, mim::plug::matrix::phase::LowerAff, mim::plug::matrix::phase::LowerMatrixHighLevelMapRed, mim::plug::matrix::phase::LowerMatrixMediumLevel, mim::plug::mem::phase::AddMem, mim::plug::mem::phase::SEO, mim::plug::regex::LowerRegex, mim::plug::tensor::phase::Fuse, mim::plug::tensor::phase::Lower, mim::plug::tensor::phase::LowerGetSet, mim::plug::tensor::phase::LowerMapReduce, mim::plug::tensor::phase::LowerToMem, mim::Scalarize, mim::TailRecElim
• rewrite_imm_Extract() : mim::plug::clos::phase::ClosConv
• rewrite_imm_Pi() : mim::plug::clos::phase::ClosConv, mim::plug::mem::phase::AddMem, mim::Scalarize
• rewrite_imm_Proxy() : mim::Analysis
• rewrite_imm_Seq() : mim::Rewriter
• rewrite_imm_Tuple() : mim::plug::clos::phase::LowerTypedClosPrep, mim::plug::mem::phase::AddMem
• rewrite_imm_Var() : mim::EtaConv
• rewrite_mut() : mim::Analysis, mim::Rewriter, mim::VarRewriter, mim::Zonker
• rewrite_mut_Global() : mim::plug::clos::phase::ClosConv
• rewrite_mut_Lam() : mim::BranchNormalize, mim::plug::clos::phase::Clos2SJLJ, mim::plug::clos::phase::ClosConv, mim::plug::cps::Conv, mim::plug::gpu::phase::SplitOffKernels, mim::plug::mem::phase::AddMem, mim::plug::mem::phase::SEO, mim::plug::tensor::phase::LowerToMem, mim::RetWrap, mim::Scalarize, mim::TailRecElim
• rewrite_mut_Pi() : mim::plug::clos::phase::ClosConv
• rewrite_mut_Seq() : mim::Rewriter
• rewrite_stub() : mim::Rewriter
• Rewriter() : mim::Rewriter
• rhs() : mim::ast::RuleDecl, mim::Rule
• rol() : mim::lct::Node< P, K >
• root() : mim::ClosedMutPhase< M >, mim::Nest, mim::Scheduler
• roots() : mim::World
• ror() : mim::lct::Node< P, K >
• rotate() : mim::lct::Node< P, K >
• rsubspan() : mim::Span< T, N >
• rt_mode() : mim::plug::ll::Emitter
• rt_module() : mim::plug::ll::Emitter
• rule() : mim::World
• RuleDecl() : mim::ast::RuleDecl
• RuleExpr() : mim::ast::RuleExpr
• run() : mim::Phase, mim::plug::clos::phase::FreeDefAna
• RWPhase() : mim::RWPhase