Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
typeStruct :: [(Filename, Program Annotation)] -> (Report, [(Filename, Program Annotation)]) Source
type WeightedEdge v a = ((v, v), (a, Int)) Source
type WeightedGraph v a = [WeightedEdge v a] Source
listToSymmRelation :: [a] -> [(a, a)] Source
correctManualImpl :: (Eq p, Data t) => [(Variable, (Integer, Integer))] -> t -> [((AccessP p, AccessP p), Variable)] -> Bool Source
calculateWeights :: (Eq (AnnotationFree a), Eq (AnnotationFree v), Ord a, Ord v) => Graph v a -> WeightedGraph v a Source
locsFromArrayIndex :: Data t => t -> [(Variable, Access)] Source
mkTyDecl :: SrcSpan -> Variable -> Type Annotation -> Decl Annotation Source
mkTypeDef :: TypeEnv Annotation -> SrcSpan -> WeightedGraph Access Variable -> State Int (Decl Annotation, String) 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