GHC.Vacuum.Pretty

Documentation

toAdjPair :: (HNodeId, HNode) -> (Int, [Int])

toAdjList :: IntMap HNode -> [(Int, [Int])]

nameGraph :: IntMap HNode -> [(String, [String])]

data ShowHNode

Constructors

ShowHNode

Fields

showHNode :: Int -> HNode -> String

externHNode :: Int -> String

showHNodes :: ShowHNode -> IntMap HNode -> [(String, [String])]

data Draw e v m a

To assist in "rendering" the graph to some source.

Constructors

Draw

Fields

mkV :: Int -> a -> m v

mkE :: v -> v -> m e

succs :: a -> [Int]

newtype G e v

Constructors

G

Fields

unG :: IntMap (v, IntMap e)

Instances

(Eq e, Eq v) => Eq (G e v)

(Eq (G e v), Ord e, Ord v) => Ord (G e v)

(Read e, Read v) => Read (G e v)

(Show e, Show v) => Show (G e v)

draw :: Monad m => Draw e v m a -> IntMap a -> m (G e v)

printDraw :: Draw (Int, Int) Int IO HNode

An example Draw

split :: (a -> [Int]) -> IntMap a -> IntMap ([Int], [Int])

Build a map to (preds,succs)