Documentation

loopAnalyse :: Program a -> Program Annotation Source #

analyse' :: Program Annotation -> Program Annotation Source #

collect :: (Eq a, Ord k) => [(k, a)] -> Map k [a] Source #

arrayIndices :: Block Annotation -> Block Annotation Source #

ix :: ProgUnit Annotation -> ProgUnit Annotation Source #

loopVariables :: ProgUnit Annotation -> [String] Source #