Re: A sample revised prelude for numeric classes

[Marcin 'Qrczak' Kowalczyk]

Sun, 11 Feb 2001 18:48:42 -0800, William Lee Irwin III <[EMAIL PROTECTED]> pisze:

> class Ord a => MeetSemiLattice a where
>       meet :: a -> a -> a
> 
> class MeetSemiLattice a => CompleteMeetSemiLattice a where
>       bottom :: a
> 
> class Ord a => JoinSemiLattice a where
>       join :: a -> a -> a
> 
> class JoinSemiLattice a => CompleteJoinSemiLattice a where
>       top :: a

Please: ok, but not for Prelude!

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


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