Changes between Version 5 and Version 6 of OverloadedLists

Timestamp:

11/07/12 05:35:07 (7 months ago)

Author:

giorgidze

Comment:

--

OverloadedLists

@@ -116 +116 @@
 
 One way to overload list patterns is to replace the {{{FromList}}} class from
-the previous section with the {{{OverloadedLists}}} class defined as follows:
-
-{{{
-class OverloadedLists l where
+the previous section with the {{{ListRep}}} class defined as follows:
+
+{{{
+class ListRep l where
   type Item l
   fromList  :: [Item l] -> l
@@ -149 +149 @@
 expressions and patterns. In other words, {{{:}}} is not overloaded.
 
-The instances of the {{{OverloadedLists}}} class should satisfy the following
+The instances of the {{{ListRep}}} class should satisfy the following
 property:
 
@@ -157 +157 @@
 
 The example {{{FromList}}} instances from the previous section can be extended
-into the {{{OverloadedLists}}} instances as follows:
-
-{{{
-instance OverloadedLists [a] where
+into the {{{ListRep}}} instances as follows:
+
+{{{
+instance ListRep [a] where
   type Item [a] = a
   fromList = id
   toList = id
 
-instance (Ord a) => OverloadedLists (Set a) where
+instance (Ord a) => ListRep (Set a) where
   type Item (Set a) = a
   fromList = Set.fromList
   toList = Set.toList
 
-instance (Ord k) => OverloadedLists (Map k v) where
+instance (Ord k) => ListRep (Map k v) where
   type Item (Map k v) = (k,v)
   fromList = Map.fromList
   toList = Map.toList
 
-instance OverloadedLists (IntMap v) where
+instance ListRep (IntMap v) where
   type Item (IntMap v) = (Int,v)
   fromList = IntMap.fromList
   toList = IntMap.toList
 
-instance OverloadedLists Text where
+instance ListRep Text where
   type Item Text = Char
   fromList = Text.pack
   toList = Text.unpack
 
-instance OverloadedLists (Vector a) where
+instance ListRep (Vector a) where
   type Item (Vector a) = a
   fromList  = Vector.fromList