CurryInfo: graphviz-3.0.0 / ShowDotGraph.showDotGraphWithAttrs

 
showDotGraphWithAttrs :: String -> DotGraph -> String
showDotGraphWithAttrs oldattrs dotgraph = case dotgraph of
  DGraph name attrs nodes edges ->
    "digraph \"" ++ name ++ "\"" ++ attrsbody2dot True attrs nodes edges
  UGraph name attrs nodes edges ->
    "graph \"" ++ name ++ "\"" ++ attrsbody2dot False attrs nodes edges
 where
  attrsbody2dot directed attrs nodes edges =
    "{\n" ++ (if null oldattrs then "" else oldattrs ++ "\n")
          ++ concatMap attr2dot attrs
          ++ concatMap node2dot nodes
          ++ concatMap (edge2dot directed) edges ++ "}\n"

 argument 2

 deterministic operation

 
Deprecated. Use `dgraphWithAttrs` or `ugraphWithAttrs` to construct
graphs with attributes.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,{DGraph}) |-> _ || (_,{UGraph}) |-> _}

 showDotGraphWithAttrs

 no precedence defined

 _

 String -> DotGraph -> String

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term