List of all items
Structs
- api::DeclError
- api::Diagnostic
- api::EvaluateOptions
- ast::Decl
- ast::ForClause
- ast::ImportItem
- ast::Loc
- ast::MatchArm
- ast::Param
- checker::CheckHooks
- conformance::Verdict
- engine::DeferredRoot
- engine::Engine
- infer::Ctx
- infer::Guards
- infer::Target
- infer::Ty
- module::Bind
- module::LoadResult
- module::Module
- package::Manifest
- package::PackageUniverse
- package::ResolvedPackage
- parse::ParseResult
- pipeline::Pipeline
- pipeline::Report
- repl::Repl
- semantics::ArrV
- semantics::AssertItem
- semantics::Closure
- semantics::ConstEntry
- semantics::Diag
- semantics::DiagDecl
- semantics::Env
- semantics::EvalErr
- semantics::Export
- semantics::FuncEntry
- semantics::MapV
- semantics::Member
- semantics::NsRefV
- semantics::PreValV
- semantics::RecInst
- semantics::RecType
- semantics::Scope
- semantics::Slot
- semantics::Ty
- semantics::TypeEntry
- semantics::UnitDecl
- session::Document
- session::ExprResult
- session::RootInfo
- session::Run
- session::Session
- session::SessionError
- session::Timing
Enums
- api::Document
- ast::DeclBody
- ast::Expr
- ast::MemberAst
- ast::TPart
- ast::Tail
- ast::TypeAst
- engine::OwnedRootSrc
- engine::RootSrc
- infer::StdRet
- pipeline::Phase
- semantics::Compute
- semantics::Fail
- semantics::MKind
- semantics::RTk
- semantics::Seg
- semantics::SlotState
- semantics::Value
- session::BindSource
- session::EditKind
- session::Mode
- session::Op
- session::Origin
Functions
- api::check
- api::evaluate
- api::format_source
- api::validate
- ast::expr_loc
- ast::expr_name
- ast::mentions_referrers
- ast::set_expr_loc
- checker::check_module
- cli::check_files
- cli::evaluate
- cli::file_tag
- cli::input_binds
- cli::main
- cli::open_universe
- cli::validate_file
- conformance::judge_corpus
- conformance::judge_fixture
- conformance::walk_decl
- engine::fmt_f
- fmt::format
- fmt::u16len
- infer::apply_guards
- infer::check_expr
- infer::guards_of
- infer::has_null
- infer::infer
- infer::js_str
- infer::js_typeof
- infer::make_ctx
- infer::member_ty
- infer::mk_union
- infer::named
- infer::num_kind
- infer::path_key
- infer::prim
- infer::require_val
- infer::resolve_in
- infer::resolve_name
- infer::std_names
- infer::std_path
- infer::tag
- infer::try_resolve
- infer::type_text
- infer::tyv
- infer::unk
- lsp::main
- lsp::path_of
- lsp::uri_of
- module::load_modules
- module::run_universe
- package::find_package_root
- package::lock_text
- package::open_package_universe
- package::package_hash
- package::parse_manifest
- package::verify_lock
- package::write_lock
- parse::json_unquote
- parse::parse_int
- parse::parse_source
- pipeline::evaluate_source
- pipeline::run_pipeline
- repl::needs_more
- repl::run_repl
- semantics::cmp_path
- semantics::compile_pattern
- semantics::dot_spellable
- semantics::err
- semantics::err_code
- semantics::is_rec
- semantics::js_num_str
- semantics::json_str
- semantics::key_of_vec
- semantics::parse_path
- semantics::path_str
- semantics::pattern_error
- semantics::read_json
- semantics::rec_members
- semantics::rec_type
- semantics::seg_text
- semantics::sort_diags
- semantics::subst_expr
- semantics::subst_type
- semantics::ty
- semantics::value_eq
- semantics::vec_combine
- semantics::vec_of_key
- session::doc_json
- session::expr_text
- session::fmt_diag
- session::full_recompute
- session::is_root_diag
- session::op_text
- session::parse_decl
- session::parse_expr
- session::pretty_json
- subsume::structurally_empty
- subsume::subsumes
Type Aliases
- engine::Inst
- infer::Report
- package::Resolver
- semantics::ConstEval
- semantics::DimVec
- semantics::ExprEval
- semantics::NatFn
- semantics::R
- semantics::RT
- semantics::SegPath
- session::SResult