| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Analysis.SemanticTypes
Synopsis
- type Kind = Int
- data SemType
- data Dimensions
- dimensionsToTuples :: Dimensions -> Maybe [(Int, Int)]
- data CharacterLen
- charLenSelector :: Maybe (Selector a) -> (Maybe CharacterLen, Maybe String)
- charLenSelector' :: Expression a -> CharacterLen
- charLenToValue :: CharacterLen -> Maybe (Value a)
- getTypeKind :: SemType -> Kind
- setTypeKind :: SemType -> Kind -> SemType
- charLenConcat :: CharacterLen -> CharacterLen -> CharacterLen
- recoverSemTypeTypeSpec :: forall a. a -> SrcSpan -> FortranVersion -> SemType -> TypeSpec a
- kindOfBaseType :: BaseType -> Int
- getTypeSize :: SemType -> Maybe Int
- setTypeSize :: SemType -> Maybe Int -> SemType
Documentation
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 Dimensions | A Fortran array type is defined by a single type, and a set of dimensions. Note that assumed-shape arrays which only "store" array rank cannot be represented. |
| TCustom String | Constructor to use for F77 structures, F90 DDTs |
Instances
data Dimensions Source #
The declared dimensions of an array variable.
Each dimension is of the form (dim_lower, dim_upper).
Constructors
| DimensionsCons !(Int, Int) Dimensions | Another dimension in the dimension list. |
| DimensionsEnd | No more dimensions. |
| DimensionsFinalStar | The final dimension is dynamic (represented by a star |
Instances
dimensionsToTuples :: Dimensions -> Maybe [(Int, Int)] Source #
Convert Dimensions data type to its previous type synonym
(Maybe [(Int, Int)]).
Will not return Just [].
data CharacterLen Source #
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
charLenSelector :: Maybe (Selector a) -> (Maybe CharacterLen, Maybe String) Source #
charLenSelector' :: Expression a -> CharacterLen Source #
charLenToValue :: CharacterLen -> Maybe (Value a) Source #
Attempt to recover the Value that generated the given CharacterLen.
getTypeKind :: SemType -> Kind Source #
charLenConcat :: CharacterLen -> CharacterLen -> CharacterLen Source #
recoverSemTypeTypeSpec :: forall a. a -> SrcSpan -> FortranVersion -> SemType -> TypeSpec a Source #
Recover the most appropriate TypeSpec for the given SemType, depending
on the given FortranVersion.
Kinds weren't formalized as a syntactic feature until Fortran 90, so we ask
for a context. If possible (>=F90), we prefer the more explicit
representation e.g. REAL(8). For older versions, for specific type-kind
combinations, DOUBLE PRECISION and DOUBLE COMPLEX are used instead.
However, we otherwise don't shy away from adding kind info regardless of
theoretical version support.
Array types don't work properly, due to array type info being in a parent node that holds individual elements.
kindOfBaseType :: BaseType -> Int Source #
Given a BaseType infer the "default" kind (or size of the
variable in memory).
Useful when you need a default kind, but gives you an unwrapped type. Consider using Analysis.deriveSemTypeFromBaseType also.
Further documentation: https://docs.oracle.com/cd/E19957-01/805-4939/c400041360f5/index.html