| definition: |
identicalVar :: Data a => a -> a -> Bool identicalVar x y = (prim_identicalVar $! y) $! x |
| demand: |
arguments 2 3 |
| deterministic: |
deterministic operation |
| documentation: |
--- Tests whether both arguments evaluate to the identical currently unbound --- variable (use with care!). --- For instance, --- --- identicalVar (id x) (fst (x,1)) where x free --- --- evaluates to `True`, whereas --- --- identicalVar x y where x,y free --- --- and --- --- let x=1 in identicalVar x x --- --- evaluate to `False` |
| failfree: |
(_, _, _) |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_) |-> _}
|
| name: |
identicalVar |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Prelude.Data a => a -> a -> Prelude.Bool |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |