multiverse-debugging-0.2.0.1: A framework for multiverse debugging
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Graph

Documentation

data Graph c a Source #

Constructors

Graph (Set c) (Set (c, a, c)) 

Instances

Instances details
(Show c, Show a) => Show (Graph c a) Source # 
Instance details

Defined in Data.Graph

Methods

showsPrec :: Int -> Graph c a -> ShowS #

show :: Graph c a -> String #

showList :: [Graph c a] -> ShowS #

(Eq c, Eq a) => Eq (Graph c a) Source # 
Instance details

Defined in Data.Graph

Methods

(==) :: Graph c a -> Graph c a -> Bool #

(/=) :: Graph c a -> Graph c a -> Bool #

verts :: Graph c a -> [c] Source #

gUnion :: (Ord c, Ord a) => Graph c a -> Graph c a -> Graph c a Source #

extractNodes :: Ord c => Set (c, a, c) -> Set c Source #

gFocus :: Ord c => c -> Graph c a -> Graph c a Source #

gleaves :: Ord c => Graph c a -> [c] Source #

gcmap :: (Ord k, Ord a) => (c -> k) -> Graph c a -> Graph k a Source #

isEmpty :: (Eq c, Eq a) => Graph c a -> Bool Source #