List of all items

Structs

• kindcheck::KindCheck
• substitution::Level
• substitution::Snapshot
• substitution::Substitution
• substitution::UnionByLevel
• typecheck::ImplicitError
• typecheck::Typecheck
• unify::UnifierState
• unify_type::Instantiation
• unify_type::State

Enums

• kindcheck::KindError
• substitution::Error
• typecheck::Help
• typecheck::ImplicitErrorKind
• typecheck::TypeError
• unify::Error
• unify_type::Size
• unify_type::TypeError

Traits

• TypecheckEnv
• substitution::Substitutable
• substitution::Variable
• substitution::VariableFactory
• unify::Unifiable
• unify::Unifier

Functions

• check_signature
• kindcheck::fmt_kind_error
• metadata::metadata
• rename::rename
• substitution::is_variable_unified
• substitution::occurs
• typecheck::extract_generics
• typecheck::translate_projected_type
• unify::unify
• unify_type::equal
• unify_type::instantiation
• unify_type::similarity_filter
• unify_type::smaller
• unify_type::subsumes
• unify_type::subsumes_implicit
• unify_type::subsumes_no_subst

Type Aliases

• kindcheck::Error
• kindcheck::Result
• kindcheck::SpannedError
• typecheck::Error
• typecheck::HelpError
• typecheck::SpannedTypeError
• unify_type::Error
• unify_type::Result
• unify_type::UnifierState