List of all items

Structs

• error::AdtConflict
• error::CollectAdtsError
• types::AdtDecl
• types::AdtParam
• types::AdtVariant
• types::Class
• types::ClassEnv
• types::Instance
• types::Predicate
• types::Scheme
• types::Type
• types::TypeEnv
• types::TypeVar
• types::TypedExpr
• typesystem::ClassInfo
• typesystem::ClassMethodInfo
• typesystem::PreparedInstanceDecl
• typesystem::TypeSystem
• typesystem::TypeSystemLimits
• typesystem::TypeVarSupply

Enums

• error::TypeError
• types::BuiltinTypeId
• types::TypeConst
• types::TypeKind
• types::TypedExprKind

Traits

• types::RexAdt
• types::RexType
• types::Types

Functions

• inference::infer
• inference::infer_typed
• prelude::prelude_typeclasses_program
• types::collect_adts_in_types
• types::order_adt_family
• typesystem::entails
• typesystem::generalize
• typesystem::instantiate
• unification::compose_subst
• unification::unify

Type Aliases

• types::TypeVarId
• unification::Subst