| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
DepTrack.Dot
Description
Module providing helpers to get a Dot representation of tracked dependencies during a DepTrack computation.
This module currently uses Dot from dotgen as a Dot generator, this
choice may change in the future.
Synopsis
- newtype DotDescription = DotDescription {}
- dotifyGraphWith :: (x -> [(String, String)]) -> GraphData x k -> DotDescription
- dotify :: (Monad m, Ord k, Show x) => (x -> [(String, String)]) -> (x -> k) -> DepTrackT x m a -> m DotDescription
Documentation
newtype DotDescription Source #
A type to hide a Dot program.
Constructors
| DotDescription | |
Fields | |
Instances
| Eq DotDescription Source # | |
Defined in DepTrack.Dot Methods (==) :: DotDescription -> DotDescription -> Bool # (/=) :: DotDescription -> DotDescription -> Bool # | |
| Ord DotDescription Source # | |
Defined in DepTrack.Dot Methods compare :: DotDescription -> DotDescription -> Ordering # (<) :: DotDescription -> DotDescription -> Bool # (<=) :: DotDescription -> DotDescription -> Bool # (>) :: DotDescription -> DotDescription -> Bool # (>=) :: DotDescription -> DotDescription -> Bool # max :: DotDescription -> DotDescription -> DotDescription # min :: DotDescription -> DotDescription -> DotDescription # | |
| Show DotDescription Source # | |
Defined in DepTrack.Dot Methods showsPrec :: Int -> DotDescription -> ShowS # show :: DotDescription -> String # showList :: [DotDescription] -> ShowS # | |
Arguments
| :: (x -> [(String, String)]) | Function to return a set of graphviz key-value attributes (e.g., ("shape","egg")) |
| -> GraphData x k | The graph data to represent. |
| -> DotDescription |
Dotify some pre-calculed GraphData.
Arguments
| :: (Monad m, Ord k, Show x) | |
| => (x -> [(String, String)]) | Function to return a set of graphviz key-value attributes (e.g., ("shape","egg")) |
| -> (x -> k) | Function to identify every node in the graph uniquely. If this function is non injective you may confuse two distinct nodes as a same node. |
| -> DepTrackT x m a | The computation to graph. |
| -> m DotDescription |
Graphs the dependenciees of a DepTrack computation.
Throws away the result and only keep the DotDescription.