Module CurryBrowseAnalysis.Dependency

A few base functions for analysing dependencies in FlatCurry programs:

Author: Michael Hanus

Version: November 2020

Summary of exported operations:

analyseWithDependencies
                  ::  (FuncDecl -> a) -> ([a] -> a) -> [FuncDecl] -> [((String,String),a)]

externalDependent
                  ::  [FuncDecl] -> [((String,String),[(String,String)])]

indirectlyDependent
                  ::  [FuncDecl] -> [((String,String),[(String,String)])]

callsDirectly
                  ::  FuncDecl -> [(String,String)]

dependencyGraphs
                  ::  [FuncDecl] -> [((String,String),[((String,String),[(String,String)])])]

localDependencyGraphs
                  ::  [FuncDecl] -> [((String,String),[((String,String),[(String,String)])])]

funcsInExpr
                  ::  Expr -> [(String,String)]

analyseWithDependencies :: (FuncDecl -> a) -> ([a] -> a) -> [FuncDecl] -> [((String,String),a)]

externalDependent :: [FuncDecl] -> [((String,String),[(String,String)])]

indirectlyDependent :: [FuncDecl] -> [((String,String),[(String,String)])]

callsDirectly :: FuncDecl -> [(String,String)]

dependencyGraphs :: [FuncDecl] -> [((String,String),[((String,String),[(String,String)])])]

localDependencyGraphs :: [FuncDecl] -> [((String,String),[((String,String),[(String,String)])])]

funcsInExpr :: Expr -> [(String,String)]