CurryInfo: base-3.3.0 / Prelude.constrEq

definition:
 
constrEq :: a -> a -> Bool
#ifdef __PAKCS__
constrEq external
#elif defined(__CURRY2GO__)
constrEq external
#else
constrEq x y = x =:= y
demand:
 arguments 1 2
deterministic:
 deterministic operation
documentation:
 
Internal operation to implement equational constraints.
It is used by the strict equality optimizer but should not be used
in regular programs.
failfree:
 <FAILING>
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {(_,_) |-> _}
name:
 constrEq
precedence:
 no precedence defined
result-values:
 _
signature:
 a -> a -> Bool
solution-complete:
 operationally complete operation
terminating:
 yes
totally-defined:
 possibly non-reducible on same data term