Safe Haskell	None
Language	Haskell2010

Language.Fortran.Vars.Kind

Synopsis

baseToType :: BaseType -> Type
getTypeKind :: Type -> Maybe Int
setTypeKind :: Type -> Maybe Int -> Type
typeOfExpVal :: ExpVal -> Type
isStr :: ExpVal -> Bool
getKindOfExpVal :: ExpVal -> Int
toInt :: ExpVal -> Int
getKind :: SymbolTable -> TypeSpec (Analysis a) -> Maybe (Expression (Analysis a)) -> Maybe Int
kindOfBaseType :: BaseType -> Int
getTypeSize :: SemType -> Maybe Int
setTypeSize :: SemType -> Maybe Int -> SemType
deriveSemTypeFromBaseType :: BaseType -> SemType

Documentation

baseToType :: BaseType -> Type Source #

getTypeKind :: Type -> Maybe Int Source #

setTypeKind :: Type -> Maybe Int -> Type Source #

typeOfExpVal :: ExpVal -> Type Source #

Given an ExpVal, return the Type of that value

isStr :: ExpVal -> Bool Source #

Given an ExpVal, return true if it is a Str, else false

getKindOfExpVal :: ExpVal -> Int Source #

Given an ExpVal determine the kind of it

toInt :: ExpVal -> Int Source #

Convert an ExpVal to an Int. This will fail if the ExpVal is not already known to be an Int

getKind :: SymbolTable -> TypeSpec (Analysis a) -> Maybe (Expression (Analysis a)) -> Maybe Int Source #

Given a SymbolTable, a TypeSpec for a variable, and possibly an Expression for the length of a character array, determine the kind of that variable The charLength also works for nonstandard kind

kindOfBaseType :: BaseType -> Int #

getTypeSize :: SemType -> Maybe Int #

setTypeSize :: SemType -> Maybe Int -> SemType #

deriveSemTypeFromBaseType :: BaseType -> SemType #