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 #