camfort-0.700: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell98

Transformation.CommonBlockElim

Documentation

type TCommon p = (Maybe String, [(Variable, Type p)]) Source

type TLCommon p = (Filename, (String, TCommon p)) Source

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

analyseCommons :: [(Filename, Program A)] -> State (Report, [TLCommon A]) [(Filename, Program A)] Source

collectCommons :: Filename -> String -> Block A -> State (Report, [TLCommon A]) (Block A) 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

onCommonBlock :: (TCommon A -> TCommon A) -> TLCommon A -> TLCommon A Source

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

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

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

cmpVarName :: TLCommon A -> TLCommon A -> Ordering Source

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

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

addToProgUnit :: ProgUnit A -> [Fortran A] -> ProgUnit A Source

addToBlock :: Block A -> [Fortran A] -> Block A Source

prependStatements :: Maybe SrcSpan -> Fortran A -> [Fortran A] -> Fortran A Source

useSrcLoc :: ProgUnit A -> SrcLoc Source

useSrcLocB :: Block t -> SrcLoc Source

renamerToUse :: RenamerCoercer -> [(Variable, Variable)] Source

mkUseStatements :: SrcLoc -> [(TCommon A, RenamerCoercer)] -> Uses A Source

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

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

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

coherentCommonsP :: TLCommon A -> TLCommon A -> (Report, Bool) Source

introduceModules :: Directory -> [TLCommon A] -> (Report, [(Filename, Program A)]) Source

mkModuleFile :: Directory -> TLCommon A -> (Report, (Filename, Program A)) Source

mkModule :: String -> [(Variable, Type A)] -> String -> ProgUnit A Source