List of all items
Structs
- ast::Annotation
- ast::Ast
- ast::AstAlloc
- ast::LetBinding
- ast::LetMetadata
- ast::Match
- ast::MatchBranch
- ast::alloc::AstAlloc
- ast::builder::Complete
- ast::builder::Field
- ast::builder::Incomplete
- ast::builder::Record
- ast::pattern::ArrayPattern
- ast::pattern::ConstantPattern
- ast::pattern::EnumPattern
- ast::pattern::FieldPattern
- ast::pattern::OrPattern
- ast::pattern::Pattern
- ast::pattern::RecordPattern
- ast::pattern::bindings::PatBinding
- ast::pretty::Allocator
- ast::pretty::DocBuilder
- ast::record::FieldDef
- ast::record::FieldMetadata
- ast::record::Include
- ast::record::Record
- ast::typ::EnumRowF
- ast::typ::EnumRows
- ast::typ::RecordRowF
- ast::typ::RecordRows
- ast::typ::Type
- ast::typ::iter::EnumRowsIter
- ast::typ::iter::RecordRowsIter
- cache::AstCache
- cache::AstEntry
- cache::AstResolver
- cache::CacheHub
- cache::CacheHubView
- cache::FileCloseResult
- cache::ImportData
- cache::ImportTarget
- cache::NameIdEntry
- cache::NotARecord
- cache::SourceCache
- cache::TermCache
- cache::TermEntry
- cache::TermNotFound
- cache::WildcardsCache
- cache::resolvers::DummyResolver
- cache::resolvers::SimpleResolver
- environment::EnvLayerIter
- environment::Environment
- error::Diagnostic
- error::EvalCtxt
- error::EvalErrorData
- error::ExportErrorData
- error::IOError
- error::Label
- error::NullReporter
- error::ParseErrors
- error::PointedExportErrorData
- error::Sink
- error::TypecheckErrorData
- error::TypecheckErrorDataAsyncBuilder
- error::TypecheckErrorDataAsyncSendBuilder
- error::TypecheckErrorDataAsyncSendTryBuilder
- error::TypecheckErrorDataAsyncTryBuilder
- error::TypecheckErrorDataBuilder
- error::TypecheckErrorDataTryBuilder
- error::report::DiagnosticsWrapper
- eval::Closure
- eval::NoUnwindVirtualMachine
- eval::VirtualMachine
- eval::VmContext
- eval::cache::BlackholedError
- eval::cache::lazy::CBNCache
- eval::cache::lazy::Thunk
- eval::cache::lazy::ThunkData
- eval::callstack::CallDescr
- eval::callstack::CallStack
- eval::merge::split::SplitResult
- eval::value::ArrayData
- eval::value::EnumVariantData
- eval::value::NickelValue
- eval::value::TagMismatchError
- eval::value::TagOutOfBoundsError
- eval::value::TypeData
- eval::value::ValueBlockRc
- eval::value::lens::ValueLens
- files::FileId
- files::Files
- format::FormatError
- identifier::FastOrdIdent
- identifier::Ident
- identifier::LocIdent
- label::ContractDiagnostic
- label::Label
- label::MergeLabel
- label::TypeVarData
- label::ty_path::PathSpan
- package::PackageMap
- parser::CliFieldAssignmentParser
- parser::ExtendedTermParser
- parser::FixedTypeParser
- parser::StaticFieldPathParser
- parser::TermParser
- 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::OffsetLexer
- parser::lexer::SymbolicStringStart
- position::PosIdx
- position::PosTable
- 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::AnnotatedData
- term::AppData
- term::CompiledRegex
- term::FunData
- term::IndexMap
- term::Integer
- term::LabeledType
- term::LetAttrs
- term::LetData
- term::LetMetadata
- term::Op1Data
- term::Op2Data
- term::OpNData
- term::Rational
- term::RecRecordData
- term::RuntimeContract
- term::SealedData
- term::TypeAnnotation
- term::make::builder::Complete
- term::make::builder::Field
- term::make::builder::Incomplete
- term::make::builder::Record
- term::pattern::compile::MatchBranch
- term::pattern::compile::MatchData
- term::record::Field
- term::record::FieldMetadata
- term::record::Include
- term::record::MissingFieldDefErrorData
- term::record::RecordAttrs
- term::record::RecordData
- term::record::RecordDeps
- term::record::SealedTail
- term::record::SharedMetadata
- term::string::NickelString
- term::string::RegexFindResult
- transform::import_resolution::strict::ResolveResult
- transform::import_resolution::tolerant::ResolveResult
- typ::EnumRow
- typ::EnumRowF
- typ::EnumRows
- typ::EnumRowsIterator
- typ::RecordRow
- typ::RecordRowF
- typ::RecordRows
- typ::RecordRowsIterator
- typ::Type
- typ::UnboundTypeVariableError
- typecheck::Context
- typecheck::State
- typecheck::TermEnv
- typecheck::TypeTables
- typecheck::VarLevelsData
- typecheck::reporting::NameReg
- typecheck::unif::UnifSlot
- typecheck::unif::UnifTable
- typecheck::unif::VarLevel
Enums
- ast::Import
- ast::InputFormat
- ast::MergeKind
- ast::MergePriority
- ast::Node
- ast::RecordOpKind
- ast::StringChunk
- ast::compat::FieldName
- ast::pattern::ConstantPatternData
- ast::pattern::PatternData
- ast::pattern::TailPattern
- ast::pretty::StringRenderStyle
- ast::primop::OpPos
- ast::primop::PrimOp
- ast::record::FieldPathElem
- ast::typ::EnumRowsF
- ast::typ::RecordRowsF
- ast::typ::TypeF
- ast::typ::iter::EnumRowsItem
- ast::typ::iter::RecordRowsItem
- cache::AstEntryState
- cache::CacheError
- cache::CacheOp
- cache::FileCloseError
- cache::InputFormat
- cache::ResolvedTerm
- cache::SourcePath
- cache::SourceState
- cache::TermEntryState
- deserialize::EvalOrDeserError
- deserialize::RustDeserializationError
- error::Error
- error::EvalErrorKind
- error::ExportErrorKind
- error::IllegalPolymorphicTailAction
- error::ImportErrorKind
- error::LabelStyle
- error::ParseError
- error::ReplErrorKind
- error::TypecheckErrorKind
- error::report::ErrorFormat
- error::warning::Warning
- eval::EnvBuildError
- eval::cache::lazy::InnerThunkData
- eval::cache::lazy::ThunkState
- eval::callstack::StackElem
- eval::merge::MergeMode
- eval::value::Container
- eval::value::DataTag
- eval::value::InlineValue
- eval::value::ValueContent
- eval::value::ValueContentRef
- eval::value::ValueContentRefMut
- eval::value::ValueTag
- eval::value::lens::TermContent
- label::Polarity
- label::ty_path::Elem
- parser::ExtendedTerm
- parser::lexer::ModalLexer
- parser::lexer::Mode
- parser::lexer::MultiStringToken
- parser::lexer::NormalToken
- parser::lexer::StringToken
- parser::lexer::Token
- position::TermPos
- pretty::StringRenderStyle
- program::Input
- program::ProgramContract
- repl::EvalResult
- repl::InitError
- repl::InputStatus
- repl::command::Command
- repl::command::CommandType
- serialize::ExportFormat
- serialize::MetadataExportFormat
- serialize::NickelPointerElem
- serialize::yaml::Listify
- stdlib::StdlibModule
- term::BinaryOp
- term::BindingType
- term::Import
- term::MergePriority
- term::NAryOp
- term::OpPos
- term::RecordExtKind
- term::RecordOpKind
- term::RoundingMode
- term::StrChunk
- term::Term
- term::UnaryOp
- term::record::FieldDeps
- term::string::SubstringError
- traverse::TraverseControl
- traverse::TraverseOrder
- typ::DictTypeFlavour
- typ::EnumRowsF
- typ::EnumRowsIteratorItem
- typ::RecordRowsF
- typ::RecordRowsIteratorItem
- typ::TypeF
- typ::VarKind
- typ::VarKindDiscriminant
- typecheck::ApparentType
- typecheck::EnumRowsElt
- typecheck::EnvBuildError
- typecheck::RecordRowsElt
- typecheck::TypecheckMode
- typecheck::UnifEnumRows
- typecheck::UnifRecordRows
- typecheck::UnifType
- typecheck::error::RowKind
- typecheck::error::RowUnifErrorKind
- typecheck::error::UnifErrorKind
- typecheck::unif::RemoveRowResult
Traits
- ast::TryConvert
- ast::alloc::Allocable
- ast::alloc::CloneTo
- ast::combine::Combine
- ast::compat::FromAst
- ast::compat::FromMainline
- ast::compat::ToAst
- ast::compat::ToMainline
- ast::pattern::bindings::Bindings
- ast::pretty::DocAllocator
- ast::pretty::IsAtom
- ast::pretty::Pretty
- ast::pretty::PrettyPrintCap
- cache::AstImportResolver
- cache::ImportResolver
- closurize::Closurize
- combine::Combine
- combine::CombineAlloc
- error::IntoDiagnostics
- error::Reporter
- eval::cache::Cache
- eval::value::ValueBlockData
- parser::ErrorTolerantParser
- parser::ErrorTolerantParserCompat
- parser::FullyErrorTolerantParser
- parser::grammar::__ToTriple
- pretty::DocAllocator
- pretty::Pretty
- pretty::PrettyPrintCap
- repl::Repl
- repl::query_print::QueryPrinter
- term::IsInteger
- term::RoundingFrom
- term::ToSci
- term::Zero
- term::pattern::compile::Compile
- term::pattern::compile::CompilePart
- transform::free_vars::CollectFreeVars
- traverse::Traverse
- traverse::TraverseAlloc
- typecheck::AnnotSeqRef
- typecheck::HasApparentType
- typecheck::ReifyAsUnifType
- typecheck::TypecheckVisitor
- typecheck::eq::TypeEq
- typecheck::operation::PrimOpType
- typecheck::reporting::ToType
Macros
- impl_display_from_pretty
- 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
- ast::builder::enum_tag
- ast::builder::var
- ast::pretty::enum_tag_quoted
- ast::pretty::fmt_pretty
- ast::pretty::ident_quoted
- cache::normalize_abs_path
- cache::normalize_path
- cache::normalize_rel_path
- cache::timestamp
- closurize::closurize_rec_record
- closurize::should_share
- deserialize::from_path
- deserialize::from_reader
- deserialize::from_slice
- deserialize::from_str
- error::escape
- error::report::report
- error::report::report_as_str
- error::report::report_to_stdout
- error::report::report_with
- error::suggest::add_suggestion
- error::suggest::find_best_match
- eval::contract_eq::contract_eq
- eval::contract_eq::type_eq_noenv
- eval::env_add
- eval::env_add_record
- eval::fixpoint::patch_field
- eval::fixpoint::rec_env
- eval::fixpoint::revert
- eval::merge::split::split
- eval::merge::split::split_ref
- 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
- pretty::enum_tag_quoted
- 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_num
- serialize::deserialize_record
- serialize::serialize_annotated_value
- serialize::serialize_num
- serialize::serialize_record
- serialize::to_string
- serialize::to_writer
- serialize::to_writer_metadata
- serialize::toml_deser::ast_from_str
- serialize::toml_deser::from_str
- serialize::validate
- serialize::yaml::load_json
- serialize::yaml::load_json_value
- serialize::yaml::load_yaml
- serialize::yaml::load_yaml_value
- stdlib::internals::add_default_check_label
- 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::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::fallible_unique_map_in_place
- 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_rec_in
- term::make::op1
- term::make::op2
- term::make::opn
- term::make::static_access
- term::make::var
- term::pattern::compile::compile_fun_pattern
- term::pattern::compile::compile_let_pattern
- term::unique_map_in_place
- transform::free_vars::transform
- transform::gen_pending_contracts::transform_one
- transform::gen_pending_contracts::with_pending_contracts
- 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
- traverse::traverse_alloc_many
- typecheck::env_add
- typecheck::env_add_term
- 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::nary_arrow
- typecheck::mk_uniftype::num
- typecheck::mk_uniftype::str
- typecheck::mk_uniftype::sym
- typecheck::operation::custom_contract_ret_type
- typecheck::operation::custom_contract_type
- typecheck::typecheck
- typecheck::typecheck_visit
Type Aliases
- ast::Number
- ast::typ::EnumRow
- ast::typ::EnumRowsUnr
- ast::typ::RecordRow
- ast::typ::RecordRowsUnr
- ast::typ::TypeUnr
- cache::AstCacheError
- cache::TermCacheError
- error::EvalError
- error::ExportError
- error::ImportError
- error::ReplError
- error::TypecheckError
- error::report::ColorOpt
- eval::Environment
- eval::ErrorKind
- eval::cache::CacheImpl
- eval::cache::CacheIndex
- eval::cache::lazy::ThunkUpdateFrame
- eval::value::Array
- eval::value::CustomContractData
- eval::value::ForeignIdData
- eval::value::LabelData
- eval::value::NumberData
- eval::value::SealingKeyData
- eval::value::StringData
- eval::value::TermData
- eval::value::ThunkData
- label::ty_path::Path
- parser::lexer::SpannedToken
- term::ForeignIdPayload
- term::Number
- term::SealingKey
- term::record::MissingFieldDefError
- typecheck::NameTable
- typecheck::TypeEnv
- typecheck::UnifEnumRow
- typecheck::UnifEnumRowsUnr
- typecheck::UnifRecordRow
- typecheck::UnifRecordRowsUnr
- typecheck::Wildcards
- typecheck::error::RowUnifError
- typecheck::error::UnifError
- typecheck::unif::RowConstrs
- typecheck::unif::VarId