CSPM.DataStructures.Types

Data Structures

data TypeVar

data TypeScheme

data Constraint

data Type

data TypeVarRef

prettyPrintTypes

isRigid

constraintImpliedBy

reduceConstraints

collectConstraints

Creation of Types

freshTypeVar

freshTypeVarWithConstraints

freshTypeVarRef

freshRigidTypeVarWithConstraints

Symbol Tables

type SymbolTable

type PSymbolTable

freshPSymbolTable

readPSymbolTable

setPSymbolTable

Type Pointers

type PType

freshPType

readPType

setPType