fortran-src-0.1.0.1: Parser and anlyses for Fortran standards 66, 77, 90.

Safe Haskell	None
Language	Haskell2010

Language.Fortran.Analysis.Types

Documentation

inferTypes :: Data a => ProgramFile a -> Map TypeScope (Map String IDType) Source #

analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #

data TypeScope Source #

Constructors

Global
Local ProgramUnitName

Instances

Eq TypeScope Source #
Methods (==) :: TypeScope -> TypeScope -> Bool # (/=) :: TypeScope -> TypeScope -> Bool #
Ord TypeScope Source #
Methods compare :: TypeScope -> TypeScope -> Ordering # (<) :: TypeScope -> TypeScope -> Bool # (<=) :: TypeScope -> TypeScope -> Bool # (>) :: TypeScope -> TypeScope -> Bool # (>=) :: TypeScope -> TypeScope -> Bool # max :: TypeScope -> TypeScope -> TypeScope # min :: TypeScope -> TypeScope -> TypeScope #
Show TypeScope Source #
Methods showsPrec :: Int -> TypeScope -> ShowS # show :: TypeScope -> String # showList :: [TypeScope] -> ShowS #

type TypeEnv = Map Name IDType Source #