List of all items
Structs
- CheckedModule
- CheckedSource
- Interface
- InvalidPackageName
- ModuleName
- PackageCheck
- PackageName
- SourceSpan
- SpanLabel
- Status
- canonical::AmbiguousOperator
- canonical::Broken
- canonical::Canonicalized
- canonical::CaseBranch
- canonical::Class
- canonical::ClassSignature
- canonical::Constraint
- canonical::CycleMember
- canonical::Derivation
- canonical::DerivedContextGap
- canonical::DerivedRequirement
- canonical::Expression
- canonical::Field
- canonical::Infix
- canonical::Instance
- canonical::InstanceName
- canonical::InstanceSignature
- canonical::Member
- canonical::Module
- canonical::Pattern
- canonical::PatternField
- canonical::PublishedInstance
- canonical::TypeConstructor
- canonical::UnionType
- canonical::ValueSignature
- default_imports::DefaultImport
- dependencies::Cycle
- dependencies::CycleEdge
- dependencies::ModuleWalker
- ir::Binding
- ir::Body
- ir::Constructor
- ir::Declaration
- ir::Field
- ir::Instance
- ir::InstanceMember
- ir::Module
- ir::ModuleErrors
- ir::Predicate
- ir::Reference
- ir::SolvedInstance
- ir::Specialisation
- ir::SubPattern
- ir::Term
- ir::TermPattern
- ir::TypeBinder
- ir::TypedTerm
- ir::Unchecked
- ir::Union
- ir::Variant
- manifest::Dependency
- manifest::Manifest
- manifest::Version
- name::Name
- name::QualName
- resolve::DependencyModules
- resolve::LocalModule
- resolve::ModuleOrigin
- resolve::ResolvedPackage
- scalars::Scalar
- source::files::SourceFile
- source::files::SourceFileError
- source::files::SourceFileId
- source::files::SourceFiles
- source::overlay::Overlay
- typer::Cause
- typer::Error
- typer::Origin
- typer::TypeCheck
- typer::TypeVariable
Enums
- CompilationError
- canonical::Associativity
- canonical::DeclarationSite
- canonical::DerivationBindings
- canonical::DerivationRole
- canonical::DerivationSignatureProblem
- canonical::DerivedPart
- canonical::DerivedShapeProblem
- canonical::Error
- canonical::ExportType
- canonical::Exports
- canonical::ExpressionKind
- canonical::FacadeRejectedKind
- canonical::HeadName
- canonical::ImportOrigin
- canonical::InfixDeclaration
- canonical::InstanceHead
- canonical::InstanceHeadProblem
- canonical::InvalidConstraintKind
- canonical::InvalidVariantKind
- canonical::NameTakenBy
- canonical::PatternKind
- canonical::RecordForm
- canonical::Type
- canonical::Value
- default_imports::Unqualified
- dependencies::Error
- dependencies::Outcome
- exhaustiveness::Error
- ir::CaseForm
- ir::Decision
- ir::Item
- ir::LiteralValue
- ir::Occurrence
- ir::Outcome
- ir::ReferenceKind
- ir::Saturation
- ir::Solved
- ir::SpecialiseError
- ir::Step
- ir::Subject
- ir::TermKind
- ir::TermPatternKind
- ir::TypedTermKind
- manifest::GitPin
- manifest::ManifestError
- manifest::Source
- program::Error
- resolve::Error
- resolve::OriginKind
- source::files::SourceFileErrorType
- source::files::SourceRoot
- typer::Binder
- typer::ErrorKind
- typer::Reason
- typer::RecordUse
- typer::Supplier
- typer::Type
- typer::TypeLiteral
- typer::Written
Traits
Functions
- canonical::canonicalize
- canonical::canonicalize_recovering
- canonical::effectful_result_payload
- check_module
- check_module_recovering
- check_package
- check_package_with_tests
- default_imports::implicit_imports
- default_imports::is_default
- exhaustiveness::check
- ir::build
- ir::decision_tree
- ir::initialisation_items
- ir::mentioned_by_copies
- ir::specialise
- manifest::load
- phase_diagnostic
- plain_diagnostic
- program::check
- resolve::resolve
- resolve::test_only_packages
- resolve::visible_modules
- scalars::opaque_scalar_of
- scalars::scalar_of
- source::load_package_sources
- source::load_package_sources_into
- typer::infer
- typer::type_check
- typer::type_check_recovering