List of all items

Structs

• Normalized
• Parsed
• Resolved
• ToExprOptions
• Typed
• builtins::BuiltinClosure
• ctxt::Ctxt
• ctxt::CtxtS
• ctxt::ImportAlternativeId
• ctxt::ImportId
• ctxt::ImportResultId
• ctxt::StoredImport
• ctxt::StoredImportAlternative
• error::Error
• error::ErrorBuilder
• error::TypeError
• semantics::nze::env::ValEnv
• semantics::nze::lazy::Lazy
• semantics::nze::nir::Nir
• semantics::nze::nir::TextLit
• semantics::nze::var::Binder
• semantics::resolve::cache::Cache
• semantics::resolve::env::ImportEnv
• semantics::resolve::env::NameEnv
• semantics::resolve::hir::AlphaVar
• semantics::resolve::hir::Hir
• semantics::resolve::resolve::ImportLocation
• semantics::tck::env::TyEnv
• semantics::tck::env::VarEnv
• semantics::tck::tir::Tir
• semantics::tck::tir::Type
• semantics::tck::tir::Universe
• syntax::Expr
• syntax::FilePath
• syntax::Import
• syntax::InterpolatedText
• syntax::Label
• syntax::NaiveDouble
• syntax::ParsedSpan
• syntax::URL
• syntax::V

Enums

• builtins::Builtin
• error::CacheError
• error::DecodeError
• error::EncodeError
• error::ErrorKind
• error::ImportError
• error::TypeMessage
• operations::BinOp
• operations::OpKind
• semantics::nze::env::NzVar
• semantics::nze::nir::Closure
• semantics::nze::nir::NirKind
• semantics::nze::nir::Thunk
• semantics::resolve::hir::HirKind
• semantics::resolve::resolve::ImportNode
• syntax::Const
• syntax::ExprKind
• syntax::FilePrefix
• syntax::Hash
• syntax::ImportMode
• syntax::ImportTarget
• syntax::InterpolatedTextContents
• syntax::NumKind
• syntax::Scheme
• syntax::Span
• syntax::binary::CBORValue
• syntax::text::parser::AliasedRule
• syntax::text::parser::Rule

Traits

• semantics::nze::lazy::Eval
• semantics::resolve::resolve::Canonicalize

Functions

• builtins::rc
• builtins::type_of_builtin
• operations::normalize_operation
• operations::typecheck_operation
• semantics::nze::normalize::apply_any
• semantics::nze::normalize::merge_maps
• semantics::nze::normalize::normalize_hir
• semantics::nze::normalize::normalize_one_layer
• semantics::nze::normalize::ret_kind
• semantics::nze::normalize::ret_nir
• semantics::nze::normalize::ret_op
• semantics::nze::normalize::ret_ref
• semantics::nze::normalize::squash_textlit
• semantics::parse::parse_binary
• semantics::parse::parse_binary_file
• semantics::parse::parse_file
• semantics::parse::parse_remote
• semantics::parse::parse_str
• semantics::resolve::resolve::check_hash
• semantics::resolve::resolve::resolve
• semantics::resolve::resolve::skip_resolve
• semantics::tck::typecheck::mk_span_err
• semantics::tck::typecheck::mkerr
• semantics::tck::typecheck::type_with
• semantics::tck::typecheck::typecheck
• semantics::tck::typecheck::typecheck_with
• syntax::binary::decode
• syntax::binary::encode
• syntax::text::parser::parse_expr
• syntax::visitor::visit_ref
• utils::read_binary_file
• utils::sha256_hash

Type Aliases

• error::Result
• semantics::nze::env::NzEnv
• semantics::nze::normalize::Ret
• semantics::resolve::env::CyclesStack
• semantics::resolve::resolve::Import
• syntax::Double
• syntax::Integer
• syntax::Natural
• syntax::UnspannedExpr
• syntax::text::parser::ParseError
• syntax::text::parser::ParseResult