List of all items

Structs

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

Enums

• BuiltinTypeId
• TypeError
• TypeKind
• TypedExprKind

Traits

• Types

Functions

• collect_adts_in_types
• compose_subst
• entails
• generalize
• infer
• infer_typed
• infer_typed_with_gas
• infer_with_gas
• inference::infer
• inference::infer_typed
• inference::infer_typed_with_gas
• inference::infer_with_gas
• instantiate
• prelude_typeclasses_program
• unify

Type Aliases

• Subst
• TypeVarId