Here is a list of all functions with links to the classes they belong to:
- a -
- ack() : mim::Error
 
- add() : mim::PassMan, mim::ReplMan, mim::VarRewriter
 
- add_implicit_imports() : mim::ast::Module
 
- add_import() : mim::Driver
 
- add_ret() : mim::ast::PiExpr::Dom
 
- add_search_path() : mim::Driver
 
- add_state() : automaton::AutomatonBase< NodeType >
 
- add_transition() : automaton::DFANode, automaton::NFANode
 
- AddMem() : mim::plug::mem::phase::AddMem
 
- Alias() : mim::ast::AxmDecl::Alias
 
- AliasPtrn() : mim::ast::AliasPtrn
 
- alloc() : mim::FPPass< P, M >, mim::Pass
 
- alloced_type() : mim::Global
 
- alpha() : mim::Checker
 
- analyze() : mim::BetaRed, mim::BetaRedPhase, mim::EtaExp, mim::EtaExpPhase, mim::EtaRed, mim::Pass, mim::plug::clos::LowerTypedClosPrep, mim::plug::mem::pass::CopyProp, mim::plug::mem::pass::SSA, mim::RetWrap, mim::RWPhase, mim::TailRecElim
 
- Annex() : mim::Annex
 
- annex() : mim::Stage, mim::World
 
- annexes() : mim::World
 
- AnnexInfo() : mim::ast::AnnexInfo
 
- any() : mim::BitSet
 
- any_begin() : mim::BitSet
 
- any_end() : mim::BitSet
 
- any_range() : mim::BitSet
 
- app() : mim::Branch, mim::Lam, mim::World
 
- append_suffix() : mim::World
 
- AppExpr() : mim::ast::AppExpr
 
- apply() : mim::EtaRed, mim::PassMan, mim::PassManPhase, mim::PhaseMan, mim::plug::mem::pass::CopyProp, mim::plug::mem::pass::Reshape, mim::PrefixCleanup, mim::ReplMan, mim::ReplManPhase, mim::Stage
 
- arg() : mim::App, mim::ast::AppExpr, mim::ast::RetExpr, mim::Branch
 
- arity() : mim::Arr, mim::ast::SeqExpr, mim::Def, mim::Pack, mim::Sigma
 
- Arm() : mim::ast::MatchExpr::Arm
 
- arm() : mim::ast::MatchExpr, mim::Match
 
- arms() : mim::ast::MatchExpr, mim::Match
 
- arr() : mim::World
 
- arr_unsafe() : mim::World
 
- array() : mim::IndexMap< Indexer, Key, Value >
 
- ArrowExpr() : mim::ast::ArrowExpr
 
- as() : mim::Axm, mim::Idx, mim::Lit
 
- as_imm() : mim::Def
 
- as_lit() : mim::Idx
 
- as_mut() : mim::Def
 
- as_proxy() : mim::Pass
 
- assign() : mim::ll::BB
 
- assignable() : mim::Checker
 
- AST() : mim::ast::AST
 
- ast() : mim::ast::Emitter, mim::ast::Lexer, mim::ast::Parser, mim::ast::Scopes
 
- augment() : mim::plug::autodiff::Eval
 
- augment_() : mim::plug::autodiff::Eval
 
- augment_app() : mim::plug::autodiff::Eval
 
- augment_extract() : mim::plug::autodiff::Eval
 
- augment_lam() : mim::plug::autodiff::Eval
 
- augment_lit() : mim::plug::autodiff::Eval
 
- augment_pack() : mim::plug::autodiff::Eval
 
- augment_tuple() : mim::plug::autodiff::Eval
 
- augment_var() : mim::plug::autodiff::Eval
 
- AutomatonBase() : automaton::AutomatonBase< NodeType >
 
- aux_parent() : mim::lct::Node< P, K >
 
- axm() : mim::App, mim::Axm::IsA< Id, D >, mim::World
 
- AxmDecl() : mim::ast::AxmDecl