Documentation
class TypeCheckable a b | a -> b whereSource
typeCheck :: a -> TypeCheckMonad bSource
typeCheckExpect :: a -> Type -> TypeCheckMonad bSource
typeCheck' :: a -> TypeCheckMonad bSource
errorContext :: a -> Maybe ErrorContextSource
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