31 May 2001 16:10:43 -0600, Alastair David Reid <[EMAIL PROTECTED]> pisze:

> and
> 
>   if foo has type
> 
>      foo :: (Ord a) => ty
> 
>   then fooBy has type
> 
>      fooBy :: (a -> a -> Bool) -> ty

It's (a -> a -> Ordering) -> ty, with the default value being
compare.

-- 
 __("<  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK


_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to