CurryInfo: icurry-3.2.0 / ICurry.Interpreter.selectConsBranch

definition: Info
 
selectConsBranch :: Node -> [IConsBranch] -> IBlock
selectConsBranch nd [] =
  error $ "selectConsBranch: no branch for node: " ++ show nd
selectConsBranch nd (IConsBranch (_,c,_) _ blck : branches) = case nd of
  ConsNode nc _ -> if nc == c then blck
                              else selectConsBranch nd branches
  _             -> error $ "selectConsBranch: unevaluated branch node: " ++
                           show nd
demand: Info
 argument 2
deterministic: Info
 deterministic operation
documentation: Info
 
Selects the constructor branch corresponding to some constructor node.
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,{[]}) |-> _ || ({ConsNode},{:}) |-> _ || ({FuncNode},{:}) |-> _ || ({PartNode},{:}) |-> _ || ({ChoiceNode},{:}) |-> _ || ({FreeNode},{:}) |-> _}
name: Info
 selectConsBranch
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 ICurry.Graph.Node -> [ICurry.Types.IConsBranch] -> ICurry.Types.IBlock
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term