fortran-vars-0.1.0: Fortran memory model and other static analysis tools.
Safe HaskellNone
LanguageHaskell2010

Language.Fortran.Vars.TypeCheck

Synopsis

Documentation

type Kind = Int #

data TypeError Source #

Instances

Instances details
Eq TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

Ord TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

Show TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

Generic TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

Associated Types

type Rep TypeError :: Type -> Type #

FromJSON TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

Methods

parseJSON :: Value -> Parser TypeError

parseJSONList :: Value -> Parser [TypeError]

ToJSON TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

Methods

toJSON :: TypeError -> Value

toEncoding :: TypeError -> Encoding

toJSONList :: [TypeError] -> Value

toEncodingList :: [TypeError] -> Encoding

type Rep TypeError Source # 
Instance details

Defined in Language.Fortran.Vars.Types

type TypeOf a = Expression a -> Either TypeError Type Source #

typeOf :: StructureTable -> SymbolTable -> Expression a -> Either TypeError Type Source #

Given SymbolTable of a ProgramUnit, and an Expression within the ProgramUnit, determines the Type of the Exression