uhc-util-0.1.0.1: UHC utilities

Safe HaskellSafe-Inferred

UHC.Util.DependencyGraph

Documentation

data DpdGr n Source

Instances

Show (DpdGr n) 
(Show (DpdGr n), Ord n, PP n) => PP (DpdGr n) 

dgVertices :: Ord n => DpdGr n -> Set nSource

dgReachableFrom :: Ord n => DpdGr n -> n -> Set nSource

dgReachableTo :: Ord n => DpdGr n -> n -> Set nSource

dgDpdsOn :: DpdGr n -> n -> [n]Source

dgIsFirst :: Ord n => DpdGr n -> n -> Set n -> BoolSource

dgCheckSCCMutuals :: (Ord n, PP n) => ([PP_Doc] -> err) -> DpdGr n -> [err]Source

dgSCCToList :: Ord n => DpdGr n -> [[n]]Source

mkDpdGrFromEdges :: Ord n => [(n, [n])] -> DpdGr nSource

mkDpdGrFromAssocWithMissing :: Ord n => [n] -> [(n, n)] -> DpdGr nSource

mkDpdGrFromOrderWithMissing :: Ord n => [n] -> [[n]] -> DpdGr nSource