uhc-util-0.1.7.0: UHC utilities

Safe HaskellSafe
LanguageHaskell98

UHC.Util.DependencyGraph

Contents

Documentation

data DpdGr n Source #

Instances

Show (DpdGr n) Source # 

Methods

showsPrec :: Int -> DpdGr n -> ShowS #

show :: DpdGr n -> String #

showList :: [DpdGr n] -> ShowS #

(Ord n, PP n) => PP (DpdGr n) Source # 

Methods

pp :: DpdGr n -> PP_Doc #

ppList :: [DpdGr n] -> PP_Doc #

dgTopSort :: DpdGr n -> [n] Source #

dgVertices :: Ord n => DpdGr n -> Set n Source #

dgReachableFrom :: Ord n => DpdGr n -> n -> Set n Source #

dgReachableTo :: Ord n => DpdGr n -> n -> Set n Source #

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

dgIsFirst :: Ord n => DpdGr n -> n -> Set n -> Bool Source #

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 n Source #

mkDpdGrFromEdgesMp :: Ord n => Map n [n] -> DpdGr n Source #

mkDpdGrFromEdgesMpPadMissing :: Ord n => Map n [n] -> DpdGr n Source #

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

mkDpdGrFromOrderWithMissing :: Ord n => [n] -> [[n]] -> DpdGr n Source #

Orphan instances

PP n => PP (SCC n) Source # 

Methods

pp :: SCC n -> PP_Doc #

ppList :: [SCC n] -> PP_Doc #