CurryInfo: base-3.4.0 / Control.Search.Unsafe.rewriteAll
definition: 
|
rewriteAll :: a -> [a] #ifdef __PAKCS__ rewriteAll external #else rewriteAll _ = error "Control.Search.Unsafe.rewriteAll: not yet implemented" |
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
--------------------------------------------------------------------------- Gets all values computable by term rewriting. In contrast to `allValues`, this operation does not wait until all "outside" variables are bound to values, but it returns all values computable by term rewriting and ignores all computations that requires bindings for outside variables. |
|
failfree:
|
_ |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{}
|
|
name:
|
rewriteAll |
|
precedence:
|
no precedence defined |
|
result-values:
|
{}
|
|
signature:
|
a -> [a] |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
yes |
|
totally-defined:
|
reducible on all ground data terms |