Documentation

type IGraphs = Map Name (Gr Name Int) Source #

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

buildInterferenceGraph :: [(Filename, ProgramFile A)] -> String Source #

analysePerPF :: (Filename, ProgramFile A) -> InOutMap (Set Name) Source #

perStmt :: Annotated f => IntMap (t1, t) -> f (Analysis a) -> a1 Source #