List of all items

Structs

• language::rulebook::RuleBook
• language::rulebook::SanitizedRule
• language::syntax::File
• language::syntax::Rule
• runtime::Runtime
• runtime::base::memory::Heap
• runtime::base::memory::LocalVars
• runtime::base::precomp::Precomp
• runtime::base::precomp::PrecompFuns
• runtime::base::program::ApplyObj
• runtime::base::program::Program
• runtime::base::program::Rule
• runtime::base::program::RuleVar
• runtime::base::program::VisitObj
• runtime::base::reducer::ReduceCtx
• runtime::data::barrier::Barrier
• runtime::data::redex_bag::RedexBag
• runtime::data::u64_map::U64Map
• runtime::data::visit_queue::VisitQueue

Enums

• language::syntax::Oper
• language::syntax::Term
• runtime::base::program::Core
• runtime::base::program::Function
• runtime::base::program::RuleBodyCell

Functions

• language::readback::as_code
• language::readback::as_linear_code
• language::readback::as_linear_term
• language::readback::as_string
• language::readback::as_term
• language::rulebook::add_group
• language::rulebook::flatten
• language::rulebook::gen_rulebook
• language::rulebook::group_rules
• language::rulebook::new_rulebook
• language::rulebook::sanitize_rule
• language::rulebook::sanitize_rules
• language::rulebook::subst
• language::syntax::parse_app
• language::syntax::parse_ask_sugar_anon
• language::syntax::parse_ask_sugar_named
• language::syntax::parse_bng
• language::syntax::parse_chr_sugar
• language::syntax::parse_ctr
• language::syntax::parse_dup
• language::syntax::parse_file
• language::syntax::parse_if_sugar
• language::syntax::parse_lam
• language::syntax::parse_let
• language::syntax::parse_lst_sugar
• language::syntax::parse_num
• language::syntax::parse_op2
• language::syntax::parse_rule
• language::syntax::parse_smap
• language::syntax::parse_str_sugar
• language::syntax::parse_sup
• language::syntax::parse_sym_sugar
• language::syntax::parse_term
• language::syntax::parse_var
• language::syntax::read_file
• language::syntax::read_rule
• language::syntax::read_term
• runtime::base::debug::show_at
• runtime::base::debug::show_heap
• runtime::base::debug::show_ptr
• runtime::base::debug::validate_heap
• runtime::base::memory::App
• runtime::base::memory::Arg
• runtime::base::memory::Ctr
• runtime::base::memory::Dp0
• runtime::base::memory::Dp1
• runtime::base::memory::Era
• runtime::base::memory::F6O
• runtime::base::memory::Fun
• runtime::base::memory::Lam
• runtime::base::memory::Op2
• runtime::base::memory::Sup
• runtime::base::memory::U6O
• runtime::base::memory::Var
• runtime::base::memory::acquire_lock
• runtime::base::memory::alloc
• runtime::base::memory::arity_of
• runtime::base::memory::atomic_relink
• runtime::base::memory::atomic_subst
• runtime::base::memory::collect
• runtime::base::memory::free
• runtime::base::memory::gen_dup
• runtime::base::memory::get_cost
• runtime::base::memory::get_ext
• runtime::base::memory::get_loc
• runtime::base::memory::get_num
• runtime::base::memory::get_tag
• runtime::base::memory::get_used
• runtime::base::memory::get_val
• runtime::base::memory::inc_cost
• runtime::base::memory::link
• runtime::base::memory::load_arg
• runtime::base::memory::load_ptr
• runtime::base::memory::move_ptr
• runtime::base::memory::new_atomic_u64_array
• runtime::base::memory::new_atomic_u8_array
• runtime::base::memory::new_heap
• runtime::base::memory::new_tids
• runtime::base::memory::release_lock
• runtime::base::memory::take_arg
• runtime::base::memory::take_ptr
• runtime::base::precomp::u60_if_apply
• runtime::base::precomp::u60_if_visit
• runtime::base::precomp::u60_swap_apply
• runtime::base::precomp::u60_swap_visit
• runtime::base::program::alloc_body
• runtime::base::program::alloc_closed_core
• runtime::base::program::alloc_term
• runtime::base::program::build_body
• runtime::base::program::build_function
• runtime::base::program::gen_functions
• runtime::base::program::gen_names
• runtime::base::program::get_global_name_misc
• runtime::base::program::get_var
• runtime::base::program::hash
• runtime::base::program::make_string
• runtime::base::program::term_to_core
• runtime::base::reducer::is_whnf
• runtime::base::reducer::normalize
• runtime::base::reducer::reduce
• runtime::base::reducer::reducer
• runtime::data::f60::add
• runtime::data::f60::and
• runtime::data::f60::div
• runtime::data::f60::eql
• runtime::data::f60::gte
• runtime::data::f60::gtn
• runtime::data::f60::lte
• runtime::data::f60::ltn
• runtime::data::f60::mdl
• runtime::data::f60::mul
• runtime::data::f60::neq
• runtime::data::f60::new
• runtime::data::f60::or
• runtime::data::f60::shl
• runtime::data::f60::show
• runtime::data::f60::shr
• runtime::data::f60::sub
• runtime::data::f60::val
• runtime::data::f60::xor
• runtime::data::redex_bag::get_redex_cont
• runtime::data::redex_bag::get_redex_host
• runtime::data::redex_bag::get_redex_left
• runtime::data::redex_bag::new_redex
• runtime::data::u60::add
• runtime::data::u60::and
• runtime::data::u60::div
• runtime::data::u60::eql
• runtime::data::u60::gte
• runtime::data::u60::gtn
• runtime::data::u60::lte
• runtime::data::u60::ltn
• runtime::data::u60::mdl
• runtime::data::u60::mul
• runtime::data::u60::neq
• runtime::data::u60::new
• runtime::data::u60::or
• runtime::data::u60::shl
• runtime::data::u60::show
• runtime::data::u60::shr
• runtime::data::u60::sub
• runtime::data::u60::val
• runtime::data::u60::xor
• runtime::data::visit_queue::get_visit_cont
• runtime::data::visit_queue::get_visit_hold
• runtime::data::visit_queue::get_visit_host
• runtime::data::visit_queue::new_visit
• runtime::default_heap_size
• runtime::default_heap_tids
• runtime::rule::app::apply
• runtime::rule::app::visit
• runtime::rule::dup::apply
• runtime::rule::dup::visit
• runtime::rule::fun::apply
• runtime::rule::fun::superpose
• runtime::rule::fun::visit
• runtime::rule::op2::apply
• runtime::rule::op2::visit

Type Aliases

• language::rulebook::RuleGroup
• runtime::base::memory::ArityMap
• runtime::base::memory::AtomicPtr
• runtime::base::memory::Ptr
• runtime::base::program::ApplyFun
• runtime::base::program::Aris
• runtime::base::program::Funs
• runtime::base::program::Nams
• runtime::base::program::RuleBody
• runtime::base::program::RuleBodyNode
• runtime::base::program::VisitFun
• runtime::data::redex_bag::Redex
• runtime::data::visit_queue::Visit

Constants

• runtime::CELLS_PER_GB
• runtime::CELLS_PER_KB
• runtime::CELLS_PER_MB
• runtime::base::memory::ADD
• runtime::base::memory::AND
• runtime::base::memory::APP
• runtime::base::memory::ARG
• runtime::base::memory::CTR
• runtime::base::memory::DIV
• runtime::base::memory::DP0
• runtime::base::memory::DP1
• runtime::base::memory::EQL
• runtime::base::memory::ERA
• runtime::base::memory::EXT
• runtime::base::memory::F60
• runtime::base::memory::FUN
• runtime::base::memory::GTE
• runtime::base::memory::GTN
• runtime::base::memory::LAM
• runtime::base::memory::LOCK_OPEN
• runtime::base::memory::LTE
• runtime::base::memory::LTN
• runtime::base::memory::MOD
• runtime::base::memory::MUL
• runtime::base::memory::NEQ
• runtime::base::memory::NIL
• runtime::base::memory::OP2
• runtime::base::memory::OR
• runtime::base::memory::SHL
• runtime::base::memory::SHR
• runtime::base::memory::SUB
• runtime::base::memory::SUP
• runtime::base::memory::TAG
• runtime::base::memory::U60
• runtime::base::memory::VAL
• runtime::base::memory::VAR
• runtime::base::memory::XOR
• runtime::base::precomp::BOTH
• runtime::base::precomp::HVM_LOAD
• runtime::base::precomp::HVM_LOG
• runtime::base::precomp::HVM_PRINT
• runtime::base::precomp::HVM_QUERY
• runtime::base::precomp::HVM_SAVE
• runtime::base::precomp::HVM_SLEEP
• runtime::base::precomp::KIND_TERM_CT0
• runtime::base::precomp::KIND_TERM_CT1
• runtime::base::precomp::KIND_TERM_CT2
• runtime::base::precomp::KIND_TERM_CT3
• runtime::base::precomp::KIND_TERM_CT4
• runtime::base::precomp::KIND_TERM_CT5
• runtime::base::precomp::KIND_TERM_CT6
• runtime::base::precomp::KIND_TERM_CT7
• runtime::base::precomp::KIND_TERM_CT8
• runtime::base::precomp::KIND_TERM_CT9
• runtime::base::precomp::KIND_TERM_CTA
• runtime::base::precomp::KIND_TERM_CTB
• runtime::base::precomp::KIND_TERM_CTC
• runtime::base::precomp::KIND_TERM_CTD
• runtime::base::precomp::KIND_TERM_CTE
• runtime::base::precomp::KIND_TERM_CTF
• runtime::base::precomp::KIND_TERM_CTG
• runtime::base::precomp::KIND_TERM_F60
• runtime::base::precomp::KIND_TERM_U60
• runtime::base::precomp::PRECOMP
• runtime::base::precomp::PRECOMP_COUNT
• runtime::base::precomp::STRING_CONS
• runtime::base::precomp::STRING_NIL
• runtime::base::precomp::U60_IF
• runtime::base::precomp::U60_SWAP
• runtime::data::redex_bag::REDEX_BAG_SIZE
• runtime::data::redex_bag::REDEX_CONT_RET
• runtime::data::visit_queue::VISIT_QUEUE_SIZE