Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Vars.TypeCheck

Synopsis

type Kind = Int
data TypeError
- = TypeError FilePath SrcSpan String
- | UnknownType SrcSpan
- | UnboundVariable Name
- | UnknownField String
type TypeOf a = Expression a -> Either TypeError Type
typeOf :: StructureTable -> SymbolTable -> Expression a -> Either TypeError Type

Documentation

type Kind = Int Source #

data TypeError Source #

Constructors

TypeError FilePath SrcSpan String
UnknownType SrcSpan
UnboundVariable Name
UnknownField String

Instances

Instances details

FromJSON TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types Methods parseJSON :: Value -> Parser TypeError Source # parseJSONList :: Value -> Parser [TypeError] Source #
ToJSON TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types Methods toJSON :: TypeError -> Value Source # toEncoding :: TypeError -> Encoding Source # toJSONList :: [TypeError] -> Value Source # toEncodingList :: [TypeError] -> Encoding Source #
Generic TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types Associated Types type Rep TypeError :: Type -> Type Source # Methods from :: TypeError -> Rep TypeError x Source # to :: Rep TypeError x -> TypeError Source #
Show TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types Methods showsPrec :: Int -> TypeError -> ShowS Source # show :: TypeError -> String Source # showList :: [TypeError] -> ShowS Source #
Eq TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types Methods (==) :: TypeError -> TypeError -> Bool Source # (/=) :: TypeError -> TypeError -> Bool Source #
Ord TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types Methods compare :: TypeError -> TypeError -> Ordering Source # (<) :: TypeError -> TypeError -> Bool Source # (<=) :: TypeError -> TypeError -> Bool Source # (>) :: TypeError -> TypeError -> Bool Source # (>=) :: TypeError -> TypeError -> Bool Source # max :: TypeError -> TypeError -> TypeError Source # min :: TypeError -> TypeError -> TypeError Source #
type Rep TypeError Source #
Instance details Defined in Language.Fortran.Vars.Types type Rep TypeError = D1 ('MetaData "TypeError" "Language.Fortran.Vars.Types" "fortran-vars-0.4.0-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 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