16 Feb
2007
16 Feb
'07
10:11 p.m.
On 2/16/07, Jules Bean
Actually, lists are partly defined in the Prelude, with auxiliary functions in Data.List. In particular, <= for List is defined in the Prelude. Or rather, I should say, the Ord instance for lists is defined in the prelude (and only if the type inside the lists is itself an Ord instance). Look:
Prelude> [1,2] <= [3,4] True
Where exactly "the Ord instance for lists is defined in the Prelude"? It seems that Prelude treats "list" as a built-in type same as a "tuple" type. Also Prelude does not know anything about Data.List type, right? As I understand in Haskell to be an instance of a class type must be declared as: instance ClassName TypeName where then declaration: instance Ord [] can be found?