List of all items

Structs

• CompileOpts
• CompileResult
• RunOpts
• diagnostics::Diagnostic
• diagnostics::Diagnostics
• diagnostics::DiagnosticsConfig
• diagnostics::TextLocation
• diagnostics::TextSpan
• fun::Adt
• fun::AdtCtr
• fun::Book
• fun::CtrField
• fun::Ctx
• fun::Definition
• fun::HvmDefinition
• fun::Name
• fun::Rule
• fun::Source
• fun::check::shared_names::RepeatedTopLevelNameErr
• fun::display::DisplayFn
• fun::display::DisplayJoin
• fun::net_to_term::NameGen
• fun::net_to_term::Reader
• fun::parser::FunParser
• fun::parser::ParseBook
• 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::MatchArm
• imp::parser::ImpParser
• imports::Import
• imports::ImportCtx
• imports::loader::DefaultLoader
• imports::packages::Packages
• net::INet
• net::INode
• net::Node
• net::Port

Enums

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

Traits

• fun::parser::ParserCommons
• imports::loader::PackageLoader

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::load_book::load_to_book
• fun::net_to_term::net_to_term
• fun::num_to_name
• fun::parser::is_name_char
• fun::parser::is_num_char
• fun::parser::make_ctr_type
• fun::parser::make_fn_type
• 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::eta_reduce::eta_reduce_hvm_net
• hvm::hvm_book_show_pretty
• 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
• imports::loader::normalize_path
• net::hvm_to_net::hvm_to_net
• readback_hvm_net
• run_book
• type_check_book

Type Aliases

• fun::Adts
• fun::Constructors
• fun::Definitions
• fun::HvmDefinitions
• fun::MatchRule
• fun::parser::ParseResult
• imports::BindMap
• imports::loader::Sources
• 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::BUILTIN_CTRS
• fun::builtins::BUILTIN_TYPES
• fun::builtins::HEAD
• fun::builtins::IO
• fun::builtins::IO_CALL
• fun::builtins::IO_DONE
• 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::MAP
• fun::builtins::MAP_LEAF
• fun::builtins::MAP_NODE
• 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::builtins::TREE
• fun::builtins::TREE_LEAF
• fun::builtins::TREE_NODE
• fun::transform::definition_merge::MERGE_SEPARATOR
• fun::transform::desugar_bend::RECURSIVE_KW
• fun::transform::float_combinators::NAME_SEP
• hvm::check_net_size::MAX_NET_SIZE_C
• hvm::check_net_size::MAX_NET_SIZE_CUDA
• imports::loader::BEND_PATH
• net::LABEL_MASK
• net::ROOT
• net::TAG
• net::TAG_MASK
• net::TAG_WIDTH