Documentation

typeStruct :: [(Filename, Program Annotation)] -> (Report, [(Filename, Program Annotation)]) Source #

type Graph v a = [((v, v), a)] Source #

type WeightedEdge v a = ((v, v), (a, Int)) Source #

type WeightedGraph v a = [WeightedEdge v a] Source #

vertices :: [((b, b), t)] -> [b] Source #

isVertex :: Eq a => a -> [((a, a), t)] -> Bool Source #

getVertex :: Eq t => t -> [((t, t), a)] -> Maybe a Source #

typeStructPerProgram :: ProgUnit Annotation -> (Report, ProgUnit Annotation) Source #

toInterferenceGraph :: [[(Variable, Access)]] -> Graph Access Variable Source #

listToSymmRelation :: [a] -> [(a, a)] Source #

correctManualImpl :: (Data t, Eq p) => [(Variable, (Integer, Integer))] -> t -> [((AccessP p, AccessP p), Variable)] -> Bool Source #

elimProjectionDefs :: Fortran A -> Graph Access Variable -> Fortran A Source #

arrayAccessToProjection :: Fortran A -> Graph Access Variable -> Fortran A Source #

calculateWeights :: (Eq (AnnotationFree a), Eq (AnnotationFree v), Ord a, Ord v) => Graph v a -> WeightedGraph v a Source #

swap :: ((t2, t1), t) -> ((t1, t2), t) Source #

locsFromArrayIndex :: Data t => t -> [(Variable, Access)] Source #

findMatch :: t -> t1 -> [(t2, t3)] -> [((b, b), t4)] -> [b] Source #

mkTyDecl :: SrcSpan -> Variable -> Type Annotation -> Decl Annotation Source #

mkTypeDef :: TypeEnv Annotation -> SrcSpan -> WeightedGraph Access Variable -> State Int (Decl Annotation, String) Source #

inventName :: WeightedGraph Access Variable -> State Int String Source #

mode :: String -> Char Source #

decomposeWeightedGraph :: forall v a. (Show v, Ord v, Ord a) => WeightedGraph v a -> [WeightedGraph v a] Source #

binEdge :: (Show v, Ord v, Ord a) => [(Set v, WeightedGraph v a)] -> WeightedEdge v a -> [(Set v, WeightedGraph v a)] Source #