Module types 

Type System Core Types

This module contains the fundamental type definitions used throughout the type system:

• Type: The main type representation for inference
• TypeVar: Type variables for polymorphism
• TypeScheme: Polymorphic type schemes
• TypeConstraint: Constraints on type variables
• BuiltinTypes: Constructors for common types

Re-exports

pub use annotations::annotation_to_semantic;

pub use annotations::annotation_to_string;

pub use annotations::semantic_to_annotation;

pub use builtins::BuiltinTypes;

pub use constraints::TypeConstraint;

pub use core::TYVAR_ANNOTATION_PREFIX;

pub use core::Type;

pub use core::TypeScheme;

pub use core::TypeVar;

pub use core::TypeVarGen;

pub use core::annotation_as_tyvar;

pub use core::substitute;

pub use core::tyvar_to_annotation;

Modules

annotations

Type Annotation Conversions

builtins

Built-in Types

constraints

Type Constraints

core

Core Type Definitions