Language.Fortran.Analysis.Types

Documentation

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

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

data TypeScope

Constructors

Global

Local ProgramUnitName

Instances

Eq TypeScope

Methods

(==) :: TypeScope -> TypeScope -> Bool

(/=) :: TypeScope -> TypeScope -> Bool

Ord TypeScope

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

Methods

showsPrec :: Int -> TypeScope -> ShowS

show :: TypeScope -> String

showList :: [TypeScope] -> ShowS

type TypeEnv = Map Name IDType