| definition: |
selectValue :: Values a -> a #ifdef __PAKCS__ selectValue (Values (Just val) _) = val #else selectValue s = fst (select s) |
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- Selects (indeterministically) some value in a multiset of values --- and returns the selected value. --- Thus, `selectValue` has always at most one value, i.e., it is --- a deterministic operation. --- It fails if the value set is empty. --- --- **NOTE:** --- The usage of this operation is only safe (i.e., does not destroy --- completeness) if all values in the argument set are identical. |
| failfree: |
<FAILING> |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
selectValue |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Values a -> a |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
possibly non-reducible on same data term |