CurryInfo: icurry-3.2.0 / TermGraph.XML.lookupChoiceNodeIds

definition: Info
 
lookupChoiceNodeIds :: [(NodeID,Node)] -> ChoiceID -> [NodeID]
lookupChoiceNodeIds []        _   = []
lookupChoiceNodeIds ((nid,n):nodes) cid = case n of
  -- explicit case expressions are rigid (and deterministic)!
  ChoiceNode ccid _ _  | ccid == cid -> nid : (lookupChoiceNodeIds nodes cid)
                       | otherwise   -> lookupChoiceNodeIds nodes cid
  _                                  -> lookupChoiceNodeIds nodes cid
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
lookup a ChoiceNodes NodeIDs.
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({[]},_) |-> {[]} || ({:},_) |-> _}
name: Info
 lookupChoiceNodeIds
precedence: Info
 no precedence defined
result-values: Info
 {:,[]}
signature: Info
 [(Prelude.Int, ICurry.Graph.Node)] -> Prelude.Int -> [Prelude.Int]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms