camfort-0.802: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell98

Camfort.Analysis.Types

Documentation

type TypeEnv t = [(Variable, Type t)] Source #

typeEnv :: (Show a, Typeable a, Data a) => Block a -> TypeEnv a Source #

buildTypeEnv :: (Show a, Typeable a, Data a) => Block a -> State (TypeEnv a) (Block a) Source #

gtypes :: forall a t. (Show a, Data (t a), Typeable (t a), Data a, Typeable a) => t a -> TypeEnv a Source #

toArrayType :: Type p -> [Expr p] -> Type p Source #

bounds :: [Expr t] -> [(Expr t, Expr t)] Source #