List of all items

Structs

• CompileOpts
• CompileResult
• RunOpts
• diagnostics::Diagnostic
• diagnostics::Diagnostics
• diagnostics::DiagnosticsConfig
• fun::Adt
• fun::Book
• fun::CtrField
• fun::Ctx
• fun::Definition
• fun::Name
• fun::Rule
• fun::check::shared_names::RepeatedTopLevelNameErr
• fun::display::DisplayFn
• fun::display::DisplayJoin
• fun::net_to_term::NameGen
• fun::net_to_term::Reader
• fun::parser::TermParser
• fun::term_to_net::LabelGenerator
• fun::term_to_net::Labels
• fun::term_to_net::ViciousCycleErr
• fun::transform::resolve_refs::ReferencedMainErr
• fun::transform::unique_names::UniqueNameGenerator
• hvm::mutual_recursion::Graph
• imp::Definition
• imp::Enum
• imp::MatchArm
• imp::Variant
• imp::parser::PyParser
• net::INet
• net::INode
• net::Node
• net::Port

Enums

• AdtEncoding
• OptLevel
• diagnostics::DiagnosticOrigin
• diagnostics::Severity
• diagnostics::WarningType
• fun::FanKind
• fun::Num
• fun::Op
• fun::Pattern
• fun::Tag
• fun::Term
• fun::check::set_entrypoint::EntryErr
• fun::check::unbound_vars::UnboundVarErr
• fun::net_to_term::ReadbackError
• fun::parser::Indent
• fun::transform::desugar_match_defs::DesugarMatchDefErr
• fun::transform::desugar_match_defs::Type
• imp::AssignPattern
• imp::Expr
• imp::InPlaceOp
• imp::Stmt
• net::CtrKind
• net::NodeKind

Traits

• fun::parser::ParserCommons

Macros

• multi_iterator

Functions

• check_book
• compile_book
• desugar_book
• fun::check::unbound_vars::check_global_binds
• fun::check::unbound_vars::check_uses
• fun::load_book::do_parse_book
• fun::load_book::load_file_to_book
• fun::net_to_term::net_to_term
• fun::num_to_name
• fun::parser::is_name_char
• fun::parser::is_num_char
• fun::term_to_net::book_to_hvm
• fun::term_to_net::term_to_hvm
• fun::transform::linearize_matches::lift_match_vars
• hvm::add_recursive_priority::add_recursive_priority
• hvm::add_recursive_priority::cycles
• hvm::check_net_size::check_net_sizes
• hvm::check_net_size::count_nodes
• hvm::display_hvm_book
• hvm::display_hvm_net
• hvm::display_hvm_numb
• hvm::display_hvm_tree
• hvm::eta_reduce::eta_reduce_hvm_net
• hvm::inline::inline_hvm_book
• hvm::mutual_recursion::check_cycles
• hvm::net_trees
• hvm::net_trees_mut
• hvm::prune::prune_hvm_book
• hvm::tree_children
• hvm::tree_children_mut
• net::hvm_to_net::hvm_to_net
• readback_hvm_net
• run_book

Type Aliases

• fun::Adts
• fun::Constructors
• fun::Definitions
• fun::MatchRule
• fun::parser::ParseResult
• net::BendLab
• net::INodes
• net::NodeId
• net::SlotId

Statics

• fun::STRINGS

Constants

• ENTRY_POINT
• HVM1_ENTRY_POINT
• HVM_OUTPUT_END_MARKER
• diagnostics::ERR_INDENT_SIZE
• fun::builtins::HEAD
• fun::builtins::LCONS
• fun::builtins::LCONS_TAG
• fun::builtins::LCONS_TAG_REF
• fun::builtins::LIST
• fun::builtins::LNIL
• fun::builtins::LNIL_TAG_REF
• fun::builtins::NAT
• fun::builtins::NAT_SUCC
• fun::builtins::NAT_SUCC_TAG
• fun::builtins::NAT_ZERO
• fun::builtins::SCONS
• fun::builtins::SCONS_TAG
• fun::builtins::SCONS_TAG_REF
• fun::builtins::SNIL
• fun::builtins::SNIL_TAG_REF
• fun::builtins::STRING
• fun::builtins::TAIL
• fun::transform::definition_merge::MERGE_SEPARATOR
• fun::transform::desugar_bend::RECURSIVE_KW
• hvm::check_net_size::MAX_NET_SIZE
• net::LABEL_MASK
• net::ROOT
• net::TAG
• net::TAG_MASK
• net::TAG_WIDTH