Camfort.Transformation.DerivedTypeIntro

Documentation

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

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

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

type WeightedGraph v a = [WeightedEdge v a]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

inventName :: WeightedGraph Access Variable -> State Int String

mode :: String -> Char

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

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