Documentation

type TCommon p = (Maybe Name, [(Name, BaseType)]) Source #

type TLCommon p = (Filename, (Name, TCommon p)) Source #

type A1 = Analysis Annotation Source #

type CommonState = State (Report, [TLCommon A]) Source #

commonElimToModules :: Directory -> [(Filename, ProgramFile A)] -> (Report, [(Filename, ProgramFile A)], [(Filename, ProgramFile A)]) Source #

analyseAndRmCommons :: [(Filename, ProgramFile A)] -> CommonState [(Filename, ProgramFile A)] Source #

analysePerPF :: (Filename, ProgramFile A) -> CommonState (Filename, ProgramFile A) Source #

analysePerPU :: TypeEnv -> Filename -> ProgramUnit A1 -> CommonState (ProgramUnit A1) Source #

collectAndRmCommons :: TypeEnv -> Filename -> ProgramUnitName -> Block A1 -> CommonState (Block A1) Source #

cmpTLConFName :: TLCommon a -> TLCommon a -> Ordering Source #

cmpTLConPName :: TLCommon a -> TLCommon a -> Ordering Source #

cmpTLConBNames :: TLCommon a -> TLCommon a -> Ordering Source #

cmpTConBNames :: TCommon a -> TCommon a -> Ordering Source #

cmpVarName :: TLCommon a -> TLCommon a -> Ordering Source #

commonName :: Maybe [Char] -> [Char] Source #

commonNameFromAST :: Maybe (Expression t) -> Maybe Name Source #

freshenCommonNames :: TLCommon A -> (TLCommon A, RenamerCoercer) Source #

groupSortCommonBlock :: [TLCommon A] -> [[[TLCommon A]]] Source #

mkTLCommonRenamers :: [TLCommon A] -> [(TLCommon A, RenamerCoercer)] Source #

type NameMap = Map Name Name Source #

type RenamerCoercer = Maybe (Map Name (Maybe Name, Maybe (BaseType, BaseType))) Source #

applyRenaming :: (Typeable (t A), Data (t A)) => NameMap -> t A -> t A Source #

class Renaming r where Source #

updateUseDecls :: [(Filename, ProgramFile A)] -> [TLCommon A] -> [(Filename, ProgramFile A)] Source #

addToProgramUnit :: FortranVersion -> ProgramUnit A -> [Statement A] -> ProgramUnit A Source #

getUnitStartPosition :: ProgramUnit A -> SrcSpan Source #

renamerToUse :: RenamerCoercer -> [(Name, Name)] Source #

mkUseStatementBlocks :: SrcSpan -> [(TCommon A, RenamerCoercer)] -> [Block A] Source #

mkRenamerCoercerTLC :: (TLCommon A :? source) -> (TLCommon A :? target) -> RenamerCoercer Source #

mkRenamerCoercer :: (TCommon A :? source) -> (TCommon A :? target) -> RenamerCoercer Source #

allCoherentCommons :: [TLCommon A] -> (Report, Bool) Source #

coherentCommons :: TLCommon A -> TLCommon A -> (Report, Bool) Source #

coherentCommons' :: [(Name, BaseType)] -> [(Name, BaseType)] -> (Report, Bool) Source #

introduceModules :: MetaInfo -> Directory -> [TLCommon A] -> (Report, [(Filename, ProgramFile A)]) Source #

mkModuleFile :: MetaInfo -> Directory -> TLCommon A -> (Report, (Filename, ProgramFile A)) Source #

mkModule :: String -> [(Name, BaseType)] -> String -> ProgramUnit A Source #