CurryInfo: icurry-3.2.0 / ICurry.Interpreter.currentNodeOfTask

definition:
currentNodeOfTask :: Task -> NodeID
currentNodeOfTask (Task (CNode nid) _ _)       = nid
currentNodeOfTask (Task (IBlockEnv _ env) _ _) = lookupInEnv 0 env
demand:
argument 1
deterministic:
deterministic operation
documentation:
-- Returns the node currently evaluated.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({Task}) |-> _}
name:
currentNodeOfTask
precedence:
no precedence defined
result-values:
_
signature:
Task -> Prelude.Int
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
possibly non-reducible on same data term