CSPM.DataStructures.Types

Documentation

newtype TypeVar

Constructors

TypeVar Int

Instances

Eq TypeVar

Show TypeVar

data TypeScheme

Constructors

ForAll [(TypeVar, [Constraint])] Type

Instances

Eq TypeScheme

Show TypeScheme

PrettyPrintable TypeScheme

TypeCheckable PDecl [(Name, Type)]

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

data Constraint

Constructors

Eq

Ord

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 Pat Type

TypeCheckable Match Type

TypeCheckable Exp Type

TypeCheckable Literal Type

TypeCheckable PExp Type

TypeCheckable PPat Type

TypeCheckable PMatch Type

TypeCheckable Decl [(Name, Type)]

TypeCheckable PDecl [(Name, Type)]

TypeCheckable DataTypeClause (Name, [Type])

TypeCheckable PDataTypeClause (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

newtype IORefMaybe a

Constructors

IORefMaybe (Maybe a)

type SymbolTable = PartialFunction Name TypeScheme

type PType = IORef (Maybe Type)

type PSymbolTable = IORef SymbolTable

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

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

freshPType :: MonadIO m => m PType

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

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

freshPSymbolTable :: MonadIO m => m PSymbolTable

prettyPrintTypes :: [Type] -> [Doc]

Pretty prints several types using the same variable substitutions

prettyPrintType :: PartialFunction Int Char -> Type -> Doc

collectConstraints :: Type -> [(TypeVar, [Constraint])]