CSPM.TypeChecker.Common

Documentation

class TypeCheckable a b | a -> b where

Methods

typeCheck :: a -> TypeCheckMonad b

typeCheckExpect :: a -> Type -> TypeCheckMonad b

typeCheck' :: a -> TypeCheckMonad b

errorContext :: a -> Maybe ErrorContext

Instances

TypeCheckable Literal Type

TypeCheckable TCSType Type

TypeCheckable TCSTypeScheme TypeScheme

TypeCheckable TCInteractiveStmt ()

TypeCheckable TCAssertion ()

TypeCheckable TCExp Type

TypeCheckable TCPat Type

TypeCheckable TCMatch Type

TypeCheckable TCDecl [(Name, Type)]

TypeCheckable TCDataTypeClause (Name, [Type])

TypeCheckable (SType Name) Type

TypeCheckable (STypeScheme Name) TypeScheme

TypeCheckable (Pat Name) Type

TypeCheckable (Match Name) Type

TypeCheckable (ModelOption Name) ()

TypeCheckable (Assertion Name) ()

TypeCheckable (InteractiveStmt Name) ()

TypeCheckable (Exp Name) Type

TypeCheckable (CSPMFile Name) ()

TypeCheckable (AnCSPMFile Name) ()

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

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

ensureAreEqual :: TypeCheckable a Type => [a] -> TypeCheckMonad Type

ensureIsList :: TypeCheckable a b => a -> TypeCheckMonad b

ensureIsSet :: TypeCheckable a b => a -> TypeCheckMonad b

ensureIsBool :: TypeCheckable a b => a -> TypeCheckMonad b

ensureIsInt :: TypeCheckable a b => a -> TypeCheckMonad b

ensureIsChannel :: TypeCheckable a b => a -> TypeCheckMonad b

ensureIsExtendable :: TypeCheckable a b => a -> Type -> TypeCheckMonad b

ensureIsEvent :: TypeCheckable a b => a -> TypeCheckMonad b

ensureIsProc :: TypeCheckable a b => a -> TypeCheckMonad b

ensureHasConstraint :: Constraint -> Type -> TypeCheckMonad Type