CSPM.TypeChecker.Common
Documentation
class TypeCheckable a b | a -> b whereSource
Methods
typeCheck :: a -> TypeCheckMonad bSource
typeCheckExpect :: a -> Type -> TypeCheckMonad bSource
typeCheck' :: a -> TypeCheckMonad bSource
errorContext :: a -> Maybe ErrorContextSource
Instances
| TypeCheckable Literal Type | |
| TypeCheckable TCInteractiveStmt () | |
| TypeCheckable TCExp Type | |
| TypeCheckable TCPat Type | |
| TypeCheckable TCMatch Type | |
| TypeCheckable TCModule () | |
| TypeCheckable TCDecl [(Name, Type)] | |
| TypeCheckable TCDataTypeClause (Name, [Type]) | |
| TypeCheckable [TCModule] () | |
| TypeCheckable (Pat Name) Type | |
| TypeCheckable (Match Name) Type | |
| TypeCheckable (ModelOption Name) () | |
| TypeCheckable (Assertion Name) () | |
| TypeCheckable (InteractiveStmt Name) () | |
| TypeCheckable (Exp Name) Type | |
| TypeCheckable (Module Name) () | |
| TypeCheckable (Decl Name) [(Name, Type)] | |
| TypeCheckable (DataTypeClause Name) (Name, [Type]) |
ensureAreEqual :: TypeCheckable a Type => [a] -> TypeCheckMonad TypeSource
ensureIsList :: TypeCheckable a b => a -> TypeCheckMonad bSource
ensureIsSet :: TypeCheckable a b => a -> TypeCheckMonad bSource
ensureIsBool :: TypeCheckable a b => a -> TypeCheckMonad bSource
ensureIsInt :: TypeCheckable a b => a -> TypeCheckMonad bSource
ensureIsChannel :: TypeCheckable a b => a -> TypeCheckMonad bSource
ensureIsEvent :: TypeCheckable a b => a -> TypeCheckMonad bSource
ensureIsProc :: TypeCheckable a b => a -> TypeCheckMonad bSource