CSPM.DataStructures.Types

Data Structures

data TypeVar

Instances

Eq TypeVar

Show TypeVar

data TypeScheme

Constructors

ForAll [(TypeVar, [Constraint])] Type

Instances

Eq TypeScheme

Show TypeScheme

PrettyPrintable TypeScheme

TypeCheckable TCDecl [(Name, Type)]

Compressable a => Compressable (Annotated (Maybe SymbolTable, PSymbolTable) a)

data Constraint

Constructors

Eq

Ord

Inputable

Instances

Eq Constraint

Ord Constraint

Show Constraint

PrettyPrintable Constraint

data Type

Constructors

TVar TypeVarRef

TProc

TInt

TBool

TEvent

TEventable

TSet Type

TSeq Type

TDot Type Type

TTuple [Type]

TFunction [Type] Type

TDotable Type Type

TDatatype Name

Instances

Eq Type

Show Type

PrettyPrintable Type

TypeCheckable Literal Type

TypeCheckable TCExp Type

TypeCheckable TCPat Type

TypeCheckable TCMatch Type

TypeCheckable TCDecl [(Name, Type)]

TypeCheckable TCDataTypeClause (Name, [Type])

TypeCheckable (Pat Name) Type

TypeCheckable (Match Name) Type

TypeCheckable (Exp Name) Type

TypeCheckable (Decl Name) [(Name, Type)]

TypeCheckable (DataTypeClause Name) (Name, [Type])

Desugarable a => Desugarable (Annotated Type a)

Compressable a => Compressable (Annotated (Maybe Type, PType) a)

data TypeVarRef

Constructors

TypeVarRef TypeVar [Constraint] PType

Instances

Eq TypeVarRef

Show TypeVarRef

prettyPrintTypes :: [Type] -> [Doc]

Pretty prints several types using the same variable substitutions

Creation of Types

freshTypeVar :: MonadIO m => m Type

freshTypeVarWithConstraints :: MonadIO m => [Constraint] -> m Type

Symbol Tables

type SymbolTable = PartialFunction Name TypeScheme

type PSymbolTable = IORef SymbolTable

freshPSymbolTable :: MonadIO m => m PSymbolTable

readPSymbolTable :: MonadIO m => PSymbolTable -> m SymbolTable

setPSymbolTable :: MonadIO m => PSymbolTable -> SymbolTable -> m ()

Type Pointers

type PType = IORef (Maybe Type)

freshPType :: MonadIO m => m PType

readPType :: MonadIO m => PType -> m (Maybe Type)

setPType :: MonadIO m => PType -> Type -> m ()