Re: A sample revised prelude for numeric classes

Sun, 11 Feb 2001 18:48:42 -0800, William Lee Irwin III 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