CurryInfo: icurry-3.2.0 / TermGraph.SVG.findDGNode

definition: Info
 
findDGNode :: DGGraph -> NodeID -> DGNode
findDGNode graph nid =
  let mnode = find ((== nid) . nodeIDDG) graph
  in case mnode of
       Nothing   -> error ("Invalid NodeID in DG-graph: " ++ show nid ++
                           "\n" ++ show graph)
       Just node -> node
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> _}
name: Info
 findDGNode
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 [DGNode] -> Prelude.Int -> DGNode
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term