CurryInfo: base-3.4.0 / Control.Search.SearchTree.someValueWith

 
someValueWith :: Strategy a -> a -> a
someValueWith strategy x = head (vsToList (strategy (someSearchTree x)))

 no demanded arguments

 deterministic operation

 
Returns some value for an expression w.r.t. a search strategy.
A search strategy is an operation to traverse a search tree
and collect all values, e.g., 'dfsStrategy' or 'bfsStrategy'.

Note that this operation is not purely declarative since
the computed value depends on the ordering of the program rules.
Thus, this operation should be used only if the expression
has a single value. It fails if the expression has no value.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_) |-> _}

 someValueWith

 no precedence defined

 _

 (SearchTree a -> ValueSequence a) -> a -> a

 operation might suspend on free variables

 yes

 possibly non-reducible on same data term