CurryInfo: icurry-3.2.0 / ICurry.Interpreter.selectLitBranch

 
selectLitBranch :: Node -> [ILitBranch] -> IBlock
selectLitBranch nd [] =
  error $ "selectLitBranch: no branch for node: " ++ show nd
selectLitBranch nd (ILitBranch l blck : branches) = case nd of
  ConsNode nc _ -> if nc == showILit l then blck
                                       else selectLitBranch nd branches
  _             -> error $ "selectLitBranch: unevaluated branch node: " ++
                           show nd

 argument 2

 deterministic operation

 
Selects the literal branch corresponding to some literal node.

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,{[]}) |-> _ || ({ConsNode},{:}) |-> _ || ({FuncNode},{:}) |-> _ || ({PartNode},{:}) |-> _ || ({ChoiceNode},{:}) |-> _ || ({FreeNode},{:}) |-> _}

 selectLitBranch

 no precedence defined

 _

 ICurry.Graph.Node -> [ICurry.Types.ILitBranch] -> ICurry.Types.IBlock

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term