Like Gofer, Glasgow Haskell has a three-way comparison operation in the Ord
class, 

        _cmp :: a -> a -> _TAG

where

        data _TAG = _LT | _EQ | _GT

(The underbars are to avoid polluting the programmer's name space.)

I'd be glad to add this to Haskell.  Partial orderings are a separate issue,
which I havn't thought through.


Simon PJ

Reply via email to