Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- typeSpecToArrayType :: SymbolTable -> [DimensionDeclarator (Analysis a)] -> TypeSpec (Analysis a) -> Type
- typeSpecToScalarType :: SymbolTable -> TypeSpec (Analysis a) -> Type
Documentation
typeSpecToArrayType :: SymbolTable -> [DimensionDeclarator (Analysis a)] -> TypeSpec (Analysis a) -> Type Source #
Given dimenion declarators and the typespec, give ArrayTypeData evaluating valid expressions for the upper and lower bound
typeSpecToScalarType :: SymbolTable -> TypeSpec (Analysis a) -> Type Source #
Given the typespec of a scalar get the StaticType