definition: |
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: |
argument 2 |
deterministic: |
deterministic operation |
documentation: |
Selects the constructor branch corresponding to some constructor node. |
failfree: |
(_, _) |
indeterministic: |
referentially transparent operation |
infix: |
no fixity defined |
iotype: |
{(_,{[]}) |-> _ || ({ConsNode},{:}) |-> _ || ({FuncNode},{:}) |-> _ || ({PartNode},{:}) |-> _ || ({ChoiceNode},{:}) |-> _ || ({FreeNode},{:}) |-> _} |
name: |
selectConsBranch |
precedence: |
no precedence defined |
result-values: |
_ |
signature: |
ICurry.Graph.Node -> [ICurry.Types.IConsBranch] -> ICurry.Types.IBlock |
solution-complete: |
operation might suspend on free variables |
terminating: |
possibly non-terminating |
totally-defined: |
possibly non-reducible on same data term |