List of all items
Structs
- ast::CmdArg
- ast::MatchArm
- crossref::CrossRefs
- elaborate::ElabError
- elaborate::Program
- elaborate::Scope
- elaborate::UserSynonymDecl
- elaborate::UserTypeDecl
- eval::EvalError
- eval::Interp
- exhaustive::MatchWarning
- prim_types::VariantDecl
- primitives::PrimDef
- quoted::CmdArg
- regexp::GaveUp
- regexp::Regexp
- symbol::Symbol
- symbol::SymbolStore
- typecheck::TypeError
- types::CmdArgType
- types::PolyType
- types::RowVarRef
- types::TyVarRef
- types::TypeContext
- v1::lower::LowerError
- value::BaseEnv
- value::DocumentValue
- value::Env
- value::MathVariantStyle
- value::TextInfo
- visit::CmdArgTypeHook
- visit::CmdArgTypeHookMut
- visit::Driver
- visit::DriverMut
- visit::MonoTypeHook
- visit::MonoTypeHookMut
- visit::RowHook
- visit::RowHookMut
Enums
- CompileError
- ast::Ast
- ast::BText
- ast::IText
- ast::MathElem
- ast::Pattern
- crossref::Verdict
- eval::DecoEntry
- eval::FirePass
- primitives::VersionSpan
- quoted::BText
- quoted::IText
- quoted::MathElem
- types::BaseType
- types::Kind
- types::MonoType
- types::Row
- types::Stage
- unify::UnifyError
- value::Math
- value::MathElement
- value::Value
Traits
- visit::Hook
- visit::HookMut
- visit::IntoHook
- visit::IntoHookMut
- visit::IntoVisitor
- visit::IntoVisitorMut
- visit::Visit
- visit::VisitMut
Functions
- ast::debrand
- check_document_cst_with_stages
- check_document_program
- check_document_v006_xver
- check_document_v1
- compile_document
- compile_document_cst
- compile_document_cst_with_aux
- compile_document_cst_with_stages
- compile_document_cst_with_trials
- compile_document_v006_xver
- compile_document_v006_xver_with_aux
- compile_document_v006_xver_with_trials
- compile_document_v1
- compile_document_v1_with_aux
- compile_document_v1_with_trials
- declared_stage
- elaborate::elaborate
- elaborate::elaborate_program
- elaborate::elaborate_program_with_stages
- elaborate::elaborate_program_with_versions
- eval::match_pattern
- fire_hooks
- hyphenation::hyphenate_word
- merge_v006_program
- prim_types::arrow
- prim_types::builtin_variants_with_version
- prim_types::list
- prim_types::primitive_type
- prim_types::primitive_type_with_version
- prim_types::product
- prim_types::reff
- prim_types::t_bool
- prim_types::t_int
- prim_types::t_string
- primitives::base_env
- primitives::base_env_with_version
- primitives::read_inline
- primitives::read_math
- regexp::compile
- typecheck::typecheck
- typecheck::typecheck_verbose
- typecheck::typecheck_verbose_with_version
- typecheck::typecheck_with_version
- types::generalize
- types::instantiate
- types::resolve
- types::resolve_row
- unify::unify
- v1::lower::lower_document_v1
- v1::lower::lower_file_v1
- visit::visit_cmd_arg_type
- visit::visit_cmd_arg_type_mut
- visit::visit_mono_type
- visit::visit_mono_type_mut
- visit::visit_row
- visit::visit_row_mut
Type Aliases
- ast::branded::Ast
- ast::branded::BText
- ast::branded::CmdArg
- ast::branded::IText
- ast::branded::MatchArm
- ast::branded::MathElem
- ast::branded::Pattern
- crossref::AuxTable