| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Analysis.Types
- analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv)
- analyseTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv)
- extractTypeEnv :: forall a. Data a => ProgramFile (Analysis a) -> TypeEnv
- type TypeEnv = Map Name IDType
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.
extractTypeEnv :: forall a. Data a => ProgramFile (Analysis a) -> TypeEnv Source #