| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Analysis.Types
Synopsis
- analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv)
- analyseTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv)
- analyseAndCheckTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv, [TypeError])
- extractTypeEnv :: forall a. Data a => ProgramFile (Analysis a) -> TypeEnv
- type TypeEnv = Map Name IDType
- type TypeError = (String, SrcSpan)
Documentation
analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #
Annotate AST nodes with type information and also return a type environment mapping names to type information.
analyseTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #
Annotate AST nodes with type information and also return a type environment mapping names to type information; provided with a starting type environment.
analyseAndCheckTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv, [TypeError]) Source #
Annotate AST nodes with type information, return a type environment mapping names to type information and return any type errors found; provided with a starting type environment.
extractTypeEnv :: forall a. Data a => ProgramFile (Analysis a) -> TypeEnv Source #