CurryInfo: base-3.4.0 / Control.Search.AllValues.getOneValue
definition: 
|
getOneValue :: a -> IO (Maybe a) getOneValue x = return (oneValue x) |
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Gets one value of an expression. Returns `Nothing` if the search space is finitely failed. Conceptually, the value is computed on a copy of the expression, i.e., the evaluation of the expression does not share any results. In PAKCS, the evaluation suspends as long as the expression contains unbound variables or the computed value contains unbound variables. |
|
failfree:
|
_ |
|
indeterministic:
|
might be indeterministic |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_) |-> _}
|
|
name:
|
getOneValue |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
a -> Prelude.IO (Prelude.Maybe a) |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |