CurryInfo: base-3.4.0 / System.IO.Unsafe.compareAnyTerm
definition: 
|
compareAnyTerm :: a -> a -> Ordering #ifdef __KICS2__ compareAnyTerm = error "System.IO.Unsafe.compareAnyTerm: not yet implemented" |
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Comparison of any data terms, possibly containing variables. Data constructors are compared in the order of their definition in the datatype declarations and recursively in the arguments. Variables are compared in some internal order. |
|
failfree:
|
() |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{}
|
|
name:
|
compareAnyTerm |
|
precedence:
|
no precedence defined |
|
result-values:
|
{}
|
|
signature:
|
a -> a -> Prelude.Ordering |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
yes |
|
totally-defined:
|
reducible on all ground data terms |