A sample revised prelude for numeric classes

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
12 Feb 2001 07:11:36 GMT


Sun, 11 Feb 2001 18:48:42 -0800, William Lee Irwin III <wli@holomorphy.com> 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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK