List of all items
Structs
- cache::Cache
- cache::Envs
- cache::NameIdEntry
- cache::TermEntry
- cache::resolvers::DummyResolver
- cache::resolvers::SimpleResolver
- environment::EnvElemIter
- environment::EnvIter
- environment::EnvLayerIter
- environment::Environment
- error::Diagnostic
- error::ExportError
- error::IOError
- error::Label
- error::ParseErrors
- error::report::DiagnosticsWrapper
- eval::Closure
- eval::VirtualMachine
- eval::cache::BlackholedError
- eval::cache::lazy::CBNCache
- eval::cache::lazy::Thunk
- eval::cache::lazy::ThunkData
- eval::cache::lazy::ThunkUpdateFrame
- eval::callstack::CallDescr
- eval::callstack::CallStack
- eval::merge::split::SplitResult
- eval::stack::Stack
- eval::stack::StrAccData
- files::FileId
- files::Files
- format::FormatError
- identifier::Ident
- identifier::LocIdent
- label::ContractDiagnostic
- label::Label
- label::MergeLabel
- label::TypeVarData
- label::ty_path::PathSpan
- parser::grammar::CliFieldAssignmentParser
- parser::grammar::ExtendedTermParser
- parser::grammar::FixedTypeParser
- parser::grammar::StaticFieldPathParser
- parser::grammar::TermParser
- parser::lexer::Lexer
- parser::lexer::MultiStrData
- parser::lexer::NormalData
- parser::lexer::SymbolicStringStart
- parser::uniterm::UniRecord
- parser::uniterm::UniTerm
- parser::utils::FieldDef
- parser::utils::FieldExtAnnot
- parser::utils::LetBinding
- parser::utils::ParseNumberError
- position::RawPos
- position::RawSpan
- pretty::Allocator
- pretty::DocBuilder
- program::FieldOverride
- program::FieldPath
- program::Program
- repl::InputParser
- repl::ReplImpl
- repl::command::UnknownCommandError
- repl::query_print::Attributes
- repl::query_print::MarkdownRenderer
- repl::query_print::SimpleRenderer
- serialize::NickelPointer
- serialize::ParseFormatError
- stdlib::UnknownStdlibModule
- term::CompiledRegex
- term::CustomContract
- term::EnumVariantAttrs
- term::IndexMap
- term::Integer
- term::LabeledType
- term::LetAttrs
- term::LetMetadata
- term::MatchBranch
- term::MatchData
- term::Rational
- term::RichTerm
- term::RuntimeContract
- term::SharedTerm
- term::TypeAnnotation
- term::array::ArrayAttrs
- term::make::builder::Complete
- term::make::builder::Field
- term::make::builder::Incomplete
- term::make::builder::Record
- term::pattern::ArrayPattern
- term::pattern::ConstantPattern
- term::pattern::EnumPattern
- term::pattern::FieldPattern
- term::pattern::OrPattern
- term::pattern::Pattern
- term::pattern::RecordPattern
- term::record::Field
- term::record::FieldMetadata
- term::record::MissingFieldDefError
- term::record::RecordAttrs
- term::record::RecordData
- term::record::RecordDeps
- term::record::SealedTail
- term::string::NickelString
- term::string::RegexFindResult
- transform::import_resolution::strict::ResolveResult
- transform::import_resolution::tolerant::ResolveResult
- typ::EnumRowF
- typ::EnumRows
- typ::EnumRowsIterator
- typ::RecordRowF
- typ::RecordRows
- typ::RecordRowsIterator
- typ::Type
- typ::UnboundTypeVariableError
- typecheck::Context
- typecheck::State
- typecheck::TypeTables
- typecheck::VarLevelsData
- typecheck::eq::SimpleTermEnvironment
- typecheck::reporting::NameReg
- typecheck::unif::UnifSlot
- typecheck::unif::UnifTable
- typecheck::unif::VarLevel
Enums
- cache::CacheError
- cache::CacheOp
- cache::EntryOrigin
- cache::EntryState
- cache::ErrorTolerance
- cache::InputFormat
- cache::ResolvedTerm
- cache::SourcePath
- cache::SourceState
- deserialize::RustDeserializationError
- error::Error
- error::EvalError
- error::ExportErrorData
- error::IllegalPolymorphicTailAction
- error::ImportError
- error::LabelStyle
- error::ParseError
- error::ReplError
- error::TypecheckError
- error::report::ErrorFormat
- eval::EnvBuildError
- eval::cache::lazy::InnerThunkData
- eval::cache::lazy::ThunkState
- eval::callstack::StackElem
- eval::merge::MergeMode
- eval::operation::OperationCont
- eval::operation::RecPriority
- eval::stack::Marker
- label::MergeKind
- label::Polarity
- label::ty_path::Elem
- parser::ExtendedTerm
- parser::error::InvalidRecordTypeError
- parser::error::LexicalError
- parser::error::ParseError
- parser::lexer::ModalLexer
- parser::lexer::Mode
- parser::lexer::MultiStringToken
- parser::lexer::NormalToken
- parser::lexer::StringToken
- parser::lexer::Token
- parser::uniterm::UniTermNode
- parser::utils::ChunkLiteralPart
- parser::utils::FieldPathElem
- parser::utils::InfixOp
- parser::utils::RecordLastField
- parser::utils::StringEndDelimiter
- parser::utils::StringStartDelimiter
- position::TermPos
- pretty::StringRenderStyle
- program::Input
- repl::EvalResult
- repl::InitError
- repl::InputStatus
- repl::command::Command
- repl::command::CommandType
- serialize::ExportFormat
- serialize::MetadataExportFormat
- serialize::NickelPointerElem
- stdlib::StdlibModule
- term::BinaryOp
- term::BindingType
- term::MergePriority
- term::NAryOp
- term::OpPos
- term::RecordExtKind
- term::RecordOpKind
- term::RoundingMode
- term::StrChunk
- term::Term
- term::TraverseControl
- term::TraverseOrder
- term::UnaryOp
- term::pattern::ConstantPatternData
- term::pattern::LastPattern
- term::pattern::PatternData
- term::pattern::TailPattern
- term::record::FieldDeps
- term::string::SubstringError
- typ::DictTypeFlavour
- typ::EnumRowsF
- typ::EnumRowsIteratorItem
- typ::RecordRowsF
- typ::RecordRowsIteratorItem
- typ::TypeF
- typ::VarKind
- typ::VarKindDiscriminant
- typecheck::ApparentType
- typecheck::EnvBuildError
- typecheck::GenericUnifEnumRows
- typecheck::GenericUnifEnumRowsIteratorItem
- typecheck::GenericUnifRecordRows
- typecheck::GenericUnifRecordRowsIteratorItem
- typecheck::GenericUnifType
- typecheck::TypecheckMode
- typecheck::error::RowUnifError
- typecheck::error::UnifError
- typecheck::unif::RemoveRowResult
Traits
- cache::ImportResolver
- closurize::Closurize
- combine::Combine
- error::IntoDiagnostics
- eval::cache::Cache
- parser::ErrorTolerantParser
- parser::grammar::__ToTriple
- parser::utils::AttachTerm
- pretty::DocAllocator
- pretty::Pretty
- pretty::PrettyPrintCap
- repl::Repl
- repl::query_print::QueryPrinter
- term::IsInteger
- term::RoundingFrom
- term::ToSci
- term::Traverse
- term::Zero
- term::pattern::bindings::Bindings
- term::pattern::compile::Compile
- term::pattern::compile::CompilePart
- transform::free_vars::CollectFreeVars
- typecheck::ReifyAsUnifType
- typecheck::TypecheckVisitor
- typecheck::eq::FromEnv
- typecheck::eq::TermEnvironment
- typecheck::reporting::ToType
Macros
- impl_display_from_pretty
- match_sharedterm
- mk_app
- mk_array
- mk_fun
- mk_opn
- mk_record
- mk_uty_arrow
- mk_uty_enum
- mk_uty_enum_row
- mk_uty_record
- mk_uty_record_row
Functions
- cache::normalize_path
- cache::timestamp
- closurize::closurize_rec_record
- closurize::should_share
- error::escape
- error::report::report
- error::report::report_to_stdout
- error::report::report_with
- error::suggest::add_suggestion
- error::suggest::find_best_match
- eval::env_add
- eval::env_add_record
- eval::fixpoint::patch_field
- eval::fixpoint::rec_env
- eval::fixpoint::revert
- eval::merge::merge
- eval::merge::split::split
- eval::operation::FreshVariableCounter::next
- eval::operation::FreshVariableCounter::reset
- eval::operation::FreshVariableCounter::set
- eval::subst
- format::format
- identifier::GeneratedCounter::next
- identifier::GeneratedCounter::reset
- identifier::GeneratedCounter::set
- label::ty_path::has_no_arrow
- label::ty_path::has_no_dom
- label::ty_path::span
- parser::lexer::normalize_line_endings
- parser::uniterm::fix_field_types
- parser::utils::build_record
- parser::utils::min_indent
- parser::utils::mk_access
- parser::utils::mk_fun
- parser::utils::mk_import_based_on_filename
- parser::utils::mk_import_explicit
- parser::utils::mk_label
- parser::utils::mk_let
- parser::utils::mk_merge_label
- parser::utils::mk_pos
- parser::utils::mk_span
- parser::utils::parse_number_base
- parser::utils::parse_number_sci
- parser::utils::strip_indent
- pretty::fmt_pretty
- pretty::ident_quoted
- repl::InputNameCounter::next
- repl::InputNameCounter::reset
- repl::InputNameCounter::set
- repl::print_help
- repl::query_print::write_query_result
- repl::rustyline_frontend::config
- repl::rustyline_frontend::repl
- serialize::deserialize_array
- serialize::deserialize_num
- serialize::deserialize_record
- serialize::serialize_annotated_value
- serialize::serialize_array
- serialize::serialize_num
- serialize::serialize_record
- serialize::to_string
- serialize::to_writer
- serialize::to_writer_metadata
- serialize::toml_deser::from_str
- serialize::validate
- stdlib::internals::array
- stdlib::internals::array_dyn
- stdlib::internals::bool
- stdlib::internals::dict_contract
- stdlib::internals::dict_dyn
- stdlib::internals::dict_type
- stdlib::internals::dyn_tail
- stdlib::internals::dynamic
- stdlib::internals::empty_tail
- stdlib::internals::enum_fail
- stdlib::internals::enum_variant
- stdlib::internals::enumeration
- stdlib::internals::forall
- stdlib::internals::forall_enum_tail
- stdlib::internals::forall_record_tail
- stdlib::internals::forall_record_tail_excluded_only
- stdlib::internals::forall_var
- stdlib::internals::foreign_id
- stdlib::internals::func
- stdlib::internals::func_codom
- stdlib::internals::func_dom
- stdlib::internals::func_dyn
- stdlib::internals::naked_to_custom
- stdlib::internals::num
- stdlib::internals::prepare_custom_contract
- stdlib::internals::rec_default
- stdlib::internals::rec_force
- stdlib::internals::record_contract
- stdlib::internals::record_type
- stdlib::internals::stdlib_contract_equal
- stdlib::internals::string
- stdlib::modules
- term::make::apply_contract
- term::make::custom_contract
- term::make::enum_variant
- term::make::id
- term::make::if_then_else
- term::make::import
- term::make::integer
- term::make::let_in
- term::make::let_one_in
- term::make::let_one_pat
- term::make::let_one_rec_in
- term::make::let_pat_in
- term::make::op1
- term::make::op2
- term::make::opn
- term::make::static_access
- term::make::string
- term::make::var
- transform::desugar_destructuring::desugar_fun
- transform::desugar_destructuring::desugar_let
- transform::desugar_destructuring::transform_one
- transform::free_vars::transform
- transform::gen_pending_contracts::transform_one
- transform::import_resolution::strict::resolve_imports
- transform::import_resolution::strict::transform_one
- transform::import_resolution::tolerant::resolve_imports
- transform::import_resolution::tolerant::transform_one
- transform::substitute_wildcards::transform_one
- transform::transform
- transform::transform_no_free_vars
- typecheck::apparent_type
- typecheck::env_add
- typecheck::env_add_term
- typecheck::eq::contract_eq
- typecheck::eq::type_eq_noenv
- typecheck::infer_record_type
- typecheck::mk_initial_ctxt
- typecheck::mk_uniftype::array
- typecheck::mk_uniftype::arrow
- typecheck::mk_uniftype::bool
- typecheck::mk_uniftype::dict
- typecheck::mk_uniftype::dynamic
- typecheck::mk_uniftype::foreign_id
- typecheck::mk_uniftype::num
- typecheck::mk_uniftype::str
- typecheck::mk_uniftype::sym
- typecheck::operation::custom_contract_ret_type
- typecheck::operation::custom_contract_type
- typecheck::operation::get_bop_type
- typecheck::operation::get_nop_type
- typecheck::operation::get_uop_type
- typecheck::type_check
- typecheck::type_check_with_visitor
Type Aliases
- error::report::ColorOpt
- eval::Environment
- eval::cache::CacheImpl
- eval::cache::CacheIndex
- label::ty_path::Path
- parser::lexer::SpannedToken
- parser::utils::FieldPath
- term::ForeignIdPayload
- term::Number
- term::SealingKey
- term::array::Array
- typ::EnumRow
- typ::RecordRow
- typecheck::Environment
- typecheck::GenericUnifEnumRow
- typecheck::GenericUnifEnumRowsUnrolling
- typecheck::GenericUnifRecordRow
- typecheck::GenericUnifRecordRowsUnrolling
- typecheck::NameTable
- typecheck::UnifEnumRow
- typecheck::UnifEnumRows
- typecheck::UnifRecordRow
- typecheck::UnifRecordRows
- typecheck::UnifRecordRowsIteratorItem
- typecheck::UnifType
- typecheck::Wildcards
- typecheck::unif::RowConstrs
- typecheck::unif::VarId