Documentation

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

introduceCalls :: [TLCommon A] -> (Filename, Program A) -> (Report, (Filename, Program A)) Source #

extendCalls :: String -> String -> [TLCommon A] -> Fortran A -> (Report, Fortran A) Source #

toArgList :: A -> SrcSpan -> [(Variable, Type A)] -> Expr A Source #

select :: [Maybe String] -> [TCommon A] -> [(Variable, Type A)] Source #

nonNullArgs :: ArgName t -> Bool Source #

extendArgs :: Bool -> (SrcLoc, SrcLoc) -> [(String, t)] -> ArgName Annotation Source #

extendArgs' :: (SrcLoc, b) -> [(String, t)] -> ArgName Annotation Source #

collectCommons :: Filename -> String -> Block A -> State (Report, [TLCommon A]) (Block A) Source #