List of all items
Structs
- ast::DecisionBlock
- ast::FnDef
- ast::FnResolution
- ast::MatchArm
- ast::Module
- ast::TypeVariant
- ast::VerifyBlock
- checker::ModuleCheckFindings
- checker::VerifyResult
- codegen::CodegenContext
- codegen::ModuleInfo
- codegen::ProjectOutput
- interpreter::Interpreter
- lexer::Lexer
- lexer::Token
- parser::Parser
- replay::session::EffectRecord
- replay::session::SessionRecording
- types::checker::TypeCheckResult
- types::checker::TypeError
Enums
- ast::BinOp
- ast::Expr
- ast::FnBody
- ast::Literal
- ast::Pattern
- ast::Stmt
- ast::StrPart
- ast::TopLevel
- ast::TypeDef
- interpreter::ExecutionMode
- lexer::LexerError
- lexer::TokenKind
- parser::ParseError
- replay::json::JsonValue
- replay::session::RecordedOutcome
- types::Type
- value::EnvFrame
- value::RuntimeError
- value::Value
Functions
- call_graph::direct_calls
- call_graph::find_recursive_fns
- call_graph::find_tco_groups
- call_graph::ordered_fn_components
- call_graph::recursive_callsite_counts
- call_graph::recursive_scc_ids
- checker::check_module_intent
- checker::expr_to_str
- checker::index_decisions
- checker::run_verify
- codegen::build_context
- codegen::lean::transpile
- codegen::rust::transpile
- replay::json::first_diff_path
- replay::json::format_json
- replay::json::json_to_string
- replay::json::json_to_value
- replay::json::json_values_to_values
- replay::json::parse_json
- replay::json::value_to_json
- replay::json::value_to_json_lossy
- replay::json::values_to_json
- replay::json::values_to_json_lossy
- replay::session::parse_session_recording
- replay::session::session_recording_from_json
- replay::session::session_recording_to_json
- replay::session::session_recording_to_string_pretty
- resolver::resolve_program
- services::console::call
- services::console::effects
- services::console::register
- services::disk::call
- services::disk::effects
- services::disk::register
- services::http::call
- services::http::effects
- services::http::register
- services::http_server::call
- services::http_server::call_with_runtime
- services::http_server::effects
- services::http_server::register
- services::tcp::call
- services::tcp::effects
- services::tcp::register
- source::canonicalize_path
- source::find_module_file
- source::parse_source
- tco::transform_program
- types::byte::call
- types::byte::effects
- types::byte::register
- types::char::call
- types::char::effects
- types::char::register
- types::checker::run_type_check
- types::checker::run_type_check_full
- types::checker::run_type_check_with_base
- types::float::call
- types::float::effects
- types::float::register
- types::int::call
- types::int::effects
- types::int::register
- types::list::call
- types::list::effects
- types::list::register
- types::map::call
- types::map::effects
- types::map::register
- types::option::call
- types::option::effects
- types::option::extra_members
- types::option::register
- types::parse_type_str
- types::parse_type_str_strict
- types::result::call
- types::result::effects
- types::result::extra_members
- types::result::register
- types::string::call
- types::string::effects
- types::string::register
- value::aver_display
- value::aver_repr
- value::hash_memo_args
- value::list_from_vec
- value::list_head
- value::list_len
- value::list_slice
- value::list_tail_view
- value::list_to_vec