Language.Fortran.Vars.TypeCheck

Documentation

type Kind = Int

data TypeError

Constructors

TypeError FilePath SrcSpan String

UnknownType SrcSpan

UnboundVariable Name

UnknownField String

Instances

Eq TypeError

Defined in Language.Fortran.Vars.Types

Methods

(==) :: TypeError -> TypeError -> Bool

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

Ord TypeError

Defined in Language.Fortran.Vars.Types

Methods

compare :: TypeError -> TypeError -> Ordering

(<) :: TypeError -> TypeError -> Bool

(<=) :: TypeError -> TypeError -> Bool

(>) :: TypeError -> TypeError -> Bool

(>=) :: TypeError -> TypeError -> Bool

max :: TypeError -> TypeError -> TypeError

min :: TypeError -> TypeError -> TypeError

Show TypeError

Defined in Language.Fortran.Vars.Types

Methods

showsPrec :: Int -> TypeError -> ShowS

show :: TypeError -> String

showList :: [TypeError] -> ShowS

Generic TypeError

Defined in Language.Fortran.Vars.Types

Associated Types

type Rep TypeError :: Type -> Type

Methods

from :: TypeError -> Rep TypeError x

to :: Rep TypeError x -> TypeError

ToJSON TypeError

Defined in Language.Fortran.Vars.Types

Methods

toJSON :: TypeError -> Value

toEncoding :: TypeError -> Encoding

toJSONList :: [TypeError] -> Value

toEncodingList :: [TypeError] -> Encoding

FromJSON TypeError

Defined in Language.Fortran.Vars.Types

Methods

parseJSON :: Value -> Parser TypeError

parseJSONList :: Value -> Parser [TypeError]

type Rep TypeError

Defined in Language.Fortran.Vars.Types

type Rep TypeError = D1 ('MetaData "TypeError" "Language.Fortran.Vars.Types" "fortran-vars-0.3.1-inplace" 'False) ((C1 ('MetaCons "TypeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: C1 ('MetaCons "UnknownType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcSpan))) :+: (C1 ('MetaCons "UnboundVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "UnknownField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

type TypeOf a = Expression a -> Either TypeError Type

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

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