CurryInfo: setfunctions-3.0.0 / Control.SetFunctions.select

 
select :: Values a -> (a, Values a)
#ifdef __KICS2__
select (Values (x:xs)) = (x, Values xs)

 argument 1

 deterministic operation

 
Selects (indeterministically) some value in a multiset of values
and returns the selected value and the remaining multiset of values.
Thus, `select` 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.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {({Values}) |-> {(,)}}

 select

 no precedence defined

 {(,)}

 Values a -> (a, Values a)

 operation might suspend on free variables

 yes

 possibly non-reducible on same data term