Language.Fortran.Vars.Types

Documentation

type TypeOf a = Expression a -> Either TypeError Type

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.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 ProgramStructureTables = Map ProgramUnitName StructureTable

Mapping from name of a program unit to relevant structure table

type ProgramFileModel = Map ProgramUnitName ProgramUnitModel

Mapping from the name of a ProgramUnit to its ProgramUnitModel

type ProgramUnitModel = (SymbolTable, StorageTable)

The model to represent an individual ProgramUnit

type StorageTable = Map MemoryBlockName MemoryBlock

Mapping from the name of a memory block to the information about it

data StructureTableEntry

Data structurue for a single field of a structure

Constructors

FieldEntry String Type

UnionEntry [Structure]

Instances

Eq StructureTableEntry

Defined in Language.Fortran.Vars.Types

Methods

(==) :: StructureTableEntry -> StructureTableEntry -> Bool

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

Data StructureTableEntry

Defined in Language.Fortran.Vars.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StructureTableEntry -> c StructureTableEntry

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StructureTableEntry

toConstr :: StructureTableEntry -> Constr

dataTypeOf :: StructureTableEntry -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StructureTableEntry)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StructureTableEntry)

gmapT :: (forall b. Data b => b -> b) -> StructureTableEntry -> StructureTableEntry

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StructureTableEntry -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StructureTableEntry -> r

gmapQ :: (forall d. Data d => d -> u) -> StructureTableEntry -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StructureTableEntry -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StructureTableEntry -> m StructureTableEntry

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StructureTableEntry -> m StructureTableEntry

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StructureTableEntry -> m StructureTableEntry

Show StructureTableEntry

Defined in Language.Fortran.Vars.Types

Methods

showsPrec :: Int -> StructureTableEntry -> ShowS

show :: StructureTableEntry -> String

showList :: [StructureTableEntry] -> ShowS

type Structure = [StructureTableEntry]

type StructureTable = Map String Structure

Map from a structure name to its internal structure, specifying members and their corresponding type. This can then be used to check the type of a data reference expression.

data MemoryBlock

Structure to hold information about the named blocks of memory in the program

Constructors

MemoryBlock

Fields

• blockSize :: Maybe Int

  Nothing for when block is dynamically sized

• storageClass :: StorageClass
• variables :: [Name]

Instances

Eq MemoryBlock

Defined in Language.Fortran.Vars.Types

Methods

(==) :: MemoryBlock -> MemoryBlock -> Bool

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

Data MemoryBlock

Defined in Language.Fortran.Vars.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MemoryBlock -> c MemoryBlock

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MemoryBlock

toConstr :: MemoryBlock -> Constr

dataTypeOf :: MemoryBlock -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MemoryBlock)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MemoryBlock)

gmapT :: (forall b. Data b => b -> b) -> MemoryBlock -> MemoryBlock

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MemoryBlock -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MemoryBlock -> r

gmapQ :: (forall d. Data d => d -> u) -> MemoryBlock -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MemoryBlock -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MemoryBlock -> m MemoryBlock

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MemoryBlock -> m MemoryBlock

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MemoryBlock -> m MemoryBlock

Ord MemoryBlock

Defined in Language.Fortran.Vars.Types

Methods

compare :: MemoryBlock -> MemoryBlock -> Ordering

(<) :: MemoryBlock -> MemoryBlock -> Bool

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

(>) :: MemoryBlock -> MemoryBlock -> Bool

(>=) :: MemoryBlock -> MemoryBlock -> Bool

max :: MemoryBlock -> MemoryBlock -> MemoryBlock

min :: MemoryBlock -> MemoryBlock -> MemoryBlock

Show MemoryBlock

Defined in Language.Fortran.Vars.Types

Methods

showsPrec :: Int -> MemoryBlock -> ShowS

show :: MemoryBlock -> String

showList :: [MemoryBlock] -> ShowS

Generic MemoryBlock

Defined in Language.Fortran.Vars.Types

Associated Types

type Rep MemoryBlock :: Type -> Type

Methods

from :: MemoryBlock -> Rep MemoryBlock x

to :: Rep MemoryBlock x -> MemoryBlock

ToJSON MemoryBlock

Defined in Language.Fortran.Vars.Types

Methods

toJSON :: MemoryBlock -> Value

toEncoding :: MemoryBlock -> Encoding

toJSONList :: [MemoryBlock] -> Value

toEncodingList :: [MemoryBlock] -> Encoding

FromJSON MemoryBlock

Defined in Language.Fortran.Vars.Types

Methods

parseJSON :: Value -> Parser MemoryBlock

parseJSONList :: Value -> Parser [MemoryBlock]

type Rep MemoryBlock

Defined in Language.Fortran.Vars.Types

type Rep MemoryBlock = D1 ('MetaData "MemoryBlock" "Language.Fortran.Vars.Types" "fortran-vars-0.3.0-inplace" 'False) (C1 ('MetaCons "MemoryBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: (S1 ('MetaSel ('Just "storageClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StorageClass) :*: S1 ('MetaSel ('Just "variables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]))))

type SymbolTable = Map Name SymbolTableEntry

Symbol table containing all non-intrisic symbols declared in a program

data SymbolTableEntry

An entry in the SymbolTable for some variable

Constructors

SParameter

Fields

• parType :: Type
• parVal :: ExpVal

SVariable

Fields

• varType :: Type
• varLoc :: Location

SDummy

Fields

• dumType :: Type

SExternal

Fields

• extType :: Type

Instances

Eq SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Methods

(==) :: SymbolTableEntry -> SymbolTableEntry -> Bool

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

Data SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymbolTableEntry -> c SymbolTableEntry

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymbolTableEntry

toConstr :: SymbolTableEntry -> Constr

dataTypeOf :: SymbolTableEntry -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SymbolTableEntry)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymbolTableEntry)

gmapT :: (forall b. Data b => b -> b) -> SymbolTableEntry -> SymbolTableEntry

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymbolTableEntry -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymbolTableEntry -> r

gmapQ :: (forall d. Data d => d -> u) -> SymbolTableEntry -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SymbolTableEntry -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymbolTableEntry -> m SymbolTableEntry

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymbolTableEntry -> m SymbolTableEntry

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymbolTableEntry -> m SymbolTableEntry

Ord SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Methods

compare :: SymbolTableEntry -> SymbolTableEntry -> Ordering

(<) :: SymbolTableEntry -> SymbolTableEntry -> Bool

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

(>) :: SymbolTableEntry -> SymbolTableEntry -> Bool

(>=) :: SymbolTableEntry -> SymbolTableEntry -> Bool

max :: SymbolTableEntry -> SymbolTableEntry -> SymbolTableEntry

min :: SymbolTableEntry -> SymbolTableEntry -> SymbolTableEntry

Show SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Methods

showsPrec :: Int -> SymbolTableEntry -> ShowS

show :: SymbolTableEntry -> String

showList :: [SymbolTableEntry] -> ShowS

Generic SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Associated Types

type Rep SymbolTableEntry :: Type -> Type

Methods

from :: SymbolTableEntry -> Rep SymbolTableEntry x

to :: Rep SymbolTableEntry x -> SymbolTableEntry

ToJSON SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Methods

toJSON :: SymbolTableEntry -> Value

toEncoding :: SymbolTableEntry -> Encoding

toJSONList :: [SymbolTableEntry] -> Value

toEncodingList :: [SymbolTableEntry] -> Encoding

FromJSON SymbolTableEntry

Defined in Language.Fortran.Vars.Types

Methods

parseJSON :: Value -> Parser SymbolTableEntry

parseJSONList :: Value -> Parser [SymbolTableEntry]

type Rep SymbolTableEntry

Defined in Language.Fortran.Vars.Types

type Rep SymbolTableEntry = D1 ('MetaData "SymbolTableEntry" "Language.Fortran.Vars.Types" "fortran-vars-0.3.0-inplace" 'False) ((C1 ('MetaCons "SParameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "parType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Just "parVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExpVal)) :+: C1 ('MetaCons "SVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Just "varLoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))) :+: (C1 ('MetaCons "SDummy" 'PrefixI 'True) (S1 ('MetaSel ('Just "dumType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "SExternal" 'PrefixI 'True) (S1 ('MetaSel ('Just "extType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

type Dimensions = [(Int, Int)]

The declared dimensions of a staticically typed array variable type is of the form [(dim1_lower, dim1_upper), (dim2_lower, dim2_upper)]

data StorageClass

The declared lifetimes of the variables in memory

Constructors

Static

Automatic

Constant

Common

Unspecified

Instances

Eq StorageClass

Defined in Language.Fortran.Vars.Types

Methods

(==) :: StorageClass -> StorageClass -> Bool

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

Data StorageClass

Defined in Language.Fortran.Vars.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StorageClass -> c StorageClass

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StorageClass

toConstr :: StorageClass -> Constr

dataTypeOf :: StorageClass -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StorageClass)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StorageClass)

gmapT :: (forall b. Data b => b -> b) -> StorageClass -> StorageClass

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StorageClass -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StorageClass -> r

gmapQ :: (forall d. Data d => d -> u) -> StorageClass -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StorageClass -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StorageClass -> m StorageClass

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StorageClass -> m StorageClass

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StorageClass -> m StorageClass

Ord StorageClass

Defined in Language.Fortran.Vars.Types

Methods

compare :: StorageClass -> StorageClass -> Ordering

(<) :: StorageClass -> StorageClass -> Bool

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

(>) :: StorageClass -> StorageClass -> Bool

(>=) :: StorageClass -> StorageClass -> Bool

max :: StorageClass -> StorageClass -> StorageClass

min :: StorageClass -> StorageClass -> StorageClass

Show StorageClass

Defined in Language.Fortran.Vars.Types

Methods

showsPrec :: Int -> StorageClass -> ShowS

show :: StorageClass -> String

showList :: [StorageClass] -> ShowS

Generic StorageClass

Defined in Language.Fortran.Vars.Types

Associated Types

type Rep StorageClass :: Type -> Type

Methods

from :: StorageClass -> Rep StorageClass x

to :: Rep StorageClass x -> StorageClass

ToJSON StorageClass

Defined in Language.Fortran.Vars.Types

Methods

toJSON :: StorageClass -> Value

toEncoding :: StorageClass -> Encoding

toJSONList :: [StorageClass] -> Value

toEncodingList :: [StorageClass] -> Encoding

FromJSON StorageClass

Defined in Language.Fortran.Vars.Types

Methods

parseJSON :: Value -> Parser StorageClass

parseJSONList :: Value -> Parser [StorageClass]

type Rep StorageClass

Defined in Language.Fortran.Vars.Types

type Rep StorageClass = D1 ('MetaData "StorageClass" "Language.Fortran.Vars.Types" "fortran-vars-0.3.0-inplace" 'False) ((C1 ('MetaCons "Static" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Automatic" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Constant" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Common" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unspecified" 'PrefixI 'False) (U1 :: Type -> Type))))

type Location = (MemoryBlockName, Offset)

The location of a variable, i.e. the MemoryBlockName that contains it as well as the Offset to its location in memory

type MemoryBlockName = Name

The name of block of memory

type Offset = Int

Memory offset given to a variable in memory

data ExpVal

The evaluated value of a FORTRAN expression

Constructors

Int Int

Real Double

Str String

Logical Bool

Boz Boz

Instances

Eq ExpVal

Defined in Language.Fortran.Vars.Types

Methods

(==) :: ExpVal -> ExpVal -> Bool

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

Data ExpVal

Defined in Language.Fortran.Vars.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExpVal -> c ExpVal

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExpVal

toConstr :: ExpVal -> Constr

dataTypeOf :: ExpVal -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExpVal)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExpVal)

gmapT :: (forall b. Data b => b -> b) -> ExpVal -> ExpVal

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExpVal -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExpVal -> r

gmapQ :: (forall d. Data d => d -> u) -> ExpVal -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExpVal -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExpVal -> m ExpVal

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExpVal -> m ExpVal

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExpVal -> m ExpVal

Ord ExpVal

Defined in Language.Fortran.Vars.Types

Methods

compare :: ExpVal -> ExpVal -> Ordering

(<) :: ExpVal -> ExpVal -> Bool

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

(>) :: ExpVal -> ExpVal -> Bool

(>=) :: ExpVal -> ExpVal -> Bool

max :: ExpVal -> ExpVal -> ExpVal

min :: ExpVal -> ExpVal -> ExpVal

Show ExpVal

Defined in Language.Fortran.Vars.Types

Methods

showsPrec :: Int -> ExpVal -> ShowS

show :: ExpVal -> String

showList :: [ExpVal] -> ShowS

Generic ExpVal

Defined in Language.Fortran.Vars.Types

Associated Types

type Rep ExpVal :: Type -> Type

Methods

from :: ExpVal -> Rep ExpVal x

to :: Rep ExpVal x -> ExpVal

ToJSON ExpVal

Defined in Language.Fortran.Vars.Types

Methods

toJSON :: ExpVal -> Value

toEncoding :: ExpVal -> Encoding

toJSONList :: [ExpVal] -> Value

toEncodingList :: [ExpVal] -> Encoding

FromJSON ExpVal

Defined in Language.Fortran.Vars.Types

Methods

parseJSON :: Value -> Parser ExpVal

parseJSONList :: Value -> Parser [ExpVal]

NFData ExpVal

Defined in Language.Fortran.Vars.Types

Methods

rnf :: ExpVal -> ()

type Rep ExpVal

Defined in Language.Fortran.Vars.Types

type Rep ExpVal = D1 ('MetaData "ExpVal" "Language.Fortran.Vars.Types" "fortran-vars-0.3.0-inplace" 'False) ((C1 ('MetaCons "Int" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "Real" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "Logical" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Boz" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Boz)))))

type Type = SemType

typeError :: SrcSpan -> String -> TypeError

Helper method for getting the FilePath out of SrcSpan

data SemType

Semantic type assigned to variables.

BaseType stores the "type tag" given in syntax. SemTypes add metadata (kind and length), and resolve some "simple" types to a core type with a preset kind (e.g. `DOUBLE PRECISION` -> `REAL(8)`).

Fortran 90 (and beyond) features may not be well supported.

Constructors

TInteger Kind

TReal Kind

TComplex Kind

TLogical Kind

TByte Kind

TCharacter CharacterLen Kind

TArray SemType (Maybe Dimensions)

Nothing denotes dynamic dimensions

TCustom String

Instances

Eq SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

(==) :: SemType -> SemType -> Bool

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

Data SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SemType -> c SemType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SemType

toConstr :: SemType -> Constr

dataTypeOf :: SemType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SemType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SemType)

gmapT :: (forall b. Data b => b -> b) -> SemType -> SemType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SemType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SemType -> r

gmapQ :: (forall d. Data d => d -> u) -> SemType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SemType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SemType -> m SemType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SemType -> m SemType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SemType -> m SemType

Ord SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

compare :: SemType -> SemType -> Ordering

(<) :: SemType -> SemType -> Bool

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

(>) :: SemType -> SemType -> Bool

(>=) :: SemType -> SemType -> Bool

max :: SemType -> SemType -> SemType

min :: SemType -> SemType -> SemType

Show SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

showsPrec :: Int -> SemType -> ShowS

show :: SemType -> String

showList :: [SemType] -> ShowS

Generic SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Associated Types

type Rep SemType :: Type -> Type

Methods

from :: SemType -> Rep SemType x

to :: Rep SemType x -> SemType

Out SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

docPrec :: Int -> SemType -> Doc

doc :: SemType -> Doc

docList :: [SemType] -> Doc

Binary SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

put :: SemType -> Put

get :: Get SemType

putList :: [SemType] -> Put

Pretty SemType

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

pprint' :: FortranVersion -> SemType -> Doc

type Rep SemType

Defined in Language.Fortran.Analysis.SemanticTypes

type Rep SemType = D1 ('MetaData "SemType" "Language.Fortran.Analysis.SemanticTypes" "fortran-src-0.8.0-58cee80cdc027fa3d4e093713bdbc453ef13b1cb991712a110c942406e8ab709" 'False) (((C1 ('MetaCons "TInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)) :+: C1 ('MetaCons "TReal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))) :+: (C1 ('MetaCons "TComplex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)) :+: C1 ('MetaCons "TLogical" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)))) :+: ((C1 ('MetaCons "TByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)) :+: C1 ('MetaCons "TCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CharacterLen) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))) :+: (C1 ('MetaCons "TArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SemType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Dimensions))) :+: C1 ('MetaCons "TCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

data CharacterLen

Constructors

CharLenStar

specified with a *

CharLenColon

specified with a : (Fortran2003) FIXME, possibly, with a more robust const-exp:

CharLenExp

specified with a non-trivial expression

CharLenInt Int

specified with a constant integer

Instances

Eq CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

(==) :: CharacterLen -> CharacterLen -> Bool

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

Data CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CharacterLen -> c CharacterLen

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CharacterLen

toConstr :: CharacterLen -> Constr

dataTypeOf :: CharacterLen -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CharacterLen)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CharacterLen)

gmapT :: (forall b. Data b => b -> b) -> CharacterLen -> CharacterLen

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CharacterLen -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CharacterLen -> r

gmapQ :: (forall d. Data d => d -> u) -> CharacterLen -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CharacterLen -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CharacterLen -> m CharacterLen

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CharacterLen -> m CharacterLen

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CharacterLen -> m CharacterLen

Ord CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

compare :: CharacterLen -> CharacterLen -> Ordering

(<) :: CharacterLen -> CharacterLen -> Bool

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

(>) :: CharacterLen -> CharacterLen -> Bool

(>=) :: CharacterLen -> CharacterLen -> Bool

max :: CharacterLen -> CharacterLen -> CharacterLen

min :: CharacterLen -> CharacterLen -> CharacterLen

Show CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

showsPrec :: Int -> CharacterLen -> ShowS

show :: CharacterLen -> String

showList :: [CharacterLen] -> ShowS

Generic CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Associated Types

type Rep CharacterLen :: Type -> Type

Methods

from :: CharacterLen -> Rep CharacterLen x

to :: Rep CharacterLen x -> CharacterLen

Out CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

docPrec :: Int -> CharacterLen -> Doc

doc :: CharacterLen -> Doc

docList :: [CharacterLen] -> Doc

Binary CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

put :: CharacterLen -> Put

get :: Get CharacterLen

putList :: [CharacterLen] -> Put

NFData CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

Methods

rnf :: CharacterLen -> ()

type Rep CharacterLen

Defined in Language.Fortran.Analysis.SemanticTypes

type Rep CharacterLen = D1 ('MetaData "CharacterLen" "Language.Fortran.Analysis.SemanticTypes" "fortran-src-0.8.0-58cee80cdc027fa3d4e093713bdbc453ef13b1cb991712a110c942406e8ab709" 'False) ((C1 ('MetaCons "CharLenStar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CharLenColon" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CharLenExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CharLenInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

type Kind = Int

Orphan instances

ToJSON ProgramUnitName

Methods

toJSON :: ProgramUnitName -> Value

toEncoding :: ProgramUnitName -> Encoding

toJSONList :: [ProgramUnitName] -> Value

toEncodingList :: [ProgramUnitName] -> Encoding

ToJSON Boz

Methods

toJSON :: Boz -> Value

toEncoding :: Boz -> Encoding

toJSONList :: [Boz] -> Value

toEncodingList :: [Boz] -> Encoding

ToJSON BozPrefix

Methods

toJSON :: BozPrefix -> Value

toEncoding :: BozPrefix -> Encoding

toJSONList :: [BozPrefix] -> Value

toEncodingList :: [BozPrefix] -> Encoding

ToJSONKey ProgramUnitName

Methods

toJSONKey :: ToJSONKeyFunction ProgramUnitName

toJSONKeyList :: ToJSONKeyFunction [ProgramUnitName]

FromJSON ProgramUnitName

Methods

parseJSON :: Value -> Parser ProgramUnitName

parseJSONList :: Value -> Parser [ProgramUnitName]

FromJSON Boz

Methods

parseJSON :: Value -> Parser Boz

parseJSONList :: Value -> Parser [Boz]

FromJSON BozPrefix

Methods

parseJSON :: Value -> Parser BozPrefix

parseJSONList :: Value -> Parser [BozPrefix]

FromJSONKey ProgramUnitName

Methods

fromJSONKey :: FromJSONKeyFunction ProgramUnitName

fromJSONKeyList :: FromJSONKeyFunction [ProgramUnitName]