CurryInfo: icurry-3.2.0 / TermGraph.SVG.constructDGGraph'

 
constructDGGraph' :: [(NodeID, [NodeID])] -> M.Map NodeID Int -> Graph
                  -> NodeID -> DGGraph
constructDGGraph' _       _        []           _    = []
constructDGGraph' predMap depthMap (node:nodes) root =
  (newDGNode node) : (constructDGGraph' predMap newDepthMap nodes root)
 where
  newDepthMap = getNodeDepth predMap depthMap [] root (getNodeId node)
  depth       = fromMaybe (error "Error in getNodeDepth") $
                  M.lookup (getNodeId node) newDepthMap
  newDGNode (Node ntype nid label chld ac res) =
    DGNode ntype nid label chld "black" (calcFillColor ac res) depth

 argument 3

 deterministic operation

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_,{[]},_) |-> {[]} || (_,_,{:},_) |-> {:}}

 constructDGGraph'

 no precedence defined

 {:,[]}

 [(Prelude.Int, [Prelude.Int])] -> Data.Map.Map Prelude.Int Prelude.Int -> [Node]
-> Prelude.Int -> [DGNode]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term